Rysunek pomocniczy:

Z równości wynika, że trójkąt jest trójkątem równoramiennym, a więc zachodzi .

To z kolei implikuje, że jest kątem ostrym, a więc kąt jest kątem rozwartym.

Wnios