GoGeometry Action 187!

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