13
$\begingroup$

Everyone knows that $\pi$ is an irrational number, and one can refer to this page for the proof that $\pi^{2}$ is also irrational.

What about the highers powers of $\pi$, meaning is $\pi^{n}$ irrational for all $n \in \mathbb{N}$ or does there exists a $m \in \mathbb{N}$ when $\pi^{m}$ is rational.

  • 18
    Not only does everyone know that $\pi$ is irrational, but everyone also knows that $\pi$ is transcendental :-)2010-08-12
  • 0
    @Robin Chapman: Ok. Agreed. Ivan Niven's proof is awesome for the irrationality of $\pi$.2010-08-12
  • 2
    Does anyone have a link to a proof of transcendentality for completeness?2010-08-12
  • 0
    The sketch of it at least: if $\pi$ were algebraic, Lindemann-Weierstrass would imply $\exp(2\pi i)$ is transcendental (proving e is transcendental is another story)... and you can fill in the rest.2010-08-12

1 Answers 1

30

What Robin hinted at:

If $\pi^{n}$ was rational, then $\pi$ would not be transcendental, as it would be the root of $ax^{n}-b = 0$ for some integers $a,b$.

  • 0
    @Moron: Ok, then if thats the case then why have they proved the seperate case of $\pi^{2}$ being irrational at planet math. They could have used your argument.2010-08-12
  • 0
    @Chandru: No idea. Perhaps they have it there for historical reasons.2010-08-12
  • 11
    There's a (relatively) simple proof that just happens to work for $\pi^2$ (and from which the $\pi$ case is an immediate corollary).2010-08-12
  • 0
    @Robin Chapman: Thank you.2010-08-12
  • 1
    1768 pi irrational, 1882 pi transcendental. proving irrationality is easier than proving transcendence. using the fact that pi is transcendantal seems to be overkill (in my interpretation of OP's question)2011-03-27
  • 0
    @yoyo: The question was, is $\pi^m$ rational for some integer $m \gt 0$. The answer is no. How does it matter how hard it is prove that?2011-03-27
  • 0
    By the same method, ${\pi}^r$ is irrational (even transcendental) for all nonzero rational $r.$ A possibly interesting question (which may have an easy answer -- I haven't given it any thought yet) is whether there exists an irrational algebraic real number $x$ such that ${\pi}^x$ is rational, and also whether there exists an explicit irrational algebraic number $y$ (i.e. can be expressed using radicals) such that ${\pi}^y$ is irrational.2014-07-10
  • 0
    In my 2nd question, what I actually meant (but didn't think about until it was too late to edit my comment) is that can such a number $y$ can be explicitly exhibited, as opposed to simply proved to exist by some non-constructive method.2014-07-10