MathDB
3 out of n points exist always which an angle < = \pi / n

Source: Brazilian Mathematical Olympiad 1985 P2

July 27, 2018
geometrycombinatorial geometryangles

Problem Statement

Given nn points in the plane, show that we can always find three which give an angle π/n\le \pi / n.