The function is a sum of three terms, and one of them, , is negative at every point of the interval except . Can its integral from to be found one term at a time, and what does a negative term do to the total? This lesson states the sum rule and the constant multiple rule that allow the split, keeps the sign of every piece, and finds the value . One antiderivative confirms it, and the average height of the graph gives a sense of its size.
Key terms
Sum rule for integrals
Definition Let and be integrable on , for example continuous there. Then and are integrable on , and
with a minus sign in both places for the difference . The reason lies in the Riemann sums. For every partition of and every choice of sample points , each strip of splits as
so every Riemann sum of is a Riemann sum of plus the matching Riemann sum of , and the limits add. The rule also holds with the limits of integration in the other order, because reversing them changes the sign of all three integrals. The rule needs both pieces to be integrable, and a sum can have an integral when its pieces do not. For example, the function has a finite improper integral from to , equal to , while neither nor does.
In plain words When each piece has an integral of its own, integrate the pieces over the same interval and add the results. The addition happens height by height, the height of at a point being the height of plus the height of at that same . Placing two regions side by side over adjacent intervals is a different rule, the one that adds integrals over and .
Example The region under on is the rectangle of height with the triangle under stacked on top of it. The sum rule adds their integrals,
Geometry agrees. The region is a trapezoid of width with parallel sides and , so its area is .
Constant multiple rule
Definition Let be integrable on and let be a constant, a real number that does not depend on the variable of integration. Then is integrable on , and
Each term of a Riemann sum of carries the factor , so every Riemann sum of is times the matching Riemann sum of , and the limits differ by the same factor.
In plain words A constant factor can move outside the integral, because it multiplies the height of every strip by the same number and leaves the widths alone. A negative constant also reflects every strip across the axis, so it changes the sign of the integral. A factor that changes with cannot come out. For example , while pulling one outside would give the expression , which depends on and is not a number at all.
Example The power rule gives , so
Every strip under the graph of is three times as tall as the matching strip under and just as wide, so the area is three times as large. One antiderivative of is , and agrees. With the constant the rule gives , the signed value of a region of area below the axis.
Linearity of the integral
Definition Let and be integrable on and let and be constants. Then is integrable on , and
This combines the sum rule and the constant multiple rule, and applying it repeatedly covers any finite number of terms. Together with the power rule it integrates every polynomial over every interval. In the language of linear algebra, the integral over a fixed interval is a linear map from the integrable functions on to the real numbers. The statement is about finitely many terms. Integrating an infinite series term by term needs further conditions.
In plain words Split the integrand at its plus and minus signs, integrate every term over the same interval, keep each constant with its own term, and add the results. Linearity covers sums and constant factors and nothing else. The integral of a product is in general not the product of the integrals, and the integral of a quotient is in general not a quotient of integrals, so read the operation that joins the pieces before splitting.
Example The terms , and are polynomials, so each is continuous and hence integrable on . Linearity and the power rule give
All three integrals keep the limits and . One antiderivative checks the whole calculation at once. The function has , which confirms every coefficient and sign, and the integrand is continuous on , so the fundamental theorem of calculus gives
Signed contribution
Definition Write an integrand on , with , as a sum of finitely many integrable terms, . The signed contribution of the term to is its own integral . It equals the area of the region between the graph of and the -axis where is positive, minus the area of the region where is negative. By linearity the signed contributions add up to the integral of . A negative contribution does not mean that is negative anywhere, since the value of at a point depends on all the terms at that point.
In plain words Each term moves the total up or down by its own signed area. A region below the axis has a positive size but makes a negative contribution, so note the size and the sign separately and carry the sign into the sum.
Example At the terms of have heights , and , which add to the height of the combined graph. The term is negative on . Its region is a triangle below the axis with base and depth , since , so its area is and its signed contribution is
With the contributions from and from the constant , the total is . The contributions of and cancel as numbers, but the two functions do not cancel point by point. Their sum is zero on only at and , negative between them and positive after. The combined integrand never dips below the axis, because
with the smallest value at . So the value is also the area of the region under the combined graph. The negative contribution belongs to the split into terms, not to any part of the final graph.
Average value of a function
Definition Let be integrable on with . The average value of on is
It is the height of the rectangle on whose signed area equals the integral, and it carries the units of . Because is a constant, linearity carries over, and the average of is times the average of plus times the average of . If is continuous on , the mean value theorem for integrals gives at least one point in with . Without continuity the average may never be taken, as for the function that is on and on , whose average on is .
In plain words Flatten the region into a rectangle on the same base with the same signed area, and the height of that rectangle is the average value. It averages the function over every point of the interval, not just its two endpoint values. Where the graph runs below the average height, the missing area exactly matches the extra area where it runs above.
Example For on ,
By linearity the averages , and of the three terms add to the same . The graph is far from constant at height . It starts at , falls to at and climbs to . It meets the height where , at and , so is a point of where takes its average value. The area missing below the line on equals the extra area above it on ,
The average of the two endpoint values, , is twice the true average.
Check yourself
- Use linearity to evaluate the integral below, then check the result with one antiderivative.
Show the answer
The three terms are continuous on . The power rule gives and , and the constant integrates to the width . By linearity,
The function has , and . The lower limit is , not , so the value must be subtracted.
- Let . Evaluate by linearity. Is the result the area of the region between the graph of and the -axis over ?
Show the answer
Since and , the signed contributions are , and , and
This is not the area. The integrand factors as , which is negative for , so this time the combined graph itself dips below the axis. With the antiderivative , the values , , and give the pieces
The integral is the area above the axis minus the area below it, while the area of the region is . The question is decided by the sign of itself, not by the signs of its terms.
- Let . A classmate computes as the product of and . Explain the mistake, find the correct integral, and find the average value of on .
Show the answer
Linearity splits sums and moves constant factors outside. It says nothing about products. The two integrals are and , so the classmate gets , which is not the integral of . Expanding first turns the product into a sum, , and then
The average value is
The function is continuous, so it takes this value somewhere in . Solving gives as the root in that interval. The average of the endpoint values, , is a different number and is not the average value.