Решить 2cos (3π / (2) + x) sin8x=cos7x

1) формула преобразования: 2 * sinx * sin8x = cos7x

2) формула умножения sinA * sinB: 2 * (0,5 * (cos (x-8x) - cos (x+8x))) = cos7x

3) cos (-A) = cosA : cos7x - cos9x = cos7x

cos9x=0

9x = + / - arccos0 + 2*ПИ*n, n принадлежит целым числам (Z)

x = + / - (ПИ/18) + ((2*ПИ) / 9) * n, n принадлежит Z