First assume that root(2) is rational meaning it can be written in the form a/b where a and be are co-prime this can be shown by root(2) = a/b, from here we times both sides by b getting us broot(2) = a, then we can square both sides getting 2(b)^2=(a)^2, because 2 can be taken out of the left side is shows that (a)^2 is even, if (a)^2 is even then a must also be even. We can now write a as 2c, putting 2c back into the equation gets us 2(b)^2 = (2c)2 the right hand side can be expanded to give 2(b)^2 = 4(c)^2, from here both sides can be divided by 2 to get (b)^2 = 2(c)^2, now we can take a multiple of 2 out of the right side meaning that the left side must also be even, if (b)^2 is even then b must also be even. However, at the start it was stated that a and b were co-prime but now we have just shown that they both hare a common factor of 2, thus showing that root(2) cannot be rational and therefor must be rational