MathDB
common chord of circumcircles perpendicular to a triangle side

Source: 2014 Sharygin Geometry Olympiad Final Round 9.5

August 3, 2018
geometrycirclesperpendicular

Problem Statement

In triangle ABCABC B=60o,O\angle B = 60^o, O is the circumcenter, and LL is the foot of an angle bisector of angle BB. The circumcirle of triangle BOLBOL meets the circumcircle of ABCABC at point DBD \ne B. Prove that BDACBD \perp AC.
(D. Shvetsov)