Maths Olympiad Prep

Library / /163 of 397

, 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 ABDART△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=BZUDX = BZ ∩ UD, Y=ECDRY = EC ∩ DR, and R=CUBVR = 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,000 problems in a working order, from AMC 10 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.