The Fundamental Theorem of Calculus
Antiderivatives
For example, is an antiderivative of , since the derivative of is . The functions and are antiderivatives of as well. A constant term has derivative , so adding one doesn't change the derivative.
This follows from the Mean Value Theorem: two functions with the same derivative on an interval differ by a constant there. Their graphs are vertical translates of each other, with the same slope at every .
Each basic derivative formula, read backward, gives an antiderivative. Since the derivative of is , dividing by gives an antiderivative of . That works for every except , where it would divide by zero. Since the derivative of is , an antiderivative of is .
The row for fills the gap the power rule leaves at . For , the derivative of is . For , , whose derivative is .
The Fundamental Theorem
To see why, divide into subintervals of width . The change in from to is the sum of its changes over the subintervals. By the Mean Value Theorem, the change over the -th subinterval is for some in it. So
for every . The right side is a Riemann sum, and as it approaches the integral of from to . The left side doesn't depend on , so it equals that integral.
The difference is written with a bar,
Any antiderivative gives the same difference, since the constant cancels: . So we take .
Absolute values
No row of the table fits an absolute value . When is continuous, split where changes sign. On each piece is or , and the theorem applies to each piece.
Average value
When , the right side is the area of a rectangle on of height . In the figure, the part of the region above the rectangle, in darker blue, fills the part of the rectangle above the curve, in amber.
To see why the theorem holds, let and be the smallest and largest values of on , which exist by the Extreme Value Theorem. Every Riemann sum lies between and , so its limit, the integral, does too. Dividing the integral by gives a number between and . The values and are taken at points of . The Intermediate Value Theorem on the interval between those two points gives a where takes that number.
The height is a limit of averages of sampled values of . Take subintervals of width and a sample point in each. Since , the average of the sampled values is
and as the right side approaches the integral divided by , which is .
By the Mean Value Theorem for Integrals, takes its average value at least once on .