1° MEMBRO
2·COT(2·α) + TAN(α) =
essendo:
TAN(2·α) = 2·TAN(α)/(1 - TAN(α)^2)
si ha:
=2·(1 - TAN(α)^2)/(2·TAN(α)) + TAN(α)=
=(2 - 2·TAN(α)^2)/(2·TAN(α)) + TAN(α)=
=(COT(α) - TAN(α)) + TAN(α)=
=COT(α)
2° MEMBRO
=COT(α)
Quindi la verifica dell'identità è soddisfatta.