定积分乘积转化为二重积分