MathDB
Five vertices are chosen from a regular nonagon [INMO 2011]

Source:

February 6, 2011
pigeonhole principlefloor functiongeometrytrapezoidcombinatorics proposed

Problem Statement

Suppose five of the nine vertices of a regular nine-sided polygon are arbitrarily chosen. Show that one can select four among these five such that they are the vertices of a trapezium.