Hold space to see how it works. p to pause
As requested by @PullJosh, now joins midpoints of triangle to form 4 identical triangles (half dimensions of main triangle). This is easy to prove for any triangle using similar triangles. Had to make the radius of the circle more precise (ie matching the square exactly) to avoid the red triangle wobbling about with respect to the blue.
