RU-ALLRUSSIAN 1985 Problem 15
A move replaces the real numbers a, b, c, d by a- b, b- c, c- d, d- a. If a, b, c, d are not all equal, show that at least one of the numbers can exceed 1985 after a finite number of moves.
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.