BALTIC-WAY 1991 Problem 12
The vertices of a convex 1991-gon are enumerated with integers from 1 to 1991. Each side and diagonal of the 1991-gon is coloured either red or blue. Prove that, for an arbitrary renumeration of vertices, one can find integers and such that the line connecting vertices with numbers and before the renumeration has the same colour as the line between the vertices having these numbers after the renumeration.
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.