Maths Olympiad Prep

Library / Taiwan IMO Selection Camp /150 of 359

Taiwan IMO Selection Camp, 2022

Combinatorics Difficulty 5.6 AIME, harder Prove it Taiwan

Let NN and ss be positive integers with N>sN > s. In the Taipower Park there are several buildings, of which exactly NN are power plants, and one other is the headquarters. Between certain pairs of buildings there are wires that can only transmit power in one direction, satisfying:

(i) All wires connected to a power plant only send power out of the power plant.

(ii) For every building other than the headquarters, there exists a unique sequence of wires forming a circuit from that building to the headquarters.

A building is called ss-level powered if and only if, when we remove any one wire in the park, the building can still receive power from at least ss power plants. Find the maximum possible number of ss-level powered buildings.

Solution

Solution.
In fact, the order of ABCDEABCDE on ΩΩ doesn't affect the result. Let U,VU, V be the second intersections of ⊙(ABC)⊙(ABC) and DS,DTDS, DT, respectively, and RR be the point on STST such that ∠BAD=∠RAC∠BAD = ∠RAC. Since △ABD∼△ART△ABD \sim \triangle ART, we have ∠ART=∠ABD=∠AVD=∠AVT∠ART = ∠ABD = ∠AVD = ∠AVT, implying that A,R,T,VA, R, T, V are concyclic. Hence we obtain that B,R,VB, R, V are collinear since ∠BVD=∠BAD=∠RAC=∠RVT∠BVD = ∠BAD = ∠RAC = ∠RVT. Similarly, C,R,UC, R, U are collinear. Applying Pascal's theorem to BECUDVBECUDV, we obtain that X=BZ∩UDX = BZ ∩ UD, Y=EC∩DRY = EC ∩ DR, and R=CU∩BVR = CU ∩ BV are collinear.
By the assumption that ADAD is tangent to ⊙(DXY)⊙(DXY), we obtain
∠SXR=∠ADV=∠ABV=∠SBR, ∠SXR = ∠ADV = ∠ABV = ∠SBR,

implying that B,S,R,XB, S, R, X are concyclic. Therefore,
∠AEY=∠AEC=∠ABC=∠BSR=∠EXY, \angle AEY = \angle AEC = \angle ABC = \angle BSR = \angle EXY,
implying that AEAE is tangent to ⊙(EXY)\odot(EXY), as desired.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty) added by this project.