What relationship is dynamically being illustrated in the applet below? How can we formally prove this true?
For more information see this [url=https://twitter.com/gogeometry/status/871392171877949441]tweet[/url] from [url=https://twitter.com/gogeometry]Antonio Gutierrez[/url].