MathDB
Points in a circle!

Source: JBMO Shortlist 2012 C3

February 4, 2015
geometrycombinatorial geometrycombinatorics unsolvedcombinatorics

Problem Statement

In a circle of diameter 11 consider 6565 points, no three of them collinear. Prove that there exist three among these points which are the vertices of a triangle with area less than or equal to 172\frac{1}{72}.