Maths Olympiad Prep

Library / /3 of 4

Geometry Difficulty 6.6 National Olympiad Prove it Romania

Let ABCABC be an acute angled triangle with B>C\angle B > \angle C. Consider the points D,E,J,K,SD, E, J, K, S on its circumcircle C(O)C(O), such that A,E,JA, E, J and KK are on the same side of the line BCBC, the diameter DEDE and the line BCBC are orthogonal, SEK^S \in \widehat{EK} and AE^=BJ^=CK^=14CE^\widehat{AE} = \widehat{BJ} = \widehat{CK} = \frac{1}{4}\widehat{CE}. Let F,M,P,QF, M, P, Q be the intersection points of the lines ACAC and DEDE, BKBK and ADAD, BKBK and ACAC, CJCJ and BFBF, respectively. If SMK=30\angle SMK = 30^\circ and AQP=90\angle AQP = 90^\circ, prove that the line MSMS is tangent to the circumcircle of the triangle AOFAOF.
Dana Heuberger

Solution

Denote AE=x\vec{AE} = x and BD=y\vec{BD} = y. Obviously, we have 4x+y=1804x + y = 180^\circ.
From APM+MAP=2x+y2=90\angle APM + \angle MAP = 2x + \frac{y}{2} = 90^\circ we deduce that AMMPAM \perp MP. Since FOFO is the perpendicular bisector of BCBC, we have FB=FCFB = FC, thus the triangle FBCFBC is isosceles, with the apex FF. From BCJ=CBK=x2\angle BCJ = \angle CBK = \frac{x}{2}, we deduce that the triangles BCQBCQ and CBPCBP are congruent, therefore PQBCPQ \parallel BC.

Figure 1

Since FBCFBC is an isosceles triangle, with the base [BC][BC], the line FOFO is the perpendicular bisector of PQPQ. In the right angled triangle AQPAQP, the perpendicular bisector of PQPQ and the hypotenuse intersect at FF, therefore FF is the midpoint of APAP.
Denote by LL the intersection point of the half-line (BFBF with the circle C(O)C(O)).
Because BFD=CFD\angle BFD = \angle CFD, we have BD+EL=CD+AE\vec{BD} + \vec{EL} = \vec{CD} + \vec{AE}. From BD=CD=A\vec{BD} = \vec{CD} = \angle A we obtain AE=EL=x\vec{AE} = \vec{EL} = x, therefore ABL=LBK=x\angle ABL = \angle LBK = x. Since FF is the midpoint of APAP, the line BFBF is at the same time median and angle bisector of the triangle ABPABP, thus BA=BPBA = BP.
From ABP=APB=2x\angle ABP = \angle APB = 2x and AMMPAM \perp MP we deduce that AB=APAB = AP, therefore the triangle ABPABP is equilateral. Thus, we obtain A=60\angle A = 60^\circ, B=75\angle B = 75^\circ and C=45\angle C = 45^\circ.
Moreover, AOB=AFB=AMB=90\angle AOB = \angle AFB = \angle AMB = 90^\circ, so the points A,F,O,M,BA, F, O, M, B lie on the circle ω\omega of diameter ABAB. Therefore BAM=SMK=30\angle BAM = \angle SMK = 30^\circ, which means that the line MSMS is tangent to the circle ω\omega.

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.