Solution:If possible , let √2 be a rational number and its simplest form be ab then, a and b are integers having no common factor other than 1 and b≠0.
Now, √2=ab⟹2=a2b2 (On squaring both sides )
or, 2b2=a2 .......(i)
⟹2 divides a2 (∵2 divides 2b2)
⟹2 divides a
Let a=2c for some integer c
Putting a=3c in (i), we get
or, 2b2=4c2⟹b2=2c2
⟹2 divides b2 (∵2 divides 2c2)
⟹2 divides a
Thus 2 is a common factor of a and b
This contradicts the fact that a and b have no common factor other than 1.
The contradiction arises by assuming √2 is a rational.
Hence, √2 is irrational.