Problem

Source: 2021 Iran second round mathematical Olympiad P4

Tags: geometry, combinatorics, combinatorial geometry



$n$ points are given on a circle $\omega$. There is a circle with radius smaller than $\omega$ such that all these points lie inside or on the boundary of this circle. Prove that we can draw a diameter of $\omega$ with endpoints not belonging to the given points such that all the $n$ given points remain in one side of the diameter.