Apply additive property of definite integrals (#555)

Apply additive property of definite integrals (#555)

Use ∫acf(x) dx=∫abf(x) dx+∫bcf(x) dx\int_a^c f(x) \, dx = \int_a^b f(x) \, dx + \int_b^c f(x) \, dx.