olymmath

IMO 2026

The 67th International Mathematical Olympiad, Shanghai, China.

Official paper

Day 1

15 July 2026 · 4 hours and 30 minutes

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.)

Answer, solutions and source

Problem 2

  • Day 1
  • Geometry
  • Proof

Let ABCABC be a triangle and let points MM and NN be the midpoints of sides ABAB and ACAC, respectively. Let points KK and LL be chosen strictly inside triangles BMCBMC and BNCBNC, respectively, such that KK lies strictly inside triangle ABLABL and LL lies strictly inside triangle AKCAKC. Suppose that

∠KBA=∠ACL,∠LBK=∠LNC,and∠LCK=∠BMK.\angle KBA = \angle ACL, \quad \angle LBK = \angle LNC, \quad \text{and} \quad \angle LCK = \angle BMK.

Let OO be the circumcentre of triangle AKLAKL. Prove that OM=ONOM = ON.

Answer, solutions and source

Problem 3

  • Day 1
  • Combinatorics
  • Answer

Let nn be a positive integer. Liu Bang and Xiang Yu have a stick of length 11 and want to divide it between themselves. Liu marks at most nn points on the stick, and then Xiang marks at most nn points on the stick. The marked points are distinct. Then, the stick is cut at all marked points, creating a number of pieces. Afterwards, they take turns claiming any unclaimed piece of the stick, with Liu going first. Each player's goal is to maximise the total length of their own pieces.

For each nn, determine the largest value cc such that Liu may guarantee a total length of at least cc, regardless of Xiang's play.

Answer, solutions and source

Day 2

16 July 2026 · 4 hours and 30 minutes

Problem 4

  • Day 2
  • Geometry
  • Answer

Shan-Yu and Mulan are playing a game. Let θ\theta be an angle with 0∘<θ<180∘0^\circ < \theta < 180^\circ known to both players. Initially, Shan-Yu makes a paper triangle TT with measurements of his choice. Then, they repeatedly perform the following steps:

  • If TT has at least one angle measuring exactly θ\theta, then the game stops and Mulan wins.
  • Otherwise, Mulan chooses a point PP on the perimeter of TT, different from its three vertices. She then makes a straight cut from PP to the opposite vertex of TT, splitting it into two triangles.
  • Shan-Yu discards one of the two triangles. The remaining triangle becomes the new TT.

For which real values of θ\theta can Mulan guarantee her victory in finitely many steps, no matter how Shan-Yu plays?

Answer, solutions and source

Problem 5

  • Day 2
  • Algebra
  • Answer

Let R>0\mathbb{R}_{>0} be the set of positive real numbers. Determine all functions f ⁣:R>0→R>0f \colon \mathbb{R}_{>0} \to \mathbb{R}_{>0} such that

x2+f(y)22≥f(x)+y2≥xf(y)\sqrt{\frac{x^2 + f(y)^2}{2}} \geq \frac{f(x) + y}{2} \geq \sqrt{x f(y)}

for every x,y∈R>0x, y \in \mathbb{R}_{>0}.

Answer, solutions and source

Problem 6

  • Day 2
  • Number theory
  • Proof

Let a1,a2,a3,…a_1, a_2, a_3, \ldots be an infinite sequence of positive integers greater than 11. Suppose that for all positive integers nn, the number an+1a_{n+1} is the smallest positive integer greater than ana_n such that gcd⁡(an+1,ai)>1\gcd(a_{n+1}, a_i) > 1 for every i=1,2,…,ni = 1, 2, \ldots, n. Prove that there exist positive integers TT and LL such that

an+T=an+La_{n+T} = a_n + L

for every positive integer nn.

(Note that gcd⁡(x,y)\gcd(x, y) denotes the greatest common divisor of positive integers xx and yy.)

Answer, solutions and source