Sabe-se que existem números reais $A$ e $x_0$, sendo $A>0$, tais que

$$\mathrm{sen}x+2\cdot \cos x=A\cdot \cos \left(x-x_0\right)$$

para todo $x$ real. O valor de $A$ é igual a