Animasyon 102

Aşağıdaki uygulamada dinamik olarak hangi geometri teoremi (ya da bağıntısı) gösterilmektedir? Bu sonuç hangi "daha büyük teoremden" hemen doğru çıkar?