The blue lines are tangent to the yellow incircle of the black triangle. Prove the red line is also tangent to the yellow incircle.