Solución:
sen(lafa)*Tan(alfa) (Cos(alfa) - Csc(alfa)*cot(alfa)) = - cos^2(alfa)
=> sen(alfa) * sen(alfa) / cos(alfa) ( cos(alfa) - 1 / sen(alfa * cos(alfa) / sen(alfa)
=> sen^2(alfa) / cos(alfa) ( cos(alfa) - cos(alfa) / sen^2(alfa))
=> sen^2(alfa) - 1
=> (1 - cos^2(alfa)) - 1
=> -Cos^2(alfa) .....Que era lo que se quería demostrar.
Espero haberte ayudado. Suerte