Maths Olympiad Prep

Library / Team Selection Test for EGMO /1 of 15

Team Selection Test for EGMO, 2019

Geometry Difficulty 7.6 National Olympiad, round 2 Prove it Turkey

In an acute triangle ABCABC, let DD be the midpoint of [BC][BC] and PP be a point on [AD][AD]. The interior angle bisectors of ABPABP and ACPACP intersect at QQ. Let BQ⊥QCBQ \perp QC. Prove that Q∈[AP]Q \in [AP].

Solution

By angle chasing, we have
∠BAC+∠BPC=2∠BAC+∠ABP+∠ACP=2(∠BAC+∠ABQ+∠ACQ)=2∠BQC=180∘. \begin{aligned} \angle BAC + \angle BPC &= 2\angle BAC + \angle ABP + \angle ACP \\ &= 2(\angle BAC + \angle ABQ + \angle ACQ) = 2\angle BQC = 180^{\circ}. \end{aligned}
Let RR be a point on [PD][PD] such that PD=DRPD = DR. Since BD=DCBD = DC and PD=DRPD = DR, we conclude that BPCRBPCR is a parallelogram. Therefore ∠BRC=∠BPC=180∘−∠BAC\angle BRC = \angle BPC = 180^{\circ} - \angle BAC which means that BACRBACR is a cyclic quadrilateral. Since BD=DCBD = DC, the areas of the triangles ABRABR and ACRACR are equal. We also have ∠ABR+∠ACR=180∘\angle ABR + \angle ACR = 180^{\circ} and hence we get
AB⋅BR=AC⋅CR AB \cdot BR = AC \cdot CR
which shows that
ABAC=CRBR=BPCP. \frac{AB}{AC} = \frac{CR}{BR} = \frac{BP}{CP}.

Let Q′=BQ∩APQ' = BQ \cap AP. (Notice that since the triangle ABCABC is acute, Q′Q' must be on the line segment [AP][AP].) By bisector theorem, we get
ACCP=ABBP=AQ′PQ′ \frac{AC}{CP} = \frac{AB}{BP} = \frac{AQ'}{PQ'}
and hence CQ′CQ' should also be bisector of the angle ACPACP, i.e., C,Q,Q′C, Q, Q' are collinear. This is possible only if Q≡Q′∈[AP]Q \equiv Q' \in [AP].

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.