Creation of this resource was inspired by [url=https://twitter.com/gogeometry/status/1388668977992409090?s=20]this problem[/url] from [url=https://twitter.com/gogeometry]Antonio Gutierrez[/url]. [br][b][color=#1e84cc][br]How can we formally prove what is dynamically illustrated here? [/color][/b]