= 1+2 sinαcosα- 1+2 sinαcosα
=4sinαcosα
sinαcosα*tan? α = sin? α/cosα=sinα( 1-cos? α)/cosα
=tanα-sinαcosα
Then the original proposition holds.