Geometric Mean Madness! (GoGeometry Action 84)
Creation of this applet was inspired by a tweet from Antonio Gutierrez (GoGeometry).
Feel free to move the LARGE BLACK POINTS anywhere along the circle at any time.
How can we formally prove what this applet informally illustrates?