[color=#000000]Creation of this applet was inspired by [url=https://twitter.com/CutTheKnotMath/status/757132892892004352]this tweet[/url] from Alexander Bogomolny ([url=https://twitter.com/CutTheKnotMath]@CutTheKnotMath[/url]) [br][br]You will eventually see an equilateral triangle appear with circles that are tangent to this triangle and to each other. The segments (soon to be constructed) will also be tangent to the circles they touch. [br][br][b]Be sure to move the BIG INNER WHITE POINT on the equilateral triangle's incircle anywhere you'd like (at any time!) [/b][br][br]Can you formally prove what this applet informally illustrates? [/color]