Maths Olympiad Prep

Library / /166 of 169

Geometry Difficulty 8.0 Shortlist Prove it United States

Let ABCABC be a triangle. Find all points PP on segment BCBC satisfying the following property: If XX and YY are the intersections of line PAPA with the common external tangent lines of the circumcircles of triangles PABPAB and PACPAC, then
(PAXY)2+PBPCABAC=1. \left( \frac{PA}{XY} \right)^2 + \frac{PB \cdot PC}{AB \cdot AC} = 1.
(This problem was suggested by Titu Andreescu and Cosmin Pohoata.)

Solution

We consider the configuration shown on the left below. Let OBO_B and ωB\omega_B (OCO_C and ωC\omega_C) denote the circumcenter and circumcircle of triangle ABPABP (ACPACP) respectively. Line STST, with SS on ωB\omega_B and TT on ωC\omega_C, is one of the common tangent lines of the two circumcircles. Point XX lies on segment STST. Point YY lies on the other common tangent line.
Figure 1

We will start with the following simple and well known geometry facts.
Let MM be the intersection of segments XYXY and OBOCO_B O_C. By symmetry, MM is the midpoint of both segments APAP and XYXY, and line OBOCO_B O_C is the perpendicular bisector of segments XYXY and APAP. By the power of a point theorem,
XS2=XAXP=XT2andX is the midpoint of segment ST.(14) XS^2 = XA \cdot XP = XT^2 \quad \text{and} \quad X \text{ is the midpoint of segment } ST. \qquad (14)
We claim that triangles ABCABC and AOBOCAO_B O_C are similar to each other, which is the Salmon theorem. Indeed, ABC=MOBA=OCOBA\angle ABC = \angle MO_B A = \angle O_C O_B A, because each angle is equal to half of the angular size of arc AP^\widehat{AP} of ωB\omega_B. Likewise, OBOCA=C\angle O_B O_C A = \angle C. In particular, we have
ABAOB=BCOBOC=CAOCA.(15) \frac{AB}{AO_B} = \frac{BC}{O_B O_C} = \frac{CA}{O_C A}. \qquad (15)

Set AB=cAB = c, BC=aBC = a, and CA=bCA = b. We claim that it suffices to show the following key fact:
1(PAXY)2=BC2(AB+AC)2=a2(b+c)2.(16) 1 - \left(\frac{PA}{XY}\right)^2 = \frac{BC^2}{(AB + AC)^2} = \frac{a^2}{(b+c)^2}. \qquad (16)
Assuming (16), the given condition in the problem becomes
PBPCABAC=a2(b+c)2orPBPC=a2bc(b+c)2.(17) \frac{PB \cdot PC}{AB \cdot AC} = \frac{a^2}{(b+c)^2} \quad \text{or} \quad PB \cdot PC = \frac{a^2bc}{(b+c)^2}. \qquad (17)
We claim there are precisely two points P1P_1 and P2P_2 (on segment BCBC) satisfying (17). Write (17) as
a2bc(b+c)2=PBPC=PB(aPB), \frac{a^2bc}{(b+c)^2} = PB \cdot PC = PB \cdot (a - PB),
which is a quadratic equation in PBPB, so there are at most two solutions. We now exhibit these solutions explicitly. Construct P1P_1 so that AP1AP_1 is the bisector of BAC\angle BAC, and let P2P_2 be the reflection of P1P_1 across the midpoint of segment BCBC. Indeed, by the angle-bisector theorem, P2C=P1B=acb+cP_2C = P_1B = \frac{ac}{b+c} and P2B=P1C=abb+cP_2B = P_1C = \frac{ab}{b+c}, from which (17) follows for P1P_1 and P2P_2.
It remains now to establish (16); we present two different approaches.

First approach: (By Titu Andreescu and Cosmin Pohoata) Rays OBXO_B X and OCTO_C T meet in WW. Because of (14) and OBSOCTO_B S \parallel O_C T, triangles OBSXO_B S X and WTXW T X are congruent to each other. Hence OBX=XWO_B X = X W and triangles OBXOCO_B X O_C and WXOCW X O_C have the same area. Note that XMX M and XTX T are altitudes in triangles OBXOCO_B X O_C and WXOCW X O_C, respectively. Hence, we obtain
XYOBOC4=XMOBOC2=XTOCW2=ST(OCT+TW)4=ST(OCT+OBS)4. \frac{XY \cdot O_B O_C}{4} = \frac{XM \cdot O_B O_C}{2} = \frac{XT \cdot O_C W}{2} = \frac{ST \cdot (O_C T + TW)}{4} = \frac{ST \cdot (O_C T + O_B S)}{4}.
By (15), we can write the above equation as
XYST=OCT+OBSOBOC=OCA+OBAOBOC=AB+ACBCorXY2ST2=(b+c)2a2.(18) \frac{XY}{ST} = \frac{O_C T + O_B S}{O_B O_C} = \frac{O_C A + O_B A}{O_B O_C} = \frac{AB + AC}{BC} \quad \text{or} \quad \frac{XY^2}{ST^2} = \frac{(b+c)^2}{a^2}. \qquad (18)

Note that OBSTOCO_B S T O_C is a right trapezoid. Let UU be the foot of the perpendicular from OCO_C on OBSO_B S. We have
ST2=UOC2=OBOC2OSU2=OBOC2(OBSOCT)2=OBOC2(OBAOCA)2. ST^2 = UO_C^2 = O_B O_C^2 - O_S U^2 = O_B O_C^2 - (O_B S - O_C T)^2 = O_B O_C^2 - (O_B A - O_C A)^2.

By (15), we can write the above equation as
ST2=OBOC2BC2(BC2(BACA)2)=OBOC2BC2(a2(bc)2)=OBOC2BC2(a+bc)(ab+c).(19) ST^2 = \frac{O_B O_C^2}{BC^2} (BC^2 - (BA - CA)^2) = \frac{O_B O_C^2}{BC^2} (a^2 - (b-c)^2) = \frac{O_B O_C^2}{BC^2} (a+b-c)(a-b+c). \quad (19)

Multiplying (18) and (19) together gives
XY2=OBOC2BC2(a+bc)(ab+c)(b+c)2a2.(20) XY^2 = \frac{O_B O_C^2}{BC^2} \cdot \frac{(a+b-c)(a-b+c)(b+c)^2}{a^2}. \quad (20)
By (15), this implies
STXY=OBOCOBS+OCT=OBOCOBA+OCA=BCBA+CA=ab+c.(23) \frac{ST}{XY} = \frac{O_B O_C}{O_B S + O_C T} = \frac{O_B O_C}{O_B A + O_C A} = \frac{BC}{BA + CA} = \frac{a}{b+c}. \qquad (23)

Let hah_a denote the length of the altitude from AA to side BCBC in triangle ABCABC. Then hah_a and AMAM are corresponding parts in similar triangles ABCABC and AOBOCAO_B O_C, and so
AMha=AOBAB=OBOCBC. \frac{AM}{h_a} = \frac{AO_B}{AB} = \frac{O_B O_C}{BC}.
It is clear that (16) follows from (22) and (23).

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 reproduced verbatim; metadata (topic, difficulty) added by this project.