Foundations to FrontierPart III: Calculus IBezhig

Module 16: Antiderivatives, Riemann sums, and definite integrals

8 exercises, each with a complete solution. 1 figure.

On this page
  1. A. Prerequisites and observable goals
  2. B. The central idea: add many small contributions
  3. C. Definitions before calculation shortcuts
  4. D. A sum that becomes an exact area
  5. E. How to recognize the requested object
  6. F. Worked teaching examples
  7. G. Independent practice
  8. H. Complete solutions: Module 16
  9. I. Retention and readiness

A. Prerequisites and observable goals#

Before

Derivative rules, finite sums, limits, and signed rates.

After

Distinguish a family of antiderivatives from an integral value, construct a Riemann sum, and interpret signed accumulation with units.

B. The central idea: add many small contributions#

Differentiation extracts a local rate from a function. Accumulation goes in the other direction: many small rate-times-width contributions add up to a total. The definite integral makes this idea exact by taking a limit of sums. An antiderivative is a function whose derivative is known; the Fundamental Theorem in the next module explains why these seemingly different objects are connected.

Add many small contributions. Six rectangles of width 0.50.5 under y=1+12x2y=1+\tfrac12x^2 on [0,3][0,3], each as tall as the curve at its left edge. The highlighted one contributes f(1.5)⋅0.5f(1.5)\cdot0.5. Their total is 6.43756.4375; the exact area is 7.57.5, and more, thinner rectangles close the gap.

C. Definitions before calculation shortcuts#

An antiderivative of ff on an interval is a function FF with F′=fF'=f. Any two antiderivatives on the same interval differ by a constant, by the MVT. The notation ∫f(x) dx=F(x)+C\int f(x)\dd x=F(x)+C describes a family of functions, not a single number. On disconnected domains, separate constants may be needed on separate intervals.

For a partition a=x0<x1<⋯<xn=ba=x_0<x_1<\cdots<x_n=b, let Δxi=xi−xi−1\Delta x_i=x_i-x_{i-1} and choose xi∗∈[xi−1,xi]x_i^*\in[x_{i-1},x_i]. A Riemann sum is ∑i=1nf(xi∗)Δxi\sum_{i=1}^n f(x_i^*)\Delta x_i. If all such sums converge to one value as the largest subinterval width tends to zero, that value is the definite integral

∫abf(x) dx=lim⁡∥P∥→0∑i=1nf(xi∗)Δxi.\int_a^b f(x)\dd x=\lim_{\|P\|\to0}\sum_{i=1}^n f(x_i^*)\Delta x_i.

A continuous function on a closed interval is Riemann integrable. Many discontinuous functions are also integrable, so continuity is sufficient, not necessary. For equal widths, Δx=(b−a)/n\Delta x=(b-a)/n and right endpoints are a+iΔxa+i\Delta x. Integral foundations: [O1Int].

The integral is signed: portions below the horizontal axis contribute negatively. Geometric area uses ∫∣f∣\int|f|, splitting at sign changes when necessary. Reversing bounds changes sign, and splitting at an interior input adds accumulations. If ff is measured in meters per second and xx in seconds, the integral has meters as its units.

D. A sum that becomes an exact area#

For f(x)=xf(x)=x on [0,2][0,2], a right-endpoint sum has width 2/n2/n and sample inputs 2i/n2i/n:

Sn=∑i=1n2in2n=4n2n(n+1)2=2+2n.S_n=\sum_{i=1}^n\frac{2i}{n}\frac2n =\frac4{n^2}\frac{n(n+1)}2=2+\frac2n.

Thus ∫02x dx=2\int_0^2 x\dd x=2, agreeing with the area of a triangle of base 22 and height 22. Every finite right sum overestimates the increasing function; the limit removes the 2/n2/n discrepancy. The identity ∑i=n(n+1)/2\sum i=n(n+1)/2 is a finite algebraic fact, while the passage 2+2/n→22+2/n\to2 is a limit.

E. How to recognize the requested object#

