Visual walkthrough — Second law — Kelvin-Planck statement, Clausius statement

---

Step 1 — The two boxes we are allowed to draw

WHAT. Every machine below lives between these two walls. Arrows leaving a wall = heat out of it; arrows entering = heat into it.

WHY. The whole Second Law is a statement about arrows between exactly these two boxes. If we fix the picture-language now, the proof becomes bookkeeping of arrows.

PICTURE. The orange bar is hot, the blue bar is cold, and the empty space between them is where machines will sit.

---

Step 2 — The engine, drawn as three arrows

WHAT. Three arrows: one entering from hot, one leaving as work, one entering the cold wall.

WHY three? Because $\Delta U=0$ forces the incoming energy $Q_H$ to split into exactly two outgoing pieces, $W$ and $Q_C$. Two arrows out, one in.

PICTURE. Notice the arrow widths below are drawn to scale: $Q_H$ is fattest, and $Q_H=W+Q_C$ by eye.

---

Step 3 — The refrigerator, the engine run backwards

WHAT. Compare with Step 2: every arrow points the opposite way, and work is now an input.

WHY it matters for the proof. A fridge is our "ordinary, legal" uphill mover — it needs $W>0$. The forbidden magic machines later will be fridges (or engines) with a zero somewhere.

PICTURE. Put Step 2 and Step 3 side by side and every arrowhead has swapped direction.

---

Step 4 — Draw the two forbidden machines

We now draw the exact things each statement bans. A picture of the forbidden machine is what we will try to secretly rebuild.

WHAT. Two impossible-looking boxes: the perfect engine has no cold arrow; the free fridge has no work arrow.

WHY. The parent statements are exactly "these two boxes cannot exist." Our job: show that if one exists, the other must too.

PICTURE. The red arrows below are the missing/forbidden pieces — a perfect engine is "an engine with the cold arrow deleted," a free fridge is "a fridge with the work arrow deleted."

---

Step 5 — Break Clausius ⟹ you broke Kelvin–Planck

Here is the first half of the equivalence, drawn.

Let the ordinary engine reject exactly $Q_C$ (matching the free fridge's uphill heat). Track the cold wall:

$\underset{\text{engine dumps in}}{\underbrace{+Q_C}}\underset{\text{free fridge sucks out}}{\underbrace{-Q_C}}=0$

Every symbol here: $+Q_C$ is the engine's waste arrow into cold; $-Q_C$ is the free fridge's arrow out of cold; they are equal by our tuning, so the sum is zero — the cold wall is untouched.

Now track the whole combo:

$W=Q_H-Q_C,\text{net heat from hot}=Q_H-Q_C=W$

so the combined box takes heat only from the hot wall and produces work $W$, nothing else — that is precisely a K–P violator. ∎

WHAT. We fused two legal-looking parts and the cold reservoir cancelled out of existence.

WHY tune $Q_C$ to match? So the two cold arrows are equal-and-opposite. Any other choice leaves a leftover cold arrow and spoils the "single reservoir" conclusion.

PICTURE. Watch the two blue arrows at the cold wall below — same thickness, opposite direction — erase each other, leaving a single-reservoir engine.

---

Step 6 — Break Kelvin–Planck ⟹ you broke Clausius

The mirror image.

The perfect engine gives $W=Q_H$. Feed it to a fridge pulling $Q_C$ from cold and dumping $Q_C+W$ into hot. Track the hot wall:

$\underset{\text{engine takes out}}{\underbrace{-Q_H}}\underset{\text{fridge dumps in}}{\underbrace{+(Q_C+W)}}=Q_C(\text{since }W=Q_H)$

Term by term: $-Q_H$ is the perfect engine draining the hot wall; $+(Q_C+W)$ is the fridge refilling it; because $W=Q_H$ these cancel down to a net $+Q_C$ delivered to hot. Meanwhile the cold wall simply lost $Q_C$.

$\text{net result: }{Q}_C\text{ moved cold}\to \text{hot, with }{W}_{\text{external}}=0.$

No work drawn from outside, no other change — a Clausius violation. ∎

WHAT. The perfect engine's work loops entirely into the fridge; the external world sees only heat crawling uphill for free.

WHY does the work cancel? Because $W=Q_H$: the engine's output is exactly the fridge's input, so no work meter outside the combo ever moves.

PICTURE. Below, the green work arrow is an internal loop (engine → fridge) — it never leaves the box, so from outside the box is a free fridge.

---

Step 7 — Degenerate & edge cases (so no scenario surprises you)

WHAT. Each "zero" we plug in lands exactly on one forbidden machine or on a harmless do-nothing.

WHY show them all. The Second Law is a statement about the boundaries. Only by pushing $Q_C$, $W$, and $T_H-T_C$ to zero do we see precisely where "legal" turns into "forbidden."

PICTURE. The number line below marks efficiency $\eta$ from $0$ to $1$: everything strictly below 1 is allowed; the single point $\eta =1$ is the forbidden wall.

---

The one-picture summary

Both halves of the proof, in one frame: on the left, a free fridge + ordinary engine ⟹ cold wall cancels ⟹ perfect engine. On the right, a perfect engine + ordinary fridge ⟹ work loops internally ⟹ free fridge. The two forbidden machines manufacture each other.

Recall Feynman retelling of the whole walkthrough

Picture two shelves: a hot top shelf and a cold bottom shelf, with heat as little balls that want to roll down.

A normal engine grabs some balls from the top, keeps a few as useful work, and lets the rest roll to the bottom — you never get to keep them all. A normal fridge is that in reverse: you pay work to carry balls back up.

Now the two cheats. A perfect engine would keep every ball — nothing rolls to the bottom. A free fridge would carry balls up the stairs without paying. Both feel too good to be true, and here's the punchline: each cheat builds the other. Hook a free fridge to a normal engine and the bottom shelf's traffic cancels — you're left with a perfect engine. Hook a perfect engine to a normal fridge and its free work carries balls uphill for nothing — you're left with a free fridge.

So "you can't keep all the heat" and "heat won't climb for free" are the same rule wearing two hats. That single rule is why coffee cools, rivers don't flow uphill, and time only runs one way.

---

Recall