AB^2+DC^2=AC^2+BD^2, orthocenter, ext.angle bisector, circumcircle related
Source: 2011 Belarus TST 3.2
June 14, 2020
geometrycircumcircleangle bisectororthocenter
Problem Statement
The external angle bisector of the angle of an acute-angled triangle meets the circumcircle of at point . The perpendicular from the orthocenter of to the line meets the line at point . The line meets the circumcircce of at point . Prove that A. Voidelevich