# Why is it hard to prove whether $\pi+e$ is an irrational number?

From this list I came to know that it is hard to conclude $\pi+e$ is an irrational? Can somebody discuss with reference "Why this is hard ?"

Is it still an open problem ? If yes it will be helpful to any student what kind ideas already used but ultimately failed to conclude this.

-
According to mathworld, it's still an open problem: mathworld.wolfram.com/e.html –  Cocopuffs Jun 17 '12 at 6:39
I don't think this is precisely a duplicate of the other question, as this one asks for references and discussion about why previous techniques are insufficient to resolve the problem. (I've edited the title to match.) This can be more illuminating than a simple yes/no answer, which is what the previous question received. –  Rahul Jun 17 '12 at 6:51
Why shouldn't it be hard? –  Qiaochu Yuan Jun 17 '12 at 7:32
@Qiaochu, I agree that the obvious answer to the stated question is "why not?", but negative results about what kinds of techniques cannot possibly work can still give much insight. For example, there are several results regarding what classes of proofs are insufficiently powerful to resolve P vs. NP. I've upvoted this question because I guess I'm hoping to learn something similar here. –  Rahul Jun 17 '12 at 8:01
I think the expectation is that much more is true: $\pi$ and $e$ are algebraically independent. See mathoverflow.net/questions/33817/…. –  lhf Jun 4 '13 at 2:46

"Why is this hard?" I think a different question would be "Why would it be easy?"

But there are some things that are known. It is known that $\pi$ and $e$ are transcendental. Thus $(x-\pi)(x-e) = x^2 - (e + \pi)x + e\pi$ cannot have rational coefficients. So at least one of $e + \pi$ and $e\pi$ is irrational. It's also known that at least one of $e \pi$ and $e^{\pi^2}$ is irrational (see, e.g., this post at MO).

-

I was actually going to ask the same question... and in particular if the result would follow as the consequence of any hard, still open conjecture. From the MO thread mentioned by lhf (not the same as the one mentioned by mixedmath) I found out that Schanuel's conjecture would imply it.

On the Mathworld page for $e$ there's a bit of info on numerical attempts to (how should I say?) verify that you cannot easily disprove the irrationality:

It is known that $\pi+e$ and $\pi/e$ do not satisfy any polynomial equation of degree $\leq 8$ with integer coefficients of average size $10^9$.

Obtaining this result in 1988 required the use of a Cray-2 supercomputer (at NASA Ames Research Center). I guess one could add that the Ferguson–Forcade algorithm, which was used in this computation, gets a bit of flak on Wikipedia. In fact, the author of this paper, D.H. Bailey, later co-developed the superior PSLQ algorithm. So it is interesting that the problem has advanced computational science too, in a way.

-

## protected by Asaf KaragilaJul 12 '13 at 1:02

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?