Erdős Problem 96
If points in form a convex polygon then there are many pairs which are distance apart.
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.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?
Convex Moser's Worm Problem* What is the minimal area (or greatest lower bound on the area) of a convex shape that can cover every unit-length curve?
Let and let , where the points are ordered such that Let be the maximum number of distinct values the can take. Is it true that ?
Let be such that no circle whose centre is one of the contains three other points. Are there at least distinct distances determined between the , for some constant and all sufficiently large?
In the spirit of related conjectures of Erdős and others, presumably some kind of assumption that the points are in general position (e.g. no three on a line and no four on a circle) was intended.
The no-k-in-line problem: For and , the AllowedSetSize is , i. e. on an subset, there is a set of points for which no lie on a line (and not such a set of bigger size).
Green's Open Problem 72 / No-three-in-line problem*: The no-k-in-line conjecture holds for .
Does the no-three-in-line problem hold when is big enough?
Given points in the unit disc, must there be a triangle of area at most determined by them?
Every convex set in has dimension at most 1.
For every there exists some such that every convex set in has dimension at most .
If , every convex set in has dimension at most 1.