Maths Olympiad Prep

Library / /22 of 34

Geometry Difficulty 7.1 National Olympiad, round 2 Prove it United States

Let ABCABC be an acute triangle with circumcircle Ω\Omega and orthocenter HH. Points DD and EE lie on segments ABAB and ACAC respectively, such that AD=AEAD = AE. The lines through BB and CC parallel to DEDE intersect Ω\Omega again at PP and QQ, respectively. Denote by ω\omega the circumcircle of ADE\triangle ADE.

a. Show that lines PEPE and QDQD meet on ω\omega.

b. Prove that if ω\omega passes through HH, then lines PDPD and QEQE meet on ω\omega as well.

Solution

Solution to (a) Note that AQP=ABP=ADE\angle AQP = \angle ABP = \angle ADE and APQ=ACQ=AED\angle APQ = \angle ACQ = \angle AED, so we have a spiral similarity ADEAQP\triangle ADE \sim \triangle AQP. Therefore, lines PEPE and QDQD meet at the second intersection of ω\omega and Ω\Omega other than AA.

Solution to (b) using angle chasing Let LL be the reflection of HH across AB\overline{AB}, which lies on Ω\Omega.
Claim — Points L,D,PL, D, P are collinear.
Proof. This is just angle chasing:
CLD=DHL=DHA+AHL=DEA+AHC=ADE+CBA=ABP+CBA=CBP=CLP. \begin{aligned} \angle CLD &= \angle DHL = \angle DHA + \angle AHL = \angle DEA + \angle AHC \\ &= \angle ADE + \angle CBA = \angle ABP + \angle CBA = \angle CBP = \angle CLP. \end{aligned} \quad \square

Figure 1

Now let KωK \in \omega such that DHKEDHKE is an isosceles trapezoid, i.e. BAH=KAE\angle BAH = \angle KAE.
Claim — Points D,K,PD, K, P are collinear.
Proof. Using the previous claim,
KDE=KAE=BAH=LAB=LPB=DPB=PDE. \angle KDE = \angle KAE = \angle BAH = \angle LAB = \angle LPB = \angle DPB = \angle PDE. \quad \square
By symmetry, QE\overline{QE} will then pass through the same KK, as needed.

Solution to (b) by orthogonal circles (found by contestants) We define KK as in the previous solution, but do not claim that KK is the desired intersection. Instead, we note that:
Claim — Point KK is the orthocenter of isosceles triangle APQAPQ.
Proof. Notice that AH=AKAH = AK and BC=PQBC = PQ. Moreover from AHBC\overline{AH} \perp \overline{BC} we deduce AKPQ\overline{AK} \perp \overline{PQ} by reflection across the angle bisector.
In light of the formula "AH2=4R2a2AH^2 = 4R^2 - a^2", this implies the conclusion. \square
Let MM be the midpoint of PQ\overline{PQ}. Since APQ\triangle APQ is isosceles, AKMPQ\overline{AKM} \perp \overline{PQ} and we conclude that MKMA=MP2MK \cdot MA = MP^2. So the circle with diameter PQ\overline{PQ} is orthogonal to ω\omega. Combined with (a), this implies the result by Brokard theorem.

Solution to (b) by complex numbers Let MM be the arc midpoint of BC^\widehat{BC}. We use the standard arc midpoint configuration. We have that
A=a2, B=b2, C=c2, M=bc, H=a2+b2+c2, P=a2cb, Q=a2bc, A = a^2, \ B = b^2, \ C = c^2, \ M = -bc, \ H = a^2 + b^2 + c^2, \ P = \frac{a^2c}{b}, \ Q = \frac{a^2b}{c},
where MM is the arc midpoint of BC^\widehat{BC}. By direct angle chasing we can verify that MBDH\overline{MB} \parallel \overline{DH}. Also, DABD \in \overline{AB}. Therefore, we can compute DD as follows.
d+a2b2dˉ=a2+b2anddhdˉhˉ=mb2=b3c    d=a2(a2c+b2c+c3b3)c(bc+a2). d + a^2b^2\bar{d} = a^2 + b^2 \quad \text{and} \quad \frac{d-h}{\bar{d}-\bar{h}} = -mb^2 = b^3c \implies d = \frac{a^2(a^2c+b^2c+c^3-b^3)}{c(bc+a^2)}.
By symmetry, we have that
e=a2(a2b+bc2+b3c3)b(bc+a2). e = \frac{a^2(a^2b + bc^2 + b^3 - c^3)}{b(bc + a^2)}.
To finish, we want to show that the angle between DP\overline{DP} and EQ\overline{EQ} is angle AA. To show this, we compute dpeq/dpeq\frac{d-p}{e-q} \big/ \frac{d-p}{e-q}. First, we compute
dp=a2(a2c+b2c+c3b3)c(bc+a2)a2cb=a2(a2c+b2c+c3b3c(bc+a2)cb)=a2(a2cb3)(bc)bc(bc+a2). \begin{aligned} d - p &= \frac{a^2(a^2c + b^2c + c^3 - b^3)}{c(bc + a^2)} - \frac{a^2c}{b} \\ &= a^2 \left( \frac{a^2c + b^2c + c^3 - b^3}{c(bc + a^2)} - \frac{c}{b} \right) = \frac{a^2(a^2c - b^3)(b-c)}{bc(bc + a^2)}. \end{aligned}
By symmetry,
dpeq=a2cb3a2bc3    dpeq/dpeq=a2b3ca2bc3=b2c2 \frac{d-p}{e-q} = \frac{a^2c - b^3}{a^2b - c^3} \implies \frac{d-p}{e-q} \big/ \frac{d-p}{e-q} = \frac{a^2b^3c}{a^2bc^3} = \frac{b^2}{c^2}
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 reproduced verbatim; metadata (topic, difficulty) added by this project.