GoGeometry Action 1!
Creation of this applet was inspired by this tweet from Antonio Gutierrez.
BIG points are moveable, yet all dynamics will be illustrated only if point G (see tweet) lies ABOVE the smaller semicircle.
How can you formally prove what this applet informally illustrates?