用指数形母函数证明一个基本的指数运算公式
证明e^x*e^y=e^(x+y):
在证明这个公式之前先证明一个较弱的公式:
a(n)=1+a(1)/1!*x+a(2)/2!*x^2+a(3)/3!*x^3+...
b(n)=1+b(1)/1!*x+b(2)/2!*x^2+b(3)/3!*x^3+...
c(n)=1+c(1)/1!*x+c(2)/2!*x^2+c(3)/3!*x^3+...
如果c(n)=a(n)*b(n),现在看c(n)的x系数与a(n)和b(n)的关系.
有以前的相关知识有:
c(n)/n!=a(n)/n!*1+a(n-1)/(n-1)!*b(1)/1!+a(n-2)/(n-2)!*b(2)/2!+...
GO
c(n)=n!*{a(n)/n!*1+a(n-1)/(n-1)!*b(1)/1!+a(n-2)/(n-2)!*b(2)/2!+...}
Go
c(n)={a(n)*n!/n!*1+a(n-1)*b(1)*n!/(n-1)!*1!+a(n-2)*b(2)*n!/(n-2)!*2!+...}
Go
c(n)={a(n)*C(n,0)+a(n-1)*b(1)*C(n,1)+a(n-2)*b(2)*C(n,2)+...}
根据公式有:
e^x=1+x/1!+x^2/2!+.....
e^y=1+y/1!+y^2/2!+.....
在这里如果将e^(x+y)也按这种方式展开,将会把问题变复杂。
我们将e^y看作x的函数,
e^y=1+x*(y/x)/1!+x^2*(y/x)^2/2!+.....
这样根据x的级数项有:
联系前面的较弱的定理:
e^x*e^y=1+ {1+y/x}*x/1!+{1+C(2,1)*y/x+C(2,2)*(y/x)^2 }*x^2/2! + {1+C(3,1)*y/x+C(3,2)*(y/x)^2+C(3,3)*(y/x)^3}*x^3/3!+...
这样的联系newton的二项式定理:
e^x*e^y=1+ (1+y/x)^1*x/1!+(1+y/x)^2*x^2/2! + (1+y/x)^3*x^3/3!+...
Go
e^x*e^y=1+ (x+y)^1*x/1!+(x+y)^2*/2! + (x+y)^3/3!+...
Go
e^x*e^y=e^(x+y).