Use proof by contradiction. Assume sqrt(2) is rational.
This means that sqrt(2) = p/q for some integers p and q, with q <>0.
We assume p and q are in lowest terms.
Square both side and we get:
2 = p^2/q^2
p^2 = 2q^2
This means p^2 must be an even number which means p is also even since the...