Evaluating a definite integral needs the same list of standard antiderivatives used for indefinite integration, now applied between limits. The results below cover every integrand type met in this course.
Power rule (for n=−1):
∫abxndx=[n+1xn+1]ab=n+1bn+1−an+1.
Reciprocal (the n=−1 case, for 0<a<b):
∫abx1dx=[log∣x∣]ab=logb−loga=logab.
Exponential:
∫abexdx=[ex]ab=eb−ea.
Constant integrand (for a constant k):
∫abkdx=[kx]ab=k(b−a).
Linearity of the definite integral. For constants α,β and integrable functions f,g:
∫ab[αf(x)+βg(x)]dx=α∫abf(x)dx+β∫abg(x)dx.
This lets a sum or difference be integrated term by term, with constant multipliers pulled outside the integral sign. Almost every polynomial integral in this chapter is evaluated by combining the power rule with linearity.
Illustration. ∫12(x2+3)dx=∫12x2dx+∫123dx=[3x3]12+[3x]12=38−1+3(2−1)=37+3=316.
Substitute the Upper Limit First, Then Subtract the Lower — Mind the Signs …