Рассмотрим картинку:

Во-первых, т.к. окружность описана около треугольника – точка пересечения серединных перпендикуляров к сторонам треугольника. Следовательно, по свойству ромба (диагонали взаимно перпендикулярны). Таким образом, – диаметр этой окружности.
Рассмотрим треугольники

3) Таким образом, по стороне и двум прилежащим к ней углам Следовательно,
Значит,