|AB|=|AC|
|AF|=|FC|=|CE|=|EB|
|AD|=|DB|
Trójkąty ADF i DBE przystające z cechy bok-kąt-bok
|FD|=|DE|
Trójkąt równoramienny
Zauważ, że skoro |AC|=|BC|, to trójkąt ABC jest równoramienny, czyli ma równe kąty przy podstawie. Połowy długości jego ramion również są sobie równe. Trójkąty są przystające z cechy bok-kąt-bok. Odcinki FD i ED są zatem identyczne. Trójkąt DFE jest równoramienny, więc ma równe boki przy podstawie.