Zwróćmy uwagę, że odcinki DC i EF posiadają równą długość.

Trójkąt AED jest trójkątem o kątach .

Korzystając z relacji między bokami w tym trójkącie, otrzymujemy: