Considere a o menor arco no sentido trigonométrico positivo, para o qual a função real f, definida por
!$ f(x) = \begin{cases} { \large tg x \sqrt{1 + cos x} \over sen \, 2x} , se x ≠ 0 \\ cos a , se x = 0 \end{cases} !$
seja contínua em x = 0. Sendo assim, pode-se dizer que a vale:
