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

Ниже вариант решения задания из учебника Мерзляк, Номировский, Поляков 11 класс, Вентана-Граф, Просвещение:

9.15. Докажите, что функции F_1(x)=(1/2)sin(2x) и F_2(x)=-sin^2(x-п/4) являются первообразными функции f(x)=cos(2x). При каком значении C верно равенство F_1(x)=F_2(x)+C?