Let be rational.
∴ = , where are positive integers having no common factor other than 1
∴ ...(1)
Since are non-zero integers, is rational.
Thus, equation (1) shows that is rational.
This contradicts the fact that is rational.
The contradiction arises by assuming is rational.
Hence, is irrational.