Hmmm. Maybe I'm just used to the convincing generality of the similarity argument (from Euclid, via Polya): https://math.berkeley.edu/~giventh/papers/eu.pdf htt

Hmmm. Maybe I'm just used to the convincing generality of the similarity argument (from Euclid, via Polya): https://math.berkeley.edu/~giventh/papers/eu.pdf https://math.berkeley.edu/~giventh/papers/eu.pdf But also, we can't trust geometrical diagrams: https://en.wikipedia.org/wiki/Missing_square_puzzle https://en.wikipedia.org/wiki/Missing_square_puzzle