[Risolto] Goniometria

2·TAN(pi/2 - α)/(1 + COT(pi - α)^2) - (COS(pi/2 - α) + SIN(pi/2 - α))^2=

=2·COT(α)/(1 + COT(α)^2) - (SIN(α) + COS(α))^2=

=2·SIN(α)·COS(α) - (2·SIN(α)·COS(α) + 1)= -1