DE-BUNDESWETTBEWERB 2015 Problem 1
Twelve 1-Euro-coins are laid flat on a table, such that their midpoints form a regular -gon. Adjacent coins are tangent to each other. Prove that it is possible to put another seven such coins into the interior of the ring of the twelve coins.
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.