$f(x) = 8 \cos^4 x + 6 \sin (2x + 3 \pi/4) \sin(2x - \pi/4)$.
How can I simplify into a linear combination of simple sine functions?
Maybe this?:
FourierTrigSeries[8 Cos[x]^4 + 6 Sin[2 x + 3 Pi/4] Sin[2 x - Pi/4], x, 4] /.
Cos[t_] :> HoldForm[Sin][Pi/2 - t]
I'm assuming it's primarily about formatting the output in terms of sines.
I figured that if we take the Fourier transform of it to get the discrete frequencies and then invert the transform, that the expression would be simpler. It comes back in exponential form, and the leading coefficient needs to be distributed. From there, you can use Euler's equation to transform it back to trig. The remaining required transforms are trivial. I have no idea if this is how you were supposed to solve it.
FourierTransform[8 Cos[x]^4 + 6Sin[2x + 3Pi/4]Sin[2x - Pi/4],x,w];
InverseFourierTransform[%,w,t];
Distribute@%;
ExpToTrig@%
(*4 Cos[2 t]+Cos[4 t]+3 Sin[4 t]*)
$4 \cos (2 t) + \cos (4 t) + 3 \sin (4 t) = 4 \sin (2 t + \pi/2) + \sin (4 t + \pi/2) + 3 \sin (4 t)$
FullSimplify[8 Cos[x]^4 + 6 Sin[2 x + 3 Pi/4] Sin[2 x - Pi/4]]
returns a simple expression (4 Cos[2 x] + Cos[4 x] + 3 Sin[4 x]
), but it's a combination of $\sin$ and $\cos$. Would that work? $\endgroup$TrigReduce[]
. $\endgroup$Sin[y + Pi/2]
toCos[y]
, as you can see withHold[Sin[y + Pi/2]]
ReleaseHold[%]
. $\endgroup$