dutch angle chasing candidate, < AED + < ADO = 90^o wanted
Source: Dutch BxMO TST 2018 p4
August 2, 2019
geometryanglescircumcircleAngle Chasing
Problem Statement
In a non-isosceles triangle we have . Let be the intersection of the angular bisector of with side the centre of the circumcircle of and the intersection of and . Prove that .