Maths Olympiad Prep

Library / /100 of 264

Geometry Difficulty 5.5 AIME, harder Prove it Romania

The convex quadrilateral ABCDABCD has BCD=ADC90\angle BCD = \angle ADC \ge 90^\circ. The bisectors of the angles BAD\angle BAD and ABC\angle ABC meet at a point MM, placed on the line CDCD. Prove that MM is the midpoint of the segment [CD][CD].

Solution

Case I: ADAD and BCBC have a common point EE. Then MM is the incenter of the triangle ABEABE, hence (EM)(EM) is the bisector of the angle AEB\angle AEB.
Since ECD=EDC\angle ECD = \angle EDC, the triangle EDCEDC is isosceles with base [DC][DC]. Therefore * is a median in triangle EDCEDC, so MM is the midpoint of the segment CDCD.

Figure 1

Case II: ADBCAD \parallel BC. Then CAB=ABD=90\angle CAB = \angle ABD = 90^\circ, hence MAB+MBA=90\angle MAB + \angle MBA = 90^\circ, that is triangle MABMAB has a right angle in MM.
Denote NN the midpoint of the segment [AB][AB]. Then triangle NAMNAM is isosceles with base [AM][AM], so NMA=NAM=MAD\angle NMA = \angle NAM = \angle MAD, hence MNADMN \parallel AD. It follows that MNMN is the central median of the trapezoid ABCDABCD, whence the conclusion.

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.