MathDB
distance of two points is >= \sqrt{(5+\sqrt5)/2}

Source: Romania IMO TST 1990 p9

February 19, 2020
geometrydistancecombinatorial geometry

Problem Statement

The distance between any two of six given points in the plane is at least 11. Prove that the distance between some two points is at least 5+52\sqrt{\frac{5+\sqrt5}{2}}