Maths WorkshopMaths problems with full solutions
Exercise 1753Number theory › IrrationalityM1Added 3 Nov 2026

Liouville's theorem and examples

#Liouville#approximation#transcendental

Statement

State Liouville's approximation theorem and use it to prove that a certain number is transcendental.

Hint

If α\alpha is algebraic of degree dd, then for some c>0c>0 and all p/q∈Qp/q\in\mathbb{Q}: ∣α−p/q∣>c/qd|\alpha-p/q|>c/q^d.

Show solutionHide solution

Solution

Theorem. If α\alpha is algebraic of degree d≥1d\ge1, then there exists c>0c>0 such that for all p,q∈Zp,q\in\mathbb{Z} with q>0q>0:
∣α−p/q∣≥cqd.|\alpha-p/q|\ge\frac{c}{q^d}.

Construction. α=∑n≥110−n!\alpha=\sum_{n\ge1}10^{-n!} can be approximated by pN/qN=∑n≤N10−n!p_N/q_N=\sum_{n\le N}10^{-n!} with qN=10N!q_N=10^{N!} and ∣α−pN/qN∣<10−(N+1)!<1/qNN|\alpha-p_N/q_N|<10^{-(N+1)!}<1/q_N^N.

Conclusion. For any dd, this violates Liouville's bound with d=Nd=N, so α\alpha is transcendental.