Erdős–Straus Conjecture
Canonical statement
View source LaTeX
For every integer \(n\ge2\), there exist positive integers \(x,y,z\) such that
\[
\frac4n=\frac1x+\frac1y+\frac1z .
\]Notes
The conjecture asks whether is always a sum of three unit fractions: for every integer there should be positive integers with . Erdős raised the question in 1948 in correspondence with Straus, and it entered the literature through the standard collections of unsolved problems in number theory [ErdosStraus1948].
Since a representation for yields one for every multiple of , it suffices to treat prime . Explicit congruence identities settle all outside a few thin residue classes, and computer searches have verified the conjecture over enormous ranges. Vaughan showed that the potential exceptions form a set of density zero in a strong quantitative sense [Vaughan1970ErdosStraus], and Elsholtz and Tao studied the finer question of how many representations a typical prime admits [ElsholtzTao2013].
The structural obstacle is that no finite collection of such identities covers every integer, so the congruence approach cannot by itself close the remaining residue classes. The conjecture remains open; a resolution requires either an argument going beyond covering congruences or a counterexample.
References (3)
- [ErdosStraus1948]
Unsolved Problems in Number Theory
Open ↗Paul Erdős, problem communicated to Ernst G. Straus (1948); historical source recorded in Richard K. Guy · 1948 · misc
- [Vaughan1970ErdosStraus]
On a problem of Erdős, Straus and Schinzel
Open ↗R. C. Vaughan · 1970 · misc
- [ElsholtzTao2013]
Counting the number of solutions to the Erdős–Straus equation on unit fractions
Open ↗Christian Elsholtz and Terence Tao · 2013 · misc
The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.