USA Team Selection Test For IMO 2025
USA Team Selection Test For IMO 2025
1 Let n be a positive integer. Ana and Banana play a game. Banana thinks of a function f : Z → Z
and a prime number p. He tells Ana that f is nonconstant, p < 100, and f (x + p) = f (x) for all
integers x. Ana’s goal is to determine the value of p. She writes down n integers x1 , . . . , xn . After
seeing this list, Banana writes down f (x1 ), . . . , f (xn ) in order. Ana wins if she can determine
the value of p from this information. Find the smallest value of n for which Ana has a winning
strategy.
Anthony Wang
for all positive integers n. Prove that a1 , a2 , . . . is eventually increasing (that is, there exists a
positive integer N for which ak < ak+1 for all k > N ).
Holden Mui
3 Let A1 A2 · · · A2025 be a convex 2025-gon, and let Ai = Ai+2025 for all integers i. Distinct points
P and Q lie in its interior such that ∠Ai−1 Ai P = ∠QAi Ai+1 for all i. Define points Pij and Qji for
integers i and positive integers j as follows:
- For all i, Pi1 = Q1i = Ai .
- For all i and j, Pij+1 and Qj+1
i are the circumcenters of P Pij Pi+1
j
and QQji Qji+1 , respectively.
Let P and Q be the polygons P12025 P22025 · · · P2025
2025 and Q2025 Q2025 · · · Q2025 , respectively.
1 2 2025
4 Let ABC be a triangle, and let X, Y , and Z be collinear points such that AY = AZ, BZ = BX,
and CX = CY . Points X ′ , Y ′ , and Z ′ are the reflections of X, Y , and Z over BC, CA, and AB,
respectively. Prove that if X ′ Y ′ Z ′ is a nondegenerate triangle, then its circumcenter lies on the
circumcircle of ABC.
Michael Ren
5 A pond has 2025 lily pads arranged in a circle. Two frogs, Alice and Bob, begin on different lily
pads. A frog jump is a jump which travels 2, 3, or 5 positions clockwise. Alice and Bob each
make a series of frog jumps, and each frog ends on the same lily pad that it started from. Given
that each lily pad is the destination of exactly one jump, prove that each frog completes exactly
two laps around the pond (i.e. travels 4050 positions in total).
Linus Tang
6 Prove that there exists a real number ε > 0 such that there are infinitely many sequences of
integers 0 < a1 < a2 < . . . < a2025 satisfying
Pitchayut Saengrungkongka