Let us assume that √7 is rational.
It can be written as √7=ab,
where a and b are integers in the lowest terms and b≠0
If a and b are integers in the lowest terms, it means that do not share any common factors.
So, our equation can be written as
7=a2b2 (by squaring both sides)
⇒7b2=a2
Since, both sides are equal, if 7 divides the L.H.S., then it must also divide R.H.S.
Therefore, a2 is divisible by 7 and hence a is also divisible by7.
So, we can rewrite 'a' as 7k, where k is some integer and k≠0.
⇒7b2=(7k)2
⇒7b2=49k2
⇒b2=7k2
Similarly, b is also divisible by 7 as b2 is divisible by 7.
Thus, a and b are divisible by 7.
But, a and b are in the lowest terms and do not share any common factors.
Thus, we have a contradiction which means our assumption is wrong.
Therefore, √7 is irrational.