An indefinite integral asks for a family of functions; differentiate your answer. A definite integral asks for an accumulated number; its units and bounds matter. A numerical sum asks for a finite approximation and must not be silently replaced by the limiting answer. To build a sum, identify width, sample input, function value, and number of terms in that order. The sample input is not always just i/ni/n.

F. Worked teaching examples#

Undoing a derivative. For f(x)=6x2−4x+5f(x)=6x^2-4x+5, termwise antidifferentiation gives F(x)=2x3−2x2+5x+CF(x)=2x^3-2x^2+5x+C. Checking gives F′=6x2−4x+5F'=6x^2-4x+5. If F(0)=7F(0)=7, then C=7C=7; an initial value selects one member of the family.

Signed displacement. Suppose velocity is 33 m/s for two seconds and then −2-2 m/s for three seconds. Displacement is 3(2)+(−2)(3)=03(2)+(-2)(3)=0 m. Distance is 3(2)+2(3)=123(2)+2(3)=12 m. Zero net accumulation does not mean nothing happened.

A midpoint setup to finish. For ∫13x2 dx\int_1^3 x^2\dd x with four equal subintervals, the width is 1/21/2. The midpoints are 5/4,7/4,9/4,11/45/4,7/4,9/4,11/4. Thus the midpoint sum is 12[(5/4)2+(7/4)2+(9/4)2+(11/4)2]=69/8\tfrac12[(5/4)^2+(7/4)^2+(9/4)^2+(11/4)^2]=69/8. The exact integral, obtained next module, is 26/326/3, so the sum is an approximation.

G. Independent practice#

F foundation C standard course work T transfer S optional stretch L runnable lab or project. Attempt the complete set before opening its solutions.

M16.01FSolution

Find all antiderivatives of 8x3−6x+28x^3-6x+2 on R\R, and the one with F(1)=5F(1)=5.

M16.02CSolution

Find an antiderivative of 3/x+2cos⁡x3/x+2\cos x on (0,∞)(0,\infty). Explain why 3ln⁡x3\ln x rather than 3x0/03x^0/0 is used.

M16.03CSolution

Compute the left and right sums with four equal subintervals for f(x)=x+1f(x)=x+1 on [0,2][0,2]. Compare them with the exact geometric integral.

M16.04TSolution

Build a right-endpoint Riemann sum for ∫25x dx\int_2^5\sqrt{x}\dd x with nn equal intervals. Do not evaluate the limit.

M16.05CSolution

Use ∑i=1ni2=n(n+1)(2n+1)/6\sum_{i=1}^n i^2=n(n+1)(2n+1)/6 to evaluate ∫01x2 dx\int_0^1 x^2\dd x directly from right-endpoint sums.

M16.06TSolution

A rate is 44 liters/min for 0≤t<20\le t<2 and −1-1 liter/min for 2≤t≤52\le t\le5. Find net change, total variation in volume, and final volume if the initial volume is 1010 liters.

M16.07TSolution

Given ∫14f=7\int_1^4 f=7 and ∫12f=−3\int_1^2 f=-3, find ∫24f\int_2^4 f, ∫41f\int_4^1 f, and ∫142f\int_1^4 2f. Are these data enough to find the geometric area under ff?

M16.08SSolution

On [−1,1][-1,1], let g(x)=0g(x)=0 except g(0)=5g(0)=5. Explain using Riemann sums why ∫−11g(x) dx=0\int_{-1}^1g(x)\dd x=0 despite the discontinuity.

Optional small hints

For M16.05, separate powers of nn before taking the limit. For M16.08, only subintervals containing zero can contribute, and at most two such intervals occur in a partition.

H. Complete solutions: Module 16#

Compare the first step where your work differs. A corrected answer is not yet an independent success.

M16.01Show solution

Integrate, then use the initial value

The power rule gives F=2x4−3x2+2x+CF=2x^4-3x^2+2x+C. At 11, F(1)=2−3+2+C=1+CF(1)=2-3+2+C=1+C, so C=4C=4. The selected function is 2x4−3x2+2x+4\boxed{2x^4-3x^2+2x+4}. Differentiating verifies the integrand; substituting 11 verifies the initial condition.

