Maths Olympiad Prep

Library / /26 of 34

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

Let ABCABC be an acute triangle with circumcircle ω\omega, and let HH be the foot of the altitude from AA to BC\overline{BC}. Let PP and QQ be the points on ω\omega with PA=PHPA = PH and QA=QHQA = QH. The tangent to ω\omega at PP intersects lines ACAC and ABAB at E1E_1 and F1F_1 respectively; the tangent to ω\omega at QQ intersects lines ACAC and ABAB at E2E_2 and F2F_2 respectively. Show that the circumcircles of AE1F1\triangle AE_1F_1 and AE2F2\triangle AE_2F_2 are congruent, and the line through their centers is parallel to the tangent to ω\omega at AA.

Solution

Let OO be the center of ω\omega, and let M=PQABM = \overline{PQ} \cap \overline{AB} and N=PQACN = \overline{PQ} \cap \overline{AC} be the midpoints of AB\overline{AB} and AC\overline{AC} respectively. Refer to the diagram below.
Figure 1

The main idea is to prove two key claims involving OO, which imply the result:
(i) quadrilaterals AOE1F1AOE_1F_1 and AOE2F2AOE_2F_2 are cyclic (giving the radical axis is AO\overline{AO}),
(ii) OE1F1OE2F2\triangle OE_1F_1 \cong \triangle OE_2F_2 (giving the congruence of the circles).

We first note that (i) and (ii) are equivalent. Indeed, because OP=OQOP = OQ, (ii) is equivalent to just the similarity OE1F1OE2F2\triangle OE_1F_1 \sim \triangle OE_2F_2, and then by the spiral similarity lemma (or even just angle chasing) we have (i)     \iff (ii).

Proof of (i) by angle chasing

Note that
F2E2O=QE2O=QNO=MNO=MAO=F2AO \angle F_2E_2O = \angle QE_2O = \angle QNO = \angle MNO = \angle MAO = \angle F_2AO
and hence E2OAF2E_2OAF_2 is cyclic. Similarly, E1OAF1E_1OAF_1 is cyclic.

Proof of (i) by Simson lines

Since P,M,NP, M, N are collinear, we see that PMN\overline{PMN} is the Simson line of OO with respect to AE1F1\triangle AE_1F_1.

Proof of (ii) by butterfly theorem

By BUTTERFLY THEOREM on the three chords AC\overline{AC}, PQ\overline{PQ}, PQ\overline{PQ}, it follows that E1N=NE2E_1N = NE_2. Thus
E1P=E1AE1C=E2AE2C=E2P. E_1P = \sqrt{E_1A \cdot E_1C} = \sqrt{E_2A \cdot E_2C} = E_2P.
But also OP=OQOP = OQ and hence OPE1OQE2\triangle OPE_1 \cong \triangle OQE_2. Similarly for the other pair.

Proof of (ii) by projective geometry

Let T=PPQQT = \overline{PP} \cap \overline{QQ}. Let SS be on PQ\overline{PQ} with STAC\overline{ST} \parallel \overline{AC}; then TSON\overline{TS} \perp \overline{ON}, and it follows ST\overline{ST} is the polar of NN (it passes through TT by La Hire).
Now,
1=(PQ;NT)T(E1E2;N) -1 = (PQ; NT) \stackrel{T}{\cong} (E_1E_2; N\infty)
with =ACST\infty = \overline{AC} \cap \overline{ST} the point at infinity. Hence E1N=NE2E_1N = NE_2 and we can proceed as in the previous solution.

Proof of (ii) by complex numbers

