有关拉格朗日反演的扩展形式的证明

已 知 g ( f ( x ) ) = x 求 证 : [ x n ] h ( g ( x ) ) = 1 n [ x − 1 ] h ′ ( x ) f n ( x ) 已知g(f(x))=x \\求证:[x^{n}]h(g(x))=\frac1n[x^{-1}]\frac{h'(x)}{f^n(x)} 已知g(f(x))=x求证:[xn]h(g(x))=n1​[x−1]fn(x)h′(x)​

证明如下：

令 A ( x ) = h ( g ( x ) ) ， i 次 项 系 数 为 a i 令A(x)=h(g(x))，i次项系数为a_i 令A(x)=h(g(x))，i次项系数为ai​

h ( x ) = h ( g ( f ( x ) ) ) = A ( f ( x ) ) = ∑ i > 0 a i f i ( x ) h(x)=h(g(f(x)))=A(f(x))=\sum_{i>0}a_if^i(x)\\ h(x)=h(g(f(x)))=A(f(x))=i>0∑​ai​fi(x)

求 导 : h ′ ( x ) = ∑ i > 0 i a i f i − 1 ( x ) f ′ ( x ) 求导:h'(x)=\sum_{i>0}ia_if^{i-1}(x)f'(x)\\ 求导:h′(x)=i>0∑​iai​fi−1(x)f′(x)

两 边 同 除 以 f n ( x ) : h ′ ( x ) f n ( x ) = ∑ i > 0 且 i ≠ n i a i i − n ( f i − n ( x ) ) ′ + n a n f ′ ( x ) f ( x ) 两边同除以f^n(x):\frac{h'(x)}{f^n(x)}=\sum_{i>0且i\neq n}\frac{ia_i}{i-n}(f^{i-n}(x))'+na_n\frac{f'(x)}{f(x)} 两边同除以fn(x):fn(x)h′(x)​=i>0且i​=n∑​i−niai​​(fi−n(x))′+nan​f(x)f′(x)​

取 − 1 次 项 ， 因 为 多 项 式 的 导 数 − 1 次 项 为 0 ， ∴ [ x − 1 ] h ′ ( x ) f n ( x ) = [ x − 1 ] n a n f ′ ( x ) f ( x ) 取-1次项，因为多项式的导数-1次项为0，\\\therefore [x^{-1}]\frac{h'(x)}{f^n(x)}=[x^{-1}]na_n\frac{f'(x)}{f(x)} 取−1次项，因为多项式的导数−1次项为0，∴[x−1]fn(x)h′(x)​=[x−1]nan​f(x)f′(x)​

f ′ ( x ) f ( x ) = f 1 + 2 f 2 x + 3 f 3 x 2 + … f 1 x + f 2 x 2 + f 3 x 3 + … \frac{f'(x)}{f(x)}=\frac{f_1+2f_2x+3f_3x^2+\dots}{f_1x+f_2x^2+f_3x^3+\dots} f(x)f′(x)​=f1​x+f2​x2+f3​x3+…f1​+2f2​x+3f3​x2+…​

f ′ ( x ) f ( x ) = f 1 + 2 f 2 x + 3 f 3 x 2 + … f 1 x × 1 1 + ( f 2 f 1 x + f 3 f 1 x 2 + …   ) \frac{f'(x)}{f(x)}=\frac{f_1+2f_2x+3f_3x^2+\dots}{f_1x}\times\frac{1}{1+(\frac{f_2}{f_1}x+\frac{f_3}{f_1}x^2+\dots)} f(x)f′(x)​=f1​xf1​+2f2​x+3f3​x2+…​×1+(f1​f2​​x+f1​f3​​x2+…)1​

左 边 最 低 次 − 1 次 系 数 为 1 ， 右 边 最 低 次 0 次 系 数 为 1 ， ∴ [ x − 1 ] f ′ ( x ) f ( x ) = 1 左边最低次-1次系数为1，右边最低次0次系数为1，\therefore [x^{-1}]\frac{f'(x)}{f(x)}=1 左边最低次−1次系数为1，右边最低次0次系数为1，∴[x−1]f(x)f′(x)​=1

∴ [ x − 1 ] h ′ ( x ) f n ( x ) = n a n ， a n = 1 n [ x − 1 ] h ′ ( x ) f n ( x ) ∴ [ x n ] h ( g ( x ) ) = 1 n [ x − 1 ] h ′ ( x ) f n ( x ) \therefore [x^{-1}]\frac{h'(x)}{f^n(x)}=na_n，a_n=\frac1n[x^{-1}]\frac{h'(x)}{f^n(x)}\\ \therefore [x^{n}]h(g(x))=\frac1n[x^{-1}]\frac{h'(x)}{f^n(x)} ∴[x−1]fn(x)h′(x)​=nan​，an​=n1​[x−1]fn(x)h′(x)​∴[xn]h(g(x))=n1​[x−1]fn(x)h′(x)​

终于得证了，撒花~