Maths Olympiad Prep

Library / /2 of 3

Geometry Difficulty 5.8 AIME, harder Prove it Spain

In a triangle ABCABC, the internal bisector of A\angle A meets the side BCBC at DD. The lines through DD tangents to the circumcircles of triangles ABD\triangle ABD and ACD\triangle ACD meet the lines ACAC and ABAB at points EE and FF, respectively. Lines BEBE and CFCF intersect at GG. Prove that EDG=ADF\angle EDG = \angle ADF.

Solution

We have ADE=B\angle ADE = \angle B and ADF=C\angle ADF = \angle C. So AFDEAFDE is a cyclic

Figure 1

quadrilateral and
AFE=ADE=B and AEF=ADF=C, \angle AFE = \angle ADE = \angle B \text{ and } \angle AEF = \angle ADF = \angle C,
Hence, EFEF is parallel to BCBC and DE=DFDE = DF, so the triangle FDEFDE is isosceles.

Let MM be the midpoint of EFEF, L=ADEFL = AD \cap EF, and H=DGEFH = DG \cap EF. By Thales Theorem, we obtain
LELF=DCBD \frac{LE}{LF} = \frac{DC}{BD}
Also, from FGHCGD\triangle FGH \sim \triangle CGD it follows that
HFDC=GHGD \frac{HF}{DC} = \frac{GH}{GD}
From EGHBGD\triangle EGH \sim \triangle BGD, we get
HEBD=GHGD \frac{HE}{BD} = \frac{GH}{GD}
and from this
HFHE=DCDB \frac{HF}{HE} = \frac{DC}{DB}
then HH and LL are symmetric with center MM, as we will see later and LDM=HDM=α\angle LDM = \angle HDM = \alpha with
α=90ADC=CB2 if C>B, \alpha = 90^\circ - \angle ADC = \frac{\angle C - \angle B}{2} \text{ if } C > B,
and
α=90ADB=BC2 if B>C. \alpha = 90^\circ - \angle ADB = \frac{\angle B - \angle C}{2} \text{ if } B > C.
Finally,
GDE=ADEα=ADF if B>C, \angle GDE = \angle ADE - \alpha = \angle ADF \text{ if } B > C,
and
GDE=ADE+α=ADF if B<C. \angle GDE = \angle ADE + \alpha = \angle ADF \text{ if } B < C.
It remains to prove that LL and HH are symmetric with center MM. To do so denote
LF+LE=HF+HE=s, and then LF + LE = HF + HE = s, \text{ and then}
LELF=HFHE \frac{LE}{LF} = \frac{HF}{HE}
hence
sLF=sHELF=HE and LE=HF \frac{s}{LF} = \frac{s}{HE} \Rightarrow LF = HE \text{ and } LE = HF
that is, HM=MLHM = ML, as we wanted to prove.

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.