Let . If is a rational number, then it has the required property. If is an irrational number, let , then is a rational. Hence an irrational number to an irrational power can be a rational number. (In fact, it follows from the Gelfond-Schneider Theorem that is transcendental, and therefore irrational.)