Back to M16.01
M16.02Show solution

The power rule’s excluded exponent

Because (ln⁡x)′=1/x(\ln x)'=1/x for x>0x>0, an antiderivative is 3ln⁡x+2sin⁡x+C\boxed{3\ln x+2\sin x+C}. The usual rule ∫xp dx=xp+1/(p+1)+C\int x^p\dd x=x^{p+1}/(p+1)+C excludes p=−1p=-1, where its denominator is zero. On a negative interval, the logarithmic primitive would be ln⁡∣x∣\ln|x| instead.

Back to M16.02
M16.03Show solution

Finite sums and their exact target

The width is 1/21/2. Left sample heights are 1,3/2,2,5/21,3/2,2,5/2, so L4=(1/2)(7)=7/2L_4=(1/2)(7)=\boxed{7/2}. Right heights are 3/2,2,5/2,33/2,2,5/2,3, so R4=(1/2)(9)=9/2R_4=(1/2)(9)=\boxed{9/2}. The trapezoid under the line has area 2(1+3)/2=42(1+3)/2=\boxed4. Increasing behavior explains L4<4<R4L_4<4<R_4.

Back to M16.03
M16.04Show solution

Retain the interval’s offset

Here Δx=(5−2)/n=3/n\Delta x=(5-2)/n=3/n and the iith right input is 2+3i/n2+3i/n. Therefore

∫25x dx=lim⁡n→∞∑i=1n2+3i/n 3n.\boxed{\int_2^5\sqrt x\dd x=\lim_{n\to\infty}\sum_{i=1}^n\sqrt{2+3i/n}\,\frac3n}.

The starting input 22 belongs inside the square root. The external 3/n3/n is a width, not part of the function input.

Back to M16.04
M16.05Show solution

Evaluate an integral from its defining sums

The width is 1/n1/n and sample input is i/ni/n. Hence

Sn=1n3∑i=1ni2=n(n+1)(2n+1)6n3=(1+1/n)(2+1/n)6⟶1/3.S_n=\frac1{n^3}\sum_{i=1}^n i^2 =\frac{n(n+1)(2n+1)}{6n^3} =\frac{(1+1/n)(2+1/n)}6\longrightarrow\boxed{1/3}.

Continuity guarantees that this right-sum limit is the integral, not a special result that depends on the chosen sample convention.

Back to M16.05
M16.06Show solution

Accumulate the rate over each time interval

Net change is 4(2)−1(3)=54(2)-1(3)=\boxed5 liters. Total variation adds magnitudes, 8+3=118+3=\boxed{11} liters. Final volume is initial volume plus net change, 10+5=1510+5=\boxed{15} liters. The integral gives a change, not the final amount without the initial value.

Back to M16.06
M16.07Show solution

Use linearity and interval additivity

Since 7=−3+∫24f7=-3+\int_2^4f, the latter integral is 10\boxed{10}. Reversing bounds gives −7\boxed{-7}, and multiplying the integrand by 22 gives 14\boxed{14}. The signed data alone do not determine ∫14∣f∣\int_1^4|f|: positive and negative contributions inside the smaller intervals may cancel in many different ways.

Back to M16.07
M16.08Show solution

A single exceptional height has no width

Every Riemann-sum term is zero unless its sample input is zero. At most two subintervals can have zero as an endpoint or interior point. If the mesh is ∥P∥\|P\|, their total contribution is nonnegative and at most 10∥P∥10\|P\|. As the mesh tends to zero, every Riemann sum is squeezed to zero. Thus the integral is 0\boxed0. This proves integrability directly and shows why continuity is not a necessary condition.

Back to M16.08

I. Retention and readiness#

Revisit M05.05 and M12.01. Explain why an integral of a rate has amount units, why +C+C belongs to an indefinite answer, and why a point’s height alone supplies no area. Advance when you can construct a sum on an interval that does not begin at zero.