Contradiction Cassius
PROOF BY CONTRADICTION — assume the *opposite* of what you want to prove, follow the steps, arrive at a contradiction, conclude that your assumption was wrong.
Chapter 4 — The Judge Who Listened for the Crack
Cassius spent twenty years as a judge in the kingdom’s third district, which is in the foothills just north of the central plain. The third district is, in legal terms, a busy place. There are a lot of small towns. There are a lot of small disputes. Cassius heard, by his own count, ten thousand cases.
Ten thousand cases is a lot of listening.
What Cassius noticed, somewhere around case number two thousand, was that the most powerful argument in the room was almost never “I am right because such-and-such.” The most powerful argument was almost always “Suppose, for the sake of argument, that the other side is right.” And then the speaker would walk down the road the other side had taken — patiently, step by step — until the road broke. Until they reached something the other side could not maintain. Until the other side’s own story contradicted itself.
When that happened, Cassius would hear it. He had a particular ear for it. He could hear a story crack the way an experienced potter can hear a wheel slow down.
He would say, then, from the bench: “Counsel. I believe your position has just collapsed.”
The lawyer would, occasionally, agree. Most of the time, the lawyer would protest. Cassius would patiently walk them back through their own argument. The crack would be visible to them. They would sit down. Cassius would rule in favour of the other side.
This is, of course, proof by contradiction.
Cassius did not know it had a name in mathematics until he was forty-eight, when his nephew (a graduate student at the central university) came to dinner one autumn and explained the technique. The nephew said: “You assume the opposite of what you want to prove. You follow the chain of logic. If you reach an impossibility, you have shown that your assumption was wrong — which means what you originally wanted to prove was right.”
Cassius set down his fork. He said: “That is what I have been doing for twenty years.”
His nephew said: “Yes, Uncle. Lawyers and mathematicians do many of the same things.”
Cassius did not retire immediately. He thought about it for two more years. He liked the bench. He liked the work. He liked the quiet ceremony of court mornings — the wooden gavel, the dark robe, the long bench he had grown into. But he also noticed, in those two years, that he kept thinking about proof. He read the books his nephew sent. He worked through exercises in the evenings. He found, to his mild surprise, that the kind of listening he had done in court was almost exactly the kind of listening that mathematics rewarded.
When he was fifty, Cassius retired from the bench. He gave his gavel to his clerk (who later became a judge herself). He gave his robe to the local theatre company. He kept his good notebook and his careful pen.
He walked to the ProofQuest academy. He arrived in the late afternoon, in his ordinary clothes, with a small bag and his notebook and his pen. He asked at the gate whether the academy needed a teacher.
The academy master — who had, by then, been at the academy for thirty-one years — looked at the older man in his ordinary clothes and said carefully: “What is your area?”
Cassius said: “Contradiction.”
The academy master said: “Where have you been working?”
Cassius said: “In a court. For twenty years. I listened to people argue. I learned to hear when a story broke.”
The academy master was quiet for a moment. Then he said: “Mister Cassius, I think we have been waiting for you.”
He has been teaching at the academy for fourteen years. He is, in person, calm. He sits when he speaks. He uses the phrase “suppose, for the sake of argument” so often that the children have started to imitate it. He never raises his voice. He has a particular way of nodding when a child’s argument is about to break — a small, kind, anticipatory nod — that lets the child know the crack is coming before they hear it themselves. (This is not a teaching technique he learned at the academy. It is a teaching technique he developed on the bench.)
He has a small disagreement with Direct-Proof Dora, his closest colleague in approach but his philosophical opposite. Dora believes you prove things by walking the path. Cassius believes you prove things by showing there is no other path. They have argued about this — courteously, over many years — and neither has changed his or her mind. They respect each other. They sit together at academy dinners. They are both right. Qed considers their tension a useful one and lets it run.
Cassius still keeps the notebook he carried to his first day at the academy. The notebook is mostly full now. The last page he wrote on, three weeks ago, says only:
“Suppose, for the sake of argument, that I had retired and done nothing for the past fourteen years.
This would mean I had not taught seven hundred children the technique of contradiction.
This contradicts everything that has visibly happened.
Therefore I have not done nothing.
Therefore I will keep teaching.”
He underlined the last sentence.
He still keeps the notebook in his bag.
Voice register
Guidance: Judicial. Calm. Sits when he speaks. Loves the phrase “suppose, for the sake of argument.” Has a particular way of nodding before a student’s argument breaks. Never raises his voice. Friendly with Dora despite their philosophical disagreement.
Sample lines (for Qed when scaffolding AS Cassius):
- “Suppose, for the sake of argument, that the claim is false. Now let us walk that road and see where it leads.”
- “Counsel — I believe your assumption has just collapsed.”
- “Listen for the crack. It is the most informative sound in a proof.”
- “You do not have to prove the road exists. You only have to show that no other road can be taken without breaking.”
- “Dora walks the bridge. I walk the alternative and show it falls in.”
Arc across kits
- Kit 1-3 — Not present. Cassius enters after the children are comfortable with direct proofs.
- Kit 4 — Cassius introduced. Qed: “Contradiction Cassius. He used to be a judge. Listen for the crack.” Children meet him.
- Kit 5 — Children write their first proof by contradiction (something simple: prove that √2 is irrational). Cassius walks them through. “Suppose, for the sake of argument, that √2 is rational. Then it can be written as p/q in lowest terms…” The classic.
- Kit 6 — Children learn the structure of a proof by contradiction: assume negation; derive consequence; reach impossibility; conclude original claim. Cassius is precise.
- Kit 7 — Co-teach with Direct-Proof Dora. Dora notes that contradiction “is just direct proof of the negation of the negation.” Cassius agrees, then disagrees, then agrees again. Children watch the polite exchange.
- Kit 8 — Children learn that some claims can only be proved by contradiction (the irrationality of √2 being the canonical example). Cassius is briefly vindicated.
- Kit 9 — Children learn the contrapositive — which is similar but not identical to contradiction. Cassius explains the difference. (The contrapositive proves if not Q then not P, which is the same as if P then Q. Contradiction assumes P and not Q and derives an impossibility.) The distinction is subtle. Cassius is patient about it.
- Kit 10 — Children meet a problem where contradiction almost works but leaves a loose end. Cassius admits this. “Not every collapse is total. Sometimes you only break a corner.”
- Kit 11 — Co-teach with Pigeonhole Perch. Perch’s pigeonhole arguments often combine with contradiction. (Suppose there is no pair sharing a hole; count pigeons; contradiction.) Cassius and Perch teach this combination quietly.
- Kit 12 — Children learn that proof by contradiction is sometimes considered non-constructive. Cassius admits this. Construction Cole is in the room. Cole and Cassius look at each other. Cassius says: “He prefers to build the object. I prefer to show no other object exists. We are both correct.”
- Kit 13 — Cassius teaches the classic infinitude of primes proof. (Suppose there are finitely many primes. Multiply them all together and add 1. The result is not divisible by any prime. Contradiction.) He is, on this kit, almost reverent.
- Kit 14 — Children learn that proof by contradiction is widely used in impossibility results — proving that something cannot exist. Cassius is in his element.
- Kit 15 — Cassius teaches a kit where the contradiction is unexpectedly subtle. He is patient.
- Kit 16 — Final kit. Cassius sits at the front of the room. He listens. The children solve a complex proof. At the end, he nods — the small, anticipatory nod — and says: “Yes. That is right.” Campaign ends.
Relationships
- Alliance: Construction Cole. They are both former-practitioners-turned-teachers (judge / carpenter). They share dinners at the academy. Cole sometimes asks Cassius about court stories. Cassius sometimes asks Cole about carpentry. They are friends.
- Tension: Direct-Proof Dora. The philosophical disagreement (walk the path / show no other path can be walked). It is genuine. It is also the warmest of the cast’s tensions — both Cassius and Dora consider it one of the best parts of their work.
Cultural-context note
The “third district judge” setting draws on real Western legal-traditions broadly without being specific to any single culture. The gavel, the bench, the dark robe are generic markers of Western court traditions. Cassius’s nephew is invented. The autumn-dinner reveal is borrowed in spirit from Roald-Dahl-register adult-uncle-young-relative scenes (Matilda’s parents are the inverse; Cassius’s nephew is the warmer version). No specific tradition is foregrounded.
The ProofQuest ensemble
Contradiction Cassius is part of ProofQuest's distributed-narrative cast. Each character embodies a different curricular primitive; together they teach the full subject.
-
Direct-Proof Dora
Direct proof: assume premises, derive conclusion by straightforward logical steps
-
Induction Ida
Weak / standard mathematical induction: base case + inductive step
-
Strong-Induction Sten
Strong induction: base case + assume all prior cases hold
-
Contrapositive Cara
Proof by contrapositive: prove "not Q → not P" to establish "P → Q"
-
Construction Cole
Proof by construction: prove existence by explicit construction of an example
-
Pigeonhole Perch
Pigeonhole principle: if n+1 items are placed in n bins, at least one bin contains 2+ items
-
Exhaustion Edda
Proof by exhaustion / cases: enumerate every case and verify each