Animation 7

What geometry theorem is dynamically being illustrated here?
Luk

Information: Animation 7