一个等价的萊布尼茲定理

§1.设函数f(x),g(x)在区间ι上高阶可微,则下列恆等式成立: f′g十fg′=(fg)′, f″g十fg″=(fg)″-2(f′g′), f′″g+fg″′=(fg)″′-3(f′g′)′, f″″g+fg″″=(fg)″″-4(f′g′)″+2(f″g″),它们之间有关系 f~(n)g+fg~(n)=(f~(n-1)g+fg~(n-1))′--(f~(n-1)g′+f′g~(n-1))。§2.现在我们规定 f~(n)g+fg~(n)=A_0(fg~(n)+A_1(f′g′)~(n-2)+…++A_n/2]~(f~(n/2])g~(n/2]))(n-2(n/2])),其中高斯记号n/2]表示不超过n/2的最大正整数。由于未定系数A_0,A_1,…,A_n/2]的数值函数f(x),g(x)无关,不妨选取 f(x)=e~(ax),g(x)=e~(bx),就有 f~(n)g+fg~(n)=(a~n+b~n)e~((a+b)x),以及 (f~(ι)g~(ι))~((n-2ι))=(a+b)~(n-2ι)(ab)~ιe~((a+b)x)(ι=1,2,…,n/2])。代入规定的等式中,两边约去公因子e~((a+b)x)以后,立刻得到