Here’s the proof. We start by assuming the square root of two, shown as sqrt(2) here, is equal to some fraction m/n. We intend to contradict this assumption:

sqrt (2) = m/n   (a fraction, reduced to its lowest terms)
     2 = m²/n²   m² = 2n²   (So, m is a multiple of 2, call it 2q)
     4q² = 2n²   2q² = n²    (So, n is a multiple of 2)

So, both m and n are multiples of two, which is impossible, because m/n was reduced to its lowest terms. So, we have proved that the square root of two cannot be expressed as a fraction, i.e. it is irrational. via.Note:There are other methods of proof.

It follows that 2 = a2/b2,  or  a2 = 2 * b2. If we substitute a = 2k into the original equation 2 = a2/b2, this is what we get:

2= (2k)2/b2

2= 4k2/b2

2*b2= 4k2

b2= 2k2.

This means b2 is even, so we obtain the result.via