Problem: Prove that
is a rational number.
Let . We then have
We know that implies that , so we obtain
Clearly, out of the roots of this equation is and the other two roots satisfy the equation which has no real solutions. (This equation can be found by polynomial division). Since is a real number, it follows that
, which is a rational number.