Incircle Extension 2 = GoGeometry Action 133!
Creation of this applet was inspired by a problem posted by Antonio Gutierrez (GoGeometry).
You can move the 3 WHITE VERTICES of the triangle anywhere you'd like.
You can alter the size of the angle with pink vertex using the pink slider.
How can we formally prove what is dynamically illustrated here?