[sin x * sin x cos x * cos x 2 sin x * cos x]
____________________________ =
[cos x sen x] * [cos x - sen x]
(sen x cos x)*(sen x cos x)
____________________ =
(sen x cos x)*(cos x - sen x)
(sen x cos x)
___________ p>
(cos x - sin x)
Entonces, el denominador de la fracción anterior se puede dividir por cos x al mismo tiempo para obtener [1 tan x]/[1-tan x ], entonces los dos son iguales.