Creation of this resource was inspired by [url=https://gogeometry.com/problem/p261_regular_pentagon_inscribed_circle_distance.htm]this problem[/url] from Antonio Gutierrez. [br][b][br]How can we formally prove what is dynamically illustrated here? [/b]