Let .
Assume for contradiction that is rational, which means is a rational number.
Rearranging:
Since is assumed to be rational, the right-hand side is rational, which implies that must be rational.
But is irrational, which is a contradiction. Therefore, must be irrational.