Maths Olympiad Prep

Library / /35 of 63

Geometry Difficulty 7.0 National olympiad Prove it Japan

Let ABCABC be an acute triangle with AB<ACAB < AC, OO be its circumcenter, and MM be the midpoint of arc BCBC of triangle ABCABC's circumcircle which does not include AA. There is a point DD on the extension of side ABAB beyond BB satisfying BD=BMBD = BM, and there is a point EE on side ACAC (except for end points) satisfying CE=CMCE = CM. If the circumcircles of triangle ABEABE and ACDACD intersect at the point XX other than AA, prove that the perpendicular bisector of segment DEDE is tangent to the circumcircle of triangle AOXAOX.

Solution

For distinct three points PP, QQ, RR, the description QPR=θ\angle QPR = \theta means that line PQPQ rotated around PP by angle θ\theta counterclockwise coincides with line PRPR. Here 180180^\circ difference is ignored.
By the inscribed angle theorem, we have XBD=XEC\angle XBD = \angle XEC, XDB=XCE\angle XDB = \angle XCE. We also have BD=BM=CM=CEBD = BM = CM = CE hence triangle BDXBDX and triangle ECXECX are congruent, therefore BX=EXBX = EX.
Let NN be the midpoint of arc BCBC of triangle ABCABC's circumcircle which includes AA. We have BXE=BAE=BAC=BNC\angle BXE = \angle BAE = \angle BAC = \angle BNC, and triangle BEXBEX is an isosceles triangle with apex XX, triangle BCNBCN is an isosceles triangle with apex NN. Also both BXE\angle BXE and BAC\angle BAC are acute angles, hence those two triangles are similar including orientation. Therefore we obtain BX:BE=BN:BCBX : BE = BN : BC and NBX=EBX+NBE=CBN+NBE=CBE\angle NBX = \angle EBX + \angle NBE = \angle CBN + \angle NBE = \angle CBE, which shows triangle BNXBNX and triangle BCEBCE are similar. Also we have
XAB=XEB=NCB=NAB \angle XAB = \angle XEB = \angle NCB = \angle NAB
thus the points AA, NN, XX are collinear.
Furthermore, BNO=BNM=BCM\angle BNO = \angle BNM = \angle BCM holds and triangle BNOBNO is an isosceles triangle with apex OO, triangle BCMBCM is an isosceles triangle with apex MM hence those two are similar. Therefore by CE=CM=BMCE = CM = BM we obtain
NX=CEBNBC=CMBOBM=NO. NX = CE \cdot \frac{BN}{BC} = CM \cdot \frac{BO}{BM} = NO.
Let TT be the point symmetric to NN with respect to line OXOX, then above shows TO=NO=NX=TXTO = NO = NX = TX hence quadrilateral NOTXNOTX is a rhombus. Therefore we have OTX=XNO=OAX\angle OTX = \angle XNO = \angle OAX, thus TT is on the circumcircle of triangle AOXAOX. Also by NO=OTNO = OT, TT is on the circumcircle of triangle ABCABC.
Since we have MBD=MCE\angle MBD = \angle MCE and BD=BM=CM=CEBD = BM = CM = CE, triangle BDMBDM and triangle CEMCEM are congruent, implying DM=EMDM = EM. Also we have ADM=CEM\angle ADM = \angle CEM thus EE is on the circumcircle of triangle ADMADM. Furthermore, line NXNX and line OTOT are parallel and line NXNX and line AMAM are orthogonal, hence line OTOT and line AMAM are also orthogonal. Thus by AO=MOAO = MO, we obtain AT=MTAT = MT. Therefore, AA and MM are symmetric with respect to line OTOT, hence we have OAT=TMO=OTM\angle OAT = \angle TMO = \angle OTM and thus line MTMT is tangent to the circumcircle of triangle AOTAOT.
Since we have
ATM=ABM=ADM+DMB=2ADM \angle ATM = \angle ABM = \angle ADM + \angle DMB = 2\angle ADM

and two points DD and TT are on the same side with respect to line AMAM, TT is the circumcenter of triangle ADMADM. Therefore, we have DT=ETDT = ET, thus by DM=EMDM = EM we have proved line MTMT is the perpendicular bisector of segment DEDE.

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 and solution reproduced as published; topic and difficulty added by this site.