7

As we know $\sqrt{2},\sqrt{3}$ are irrational numbers. And I see some proofs on the net.

So I doubt that how $e,\pi$ or already known irrational numbers are proved to be irrational.

In fact, I got interested in Riemann zeta function $$\zeta(s)=\sum_{n=0}^{\infty} \frac{1}{n^s},$$

we know $\zeta(2)=\pi^2/6$ from Euler, 1737.

One mathematician (sorry to forgot his name) proved $\zeta(3)$ to be also irrational 40 years before.

Can somebody explain how he could do with that? To understand Apéry's theorem, is it very hard?

An question raises that could one real number make up of two different irrationals (for example: $e,\pi$), $e\pi$, or others can be rational?

Bart Michels
  • 24,846
  • 5
  • 45
  • 108
Jimmy Wang
  • 605
  • 1
  • 4
  • 13
  • More information about $\zeta(3)$ being irrational: http://en.wikipedia.org/wiki/Apéry%27s_theorem –  May 21 '13 at 14:58
  • For reference: [proof $e$ is irrational](https://en.wikipedia.org/wiki/Proof_that_e_is_irrational) and [proof $\pi$ is irrational](https://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational). Are you saying, to begin with, you doubt these are right? – al0 May 21 '13 at 15:02
  • 2
    Roger Apéry showed that $\zeta(3)$ is irrational in 1978 ([Apéry's Theorem](http://en.wikipedia.org/wiki/Ap%C3%A9ry%27s_theorem)). – robjohn May 21 '13 at 15:03
  • Internet searches easily lead to answers to many of these questions. In particular, you'd probably find some proofs of irrationality on Wikipedia. Regarding the last question, see the related questions http://math.stackexchange.com/q/159350/ and http://math.stackexchange.com/q/28243/. – Jonas Meyer May 21 '13 at 15:14
  • I don't doubt they are right. But wonder how to do that. – Jimmy Wang May 21 '13 at 15:22
  • I think he means "I wonder" when he says "I doubt that". – Mikhail Katz May 21 '13 at 15:26
  • Jimmy, I do not know if you are pursuing a math degree, but if you take an undergrad course in Algebraic Structures, you will learn elegant methods of how to prove these numbers to be irrational (and transcedental). It doesn't take hard core tylenol-based calculus and it is a discipline that, in my opinion, addresses quite some of your interests. – imranfat May 21 '13 at 15:35
  • @Robjohn: Jimmy's las question was: An question raises that could one real number make up of two different irrationals (for example: e,π ), eπ , or others can be rational?" This is extensively dealth with in the field of Algebraic structures. Jimmy asked multiple questions and I addressed part of it. – imranfat May 21 '13 at 16:00
  • You could have searched for "irrationality proofs" or "how to prove the irrationality of $n$". – Red Banana May 21 '13 at 16:22

2 Answers2

11

It is known to be very difficult to find the arithmetic nature of most real numbers such as the constants that appear in mathematical analysis, e.g. $\zeta (5)=\sum_{n\geq 1}\frac{1}{n^{5}}$.

Roger Apéry proved directly that $\zeta(2)$ is irrational. And he was the first to prove that $\zeta(3)$ is irrational too. He constructed two sequences $(a_n),(b_n)$ $[1]$

$$\begin{equation*} a_{n}=\sum_{k=0}^{n}\binom{n}{k}^{2}\binom{n+k}{k}^{2}c_{n,k}, \qquad b_{n}=\sum_{k=0}^{n}\binom{n}{k}^{2}\binom{n+k}{k}^{2},\end{equation*}$$

where

$$\begin{equation*} c_{n,k}=\sum_{m=1}^{n}\frac{1}{m^{3}}+\sum_{m=1}^{k}\frac{\left( -1\right) ^{m-1}}{2m^{3}\binom{n}{m}\binom{n+m}{m}}\quad k\leq n. \end{equation*}$$

The ratio $a_n/b_n\to\zeta(3)$ and has the following properties:

  1. $2(b_{n}\zeta (3)-a_{n})$ satisfies $\lim\sup \left\vert 2(b_{n}\zeta (3)-a_{n})\right\vert^{1/n}\le(\sqrt{2}-1)^4 $.
  2. $b_{n}\in \mathbb{Z},2(\operatorname{lcm}(1,2,\ldots ,n))^{3}a_{n}\in \mathbb{Z}$.
  3. $\left\vert b_{n}\zeta (3)-a_{n}\right\vert >0$.

This is enough to prove the irrationality of $\zeta (3)$ by contradiction. $[2]$.

There is The Tricki entry To prove that a number is irrational, show that it is almost rational that gives two examples and explains the principle of some proofs of the irrationality of numbers.

References.

$[1]$ Poorten, Alf., A Proof that Euler Missed…, Apéry’s proof of the irrationality of $\zeta(3)$. An informal report, Math. Intelligencer 1, nº 4, 1978/79, pp. 195-203.

$[2]$ Fischler, Stéfane, Irrationalité de valeurs de zêta (d’ après Apéry, Rivoal, …), Séminaire Bourbaki 2002-2003, exposé nº 910 (nov. 2002), Astérisque 294 (2004), 27-62

$[3]$ Apéry, Roger (1979), Irrationalité de $\zeta2$ et $\zeta3$, Astérisque 61: 11–13

Américo Tavares
  • 37,567
  • 13
  • 96
  • 238
0

Some combinations of irrationals can be proved to be irrational in a more or less systematic way. For example, $(\sqrt{2})^\pi$ is irrational (and in fact transcendental) by Gelfond's theorem (see http://en.wikipedia.org/wiki/Gelfond%E2%80%93Schneider_theorem).

One approach to proving the irrationality of a number is to show that it is approximated "too well" by rational numbers $p/q$ where "too well" is assigned a specific meaning in terms of the denominator $q$. From this point of view, $e$ is irrational because the terms in the familiar power series defining it: $e=\sum 1/n!$ tend to zero rapidly, so that the partial sums give extremely good approximations of $e$.

To get more details, see Spivak's book "Calculus" where he proves irrationality of $\pi$ on page 307, and that $e$ is transcendental on page 409.

Mikhail Katz
  • 35,814
  • 3
  • 58
  • 116