检验欧拉定义是否满足微分律

检验欧拉定义是否满足微分律
指数律e^(a*i+b*i)=e^(a*i)*e^(b*i)采用三角函数中的和差化积的方式很容易能够验证；而对于微分律我们做如下的检验：
D(e^(a*i))=
D (cos a +i* sin a)
Go
-sin a +i * cos a
Go
因为有i^2=-1
i*(cos a+  i* sin a)
Go
i*e^(a*i)
即有D(e^(a*i))=i*e^(a*i)，微分律得到证明;