sina-(1-cosa)/tan a=sina-(cosa-cosa*cosa)/sina=(1-cosa)/sina
tana-(1-cosa)/cosa/sina=(sina*sina-1+cosa)/(sinacosa)=(1-cosa)/sina
所以相等
sina-(1-cosa)/tan a=sina-(cosa-cosa*cosa)/sina=(1-cosa)/sina
tana-(1-cosa)/cosa/sina=(sina*sina-1+cosa)/(sinacosa)=(1-cosa)/sina
所以相等