cos5x+cos7x-cos6x=0 Помогите решить

откуда взялось 2 *cos6x*cosx?

Это же ответ с мейла

cos(5x)+cos(7x)-cos(6x)=0 2*cos(6x)*cos(x) - cos(6x)=0 cos(6x)=0 или 2*cos(x)=1 6x=±π/2 +2πn или cos(x)=½ x=±π/12 + πn/3 или x=±π/3 + 2πn ответ: x=±π/12 + πn/3