We will give using complex numbers on ABC\triangle ABC a proof that E1P=E2Q|E_1P| = |E_2Q|.
We place APBCQAPBCQ on the unit circle. Since PQBC\overline{PQ} \parallel \overline{BC}, we have pq=bcpq = bc. Also, the midpoint of AB\overline{AB} lies on PQ\overline{PQ}, so
p+q=a+b2+a+b2pq=a+b2+a+b2abbc=a(a+b)2a+c(a+b)2a=(a+b)(a+c)2a. \begin{aligned} p+q &= \frac{a+b}{2} + \sqrt{\frac{a+b}{2}} \cdot pq \\ &= \frac{a+b}{2} + \frac{a+b}{2ab} \cdot bc \\ &= \frac{a(a+b)}{2a} + \frac{c(a+b)}{2a} \\ &= \frac{(a+b)(a+c)}{2a}. \end{aligned}

Now,
pe1=ppp(a+c)ac(p+p)ppac=p(p2p(a+c)+ac)ppac=(pa)(pc)p2acPE12=(pe1)pe1=(pa)(pc)p2ac(1p1a)(1p1c)1p21ac=(pa)2(pc)2(p2ac)2. \begin{aligned} p - e_1 &= p - \frac{pp(a+c) - ac(p+p)}{pp - ac} \\ &= \frac{p(p^2 - p(a+c) + ac)}{pp - ac} = \frac{(p-a)(p-c)}{p^2 - ac} \\ |PE_1|^2 &= (p - e_1) \cdot \overline{p - e_1} = \frac{(p-a)(p-c)}{p^2 - ac} \cdot \frac{\left(\frac{1}{p} - \frac{1}{a}\right)\left(\frac{1}{p} - \frac{1}{c}\right)}{\frac{1}{p^2} - \frac{1}{ac}} \\ &= -\frac{(p-a)^2(p-c)^2}{(p^2 - ac)^2}. \end{aligned}
Similarly,
QE22=(qa)2(qc)2(q2ac)2. |QE_2|^2 = -\frac{(q-a)^2(q-c)^2}{(q^2-ac)^2}.
But actually, we claim that
(pa)(pc)p2ac=(qa)(qc)(q2ac)2. \frac{(p-a)(p-c)}{p^2-ac} = \frac{(q-a)(q-c)}{(q^2-ac)^2}.
One calculates
(pa)(pc)(q2ac)=p2q2pq2apq2c+q2acp2ac+pa2c+pac2(ac)2 (p-a)(p-c)(q^2-ac) = p^2q^2 - pq^2a - pq^2c + q^2ac - p^2ac + pa^2c + pac^2 - (ac)^2
Thus (pa)(pc)(q2ac)(qa)(qc)(p2ac)(p-a)(p-c)(q^2-ac) - (q-a)(q-c)(p^2-ac) is equal to
(a+c)(pq)(qp)+(q2p2)ac(p2q2)ac+ac(a+c)(pq)=(pq)[(a+c)pq2(p+q)ac+ac(a+c)]=(pq)[(a+c)bc2(a+b)(a+c)2aac+ac(a+c)]=(pq)(a+c)[bcc(a+b)+ac]=0. \begin{aligned} & -(a+c)(pq)(q-p) + (q^2-p^2)ac - (p^2-q^2)ac + ac(a+c)(p-q) \\ &= (p-q) \left[ (a+c)pq - 2(p+q)ac + ac(a+c) \right] \\ &= (p-q) \left[ (a+c)bc - 2 \cdot \frac{(a+b)(a+c)}{2a} \cdot ac + ac(a+c) \right] \\ &= (p-q)(a+c) [bc - c(a+b) + ac] = 0. \end{aligned}
This proves E1P=E2Q|E_1P| = |E_2Q|. Together with the similar F1P=F2Q|F_1P| = |F_2Q|, we have proved (ii).

Remark. The assumption that ABC\triangle ABC is acute is not necessary; it is only present to ensure that PP lies on segment E1F1E_1F_1 and QQ lies on segment E2F2E_2F_2, which may be helpful for contestants. The argument presented above is valid in all configurations. When one of B\angle B and C\angle C is a right angle, some of the points E1,F1,E2,F2E_1, F_1, E_2, F_2 lie at infinity; when one of them is obtuse, both PP and QQ lie outside segments E1F1E_1F_1 and E2F2E_2F_2 respectively.

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.