Archimedes Insight 3: GoGeometry Action 157!
Creation of this resource was inspired by a problem posted by Antonio Gutierrez (GoGeometry).
You can move the ANY LARGE POINT anywhere you'd like.
How can we formally prove what is dynamically illustrated here?