"So what's the voltage across the 1k resistor?"
------------------------------------------------------
It's whatever my ideal voltmeter reads when it's connected across the ends of
the 1-kOhm resistor.

Jack