SolveMyMaths Action 5!
Creation of this applet was inspired by a problem posted by Ed Southall.
LARGE POINTS are moveable.
RED POINT = center of red circle.
Purple point = center of purple circle.
How can we formally prove what is dynamically illustrated here?