Proof by contradiction.
any number that isnt rational must be irrational, therefore start by making the contradiction that its rational:
[math]\sqrt{2}=\frac{p}{q}[/math] where p, q are integers and q not equal to 0 with [math]\frac{p}{q}[/math] in lowest terms.
[math]\frac{p^2}{q^2}=2[/math]
so
[math]p^2=2q^2[/math]
so p is even. since p^2 is even, p must also be even (even x even = even) so you can write:
[math]p=2m[/math] where m is an integer
substituting this into the previous statement
[math]4m^2=2q^2[/math]
[math]2m^2=q^2[/math]
So q^2 is even and so q must be even.
But if both p and q are even then [math]\frac{p}{q}[/math] is not in lowest terms.
Since there is a contradiction, the original assumption must be false. That is [math]\sqrt{2}[/mat] cannot be rational.
therefore [math]\sqrt{2}[/math] is irrational