4cos33x - 3cos3x - \(\sqrt{3}\)sin9x = 2 - 4sin25x
⇔ cos9x - \(\sqrt{3}\) sin9x = 2 . (1 - 2sin25x)
⇔ \(2cos\left(9x+\dfrac{\pi}{3}\right)=2cos10x\)
⇔ \(cos10x=cos\left(9x+\dfrac{\pi}{3}\right)\)
.....................
Sử dụng công thức
cos3a = cos2a . cosa - sina . sin2a
= (2cos2a- 1).cosa - 2sin2a . cosa
= (2cos2a- 1).cosa - 2. (1 - cos2a) . cosa
= 4cos3a - 3cosa (áp dụng cho a = 3x)