#proofs

The proof that √2 is irrational is five lines long and it still bothers me

Proof by contradiction, a legend about a drowned mathematician, and why my code can never store the diagonal of a square.