IMO 2026 Problems

July 26, 2026 · math, competition

The 67th International Mathematical Olympiad was held in Shanghai, China, from 10–20 July 2026. As usual, the contest ran over two days, with three problems per day and four and a half hours per day to solve them; each problem is worth 7 points, for a maximum score of 42. Below are all six problems, quoted verbatim, with the answer to each left blank for now — I want to sit with them myself before writing anything up.

Problem 1 (Day 1, 7 points)

There are 2026 integers greater than 1 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 1.

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

My solution

General idea for (a): The product of the terms is non-increasing after the move. If gcd(m,n) = 1, then one of the terms now becomes 1. Otherwise, the product of the terms is strictly decreasing.

If any term becomes 1, then it stays 1 as it can no longer be chosen by Confucius. In any case, this implies that at any move we can either increase our count of 1s by one or decrease our product of terms.

Consider for the sake of contradiction that it is not possible for exactly one integer MM to be left on the blackboard that is greater than 1.

Then, we have strictly less than 2025 applications of a move being made on (m,n) where gcd(m,n) = 1. In turn, all other moves strictly decrease the product.

Since it is not possible for only one non-one integer to be left on the board, we have that there are always at least two non-one integers left on the board.

We now after all our moves with gcd(m,n) = 1 only can apply moves the decrease the product and so we have a strictly decreasing product with at least two non-one integers left on the board. Therefore, this product is eventually 4 corresponding to 2 x 2, which is the smallest product possible given at least two non-one integers are left on the board. Then, we can apply the move to (2,2) and are left with (1, 2).

And so we have a contradiction, as all but one term is 1 in this situation.

General idea for (b):

Problem 2 (Day 1, 7 points)

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 inside triangles BMCBMC and BNCBNC, respectively, such that KK lies strictly inside triangle LBALBA, and LL lies strictly inside triangle ACKACK. Suppose that

∠KBA=∠ACL,∠LBK=∠LNC,∠LCK=∠BMK.\angle KBA = \angle ACL, \quad \angle LBK = \angle LNC, \quad \angle LCK = \angle BMK.

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

My solution

(solution not yet written — come back and fill this in)


Problem 3 (Day 1, 7 points)

Let nn be a positive integer. Liu Bang and Xiang Yu have a stick of length 1 and want to divide it between themselves. Liu Bang marks at most nn points on the stick, and then Xiang Yu 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 Bang 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 Bang may guarantee a total length of at least cc, regardless of Xiang Yu’s play.

My solution

(solution not yet written — come back and fill this in)


Problem 4 (Day 2, 7 points)

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 T\mathcal{T} with measurements of his choice. Then, they repeatedly perform the following steps:

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

My solution

(solution not yet written — come back and fill this in)


Problem 5 (Day 2, 7 points)

Solve over R>0\mathbb{R}_{>0} the functional equation

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

My solution

(solution not yet written — come back and fill this in)


Problem 6 (Day 2, 7 points)

Let a1,a2,a3,…a_1, a_2, a_3, \ldots be an infinite sequence of positive integers greater than 1. 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.

My solution

(solution not yet written — come back and fill this in)


Source note: Problem statements above were cross-checked against the official IMO problem archive at imo-official.org/problems/2026, Evan Chen’s IMO 2026 Solution Notes (dated 23 July 2026), and discussion threads on the Art of Problem Solving forums.