GoGeometry Action 191!

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