Sabe-se que existem números reais A e x0, sendo A > 0, tais que
sen x + 2 cos x = A cos(x - x0 )
para todo x real. O valor de A é igual a
