Creation of this applet was inspired by a [url=https://twitter.com/gogeometry/status/858652596646662144]tweet[/url] from [url=https://twitter.com/gogeometry]Antonio Gutierrez[/url]. [br](A zoomed-in view of this tweet can be found [url=http://www.gogeometry.com/problem/p039_triangle_incenter_tangent.htm]here[/url].) [br][br][b][color=#0000ff]This applet displays many phenomena that hold true. [br]How can you formally prove any 1 (or more) of the phenomena this applet dynamically illustrates? [/color][/b]