Помогите пожалуйста: cos 5x cos 7x — sin 5x sin 7x=- корень 3 /2

Это формула, косинус суммыто, что находится в правой части уравнения равно cos (5x+7x)=cos12xдалееcos12x=-корень 3/212x=+- (это плюсминус) 5*пи/6+2*пи*k, k-целое числоx=+- 5*пи*/72+ пи*k/6, k-целое число