Shearer Action 8!
Creation of this resource was inspired by this problem posted by Catriona Shearer.
The two semicircles you see always remain tangent to each other.
You can move the LARGE POINTS in the upper left and lower right corner at any time.
How can we formally prove the phenomenon dynamically illustrated here?