Note also that the solution to this problem uses an external link.
Solution.
If \(\sqrt{2}\) were rational, then \(\sqrt{2}=\frac{p}{q}\text{,}\) with \(p\) and \(q\) coprime. But then \(2q^2=p^2\text{.}\) By the Fundamental Theorem of Arithmetic, the power of \(2\) dividing the left side is odd, while the power of \(2\) dividing the right side is even. This is a contradiction, so \(\sqrt{2}\) is not rational.
 1 
en.wikipedia.org/wiki/Fundamental_theorem_of_arithmetic#Canonical_representation_of_a_positive_integer