Упр.25.11 ГДЗ Мерзляк 10 класс Углубленный уровень (Алгебра)

Изображение 25.11. Сумма положительных чисел ?, ? и ? меньше ?/2. Докажите, что...
Рассмотрим вариант решения задания из учебника Мерзляк, Номировский, Поляков 10 класс, Просвещение:
Сумма положительных чисел ?, ? и ? меньше ?/2. Докажите, что ctg(?)+ctg(?)+ctg(?) > tg(?)+tg(?)+tg(?).
*Текст задания приводится исключительно в образовательных целях для более полного понимания решения.