Wykorzystujemy fakt, że duży trójkąt jest prostokątny, żeby obliczyć miarę drugiego kąta przy przeciwprostokątnej:
Trójkąt równoramienny ma u podstawy kąt
, więc kąt będący częścią kąta prostego ma miarę:
Kąt
jest równy:
Wykorzystujemy sumę kątów wewnętrznych trójkąta oraz własności trójkątów równoramiennych.