Rysunek pomocniczy:

Linki zostały zaznaczone kolorem czerwonym, natomiast odległość między ich dolnymi końcami kolorem zielonym.

Trójkąty i to trójkąty przystające o kątach , i . Z