高数定积分的一条重要等式推导过程