Proof of Gougu Theorem

You can drag the "red" points and the slider to alter the proportion of the right triangle.