Problem

Source: 2024 Nigerian MO Senior Round 3 P3

Tags: geometry, circumcircle, trigonometry



Let $ABC$ be a triangle, and let $O$ be its circumcenter. Let $\overline{CO}\cap AB\equiv D$. Let $\angle BAC=\alpha$, and $\angle CBA=\beta$. Prove that $$\dfrac{OD}{OC}=\Bigg|\dfrac{\cos(\alpha+\beta)}{\cos(\alpha-\beta)}\Bigg|$$ For clarification, $\overline{CO}$ represents the line $CO$, and $AC$ represents the segment $AC$. Cases in which $D$ doesn't exist should be ignored.