t的微分是负csc的平方另外所以可以用
指数定义.formula_27
恒等式.
二倍角公式.formula_29
余切定理.余切定理是三角学中关于三角形内切圆半径的定理。假设formula_9, formula_33, 与formula_34是三角形的三个内角，formula_35, formula_36, 与formula_37是与之对应的三个对边，若那么余切定理告诉我们：还有总而言之：