A-Level students have to be able to prove that the square root of 2 is an irrational number. However, the proof is also accessible to GCSE students. The only idea with which you may not be familiar is that fractions with coprime integers have been cancelled down as far as possible.
The Square Root of 2 is Irrational (6 Min):