Incircle Extension = GoGeometry Action 132!

Creation of this applet was inspired by a problem posted by Antonio Gutierrez. You move any of the triangle's LARGE WHITE VERTICES anywhere you'd like. You can alter the size of the angle with pink vertex using the pink slider. How can we formally prove the phenomenon dynamically illustrated here?

Quick (Silent) Demo