Regular Pentagon Wonder: GoGeometry Action 192!

Creation of this resource was inspired by this problem from Antonio Gutierrez. How can we formally prove what is dynamically illustrated here?

The pentagon shown below is regular. The LARGE POINTS are MOVEABLE. Be sure to slide the slider SLOWLY!

Quick (silent) demo