MathDB
Easy geo about circles with equal circumradiuses

Source: Austria MO Final round 2023 P2

May 27, 2023
geometry

Problem Statement

Given is a triangle ABCABC with circumcentre OO. The circumcircle of triangle AOCAOC intersects side BCBC at DD and side ABAB at EE. Prove that the triangles BDEBDE and AOCAOC have circumradiuses of equal length.