积分的模小于模的积分
|F(Re^iθ)|
|e^imRcosθ|,令y=mRcosθ,那么e^iy=cosy+isiny,所以|e^iy|=1
|i|=1
|Re^iθ|=R
|dθ|=dθ
所以左边<∫|F(Re^iθ)|*e^-mRsinθ*1*1*R*dθ
又利用积分的保序性,左边<中间<∫MRe^-mRsinθdθ=MR∫e^-mRsinθdθ=右边
首先回答第二个问题:等价第一个问题,两种定义是一致的,证明也比较方便。如果不想证明,可以简单举几个例子验证一下。一般地,算留数求导次数越少越好,所以书上会给第二种。