Creation of this applet was inspired by a [url=https://twitter.com/CutTheKnotMath/status/800924908616294400]tweet[/url] from [url=https://twitter.com/CutTheKnotMath]Alexander Bogomolny[/url] ([url=http://www.cut-the-knot.org/]Cut-The-Knot.org[/url]). [br][br][b]Feel free to move the BIG WHITE POINTS anywhere you'd like at any time! [/b][br][br]How can you formally prove what this applet informally illustrates?