Rysunek pomocniczy:

Mamy wykazać, że 

Jeśli   to trójkąt  jest trójkątem równoramiennym i przy podstawie ma dwa takie same kąty. Oznacza to, że 

Prosta k jest prostą prostopadłą. Oznacza