VMO 2011 Problem 4
A convex pentagon satisfies that the sidelengths and Let us choose distinct points inside this pentagon. Prove that there exists an unit circle with centre on one edge of the pentagon, and which contains at least points out of the given points. {Edited} {I posted it correctly before but because of a little confusion deleted the sidelength part, sorry.}
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.