多项式算法2：多项式求逆

已知多项式$F(x)$，求满足条件的$G(x)$使得
$$F(x)G(x)\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{x}^n)$$
考虑迭代求解
令
$$F(x)G_0(x)\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{x}^{\lceil \frac{n}{2}\rceil })$$
作差可得
F ( x ) ( G ( x ) − G 0 ( x ) ) ≡ 0 ( m o d x ⌈ n 2 ⌉ ) F(x)\big(G(x)-G_{0}(x)\big)\equiv0\pmod{x^{\left\lceil\frac{n}{2}\right\rceil}} F(x)(G(x)−G0​(x))≡0(modx⌈2n​⌉)</