if is irrational then is irrational
Theorem.
If be a real number and is an integer such that is irrational, then is irrational.
Proof.
We show this by way of contrapositive. In other words, we show that, if is rational, then is rational.
Let be rational. Then there exist integers and with such that . Thus, , which is a rational number.∎
Note that the converse is not true. For example, is irrational and is rational.