次数为 ddd 的多项式方程至多有 ddd 个根;通过直接构造恰好 ddd 个不同的实根,可以最简洁地证明所有根都是实数且为单根,没有遗漏。
每次应用 P1P_1P1 都会使最高次项的次数翻倍,因此 PnP_nPn 的次数为 2n2^n2n,而 Pn(x)−x=0P_n(x)-x=0Pn(x)−x=0 是一个次数为 2n2^n2n 的多项式方程(对次数进行归纳即可确认)。计入重数,它至多有 2n2^n2n 个根;第 5 步已经构造出恰好 2n2^n2n 个满足该方程的不同实数 xxx。因此,这 2n2^n2n 个根全部被找到,且它们都是实数并两两不同。