Animation 135

What geometry theorem is dynamically being illustrated in the applet below? [br]
Luk

Information: Animation 135