# Sum of Integrals on Adjacent Intervals for Integrable Functions

## Theorem

Let $f$ be a real function which is Darboux integrable on any closed interval $\mathbb I$.

Let $a, b, c \in \mathbb I$.

Then:

- $\displaystyle \int_a^c \map f t \rd t + \int_c^b \map f t \rd t = \int_a^b \map f t \rd t$

### Corollary

Let $a_0, a_1, \ldots, a_n$ be real numbers, where $n \in \N$ and $n \ge 2$.

Then:

- $\displaystyle \int_{a_0}^{a_n} \map f t \rd t = \sum_{i \mathop = 0}^{n - 1} \int_{a_i}^{a_{i + 1} } \map f t \rd t$

## Proof

Without loss of generality, assume $a < b$.

First let $a < c < b$.

Let $P_1$ and $P_2$ be any subdivisions of $\closedint a c$ and $\closedint c b$ respectively.

Then $P = P_1 \cup P_2$ is a subdivision of $\closedint a b$.

From the definitions of upper sum and lower sum:

- $\map L {P_1} + \map L {P_2} = \map L P$
- $\map U {P_1} + \map U {P_2} = \map U P$

We consider the lower sum.

The same conclusion can be obtained by investigating the upper sum.

By definition of Darboux integral:

- $\displaystyle \map L P \le \int_a^b \map f t \rd t$

Thus, given the subdivisions $P_1$ and $P_2$, we have:

- $\displaystyle \map L {P_1} + \map L {P_2} \le \int_a^b \map f t \rd t$

and so:

- $\displaystyle \map L {P_1} \le \int_a^b \map f t \rd t - \map L {P_2}$

So, for any subdivision $P_2$ of $\closedint c b$, $\displaystyle \int_a^b \map f t \rd t - \map L {P_2}$ is an upper bound of $\map L {P_1}$.

Thus:

- $\displaystyle \map {\sup_{P_1} } {\map L {P_1} } \le \int_a^b \map f t \rd t - \map L {P_2}$

where $\map {\sup_{P_1} } {\map L {P_1} }$ ranges over all subdivisions of $P_1$.

Thus by definition of definite integral:

- $\displaystyle \int_a^c \map f t \rd t \le \int_a^b \map f t \rd t - \map L {P_2}$

and so:

- $\displaystyle \map L {P_2} \le \int_a^b \map f t \rd t - \int_a^c \map f t \rd t$

Similarly, we find that:

- $\displaystyle \int_c^b \map f t \rd t \le \int_a^b \map f t \rd t - \int_a^c \map f t \rd t$

Therefore:

- $\displaystyle \int_a^b \map f t \rd t \ge \int_a^c \map f t \rd t + \int_c^b \map f t \rd t$

Having established the above, we now need to put it into context.

Let $P$ be *any* subdivision of $\closedint a b$, which may or may not include the point $c$.

Let $Q = P \cup \set c$ be the subdivision of $\closedint a b$ obtained from $P$ by including with it, if necessary, the point $c$.

It is easy to show that $\map L P \le \map L Q$.

Let $Q_1$ be the subdivision of $\closedint a b$ which includes only the points of $Q$ that lie in $\closedint a c$.

Let $Q_2$ be the subdivision of $\closedint a b$ which includes only the points of $Q$ that lie in $\closedint c b$.

From the definition of lower sum:

- $\map L Q = \map L {Q_1} + \map L {Q_2}$

We have:

\(\ds \map L P\) | \(\le\) | \(\ds \map L Q\) | ||||||||||||

\(\ds \) | \(=\) | \(\ds \map L {Q_1} + \map L {Q_2}\) | ||||||||||||

\(\ds \) | \(\le\) | \(\ds \int_a^c \map f t \rd t + \int_c^b \map f t \rd t\) |

So $\displaystyle \int_a^c \map f t \rd t + \int_c^b \map f t \rd t$ is an upper bound for $\map L P$, where $P$ is any subdivision of $\closedint a b$.

Thus:

- $\displaystyle \map {\sup_P} {\map L P} \le \int_a^c \map f t \rd t + \int_c^b \map f t \rd t$

Thus, by definition:

- $\displaystyle \int_a^b \map f t \rd t \le \int_a^c \map f t \rd t + \int_c^b \map f t \rd t$

Combining this with the result:

- $\displaystyle \int_a^b \map f t \rd t \ge \int_a^c \map f t \rd t + \int_c^b \map f t \rd t$

the result follows.

$\Box$

Now suppose $a < b < c$.

Then from the definition of Darboux integral:

- $\displaystyle \int_c^b \map f t \rd t := -\int_b^c \map f t \rd t$

and it follows that:

\(\ds \int_a^b \map f t \rd t\) | \(=\) | \(\ds \int_a^c \map f t \rd t - \int_b^c \map f t \rd t\) | main result | |||||||||||

\(\ds \) | \(=\) | \(\ds \int_a^c \map f t \rd t + \int_c^b \map f t \rd t\) |

The case of $c < a < b$ is proved similarly.

Finally, suppose $a = c < b$.

Then:

\(\ds \int_a^b \map f t \rd t\) | \(=\) | \(\ds 0 + \int_c^b \map f t \rd t + \int_a^c \map f t \rd t\) | as $a = c$ | |||||||||||

\(\ds \) | \(=\) | \(\ds \int_a^c \map f t \rd t + \int_c^b \map f t \rd t\) | Integral on Zero Interval, as $a = c$ |

The case of $a < c = b$ is proved similarly.

Hence the result, from Proof by Cases.

$\blacksquare$

## Sources

- 1967: Tom M. Apostol:
*Calculus Volume 1*: $\S 1.6$ - 1968: Murray R. Spiegel:
*Mathematical Handbook of Formulas and Tables*... (previous) ... (next): $\S 15$: General Formulas involving Definite Integrals: $15.11$ - 1977: K.G. Binmore:
*Mathematical Analysis: A Straightforward Approach*... (previous) ... (next): $\S 13.8$ - 2005: Roland E. Larson, Robert P. Hostetler and Bruce H. Edwards:
*Calculus*(8th ed.): $\S 4.3$