Thanks to http://tube.geogebra.org/slik for the first iteration of this applet way back in 2012. Three years on and it is still an amazing version of this proof. Nice work slik!