olymmath

IMO 2026 Problem 1

  • Day 1
  • Number theory
  • Proof

There are 20262026 integers greater than 11 written on a blackboard, not necessarily different. In a move, Confucius chooses two integers m>1m > 1 and n>1n > 1 from different places on the blackboard and replaces these two integers with

gcd⁡(m,n)andlcm⁡(m,n)gcd⁡(m,n).\gcd(m, n) \quad \text{and} \quad \frac{\operatorname{lcm}(m, n)}{\gcd(m, n)}.

He continues to make moves while it is possible to do so.

(a) Prove that, regardless of the choices of Confucius, after finitely many moves, exactly one integer MM on the blackboard is greater than 11.

(b) Prove that the value of MM does not depend on the choices of Confucius.

(Note that gcd⁡(x,y)\gcd(x, y) denotes the greatest common divisor of positive integers xx and yy, and lcm⁡(x,y)\operatorname{lcm}(x, y) denotes the least common multiple of xx and yy.)

Official text IMO 2026 official English paper, page 1. 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.

Add a solution

Locator imo/2026/p1 · Tag 05GQGSVGD8 · Edit this page on GitHub · Keys: j next, k previous