# Do $e$ and $\pi$ satisfy a non-trivial diophantine equation?

Do there exist integers $a,b,c$ such that at least one of them is non-zero and $ae+b\pi = c$?

Please note that, I am only asking if e and $\pi$ can satisfy a non-trivial diophantine equation $ax + by = c$. I am not interested in any arbitrary polynomial relation between them. I think this is false. Any help is welcome!

If no such integers $a, b, c$ exist, then in particular there are no $a, b, c \in \mathbb{Z}$ with $a = b$ such that $a e + b \pi = c$ so

$$e + \pi \not= \frac{c}{a}$$

for all $a, c \in \mathbb{Z}$. Thus, $e + \pi$ is irrational. According to #22 in the list of open problems linked from this answer, it is not known if $e + \pi$ is irrational, so this would resolve an open problem.

On the other hand, if there exist $a, b, c \in \mathbb{Z}$ (not all zero) such that $a e + b \pi = c$, then since $e$ and $\pi$ are irrational, both $a, b \not= 0$. Then

$$\frac{e}{\pi} = \frac{c}{a \pi} - \frac{b}{a}$$

Since the reciprocal of a transcendental number is transcendental, $\frac{1}{\pi}$ is transcendental. If $c \not= 0$, this implies that $\frac{e}{\pi}$ is transcendental. If $c = 0$, then $\frac{e}{\pi}$ is rational and, therefore, is not transcendental. Determining if $\frac{e}{\pi}$ is transcendental an open problem (by the reference above) which we resolve one way or the other depending on whether or not $c = 0$.

There is also another argument which shows that if there exist $a, b, c \in \mathbb{Z}$ (not all zero) such that $a e + b \pi = c$, then $e \pi$ is transcendental. Consider the quadratic polynomial

$$(x-ae)(x-b\pi) = x^2 - (ae+b\pi)x + (ae)(b\pi)$$

Since its roots $ae$ and $b\pi$ are transcendental, the coefficents $ae+b\pi$ and $(ae)(b\pi)$ cannot both be algebraic. Thus, if $ae + b\pi$ is an integer (and hence algebraic), then $e\pi$ is transcendental. Determining if $e\pi$ is transcendental is also open, so this resolves yet another open problem.

Thus, either the existence or non-existence of the described diophantine relation would resolve an open problem.

Thanks to @hardmath for making comments and edits that greatly improved this answer.