Prove that in any triangle the following equivalence relation holds:
Solution
We are working on the following shape.
Let be the incenter of the triangle. Thus,
meaning that is tangent to the circumcircle of the triangle
. Thus,
(1)
Hence,