二重积分对称性定理的证明及应用