Maths WorkshopMaths problems with full solutions
Exercise 1752Number theory › IrrationalityL1Added 3 Nov 2026

$e$ is not a quadratic irrational

#e#quadratic irrational#contradiction

Statement

Show that ee is not a root of any quadratic polynomial with rational coefficients.

Hint

Suppose ae2+be+c=0ae^2+be+c=0 with a,b,c∈Qa,b,c\in\mathbb{Q}, not all zero. Use the series expansion and bounds to derive a contradiction.

Show solutionHide solution

Solution

Assume. ae2+be+c=0ae^2+be+c=0 with a,b,c∈Za,b,c\in\mathbb{Z}, not all zero.

Multiply by q!q!. For suitable qq, q!(ae2+be+c)q!(ae^2+be+c) is an integer.

Series. Expand e2=∑2n/n!e^2=\sum 2^n/n! and e=∑1/n!e=\sum 1/n!. The sum a∑2nq!/n!+b∑q!/n!+ca\sum 2^nq!/n!+b\sum q!/n!+c is an integer.

Tail bound. The tail involves ∑n>q(a2n+b)q!n!\sum_{n>q}\frac{(a2^n+b)q!}{n!}, which is bounded by a constant times 2q+1/(q+1)2^{q+1}/(q+1) — but cc is a fixed integer, so for large qq, the total is strictly between 00 and 11, contradicting integrality.

Conclusion. ee is not quadratic irrational. (In fact, ee is transcendental.)