Odcinek AD jest częścią dwusiecznej kąta BAC, zatem
Trójkąt ABC jest trójkątem równoramiennym o kącie przy podstawie równym 2α, zatem |∢ABC|= 2α.
Z sumy miar kątów w trójkącie
Trójkąty ABD i ABC są podobne. Obydwa są też trójkątami równoramiennymi, czyli ich kąty między ramionami mają taką samą miarę.