法一:
令 ,则
交换积分次序,积分区域见下图( 坐标系),
于是
,所以
法二:
引理[1]:设 ,曲线 是连续曲线,且导数 存在, 在曲线 之间的范围内有连续的偏导数 ,则 可导
令 ,则 ,由引理得
,之后同法一