MathNet 2026 — Part 05 Question 110

Suppose $\triangle ABC$ is a triangle. Let $D$ be the reflection of $A$ in the perpendicular bisector $L$ of $BC$. Show that $|AD| = |a - 2c \cos \angle ABC|$.