(1-cos平方α)/(sinα-cosα)-(sinα+cosα)/tan平方α-1=sinα+cosα 求证