Упр.37 Задачи повышенной сложности ГДЗ Колмогоров 10-11 класс (Алгебра)

Изображение 37. Известно, что ?+?+?=?, sin(?)/a=sin(?)/b=sin(?)/c. Докажите, что a^2=b^2+c^2-2bc cos(?), причем ?, ?, ? необязательно положительные...
Рассмотрим вариант решения задания из учебника Колмогоров, Абрамов, Дудницын 10-11 класс, Просвещение:
Известно, что ?+?+?=?, sin(?)/a=sin(?)/b=sin(?)/c. Докажите, что a^2=b^2+c^2-2bc cos(?), причем ?, ?, ? необязательно положительные числа.
*Текст задания приводится исключительно в образовательных целях для более полного понимания решения.