积分公式推导过程