MathNet 2026 — Part 03 Question 112

Let $O$ be the circumcenter of a triangle $ABC$. The bisector that starts from $A$ cuts to the opposite side in $P$. Prove that it is fulfilled: $$
AP^{2} + OA^{2} - OP^{2} = bc
$$