tana和cota互为倒数,所以cot(a/2)=1/(tan(a/2)),利用tan的二倍角公式就可以推导了.手机不好打字,只能这样了,请谅解.