Division of an Angle Bisector by the Incenter
Initializing live version
Let ABC be a triangle with incenter I. Let AA' be the bisector of with A' on BC. Then .
Problem 1.17(b) in V. Prasolov, Problems in Plane and Solid Geometry, Vol. 1, Plane Geometry [PDF], (D. Leites, ed. and trans.).