cosx*cos2x*cos3x=1

Вопрос пользователя:

cosx*cos2x*cos3x=1

Илюха отвечает:

1/4 (cos(2 x)+cos(4 x)+cos(6 x)+1) = 1

TrigReduce[Cos[x] Cos[2 x] Cos[3 x] == 1] 

(1 + Cos[2 x] + Cos[4 x] + Cos[6 x])/4 == 1