Докажите тождество cos^2*альфа/1-cos^2(pi/2+альфа)=tg(3pi/2+Альфа)*tg(-альфа)

$\frac{cos^2 \alpha }{1-cos^2( \frac{ \pi }{2} + \alpha } = tg( \frac{3 \pi }{2} + \alpha ) * tg(- \alpha )$
$\frac{cos^2 \alpha }{sin^2( \frac{ \pi}{2} + \alpha )} = -ctg \alpha * (-tg \alpha )$
$\frac{cos^2 \alpha }{cos^2 \alpha } = 1$
$1=1$

по формулам приведения