Contrapositive Cara

Cara did not invent this. She'd learned it from her grandmother, who mended clocks and never argued with a stubborn gear head-on.

"When a thing won't come at you straight, Cara," her grandmother used to say, wrist-deep in springs, "ask what it would have to be for it to be false. Then chase THAT." As a small girl Cara had thought this was just clockmaker's grumbling. But her grandmother showed her, one rainy afternoon, with the window: If it's raining, the sill is wet. Hard to stand outside and prove, she said. But look — if the sill is DRY, it isn't raining. Cara had checked the dry sill, felt the certainty land, and understood something small and permanent. The two sentences were not cousins. They were the same sentence, flipped and made negative — the front and the back of one true thing. Prove either door, and you'd walked into the same room.

She'd carried it ever since: when the straight path jams, flip the claim, negate both halves, and prove that. Not a trick. A back door into the exact same house.

Years later she came to the Academy of Qed, where the mathematicians proved things for a living, and she arrived on a day when a young student named Perch was stuck fast.

The board read: If a number's square is even, then the number itself is even. Perch had been at it for an hour the front way — starting from "the square is even," trying to march forward to "the number is even." But an even square is a slippery place to start; it splits a dozen ways and every way sprouted more ways, and Perch's page was a thicket of crossings-out. "It's TRUE," Perch said, near tears. "I can feel it's true. I just can't walk to it."

Cara pulled up a stool. She did not tell Perch to push harder on the jammed door.

"You're starting from the hard end," she said. "Flip it. What would this claim have to be, to be FALSE?"

Perch thought. "It'd have to be... a number that's NOT even — an odd one — whose square somehow came out even."

"Good. So chase that instead. Prove the flipped, negated one: if the number is odd, then its square is odd. Prove THAT, and you've proved the original — same house, back door." She slid the chalk over. "Now — an odd number. Is it easy or hard to start from?"

"Easy," Perch said slowly. "An odd number is just some pairs with one left over. Twos, plus one."

"So square it. Multiply that by itself."

Perch worked it, and watched it happen: the twos multiplied into more twos, piles and piles of even stuff — and then, right at the end, the lonely plus-one multiplied by the lonely plus-one made a single one, sitting by itself with no partner. Odd. "It's odd," Perch breathed. "An odd number's square is always odd. I walked to it. It was easy from this side."

"And that IS your proof," Cara said. "You just proved 'odd number makes odd square.' Which is the same true thing as 'even square means even number,' turned inside out. You never opened the front door. You didn't need to."