先从牛顿迭代讲起。
已知多项式函数 G ( z ) G(z) G(z),求多项式函数 F ( x ) F(x) F(x)满足
G ( F ( x ) ) ≡ 0 ( m o d x n ) G(F(x))\equiv0 \pmod{x^n} G(F(x))≡0(modxn)
考虑用迭代求解,假设我们已经求得 F 0 ( x ) F_0(x) F0(x)满足
G ( F 0 ( x ) ) ≡ 0 ( m o d x ⌈ n 2 ⌉ ) G(F_0(x))\equiv0\pmod{x^{\left\lceil\frac{n}{2}\right\rceil}} G(F0(x))≡0(modx⌈2n⌉)
将函数 G G G在 z = F 0 ( x ) z=F_0(x) z=F0(x)处进行泰勒展开
G ( F ( x ) ) = ∑ i = 1 ∞ G ( i ) ( F 0 ( x ) ) i ! ( F ( x ) − F 0 ( x ) ) i G(F(x))=\sum_{i=1}^{\infty}\frac{G^{(i)}(F_0(x))}{i!}(F(x)-F_0(x))^i G(F(x))=i=1∑∞i!G(i)(F0(x))(F(x)−F0(x))i
其中 G ( i ) G^{(i)} G(i)为 G G G的 i i i阶导函数.
取前两项
G ( F ( x )