Euclid's Proof that √2 is Irrational (mathsisfun.com)