展开 积分域对称性定理