MathLabs

Problem 5

Three congruent circles have a common point OO and lie inside a given triangle. Each circle is tangent to two of the triangle's sides. Prove that the incenter and the circumcenter of the triangle, together with the point OO, are collinear.
Step 2 of 6: Locate each center on an angle bisector
In plain words

Tangency to two sides is exactly the defining property of the angle bisector: equal distance to both lines.

OA∈bisector of ∠A,OB∈bisector of ∠B,OC∈bisector of ∠CO_A \in \text{bisector of } \angle A,\quad O_B \in \text{bisector of } \angle B,\quad O_C \in \text{bisector of } \angle C
Detailed analysis

Since OAO_A is equidistant from lines ABAB and ACAC, both tangent to its circle, OAO_A lies on the internal bisector of ∠A\angle A; likewise OBO_B and OCO_C lie on the bisectors of ∠B\angle B and ∠C\angle C.