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