Здравствуйте, Тимофеев Алексей Валентинович!
Воспользуемся формулой
Отсюда
Суммируя по всем сторонам треугольника
Пытаемся доказать, что
, при условии, что
Пусть [$945$] - наименьший угол. Зафиксируем [$945$]. При этом рассмотрим функцию
При этом x может меняться от [$960$]/2-[$945$] до [$960$]/2 (не включая) и максимум достигается при x=90-[$945$]/2, а минимум на концах. При x = [$960$]/2-[$945$] функция равна 1+cos [$945$]. На правом конце [$946$] и [$947$] меняются местами. Так как левый и правый концы соответствуют прямоугольному треугольнику, значения функции больше 1+cos [$945$], а сумма углов 1+cos [$945$]+ sin [$945$]