GoGeometry Action 155!

Creation of this resource was inspired by a problem posted by Antonio Gutierrez (GoGeometry). You can move LARGE POINTS anywhere you'd like. In addition, the slider alters the radius of the circle on the right. The circle on the left is moveable as well. How can we formally prove what is dynamically illustrated here?

Quick (Silent) Demo