Contradiction Cassius
PROOF BY CONTRADICTION
Loading audio…
Press play to listen along. The line being read lights up as you go.
Show full transcript
Loading transcript…
Cassius was a judge for twenty years. He worked in the third district, a hilly area with lots of small towns. And lots of small arguments. By his own count, Cassius heard ten thousand cases.
Ten thousand cases is a lot of listening.
After about two thousand of them, Cassius noticed something strange. The best arguments never started with "I'm right!" The best arguments started with, "Okay, let's pretend the other person is right."
The lawyer would walk down the path of the other person's story. They would follow it step by step. Patiently. Until the path cracked. Until it led to a place that made no sense. Until the story fell apart.
When that happened, Cassius could hear it. He had a special ear for it. He could hear a story crack the way a potter hears the exact moment her wheel slows down.
He would lean forward in his big chair. "I believe," he'd say, "your argument just broke."
Sometimes the lawyer would agree. Most of the time, they argued back. So Cassius would patiently walk them through their own story. He would show them the crack. Then they would see it. They would sit down. And Cassius would rule for the other side.
This way of winning has a special name. It’s called proof by contradiction.
Cassius didn't know it had a name in math. Not until he was forty-eight. His nephew, who was a student at the big university, came for dinner.
His nephew explained the idea. "It's a math trick, Uncle Cassius. You pretend the thing you want to prove is wrong. Then you follow the steps. If you end up with something impossible, like two plus two equals five, you've won! It means your first idea was a mistake. So the thing you wanted to prove must have been right all along."
Cassius set down his fork. "That," he said slowly, "is what I've been doing for twenty years."
"Yes, Uncle," his nephew said. "Lawyers and mathematicians are more alike than you think."
Cassius didn't quit his job right away. He thought about it for two more years. He still liked being a judge. He liked the heavy wooden gavel and his dark robe. He liked the quiet courtroom in the morning.
But something had changed. He couldn't stop thinking about proof. His nephew sent him math books. Cassius did the problems at night. He found that the listening he did in court was the same kind of listening he needed for math.
So, when he turned fifty, Cassius retired.
He gave his gavel to his clerk. (She became a judge later, too.) He gave his robe to the town's theater group. But he kept his best notebook and his favorite pen.
He walked to the ProofQuest academy. He arrived late in the afternoon, wearing his regular clothes. He carried a small bag with his notebook and pen. He asked the person at the gate if they needed a teacher.
The academy master looked at the older man. "What do you teach?" he asked.
"Contradiction," said Cassius.
"And where did you work before this?"
"In a courtroom," Cassius said. "For twenty years. I listened to arguments. I learned to hear the moment a story cracked."
The master was silent for a long moment. He looked Cassius right in the eye. "Mister Cassius," he said. "I believe we've been waiting for you."
He has taught at the academy for fourteen years now. He is a calm man. He always sits when he speaks. He says, "Suppose, for the sake of argument..." so much that the kids have started saying it too. He never, ever raises his voice.
He has a special nod. He does it right before a student's argument is about to break. It's a small, kind nod. It tells the student, "The crack is coming." They know it's coming even before they hear it. He learned that trick as a judge, not as a teacher.
He has a friendly argument going with another teacher, Direct-Proof Dora. She is his opposite. Dora thinks you prove something by walking straight down the right path. Cassius thinks you prove something by showing all the other paths are broken.
They have argued about this for years. They are always polite. Neither one has ever changed their mind. They still respect each other. They even sit together at dinner. They are both right, in their own way. Qed, the head of the academy, thinks their arguments are good for everyone.
Cassius still has the notebook from his first day. It's almost full now. On the last page he used, he wrote a little proof for himself.
"Suppose, for the sake of argument, that I did nothing for the last fourteen years.
This would mean I never taught seven hundred kids about contradiction.
But I did teach them. I saw them learn.
So my first idea must be wrong.
Therefore, I have not done nothing.
Therefore, I will keep teaching."
He underlined the last sentence.
He still keeps the notebook in his bag.
Hear it as an audio drama
A short play starring Contradiction Cassius, from ProofQuest. Different voices, same idea. Listen any time after you read.
Loading audio…
Read the drama script
- Narrator: From Spark and Anvil and ProofQuest — this is Cassius, in chapter 1 of the ProofQuest cast.
- Narrator: This drama uses an AI-generated voice. Voiced via Gemini 2.5.
- Narrator: Contradiction Cassius is the academy's trickster — except his trick is honest. He gets you to the truth by walking down the wrong path first, on purpose, and showing where it breaks.
- Narrator: He is a thoughtful raven-tween. Dark-feathered. Sharp-eyed. He wears a long dark coat with a small star-shape pinned to the lapel — the symbol of contradiction. He carries a small notebook and a sharp pencil.
- Cassius: I am Contradiction Cassius. I teach proof by contradiction. To prove that something is true, I assume the opposite — and then I follow the rules of logic until I run into a contradiction. The contradiction proves the assumption was wrong. So the original claim must be true.
- Narrator: A proof by contradiction is a way of proving a claim by assuming its negation, deriving a contradiction, and concluding that the negation cannot be true — therefore the original must be. It is one of the most powerful proof techniques in mathematics.
- Cassius: My method has four steps. One: state what you want to prove. Two: assume the opposite is true. Three: follow the logical consequences carefully. Four: when you reach a contradiction — something that can't possibly be true — you know your assumption was wrong, and the original claim is right.
- Cassius: My most famous proof is one of the oldest in mathematics. The claim: the square root of two is irrational. The classical proof by contradiction. Assume the square root of two is rational. That means it equals some fraction A over B in lowest terms. Square both sides. Two equals A-squared over B-squared. Two B-squared equals A-squared. So A-squared is even, which means A is even. Write A as two K. Substitute back. Two B-squared equals four K-squared. So B-squared equals two K-squared. So B-squared is even. So B is even. But wait — we said A over B was in lowest terms. If both A and B are even, the fraction wasn't in lowest terms. Contradiction. Therefore the square root of two is not rational.
- Narrator: Cassius grew up in a small mountain village. His family were the trial-runners. Ravens who tested rope bridges by walking across them before anyone else. If the bridge broke, they fell. That was the contradiction.
- Cassius: By the time I was eight I had learned the village rule. If the assumption breaks, the assumption was wrong. The break is information. Watch where it breaks and you learn the truth.
- Narrator: He flew to the ProofQuest academy at sixteen. The mentor Qed met him at the door.
- Qed: What is proof by contradiction?
- Cassius: Assume the opposite of what you want to prove. Follow the logical consequences. Reach a contradiction. The contradiction tells you the assumption was wrong. Therefore the original claim is true. The most famous example: the square root of two is irrational. Assume it's rational. Squeeze the assumption until both halves of a fraction in lowest terms are even — which can't happen. Contradiction. Done.
- Qed: You are appointed.
- Narrator: Cassius has been the academy's contradiction-proof teacher for years. He still wears the dark coat with the star-pin. He begins every first-day lesson the same way.
- Cassius: I am Contradiction Cassius. Assume the opposite. Walk the path. Find the break. That is what contradiction proof is. When you can't see how to prove a claim directly, try the opposite. The opposite usually breaks, and when it breaks you have your proof.
- Cassius: Assume the negation. Follow the logic. Find the contradiction. Conclude the original. That's the whole technique. That's what makes contradiction proof a proof.
- Narrator: You've been listening to a Spark and Anvil chapter, written by the Spark and Anvil writing team for ages 9 to 14.
- Narrator: Apps stay free forever.
- Narrator: Curriculum aligned to Common Core math and discrete math.
- Narrator: Released under Creative Commons BY-NC-SA 4.0 for educational reuse. Visit Spark and Anvil for the full transcript.
More stories with Contradiction Cassius
Another short audio story about Contradiction Cassius. Open one when you are ready.
Proof by contradiction
Loading audio…
Read the script
- Narrator: From Spark and Anvil and ProofQuest — this is Contradiction Cassius, in chapter 1 of the ProofQuest cast.
- Narrator: This drama uses an AI-generated voice. Voiced via Gemini 2.5.
- Narrator: Contradiction Cassius is a former judge. He is calm. He sits when he speaks. He listens for a story to crack.
- Narrator: He holds a notebook and a careful pen. He has been teaching at the academy for fourteen years, after twenty years on the bench.
- Contradiction Cassius: I am Contradiction Cassius. I learned my craft not in a classroom, but in a courtroom, listening to ten thousand cases.
- Contradiction Cassius: I teach you to assume the opposite of what you want to prove. Suppose, for the sake of argument, that the other side is right.
- Contradiction Cassius: Then you walk down their road, step by step, until you find the place where it breaks. The place where their own story contradicts itself.
- Narrator: For twenty years on the bench, he learned to hear an argument collapse the way a potter hears a wheel slow down.
- Contradiction Cassius: From my bench, I would say: Counsel, I believe your position has just collapsed. The crack is audible to the court.
- Narrator: At fifty, he retired and walked to the ProofQuest academy. The academy master asked him one question: What is your area?
- Contradiction Cassius: I told him: Contradiction. I listen for the moment when a story breaks under its own weight.
- Narrator: The academy master was quiet for a moment. Then he said: Mister Cassius, I think we have been waiting for you.
- Contradiction Cassius: So now I teach children how to listen for that same sound. It is the most informative sound in a proof.
- Narrator: Assume the opposite. Follow the logic until it breaks. Show there is no other path. That is Contradiction Cassius.
- Narrator: You've been listening to a Spark and Anvil chapter, written by the Spark and Anvil writing team for ages 9 to 14.
- Narrator: Apps stay free forever.
- Narrator: Curriculum aligned to Common Core math and discrete math.
- Narrator: Released under Creative Commons BY-NC-SA 4.0 for educational reuse. Visit Spark and Anvil for the full transcript.
The ProofQuest ensemble
Contradiction Cassius is one of the friends in ProofQuest. Each friend shows you one idea by how they act; meet them all and you have the whole 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
-
Counterexample Cricket
Disproof by counterexample — one exception topples a universal claim
-
Biconditional Bex
Biconditional proof — proving 'if and only if' in both directions
-
Uniqueness Una
Proof of uniqueness — suppose two, show they must be the same one
-
QED
Closing-mark mentor — the ∎ at the end of every proof; the gentle voice that names completion + invites the next problem