Comment by defvar

Here is a nice animation of this puzzle. https://www.geogebra.org/m/v3a437ux