Maths Olympiad Prep

Library / USA Tstst /21 of 33

USA Tstst

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 △ADE∼△AQP\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 AH‾⊥BC‾\overline{AH} \perp \overline{BC} we deduce AK‾⊥PQ‾\overline{AK} \perp \overline{PQ} by reflection across the angle bisector.
In light of the formula "AH2=4R2−a2AH^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, AKM‾⊥PQ‾\overline{AKM} \perp \overline{PQ} and we conclude that MK⋅MA=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 MB‾∥DH‾\overline{MB} \parallel \overline{DH}. Also, D∈AB‾D \in \overline{AB}. Therefore, we can compute DD as follows.
d+a2b2dˉ=a2+b2andd−hdˉ−hˉ=−mb2=b3c  ⟹  d=a2(a2c+b2c+c3−b3)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+b3−c3)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 d−pe−q/d−pe−q\frac{d-p}{e-q} \big/ \frac{d-p}{e-q}. First, we compute
d−p=a2(a2c+b2c+c3−b3)c(bc+a2)−a2cb=a2(a2c+b2c+c3−b3c(bc+a2)−cb)=a2(a2c−b3)(b−c)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,
d−pe−q=a2c−b3a2b−c3  ⟹  d−pe−q/d−pe−q=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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.