Problem 2
Let be a point inside triangle such that . Let and be the incenters of triangles and , respectively. Show that , , and meet at a point.
Step 4 of 4: Apply two angle-bisector theorems
In plain words
Apply two angle-bisector theorems
Detailed analysis
Let . Since is the incenter of , bisects angle , so the angle-bisector theorem gives . The equality above then gives , which is exactly the angle-bisector condition in triangle ; hence lies on , and are concurrent.