MathDB
midpoint wanted, angle bisectors related, <BCD = <ADC >= 90 ^o

Source: 2011 Romanian NMO grade VII P3

May 18, 2020
geometryangle bisectormidpointequal angles

Problem Statement

In the convex quadrilateral ABCDABCD we have that BCD=ADC90o\angle BCD = \angle ADC \ge 90 ^o. The bisectors of BAD\angle BAD and ABC\angle ABC intersect in MM. Prove that if MCDM \in CD, then MM is the middle of CDCD.