olymmath

USAMO 2025 Problem 3

  • Day 1

Alice the architect and Bob the builder play a game. First, Alice chooses two points PP and QQ in the plane and a subset S\mathcal{S} of the plane, which are announced to Bob. Next, Bob marks infinitely many points in the plane, designating each a city. He may not place two cities within distance at most one unit of each other, and no three cities he places may be collinear. Finally, roads are constructed between the cities as follows: for each pair A,BA, B of cities, they are connected with a road along the line segment ABAB if and only if the following condition holds: [center]For every city CC distinct from AA and BB , there exists R∈SR\in\mathcal{S} such that △PQR\triangle PQR is directly similar to either △ABC\triangle ABC or △BAC\triangle BAC .[/center] Alice wins the game if (i) the resulting roads allow for travel between any pair of cities via a finite sequence of roads and (ii) no two roads cross. Otherwise, Bob wins. Determine, with proof, which player has a winning strategy.

Note: △UVW\triangle UVW is directly similar to △XYZ\triangle XYZ if there exists a sequence of rotations, translations, and dilations sending UU to XX , VV to YY , and WW to ZZ .

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Locator usamo/2025/p3 · Tag 6F28CFDJ06 · Edit this page on GitHub · Keys: j next, k previous