Considere a função real
!$ f(x) = cos(x). \left [ cos \left ( { \large x \over 3} \right) = 2 sen(x) \right ] -sen(x).sen \left ( { \large x \over 3} \right) - 2 !$
definida no intervalo I =] - 4!$ \pi !$; 4!$ \pi !$[ Sobre a equação f(x) = 0, podemos afirmar que