Maths Olympiad Prep

Library / /3 of 7

Geometry Difficulty 8.7 Shortlist Prove it China

Given an isosceles triangle ABCABC with AB=ACAB = AC. Let a moving point DD satisfy ADBCAD \parallel BC and DB>DCDB > DC. Let a moving point EE be on the arc \widearcBC\widearc{BC} of the circumcircle of ABC\triangle ABC that does not contain AA, such that EB<ECEB < EC. Let FF be a point on the extension of BCBC such that DFE=ADE\angle DFE = \angle ADE. The extension of FDFD intersects the extension of BABA at point XX, and the extension of FDFD intersects the extension of CACA at point YY.
Prove that XEY\angle XEY is constant.

Solution

Figure 1

Proof 1. Let AEAE and DEDE intersect line BCBC at points PP and QQ, respectively. Since AB=ACAB = AC and AA, BB, EE, CC are concyclic, we have ABP=ACB=AEB\angle ABP = \angle ACB = \angle AEB. Hence, APAE=AB2AP \cdot AE = AB^2.

Note that QQ might be on the extension of BCBC, but FF can only be on the extension of BQBQ. Otherwise, if FF is on the ray QBQB, combining with FF being on the extension of BCBC would lead to DFE>DCE>FCE>90\angle DFE > \angle DCE > \angle FCE > 90^\circ, while clearly ADE<90\angle ADE < 90^\circ, which contradicts ADE=DFE\angle ADE = \angle DFE.

Since ADBCAD \parallel BC, we have DQF=ADE=DFE\angle DQF = \angle ADE = \angle DFE, thus DQDE=DF2DQ \cdot DE = DF^2. Therefore,
AB2DF2=APAEDQDE=AE2DE2, \frac{AB^2}{DF^2} = \frac{AP \cdot AE}{DQ \cdot DE} = \frac{AE^2}{DE^2},
implying ABDF=AEDE\frac{AB}{DF} = \frac{AE}{DE}. Hence AXDX=ABDF=AEDE\frac{AX}{DX} = \frac{AB}{DF} = \frac{AE}{DE}. Similarly, AYDY=ACDF=AEDE\frac{AY}{DY} = \frac{AC}{DF} = \frac{AE}{DE}.

Take a point TT on segment ADAD such that ATTD=AEDE\frac{AT}{TD} = \frac{AE}{DE}. Then XX, YY, EE, and TT are concyclic (Apollonian circle). Notice that XTXT and YTYT bisect AXD\angle AXD and ATD\angle ATD, respectively. Therefore,
XEY=XTY=TXDTYD=12AXD12AYD=12XAY=12BAC \angle XEY = \angle XTY = \angle TXD - \angle TYD = \frac{1}{2}\angle AXD - \frac{1}{2}\angle AYD = \frac{1}{2}\angle XAY = \frac{1}{2}\angle BAC
is a fixed value. \square

Figure 2

Proof 2. Since AB=ACAB = AC and ADBCAD \parallel BC, ADAD bisects the external angle XAY\angle XAY. Let PP be the intersection of the perpendicular bisector of XYXY and ADAD. It is known that AA, XX, YY, and PP are concyclic. Hence, PYD=PXY=PAY\angle PYD = \angle PXY = \angle PAY, thus
PYDPAY. \triangle PYD \sim \triangle PAY.
This implies PAPD=PY2PA \cdot PD = PY^2 and PAPD=(YAYD)2\frac{PA}{PD} = \left(\frac{YA}{YD}\right)^2.

Let ω\omega be the circumcircle of ABC\triangle ABC with center OO, and Ω\Omega be the circumcircle of DEF\triangle DEF with center QQ. Clearly, PAPA is tangent to ω\omega at point AA, and since DFE=ADE\angle DFE = \angle ADE, PAPA is also tangent to Ω\Omega at point DD. Since ADCFAD \parallel CF, we have
AODQ=ACsinABCDFsinDEF=ACDFsinYDAsinDAY=(YAYD)2=PAPD. \frac{AO}{DQ} = \frac{\frac{AC}{\sin \angle ABC}}{\frac{DF}{\sin \angle DEF}} = \frac{AC}{DF} \cdot \frac{\sin \angle YDA}{\sin \angle DAY} = \left(\frac{YA}{YD}\right)^2 = \frac{PA}{PD}.
Thus, PP is the external homothety center of circles ω\omega and Ω\Omega.

Since EE is the intersection of ω\omega and Ω\Omega, it is known that PE2=PAPDPE^2 = PA \cdot PD. In fact, let EE' be the image of EE under the homothety centered at PP with ratio PAPD\frac{PA}{PD}. Then AEDEAE \parallel DE', implying PEA=PED=PDE\angle PEA = \angle PE'D = \angle PDE. Thus, PE2=PAPDPE^2 = PA \cdot PD.

Therefore, PE=PAPD=PY=PXPE = \sqrt{PA \cdot PD} = PY = PX. Hence, PP is the circumcenter of EXY\triangle EXY. Therefore, XEY=12XPY=12XAY=12BAC\angle XEY = \frac{1}{2}\angle XPY = \frac{1}{2}\angle XAY = \frac{1}{2}\angle BAC is a fixed value. \square

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 and solution reproduced as published; topic and difficulty added by this site.