Show that there is exactly one value of x which satisfies the equation $$2\cos^2 (x^3+x)=2^x+2^{-x} $$
I solved this using Taylor's series:
$$2^x+2^{-x}=2\{1+\frac {x^2 \{\ln2\}^2}{2!}+\frac {x^4 \{\ln2\}^4}{4!}....\} $$
$$\cos^2 (x^3+x)=1+\cos (2x^3+2x)=2-\frac{{2x^3+2x}^2}{2!}.... $$
Equating the two gives $$ x^2\{{\ln2}^2+.....\}$$ $$\implies x=0 $$
But I can't seem to be able to find an argument justifying the existence if only one root. If I said that as the other term is an infinite series hence it's roots are undefined, would that be correct?