Skip to content

Erdős problem 97

Does every convex polygon have a vertex with no other 4 vertices equidistant from it?

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/97.lean

Formal Conjectures

FormalConjectures/ErdosProblems/97.leanErdos97.erdos_973 linesExact file
True ↔  ∀ (A : Finset (EuclideanSpace ℝ (Fin 2))),    A.Nonempty → EuclideanGeometry.ConvexIndep ↑A → ¬Erdos97.HasNEquidistantProperty 4 A
OpenStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry

Search problems.science

Find a Problem, Result, source, or page