IMO2023SL
IMO2023SL
Problems
Algebra
A1. Professor Oak is feeding his 100 Pokémon. Each Pokémon has a bowl whose capacity
is a positive real number of kilograms. These capacities are known to Professor Oak. The total
capacity of all the bowls is 100 kilograms. Professor Oak distributes 100 kilograms of food in
such a way that each Pokémon receives a non-negative integer number of kilograms of food
(which may be larger than the capacity of their bowl). The dissatisfaction level of a Pokémon
who received N kilograms of food and whose bowl has a capacity of C kilograms is equal to
|N ´ C|.
Find the smallest real number D such that, regardless of the capacities of the bowls, Pro-
fessor Oak can distribute the food in a way that the sum of the dissatisfaction levels over all
the 100 Pokémon is at most D.
(Ukraine)
A2. Let R be the set of real numbers. Let f : R Ñ R be a function such that
for every k “ 1, 2, . . . , N .
(China)
Shortlisted problems 5
Combinatorics
C1. Let m and n be positive integers greater than 1. In each unit square of an m ˆ n grid
lies a coin with its tail-side up. A move consists of the following steps:
Determine all pairs pm, nq for which it is possible that every coin shows head-side up after a
finite number of moves.
(Thailand)
C2. Determine the maximal length L of a sequence a1 , . . . , aL of positive integers satisfying
both the following properties:
si ai ` si`1 ai`1 ` ¨ ¨ ¨ ` sj aj “ 0.
(Czech Republic)
C3. Let n be a positive integer. We arrange 1 ` 2 ` ¨ ¨ ¨ ` n circles in a triangle with n
rows, such that the ith row contains exactly i circles. The following figure shows the case n “ 6.
n“6
C5. Elisa has 2023 treasure chests, all of which are unlocked and empty at first. Each day,
Elisa adds a new gem to one of the unlocked chests of her choice, and afterwards, a fairy acts
according to the following rules:
Given that this process goes on forever, prove that there is a constant C with the following
property: Elisa can ensure that the difference between the numbers of gems in any two chests
never exceeds C, regardless of how the fairy chooses the chests to lock.
(Israel)
C6. Let N be a positive integer, and consider an N ˆ N grid. A right-down path is a
sequence of grid cells such that each cell is either one cell to the right of or one cell below the
previous cell in the sequence. A right-up path is a sequence of grid cells such that each cell is
either one cell to the right of or one cell above the previous cell in the sequence.
Prove that the cells of the N ˆ N grid cannot be partitioned into less than N right-down
or right-up paths. For example, the following partition of the 5 ˆ 5 grid uses 5 paths.
(Canada)
C7. The Imomi archipelago consists of n • 2 islands. Between each pair of distinct islands
is a unique ferry line that runs in both directions, and each ferry line is operated by one of
k companies. It is known that if any one of the k companies closes all its ferry lines, then
it becomes impossible for a traveller, no matter where the traveller starts at, to visit all the
islands exactly once (in particular, not returning to the island the traveller started at).
Determine the maximal possible value of k in terms of n.
(Ukraine)
Shortlisted problems 7
Geometry
G1. Let ABCDE be a convex pentagon such that =ABC “ =AED “ 90˝ . Suppose
that the midpoint of CD is the circumcentre of triangle ABE. Let O be the circumcentre of
triangle ACD.
Prove that line AO passes through the midpoint of segment BE.
(Slovakia)
G2. Let ABC be a triangle with AC ° BC. Let ! be the circumcircle of triangle ABC
and let r be the radius of !. Point P lies on segment AC such that BC “ CP and point S is
the foot of the perpendicular from P to line AB. Let ray BP intersect ! again at D and let Q
lie on line SP such that P Q “ r and S, P, Q lie on the line in that order. Finally, let the line
perpendicular to CQ from A intersect the line perpendicular to DQ from B at E.
Prove that E lies on !.
(Iran)
G3. Let ABCD be a cyclic quadrilateral with =BAD † =ADC. Let M be the midpoint
of the arc CD not containing A. Suppose there is a point P inside ABCD such that =ADB “
=CP D and =ADP “ =P CB.
Prove that lines AD, P M, BC are concurrent.
(Slovakia)
G4. Let ABC be an acute-angled triangle with AB † AC. Denote its circumcircle by ⌦
and denote the midpoint of arc CAB by S. Let the perpendicular from A to BC meet BS
and ⌦ at D and E ‰ A respectively. Let the line through D parallel to BC meet line BE at L
and denote the circumcircle of triangle BDL by !. Let ! meet ⌦ again at P ‰ B.
Prove that the line tangent to ! at P , and line BS intersect on the internal bisector
of =BAC.
(Portugal)
G5. Let ABC be an acute-angled triangle with circumcircle ! and circumcentre O. Points
D ‰ B and E ‰ C lie on ! such that BD K AC and CE K AB. Let CO meet AB at X, and
BO meet AC at Y .
Prove that the circumcircles of triangles BXD and CY E have an intersection on line AO.
(Malaysia)
G6. Let ABC be an acute-angled triangle with circumcircle !. A circle is internally
tangent to ! at A and also tangent to BC at D. Let AB and AC intersect at P and Q
respectively. Let M and N be points on line BC such that B is the midpoint of DM and
C is the midpoint of DN . Lines M P and N Q meet at K and intersect again at I and J
respectively. The ray KA meets the circumcircle of triangle IJK at X ‰ K.
Prove that =BXP “ =CXQ.
(United Kingdom)
8 Chiba, Japan, 2nd–13th July 2023
G7. Let ABC be an acute, scalene triangle with orthocentre H. Let `a be the line through
the reflection of B with respect to CH and the reflection of C with respect to BH. Lines `b
and `c are defined similarly. Suppose lines `a , `b , and `c determine a triangle T .
Prove that the orthocentre of T , the circumcentre of T and H are collinear.
(Ukraine)
G8. Let ABC be an equilateral triangle. Points A1 , B1 , C1 lie inside triangle ABC such
that triangle A1 B1 C1 is scalene, BA1 “ A1 C, CB1 “ B1 A, AC1 “ C1 B and
Lines BC1 and CB1 intersect at A2 ; lines CA1 and AC1 intersect at B2 ; and lines AB1 and
BA1 intersect at C2 .
Prove that the circumcircles of triangles AA1 A2 , BB1 B2 , CC1 C2 have two common points.
(U.S.A.)
Shortlisted problems 9
Number Theory
N1. Determine all positive, composite integers n that satisfy the following property: if
the positive divisors of n are 1 “ d1 † d2 † ¨ ¨ ¨ † dk “ n, then di divides di`1 ` di`2 for every
1 § i § k ´ 2.
(Colombia)
N2. Determine all pairs pa, pq of positive integers with p prime such that pa `a4 is a perfect
square.
(Bangladesh)
N3. For positive integers n and k • 2 define Ek pnq as the greatest exponent r such that
k r divides n!. Prove that there are infinitely many n such that E10 pnq ° E9 pnq and infinitely
many m such that E10 pmq † E9 pmq.
(Brazil)
N4. Let a1 , a2 , . . . , an , b1 , b2 , . . . , bn be 2n positive integers such that the n ` 1 products
a1 a2 a3 ¨ ¨ ¨ an ,
b 1 a2 a3 ¨ ¨ ¨ an ,
b 1 b 2 a3 ¨ ¨ ¨ an ,
..
.
b1 b2 b3 ¨ ¨ ¨ bn
form a strictly increasing arithmetic progression in that order. Determine the smallest positive
integer that could be the common difference of such an arithmetic progression.
(Canada)
N5. Let a1 † a2 † a3 † ¨ ¨ ¨ be positive integers such that ak`1 divides 2pa1 ` a2 ` ¨ ¨ ¨ ` ak q
for every k • 1. Suppose that for infinitely many primes p, there exists k such that p divides
ak . Prove that for every positive integer n, there exists k such that n divides ak .
(Netherlands)
N6. A sequence of integers a0 , a1 , a2 , . . . is called kawaii, if a0 “ 0, a1 “ 1, and, for any
positive integer n, we have
pan`1 ´ 3an ` 2an´1 qpan`1 ´ 4an ` 3an´1 q “ 0.
An integer is called kawaii if it belongs to a kawaii sequence.
Suppose that two consecutive positive integers m and m ` 1 are both kawaii (not necessarily
belonging to the same kawaii sequence). Prove that 3 divides m, and that m{3 is kawaii.
(China)
N7. Let a, b, c, d be positive integers satisfying
ab cd pa ` bqpc ` dq
` “ .
a`b c`d a`b`c`d
Determine all possible values of a ` b ` c ` d.
(Netherlands)
N8. Let Z°0 be the set of positive integers. Determine all functions f : Z°0 Ñ Z°0 such
that
f bf paq pa ` 1q “ pa ` 1qf pbq
holds for all a, b P Z°0 , where f k pnq “ f pf p¨ ¨ ¨ f pnq ¨ ¨ ¨ qq denotes the composition of f with
itself k times.
(Taiwan)