What relationship is dynamically being illustrated in the applet below? How can you formally prove what is dynamically being illustrated here?
This applet illustrates the underlying logic of the [url=https://en.wikipedia.org/wiki/Neusis_construction]Neusis Construction method[/url] the ancient Greeks used to use to trisect an angle.