ISL 2017 G6
Let be an integer. Two regular -gons and are given in the plane. Prove that the vertices of that lie inside or on its boundary are consecutive. (That is, prove that there exists a line separating those vertices of that lie inside or on its boundary from the other vertices of .) (Czech Republic)
Dataset text NuminaMath olympiads. 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.