Problem

Source: Brazil Cono Sur TST 2024 - T3/P2

Tags: trigonometry, combinatorics, algebra, combinatorial geometry



For each natural number $n\ge3$, let $m(n)$ be the maximum number of points inside or on the sides of a regular $n$-agon of side $1$ such that the distance between any two points is greater than $1$. Prove that $m(n)\ge n$ for $n>6$.