Assume that is rational.
Hence, can be written in the form of where and are co-prime and
Hence
by squaring on both sides
Hence divides
By theorem,if is a prime number,and divided , then divides , where is a positive number.
So, shall divide also. ......
Hence, we can say where is some integer.
So,
Now we know that
Put we get
Hence, divides
So, divides also. ......
By and
divides both and
Hence is a factor of and
So, and have a factor
and are not co-prime.
Hence, our assumption is wrong.
by contradiction, is irrational.