Let us assume on the contrary that is a rational number. Then, there exist positive integers and such that
where, and , are co-prime i.e. their is
for some integer
From and we obtain that is a common factor of and . But, this contradicts the fact that and have no common factor other than . This means that our supposition is wrong.
Hence, is an irrational number.