The Impossible Scenario

Intro to Proofs · Axiom Academy

There's a way to prove something is true without ever building it directly: assume it's false, and watch the world fall apart. One locked room, one daring move You're trapped in a room with three doors, and exactly one of them lets you out. You could try every door at random — or you could think like a mathematician. Assume a door is locked, follow what that forces to happen, and if it leads somewhere impossible, you've learned that door can't be locked. That's proof by contradiction, and you can watch it run. Exactly one door is unlocked and leads to freedom. Door A is the entrance — leaving that way isn't an escape. Door B needs a key, and the key sits behind Door C. Door C has no special requirement. Watch the move: we assume Door C is locked , then follow each forced consequence down the chain. One step at a time, the options close — until there's no door left to escape through. That impossibility is the contradiction, and it tells us the assumption was wrong. The assumption "Door C is locked" led to "no escape is possible" — an impossibility. So Door C cannot be locked. Test every assumption yourself Your turn. Pick a door and assume it's the one unlocked exit . The chain of consequences re-derives live: three of the four doors crash into a contradiction, and exactly one survives every test. The survivor is the door that must be the exit — proven not by trying it, but by ruling out everything else.

This is the written version of the interactive lesson above. See the full Intro to Proofs course.