Rozważamy trójkąt równoramienny z kątem .
Oznacza to, że kąty przy podstawie tego trójkąta będą mieć:
.
Dodatkowo wiemy, że najdłuższy bok tego trójkąta ma długość .
W trójkątach