MathDB
Prove that this angle is right

Source: South African MO 1995 Q2

May 27, 2012
geometrycircumcirclegeometry unsolved

Problem Statement

ABCABC is a triangle with A^<C^\hat{A}<\hat{C}, and DD is the point on BCBC such that BA^D=AC^BB\hat{A}D=A\hat{C}B. The perpendicular bisectors of ADAD and ACAC intersect in the point EE. Prove that BA^E=90∘B\hat{A}E=90^\circ.