We have to prove √5 is irrational.
Let us assume the opposite,
Hence, √5 can be written in the form ab where a and b are co-prime.
Hence √5=ab
⇒5b2=a2
⇒a25=b2
Hence,5 divides a2
By theorem:If p is a prime number, and p divides a2, then p divides a, where a is a positive number.
So, 5 shall divide a also. .........(1)
Hence, we can say a5=c where c is some integer.
So,a=5c
Now we know that 5b2=a2
Put a=5c
⇒5b2=(5c)2
⇒5b2=25c2
⇒b2=5c2
⇒b25=c2
Hence 5 divides b2
So, 5 divides b also ........(2)
By (1) and (2)
5 divides both a and b
Hence 5 is a factor of a and b
So,a and b have a factor 5
∴, a and b are not co-prime.
Hence, our assumption is wrong.
∴ by contradiction, √5 is irrational.
'