4·COS(α/2)^2 - 2·(SIN(α) - COS(α))^2 - 2·SIN(2·α)=
dalle formule di bisezione, di duplicazione e dal teorema fondamentale della trigonometria riscrivo:
=(2·COS(α) + 2) - 2·(1 - 2·SIN(α)·COS(α)) - 2·(2·SIN(α)·COS(α))=
=(2·COS(α) + 2) - (2 - 4·SIN(α)·COS(α)) - 4·SIN(α)·COS(α)=
=2·COS(α)