MathDB
Geometry

Source: RMO 2016 Karnataka Region P1.

October 16, 2016
geometry

Problem Statement

Let ABCABC be a triangle and DD be the mid-point of BCBC. Suppose the angle bisector of ADC\angle ADC is tangent to the circumcircle of triangle ABDABD at DD. Prove that A=90\angle A=90^{\circ}.