GoGeometry Action 172!

Creation of this resource was inspired by a problem posted by Antonio Gutierrez (GoGeometry). You can move the LARGE POINT (bottom right) if you'd like. How can we formally prove what is dynamically illustrated here?