Let A' be the orthogonal projection of the incenter I on the side BC. The incircles of ABA' and ACA' are tangent.