MathDB
cos(a+b)/cos(a-b)

Source: 2024 Nigerian MO Senior Round 3 P3

April 28, 2024
geometrycircumcircletrigonometry

Problem Statement

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