Olympiad Maths Prep

Track / Stage 7 / 171 of 300 #1571 of 2000

Problem 1571

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.3 Prove it

Points P,Q,RP,Q,R lie on the sides AB,BC,CAAB,BC,CA of triangle ABCABC in such a way that AP=PR,CQ=QRAP=PR, CQ=QR. Let HH be the orthocenter of triangle PQRPQR, and OO be the circumcenter of triangle ABCABC.
Prove that OHACOH||AC.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Denote the angles of triangle ABCABC as BAC=α\angle BAC = \alpha, ABC=β\angle ABC = \beta, and BCA=γ\angle BCA = \gamma.
2. Since AP=PRAP = PR and CQ=QRCQ = QR, we have:
APR=180PARPRA=1802α \angle APR = 180^\circ - \angle PAR - \angle PRA = 180^\circ - 2\alpha
CQR=180QCRQRC=1802γ \angle CQR = 180^\circ - \angle QCR - \angle QRC = 180^\circ - 2\gamma
3. Let k1k_1 be the circle with center PP and radius PRPR, i.e., k1=(P,PR)k_1 = (P, PR), and k2k_2 be the circle with center QQ and radius QRQR, i.e., k2=(Q,QR)k_2 = (Q, QR). Let k1k2={R,D}k_1 \cap k_2 = \{R, D\}.
4. Notice that:
ADC=ADR+RDC=12APR+12RQC=(90α)+(90γ)=β=ABC \angle ADC = \angle ADR + \angle RDC = \frac{1}{2} \angle APR + \frac{1}{2} \angle RQC = (90^\circ - \alpha) + (90^\circ - \gamma) = \beta = \angle ABC
5. Since ABC=ADC\angle ABC = \angle ADC and BB and DD are in the same half-plane with respect to the line ACAC, this means that ADBCADBC is cyclic.
6. Since PR=PDPR = PD (radii in k1k_1) and QR=QDQR = QD (radii in k2k_2), we have that PQPQ is the perpendicular bisector of DRDR. Therefore, PDQ=PRQ\angle PDQ = \angle PRQ and DRPQRHDR \perp PQ \perp RH since HH is the orthocenter of PQRRHRDHRD\triangle PQR \Longrightarrow RH \parallel RD \Longrightarrow H \in RD.
7. Note that:
PDQ=PRQ=180PRAQRC=180αγ=β=PBQ \angle PDQ = \angle PRQ = 180^\circ - \angle PRA - \angle QRC = 180^\circ - \alpha - \gamma = \beta = \angle PBQ
Therefore, PDBQPDBQ is cyclic.
8. Notice that PHQ=180PRQ=180PDQH(PDQ)=(PDBQ)\angle PHQ = 180^\circ - \angle PRQ = 180^\circ - \angle PDQ \Longrightarrow H \in \odot(PDQ) = \odot(PDBQ) (we proved that PDBQPDBQ is cyclic).
9. Since we showed that ADBCADBC is cyclic, then OD=OBOD = OB. We have that:
DOB=2DAB=2DAP=DAP+PDA=DPB \angle DOB = 2\angle DAB = 2\angle DAP = \angle DAP + \angle PDA = \angle DPB
O(PDQ)D,P,O,H,Q,B lie on a circle \Longrightarrow O \in \odot(PDQ) \Longrightarrow D, P, O, H, Q, B \text{ lie on a circle}
10. Now let BOAC=ABO \cap AC = A'. We have that:
OAC=BAC=180ABCACB=180(ABCOBA)γ \angle OA'C = \angle BA'C = 180^\circ - \angle A'BC - \angle A'CB = 180^\circ - (\angle ABC - \angle OBA) - \gamma
=180β+902γ2γ=90+αγ = 180^\circ - \beta + 90^\circ - \frac{2\gamma}{2} - \gamma = 90^\circ + \alpha - \gamma
11. We also have:
180HOA=BOH=BPH=180APRRPH 180^\circ - \angle HOA' = \angle BOH = \angle BPH = 180^\circ - \angle APR - \angle RPH
=180(1802α)(90PRQ)=2α90+PDQ = 180^\circ - (180^\circ - 2\alpha) - (90^\circ - \angle PRQ) = 2\alpha - 90^\circ + \angle PDQ
=2α90+β=90γ+α=OAC = 2\alpha - 90^\circ + \beta = 90^\circ - \gamma + \alpha = \angle OA'C
12. Therefore:
OAC+HOA=180OHAC \angle OA'C + \angle HOA' = 180^\circ \Longrightarrow \boxed{OH \parallel AC}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.