拉格朗日反演学习笔记

拉格朗日反演

证明

对于两个函数$f(x),g(x)$，若$f(g(x))=x$且$f(x),g(x)$的常数项为$0$，一次项不为$0$，那么称这两个函数互为复合逆。当然，根据$f(g(x))=x$可以推出$g(f(x))=x$，证明：$f(g(f(x)))=f(x)$，令$y=f(x)$，带入可得$f(g(y))=y$。

对于互为复合逆的函数$f(x),g(x)$，拉格朗日反演的两种形式如下：
$$\begin{gathered} \begin{array}{rl} \\ [x^n]f(x)& =\frac{1}{n}[x^{-1}]\frac{1}{g(x{)}^n}\\ [x^n]h(f(x))& =\frac{1}{n}[x^{-1}]\frac{h^{\prime }(x)}{g(x{)}^n}\end{array} \end{gathered}$$
现在分别对这两个式子进行证明：

形式一

令$f(x)={\sum }_{i\ge 0}{a}_i{x}^i$，那么有：
f ( g ( x ) ) =