展开 积分区间的可加性