Math Fun Facts!
hosted by the Harvey Mudd College Math Department created, authored and ©1999-2010 by Francis Su
Subscribe to our RSS feed   or follow us on Twitter.
Get a random Fun Fact!
No subject limitations
Search only in selected subjects
    Calculus or Analysis
    Number Theory
    Other subjects
  Select Difficulty  
Enter keywords 

  The Math Fun Facts App!
  List All : List Recent : List Popular
  About Math Fun Facts / How to Use
  Contributors / Fun Facts Home
© 1999-2010 by Francis Edward Su
All rights reserved.

From the Fun Fact files, here is a Fun Fact at the Advanced level:

Rational Irrational Power

If you raise an irrational number to a rational power, it is possible to get something rational. For instance, raise Sqrt[2] to the power 2 and you'll get 2.

But what happens if you raise an irrational number to an irrational power? Can this ever be rational?

The answer is yes, and we'll prove it without having to find specific numbers that do the trick!

    Theorem. There exist irrational numbers A and B so that AB is rational.
Proof. We know that Sqrt[2] is irrational. So, if A=Sqrt[2] and B=Sqrt[2] satisfy the conclusion of the theorem, then we are done. If they do not, then Sqrt[2]Sqrt[2] is irrational, so let A be this number. Then, letting B=Sqrt[2], it is easy to verify that AB=2 which is rational and hence would satisfy the conclusion of the theorem. QED.

This proof is non-constructive because it (amazingly) doesn't actually tell us whether Sqrt[2]Sqrt[2] is rational or irrational!

The Math Behind the Fact:
Actually, Sqrt[2]Sqrt[2] can be shown to be irrational, using something called the Gelfond-Schneider Theorem (1934), which says that if A and B are roots of polynomials, and A is not 0 or 1 and B is irrational, then AB must be irrational (in fact, transcendental).

But you don't need Gelfond-Schneider to construct an explicit example, assuming you know transcendental numbers exist (numbers that are not roots of non-zero polynomials with integer coefficients). Let x be any transcendental and q be any positive rational. Then xlog_x(q)=q so all we have to show is that log_x(q) is irrational. If log_x(q)=a/b then q=xa/b, implying that xa-qb=0, contradicting the transcendentality of x.

How to Cite this Page:
Su, Francis E., et al. "Rational Irrational Power." Math Fun Facts. <>.

Keywords:    non-constructive proof, number theory, real analysis
Subjects:    calculus, analysis, number theory
Level:    Advanced
Fun Fact suggested by:   Ravi Vakil
Suggestions? Use this form.
Click to rate this Fun Fact...
    *   Awesome! I totally dig it!
    *   Fun enough to tell a friend!
    *   Mildly interesting
    *   Not really noteworthy
and see the most popular Facts!
Get the Math Fun Facts
iPhone App!

Want another Math Fun Fact?

For more fun, tour the Mathematics Department at Harvey Mudd College!