RU-ALLRUSSIAN 1976 Problem 9
There are three straight roads. On each road a man is walking at constant speed. At time , the three men are not collinear. Prove that they will be collinear for at most twice.
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.