Maths Olympiad Prep

Library / /17 of 397

Geometry Difficulty 4.5 AIME Prove it Taiwan

In triangle ABCABC, BC>ABBC > AB. Let LL be the internal angle bisector of ABC\angle ABC. From A,CA, C draw perpendiculars to LL, and let the feet of these perpendiculars be P,QP, Q respectively. Let M,NM, N be the midpoints of side ACAC and side BCBC respectively. Let the circumcenter of triangle PQMPQM be OO, and let the second intersection point of this circle with ACAC be HH. Prove that O,M,N,HO, M, N, H are concyclic.

Solution

Extend APAP to meet BCBC at point DD; then PP is the midpoint of ADAD. Since MM is the midpoint of ACAC, PMPM is parallel to CDCD (i.e., BCBC), and
QPM=QBC=12ABC. \angle QPM = \angle QBC = \frac{1}{2} \angle ABC.
By the same reasoning, MQP=12ABC\angle MQP = \frac{1}{2}\angle ABC, so PM=QMPM = QM.

Figure 1

QHC=QHM=QPM, \angle QHC = \angle QHM = \angle QPM,
that is, QHC=QBC\angle QHC = \angle QBC. Hence Q,H,B,CQ,H,B,C are concyclic, and
BHC=BQC=90, \angle BHC = \angle BQC = 90^\circ,
so we get HN=12BC=NQHN = \frac{1}{2}BC = NQ.
Since OH=OQOH = OQ, ONON is the perpendicular bisector of segment HQHQ. Also, since MQP=12ABC\angle MQP = \frac{1}{2}\angle ABC and NN is the midpoint of BCBC, we obtain that Q,M,NQ,M,N are three collinear points. Therefore
NHO=NQO=MQO=OMQ, \angle NHO = \angle NQO = \angle MQO = \angle OMQ,
which shows that O,M,N,HO,M,N,H are concyclic. This completes the proof.

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 translated into English from zh; metadata (topic, difficulty) added by this project.