Para todo x tal que $(\mathrm{sen}x)(\cos x)\ne 1/2$, tem-se ${\mathrm{tg}}^2(9x+\pi /4)+1=\frac{1}{1/2-(\mathrm{sen}x)(\cos x)}$