ula_27，对于formula_28。设formula_29是变量formula_30，formula_28，formula_32的formula_17次基本对称多项式。则项的数目依赖于formula_35。例如，并以此类推。一般情况可通过数学归纳法证明。
半角公式.formula_37
二倍角.formula_38
三倍角.formula_39
正切定理.在平面三角形中，正切定理说明任意两条边的和