GeometryDifficulty 8.0ShortlistProve itUnited States
Let ABC be a triangle. Find all points P on segment BC satisfying the following property: If X and Y are the intersections of line PA with the common external tangent lines of the circumcircles of triangles PAB and PAC, then (XYPA)2+AB⋅ACPB⋅PC=1. (This problem was suggested by Titu Andreescu and Cosmin Pohoata.)
Solution
We consider the configuration shown on the left below. Let OB and ωB (OC and ωC) denote the circumcenter and circumcircle of triangle ABP (ACP) respectively. Line ST, with S on ωB and T on ωC, is one of the common tangent lines of the two circumcircles. Point X lies on segment ST. Point Y lies on the other common tangent line.
We will start with the following simple and well known geometry facts. Let M be the intersection of segments XY and OBOC. By symmetry, M is the midpoint of both segments AP and XY, and line OBOC is the perpendicular bisector of segments XY and AP. By the power of a point theorem, XS2=XA⋅XP=XT2andX is the midpoint of segment ST.(14) We claim that triangles ABC and AOBOC are similar to each other, which is the Salmon theorem. Indeed, ∠ABC=∠MOBA=∠OCOBA, because each angle is equal to half of the angular size of arc AP of ωB. Likewise, ∠OBOCA=∠C. In particular, we have AOBAB=OBOCBC=OCACA.(15)
Set AB=c, BC=a, and CA=b. We claim that it suffices to show the following key fact: 1−(XYPA)2=(AB+AC)2BC2=(b+c)2a2.(16) Assuming (16), the given condition in the problem becomes AB⋅ACPB⋅PC=(b+c)2a2orPB⋅PC=(b+c)2a2bc.(17) We claim there are precisely two points P1 and P2 (on segment BC) satisfying (17). Write (17) as (b+c)2a2bc=PB⋅PC=PB⋅(a−PB), which is a quadratic equation in PB, so there are at most two solutions. We now exhibit these solutions explicitly. Construct P1 so that AP1 is the bisector of ∠BAC, and let P2 be the reflection of P1 across the midpoint of segment BC. Indeed, by the angle-bisector theorem, P2C=P1B=b+cac and P2B=P1C=b+cab, from which (17) follows for P1 and P2. It remains now to establish (16); we present two different approaches.
First approach: (By Titu Andreescu and Cosmin Pohoata) Rays OBX and OCT meet in W. Because of (14) and OBS∥OCT, triangles OBSX and WTX are congruent to each other. Hence OBX=XW and triangles OBXOC and WXOC have the same area. Note that XM and XT are altitudes in triangles OBXOC and WXOC, respectively. Hence, we obtain 4XY⋅OBOC=2XM⋅OBOC=2XT⋅OCW=4ST⋅(OCT+TW)=4ST⋅(OCT+OBS). By (15), we can write the above equation as STXY=OBOCOCT+OBS=OBOCOCA+OBA=BCAB+ACorST2XY2=a2(b+c)2.(18)
Note that OBSTOC is a right trapezoid. Let U be the foot of the perpendicular from OC on OBS. We have ST2=UOC2=OBOC2−OSU2=OBOC2−(OBS−OCT)2=OBOC2−(OBA−OCA)2.
By (15), we can write the above equation as ST2=BC2OBOC2(BC2−(BA−CA)2)=BC2OBOC2(a2−(b−c)2)=BC2OBOC2(a+b−c)(a−b+c).(19)
Multiplying (18) and (19) together gives XY2=BC2OBOC2⋅a2(a+b−c)(a−b+c)(b+c)2.(20) By (15), this implies XYST=OBS+OCTOBOC=OBA+OCAOBOC=BA+CABC=b+ca.(23)
Let ha denote the length of the altitude from A to side BC in triangle ABC. Then ha and AM are corresponding parts in similar triangles ABC and AOBOC, and so haAM=ABAOB=BCOBOC. 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.