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 ?
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?.
Is there a dense subset of ℝ^2 such that all pairwise distances are rational?
Let . Are there points in , no three on a line and no four on a circle, such that all pairwise distances are integers?
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?
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 ?
If points in form a convex polygon then there are many pairs which are distance apart.
Does every convex polygon have a vertex with no other 4 vertices equidistant from it?
Erdős also conjectured that there is a for which every convex polygon has a vertex with no other vertices equidistant from it.
Let be such that any points in , with no three on a line and no four on a circle, determine at least distinct distances. Does ?
If distinct points in form a convex polygon then some vertex has at least different distances to other vertices.
For sufficiently large n, is it the case that any set of n points with minimum distance that minimizes diameter must contain an equilateral triangle of side length 1?
Moser's Worm Problem* What is the minimal area (or greatest lower bound on the area) of a shape that can cover every unit-length curve?