Antiderivatives are the foundation of integral calculus. Every definite integral you evaluate, every area problem you solve, and every differential equation you tackle depends on your ability to reverse the differentiation process. You're being tested not just on memorizing formulas, but on recognizing which formula applies when you see a function and understanding why each formula works.
These formulas fall into distinct families: power functions, exponential functions, trigonometric functions, and inverse trigonometric functions. Each family follows predictable patterns rooted in differentiation. Every antiderivative formula is just a derivative rule read backwards. If you know what differentiation rule each one reverses, you can reconstruct any formula you forget on exam day.
Power Functions: The Foundation
The power rule for derivatives reverses cleanly into the power rule for antiderivatives. Since dxdโ[xn]=nxnโ1, we "undo" this by increasing the exponent and dividing.
Power Rule for Integration
โซxndx=n+1xn+1โ+C where n๎ =โ1 โ this handles polynomials, roots (rewrite as fractional exponents), and negative powers
The restriction n๎ =โ1 exists because plugging in n=โ1 creates division by zero; that case needs its own formula
Always add +C to represent the constant of integration โ the family of all functions whose derivative equals xn
Natural Logarithm Rule
โซx1โdx=lnโฃxโฃ+C โ this fills the gap left by the power rule when n=โ1
The absolute value bars are essential because ln(x) is only defined for positive x, but x1โ exists for all x๎ =0
Recognize disguised forms like โซxโ1dx โ this is the same integral rewritten
Compare: Power Rule vs. Natural Log Rule โ both handle expressions of the form xn, but the log rule is the special case when n=โ1. If you see โซxโ1dx, don't mistakenly apply the power rule. That's a common error.
Exponential Functions: Self-Replicating Integrals
Exponential functions have the remarkable property that differentiation and integration preserve their form. The base determines the scaling factor.
Base e Exponential
โซexdx=ex+C โ the function ex is its own antiderivative, making it unique among all functions
Watch for chain rule variants โ โซekxdx=k1โekx+C requires compensating for the inner derivative k
General Exponential Base
โซaxdx=ln(a)axโ+C where a>0 and a๎ =1 โ the natural log of the base appears as a scaling factor
This formula reverses the derivative rule dxdโ[ax]=axln(a), so you divide by ln(a) to compensate
When a=e, note that ln(e)=1, so this formula reduces to the simpler ex case
Compare:โซexdx vs. โซaxdx โ the ex formula is cleaner because ln(e)=1 eliminates the denominator. On exams, you can convert to base e when helpful using ax=exln(a).
Basic Trigonometric Functions: Sine and Cosine Cycle
Trigonometric antiderivatives follow from the cyclic nature of trig derivatives. Since sine and cosine are derivatives of each other (with sign changes), their antiderivatives swap roles.
Sine Function
โซsin(x)dx=โcos(x)+C โ the negative sign appears because dxdโ[cos(x)]=โsin(x), not +sin(x)
To remember: integrating sine gives cosine with a sign flip
Cosine Function
โซcos(x)dx=sin(x)+C โ no sign change here since dxdโ[sin(x)]=cos(x) directly
Verify by differentiating:dxdโ[sin(x)]=cos(x) โ
Secant Squared Function
โซsec2(x)dx=tan(x)+C โ this reverses the derivative dxdโ[tan(x)]=sec2(x)
Recognize equivalent forms like โซcos2(x)1โdx โ same integral, different notation
Cosecant Squared Function
โซcsc2(x)dx=โcot(x)+C โ this reverses dxdโ[cot(x)]=โcsc2(x)
Note the negative sign, similar to the sine/cosine relationship
Secant-Tangent Product
โซsec(x)tan(x)dx=sec(x)+C โ this reverses dxdโ[sec(x)]=sec(x)tan(x)
Cosecant-Cotangent Product
โซcsc(x)cot(x)dx=โcsc(x)+C โ this reverses dxdโ[csc(x)]=โcsc(x)cot(x)
Compare:โซsin(x)dx vs. โซcos(x)dx โ both produce the other trig function, but only sine's antiderivative picks up a negative sign. Track signs carefully; this is a top source of errors on exams. A good pattern to notice: the "co-" functions (cosine, cosecant, cotangent) tend to carry negative signs in their derivative and antiderivative formulas.
Some trigonometric integrals produce logarithmic results rather than other trig functions. These arise from rewriting the integrand and applying substitution.
Tangent Function
โซtan(x)dx=โlnโฃcos(x)โฃ+C โ equivalently written as lnโฃsec(x)โฃ+C
Derived by rewritingtan(x)=cos(x)sin(x)โ and using u-substitution with u=cos(x), so du=โsin(x)dx
The negative sign reflects that dxdโ[cos(x)]=โsin(x)
Compare:โซtan(x)dx vs. โซsec2(x)dx โ both involve tangent and secant, but one yields a logarithm while the other yields tangent directly. The squared secant is the cleaner case.
Inverse Trigonometric Functions: Recognizing the Patterns
These formulas produce inverse trig functions and arise from specific algebraic forms. The key is pattern recognition โ spot the characteristic denominators.
Arctangent Pattern
โซ1+x21โdx=arctan(x)+C โ this reverses dxdโ[arctan(x)]=1+x21โ
The 1+x2 denominator (sum with no square root) is your signal to use this formula
Generalizes toโซa2+x21โdx=a1โarctan(axโ)+C
Arcsine Pattern
โซ1โx2โ1โdx=arcsin(x)+C โ this reverses dxdโ[arcsin(x)]=1โx2โ1โ
The 1โx2โ denominator (difference under a square root) signals this formula; note the domain restriction โฃxโฃ<1
Generalizes toโซa2โx2โ1โdx=arcsin(axโ)+C
Compare: Arctangent vs. Arcsine patterns โ both have "1" and "x2" in the denominator, but arctangent has addition (1+x2) while arcsine has subtraction under a square root (1โx2โ). Memorize these signatures; they appear frequently on multiple choice.
Quick Reference Table
Family
Formula
Result
Power (n๎ =โ1)
โซxndx
n+1xn+1โ+C
Power (n=โ1)
โซx1โdx
lnโฅxโฅ+C
Exponential (base e)
โซexdx
ex+C
Exponential (general)
โซaxdx
ln(a)axโ+C
Trig
โซsin(x)dx
โcos(x)+C
Trig
โซcos(x)dx
sin(x)+C
Trig
โซsec2(x)dx
tan(x)+C
Trig
โซcsc2(x)dx
โcot(x)+C
Trig
โซsec(x)tan(x)dx
sec(x)+C
Trig
โซcsc(x)cot(x)dx
โcsc(x)+C
Trig (log result)
โซtan(x)dx
โlnโฅcos(x)โฅ+C
Inverse trig
โซ1+x21โdx
arctan(x)+C
Inverse trig
โซ1โx2โ1โdx
arcsin(x)+C
Self-Check Questions
Why does the power rule โซxndx=n+1xn+1โ+C fail when n=โ1, and which formula handles that case instead?
Compare โซexdx and โซ2xdx: what's the difference in their antiderivatives, and why does one have a simpler form?
If you see โซ4+x21โdx on an exam, which antiderivative formula applies, and how would you adjust for the "4" instead of "1"?
Both โซsin(x)dx and โซcos(x)dx produce the other function. Which one picks up a negative sign, and how can you verify your answer?
Evaluate โซ9โx2โ1โdx. Identify the pattern, state the formula, and explain what adjustment the "9" requires.