Maths Olympiad Prep

Library / /73 of 105

Geometry Difficulty 6.3 National Olympiad Prove it JBMO

Problem:

Let ABC\triangle ABC be an acute triangle. The lines (ε1),(ε2)(\varepsilon_{1}),(\varepsilon_{2}) are perpendicular to ABAB at the points AA, BB, respectively. The perpendicular lines from the midpoint MM of ABAB to the sides of the triangle AC;BCAC; BC intersect the lines (ε1),(ε2)(\varepsilon_{1}),(\varepsilon_{2}) at the points E,FE, F, respectively. If II is the intersection point of EF,MCEF, MC, prove that
AIB=EMF=CAB+CBA \angle AIB = \angle EMF = \angle CAB + \angle CBA

Solution

Solution:

Let H,GH, G be the points of intersection of ME,MFME, MF, with AC,BCAC, BC respectively. From the similarity of triangles MHA\triangle MHA and MAE\triangle MAE we get
MHMA=MAME \frac{MH}{MA} = \frac{MA}{ME}
thus, MA2=MHMEMA^{2} = MH \cdot ME

Similarly, from the similarity of triangles MBG\triangle MBG and MFB\triangle MFB we get
MBMF=MGMB \frac{MB}{MF} = \frac{MG}{MB}
thus, MB2=MFMGMB^{2} = MF \cdot MG

Since MA=MBMA = MB, from (1), (2), we have that the points E,H,G,FE, H, G, F are concyclic.

Figure 1

Therefore, we get that FEH=FEM=HGM\angle FEH = \angle FEM = \angle HGM. Also, the quadrilateral CHMGCHMG is cyclic, so CMH=HGC\angle CMH = \angle HGC. We have
FEH+CMH=HGM+HGC=90 \angle FEH + \angle CMH = \angle HGM + \angle HGC = 90^{\circ}
Thus CMEFCM \perp EF. Now, from the cyclic quadrilaterals FIMBFIMB and EIMAEIMA, we get that IFM=IBM\angle IFM = \angle IBM and IEM=IAM\angle IEM = \angle IAM. Therefore, the triangles EMF\triangle EMF and AIB\triangle AIB are similar, so AIB=EMF\angle AIB = \angle EMF. Finally
AIB=AIM+MIB=AEM+MFB=CAB+CBA \angle AIB = \angle AIM + \angle MIB = \angle AEM + \angle MFB = \angle CAB + \angle CBA

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.