Prove that $\cos{x} \cdot \cos{\sqrt{3}x} = 1$ has exactly on solution at $x=0$
I've recently asked a question on periodicity of the $f(x) = \cos{x}\cdot\cos{\sqrt{3}x}$
One of my statements was:
But this equation has only one solution at $x=0$
No prove of that was given in the OP since that statement was based on W|A numerical solution of the equation. A comment by @fleehood was added with a suggestion to prove that. And that is actually something I'm trying to do.
I've given it a try with analyzing Taylor series expansion for $\cos{x}$ and $\cos{\sqrt{3}x}$:
$$
f(x) = \cos{x} \cdot \cos{\sqrt{3}x} = \left( 1-\frac{x^2}{2!} + \frac{x^4}{4!} – \frac{x^6}{6!}+\ldots \right) \times \\ \times \left(1-\frac{(\sqrt{3}x)^2}{2!} + \frac{(\sqrt{3}x)^4}{4!} – \frac{(\sqrt{3}x)^6}{6!}+\ldots\right) = 1
$$
In order to find some pattern I've expanded several terms and eventually got a monstrous polynomial. I have to somehow prove that the polynomial has only one solution, but I'm not sure how to do that given infinite terms.
There may be other ways to prove that, so any ideas are appreciated.
Best Answer
As $|\cos y|\le1$ the only way $\cos x\cos\sqrt3 x=1$ is if $\cos x=\cos\sqrt3x=\pm1$. This means that $x=m\pi$ is an integer multiple of $\pi$ and $\sqrt 3x=n\pi$ is also an integer multiple of $\pi$. If $x\ne0$ that implies $\sqrt3=n/m$.