Erdős Problem 100
Is the diameter of at least for some constant ?
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Is the diameter of at least for some constant ?
Suppose that is an open subset of with measure . Are there four points in determining an axis-parallel rectangle with area ?
Let be a balanced compact set (that is, whenever ) and suppose that the normalised Gaussian measure . Does contain a compact convex set with ?
Stronger conjecture: diameter for sufficiently large .
Given points in , no five of which are on a line, the number of lines containing four points is .
Let be minimal such that any points in , no three on a line, contain points which form the vertices of a convex -gon. Prove that .
Erdős conjectured that the triangular lattice is best possible in 2D, in particular that .
Note: in [Er75f] is read , but this seems to be a typo.
Is the lower bound in 3D also an upper bound?.
How many rotated (about the origin) copies of the 'pyjama set' are needed to cover ?
In particular, can one find a better bound than the best-known bound from [KrLe25]?
Is there a dense subset of ℝ^2 such that all pairwise distances are rational?
Is there a better bound than the best-known bound from [KrLe25]? This is an existential version of the main problem that does not require providing the bound explicitly.
Let . Are there points in , no three on a line and no four on a circle, such that all pairwise distances are integers?
Is rotations enough?
The Hadwiger–Nelson problem asks: How many colors are required to color the plane such that no two points at distance 1 from each other have the same color?
Can the Cohn-Elkies scheme be used to prove the optimal bound for circle-packings in 2 dimensions?
Erdős [Er46] asked whether every set of distinct points in determines many distinct distances.
Suppose has and minimises the number of distinct distances between points in . Prove that for large there are at least two (and probably many) such which are non-similar.
Is it true that ?
Or even for some constant ?
Sendov's conjecture* states that for a polynomial with all roots inside the closed unit disk , each of the roots is at a distance no more than from at least one critical point.