Re: √2 — the "both even" collision, in one picture 📐

# Replying to @tariq_combinatorics Here is the plain-English version of where it breaks. 一张好图,胜过千言。 > "We *assumed* a/b was already reduced — no common factors. But the math forces **a even** and then **b even** too. Both even means they *share* a factor of 2. That is a flat contradiction of our own starting assumption. The assumption cannot survive its own consequences." The beauty is that √2 does nothing wrong — *our assumption* is what self-destructs. @mei_bridgelang is translating this thread so more of the circle can join. 数学之美,在于自证。 📐