MathDB
Centroamerican Math Olympiad 2017 - P4

Source: OMCC 2017

June 23, 2017
OMCCOMCC 2017CENTROgeometrygeometric transformationreflectionangle bisector

Problem Statement

ABCABC is a right-angled triangle, with ABC=90\angle ABC = 90^{\circ}. BB' is the reflection of BB over ACAC. MM is the midpoint of ACAC. We choose DD on BM\overrightarrow{BM}, such that BD=ACBD = AC. Prove that BCB'C is the angle bisector of MBD\angle MB'D.
NOTE: An important condition not mentioned in the original problem is AB<BCAB<BC. Otherwise, MBD\angle MB'D is not defined or BCB'C is the external bisector.