Assume √7 is a rational number.
Let √7=ab, where g.c.d. (a,b) =1;aεN,bεN
⇒a2=7b2 ........ (1)
⇒7|a2
⇒7|a
Let a=7, k ε N
Therefore, 49k2=7b2 ....... [Subs. a=7k in (1)]
⇒b2=7k2
⇒7|b2
⇒7|b
Thus 7|a and 7|b
This is a contradiction, because g.c.d. (a,b)=1.
Thus, our assumption is wrong .
Hence, √7 is irrational.