Animation 8

What definition is dynamically being shown here? Also, what 2 theorems from geometry are also dynamically being illustrated here?