Trójkąt ABC jest równoramienny, co oznacza:

Wiemy też:

Teraz skupmy się na trójkątach CAD i CEB.

Dwa odpowiadające sobie boki każdego z tych trójkątów mają identyczną