√2 is indeed irrational.  A guide to why by W.T.H. Magnay: