GoGeometry Action 177!

Creation of this resource was inspired by this tweet posted by Antonio Gutierrez (GoGeometry). The 2 smaller circles are each tangent to the large circle and to the radii of the large circle they touch. You can move any of the LARGE POINTS anywhere you'd like AT ANY TIME. How can we formally prove the phenomenon dynamically illustrated here?

Quick (Silent) Demo