The proof:

Suppose the square root of two is a rational number. Then this rational number may be written as p/q in reduced form with p and q are not both even.

Previous slide

Next slide

Back to first slide

View graphic version