Aops Community 2017 Imo: Proposed by Stephan Wagner, South Africa
Aops Community 2017 Imo: Proposed by Stephan Wagner, South Africa
IMO 2017
www.artofproblemsolving.com/community/c481799
by sseraj, cjquines0, ShinyDitto, fattypiggy123, Amir Hossein
– Day 1
Determine all values of a0 such that there exists a number A such that an = A for infinitely
many values of n.
Proposed by Stephan Wagner, South Africa
2 Let R be the set of real numbers. Determine all functions f : R → R such that, for any real
numbers x and y,
f (f (x)f (y)) + f (x + y) = f (xy).
3 A hunter and an invisible rabbit play a game in the Euclidean plane. The rabbit’s starting point,
A0 , and the hunter’s starting point, B0 are the same. After n − 1 rounds of the game, the rabbit
is at point An−1 and the hunter is at point Bn−1 . In the nth round of the game, three things
occur in order:
-The rabbit moves invisibly to a point An such that the distance between An−1 and An is exactly
1.
-A tracking device reports a point Pn to the hunter. The only guarantee provided by the tracking
device to the hunter is that the distance between Pn and An is at most 1.
-The hunter moves visibly to a point Bn such that the distance between Bn−1 and Bn is exactly
1.
Is it always possible, no matter how the rabbit moves, and no matter what points are reported
by the tracking device, for the hunter to choose her moves so that after 109 rounds, she can
ensure that the distance between her and the rabbit is at most 100?
Proposed by Gerhard Woeginger, Austria
– Day 2
4 Let R and S be different points on a circle Ω such that RS is not a diameter. Let ` be the tangent
line to Ω at R. Point T is such that S is the midpoint of the line segment RT . Point J is chosen
on the shorter arc RS of Ω so that the circumcircle Γ of triangle JST intersects ` at two distinct
points. Let A be the common point of Γ and ` that is closer to R. Line AJ meets Ω again at K.
Prove that the line KT is tangent to Γ.
Proposed by Charles Leytem, Luxembourg
6 An ordered pair (x, y) of integers is a primitive point if the greatest common divisor of x and
y is 1. Given a finite set S of primitive points, prove that there exist a positive integer n and
integers a0 , a1 , . . . , an such that, for each (x, y) in S, we have: