MathDB
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 ABC\vartriangle ABC we have BAC=60o\angle BAC = 60^o. Let DD be the intersection of the angular bisector of BAC\angle BAC with side BC,OBC, O the centre of the circumcircle of ABC\vartriangle ABC and EE the intersection of AOAO and BCBC. Prove that AED+ADO=90o\angle AED + \angle ADO = 90^o.