a_17，对于formula_18。设formula_19是变量formula_20，formula_18，formula_22的"formula_15"次基本对称多项式。则项的数目依赖于formula_25。例如，并以此类推。一般情况可通过数学归纳法证明。
多倍角公式.（这个formula_28的函数是狄利克雷核。）
二倍角、三倍角和半角公式.这些公式可以使用和差恒等式或多倍角公式来证明。
formula_25倍角公式.