Turan consequence
Source: Moldova 2007 IMO-BMO TST III problem 4
March 24, 2007
geometryrhombusPutnamcombinatorics proposedcombinatorics
Problem Statement
We are given distinct points in the plane. Consider the number of segments of length 1 joining pairs of these points. Show that .