代数, VI, p. 43
令 K 为极大有序域,并令 a1,…,an,b1,…,bn 为 K 的 2n 元素,使得 ∑ai=0 和 b1<b2<…<bn。证明对于 K 中根的任何整数 m≥1 数 v,用重数计算,多项式
f(T)=a1(T−b1)m+a2(T−b2)m+…+an(T−bn)m
至多等于序列的变体 w 的数
(a1,a2,…,an;(−1)mai),
并且差 w−v 是偶数。 (通过n,应用例13(VI,p. 40)上的归纳论证到形式f(T)/(T−c)m的有理函数。)