Упр.19.17 ГДЗ Мордкович 10-11 класс (Алгебра)

Ниже вариант решения задания из учебника Мордкович, Семенов 10 класс, Мнемозина:

19.17

а) sin 6x * cos x + cos 6x * sin x = 1/2;

б) cos 5x * cos 7x - sin 5x * sin 7x = -корень(3)/2.