Dora and Cassius

"I will go first," Dora announced, stepping up to the chalk rail because starting at the beginning was the only logical way to behave. She selected a fresh piece of white chalk, snapping it in half to get a sharp, clean edge.

"We start with two even numbers," she said, her voice echoing in the quiet hall. "An even number is always twice some other whole number, so we can write them down as variables."

She wrote on the board in clean, blocky letters, her hand steady as she worked:

Let the first number be represented by two m, and let the second number be two n.

"Here, m and n are just any integers," Dora explained, looking back at the gallery of younger students. "Now, we simply add them together to see what kind of sum we get."

She wrote the next line directly underneath the first, making sure the margins aligned perfectly. She wrote the expression, two m plus two n, on the dark slate:

2m + 2n

"Both terms share a common factor of two," she said, her chalk clicking rhythmically against the slate. "Because of this, we can factor that two out of the expression to simplify it."

She drew a neat set of parentheses around the remaining variables:

2(m + n)

She stepped back, brushing a speck of white dust from her sleeve as she spoke. "Since m and n are integers, their sum must also be an integer, which we can call k."

"So our final expression is two k," she said, tapping the board with her chalk for emphasis. "By definition, any number that is twice an integer must be an even number."

"We started with the facts, we took true steps, and we arrived at our destination."

The letters on the board began to glow with a soft, warm gold light. The magic of Proofquest recognized a completed truth, and the golden light spilled over the front benches.

"Front door," Dora said, placing her chalk back in the groove with a satisfied nod. "It is clean, honest, and completely finished without any unnecessary detours."

Cassius pushed himself off the stone pillar and picked up a piece of yellow chalk that had been worn down to a stub.

"Very pretty, Dora," he said, walking to the board with a slow, deliberate stride. "But now let's try my way, which will feel a bit like walking backward in the dark."

He did not look at her golden letters, drawing a thick yellow line right through the middle of the board instead. "We want to prove that the sum of two even numbers is always even," Cassius said, turning to the class. "So, let's start by assuming the exact opposite of what we want to prove."

A murmur ran through the benches as the younger students exchanged worried glances.

"Assume the opposite," Cassius continued, his eyes gleaming with the quiet mischief of a prankster. "Suppose we add two even numbers together, and the result is actually an odd number."

He wrote the wrong idea on the board in messy, slanted yellow script:

Assume 2m + 2n is odd.

"But that's not true!" squeaked Cricket, a first-year apprentice who sat in the front row clutching a brass ruler. "Even numbers never add up to an odd number."

"I know they don't," Cassius said, turning to her with a wide grin. "But we are going to pretend they do, following this lie down the hallway to see where it leads."

He turned back to the board and pointed to his yellow equation. "If the sum is odd, then we can write it as two k plus one, where k is some integer. That is simply the definition of an odd number."

"Now, let's use Dora's neat little trick," Cassius said, factoring out the two on the left side of the equation.

2(m + n) = 2k + 1

He tapped the yellow chalk against the board, leaving a small powdery smudge. "Look closely at the contradiction we have just created on the slate. The left side is two times an integer, which means it must be even. But the right side is clearly an odd number because of that extra one."

He stepped back, crossing his arms over his chest. "So we have an even number that is equal to an odd number, which is a total impossibility. A single number cannot be both even and odd at the exact same time."

The yellow letters on the board began to vibrate, and a low, uneasy hum filled the quiet room.

"That is impossible," Cricket whispered, her eyes wide as she stared at the shaking chalk.

"Exactly," Cassius said, his voice dropping to a low whisper that carried across the hall. "The universe cannot hold both facts at once, so the logic must break."

With a sharp, echoing crack, the yellow equation split down the middle and crumbled into dust. The yellow chalk dust drifted down to the floor like falling soot, leaving only Dora's golden proof glowing on the left.

"When the lie destroys itself," Cassius said, "the truth is the only thing left standing. The sum cannot be odd, which means it must be even by default."

Cricket stood up, her heavy wooden shoes clattering against the oak floor as she looked back and forth between them.

"But you got the exact same answer," Cricket said, her brow furrowing in deep confusion. "You both proved the exact same thing, so why do we need two different ways to get there? Isn't one of you just taking the long way around to reach the same spot?"

Dora and Cassius exchanged a look, and for once, there was no competitive spark between them.

"For this problem, yes," Dora admitted, leaning her elbows against the polished wooden railing. "My way is much faster because it is direct, clean, and does not require any imaginary explosions."

"And my way was definitely the scenic route," Cassius agreed, tossing his chalk stub in the air and catching it. "But some mathematical mountains do not have a front path that we can climb."

He walked back to the board and wiped a large section clean with a damp felt cloth. The wet slate dried quickly in the warm room, leaving a dark, empty space waiting for a new challenge.

He wrote a new claim on the board: The square root of two cannot be written as a neat fraction.

"This means that you cannot write the square root of two as a simple fraction made of whole numbers." He turned to Dora with a challenging smile, gesturing for her to take the chalk. "Go ahead, Dora," he said. "Walk up to this one from the front."

Dora stepped forward, her brow furrowing as she stared at the new words on the slate. She picked up her white chalk, but her hand hovered inches from the black surface without moving. She looked for a starting point, searching for a given value or a simple definition she could build upon.

There was nothing there to work with, only a smooth and featureless wall.

"I cannot do it," Dora said slowly, lowering her hand to her side in defeat. "There is no starting number to define, and I cannot write down a formula for something that does not exist."

"Exactly," Cassius said, taking the chalk from her hand with a gentle, knowing nod. "You cannot build a path out of nothing, but you can assume the path exists and watch it crumble. Watch. We assume the square root of two can be written as a fraction, a over b, in its simplest form."

He wrote the assumption on the board: Assume the square root of two equals a/b.

"If we square both sides, we get two equals a-squared over b-squared, which means two b-squared equals a-squared," Cassius explained. "This means a-squared must be even, which means a itself must also be even. Let's say a equals two k for some integer k."

He substituted this back into the equation, his chalk clicking rapidly against the slate as he worked. "Now we have two b-squared equals the quantity two k squared, which simplifies to four k-squared. Divide both sides by two, and we get b-squared equals two k-squared."

Cricket leaned forward, her knuckles turning white as she gripped the edge of her desk. "So b-squared is also an even number!" she gasped, her eyes wide.

"Yes!" Cassius said, pointing his chalk at her with a triumphant grin. "Which means b must be an even number as well. But remember what we assumed at the very beginning of this proof? We assumed the fraction a over b was already simplified to its lowest terms. If both a and b are even, they can both be divided by two, meaning our fraction was not simplified."

He tapped the board with a sharp flourish, leaving a final white dot. "Our assumption has eaten itself, and the entire logical structure has collapsed into nothing."

Dora watched the board as the white letters began to shimmer and fade, leaving only the quiet truth behind.

"Some truths only have a back door," Dora said softly, turning to look at Cassius. "You cannot prove they are true by building them step by step from the front. You can only prove them by showing that their opposite is a complete impossibility."

"Exactly," Cassius said, "and that is not a trick, but simply where the door happens to be."