附录：定积分的两种定义形式