用定积分性质计算∫(1→3)(x^3+1)dx