Prove that Square-root of 2 is Irrational

This is the formal proof that the square-root of 2 is irrational. This is a proof by contradiction.


Credits:
Kevin MacLeod: Carefree

leaving cert,maths,how to,example,root 2 proof,irriational,proof by contradiction,higher level,leaving cert proofs,what proofs are on the leaving cert,