If √2 is rational, one can construct an isosceles right triangle of minimal integer side lengths. This implies that the hypotenuse is even, leading to a contradiction of the minimality. Journal ...