Problem

Source: Austria MO Final round 2023 P2

Tags: geometry



Given is a triangle $ABC$ with circumcentre $O$. The circumcircle of triangle $AOC$ intersects side $BC$ at $D$ and side $AB$ at $E$. Prove that the triangles $BDE$ and $AOC$ have circumradiuses of equal length.