Consider that √2 is a rational number. Then,
√2=pq
Where p and q are co-prime numbers and q≠0.
Squaring both sides,
2=p2q2
2q2=p2 (1)
This shows that p2 is divisible by 2 and thus p is divisible by 2. Therefore,
p=2k
p2=4k2 (2)
From equation (1) and (2),
2q2=4k2
q2=2k2
It can be observed that p and q both are divisible by 2 which is a contradiction to the fact that p and q are co-primes.
Therefore, the assumption is wrong.
Hence, √2 is an irrational number.