How to Verify by Differentiation That the Formula Is Correct
To verify by differentiation that the formula is correct, you differentiate the proposed antiderivative and confirm the result equals the original integrand. If F(x) is offered as an antiderivative of f(x), then computing F′(x) and showing F′(x) = f(x) proves the formula is right. This works because integration and differentiation are inverse operations: every continuous function’s antiderivative, when differentiated, returns the original function. The method requires no integration at all—only accurate differentiation—which makes it one of the fastest ways to confirm an integral formula.
What Verification Means
Verification here rests on the Fundamental Theorem of Calculus. That theorem states that if F is any antiderivative of f on an interval, then F′(x) = f(x) on that interval. So when someone hands you a claimed formula for ∫f(x) dx, you do not need to re-integrate. You differentiate the candidate and check whether it reproduces the integrand. This is sometimes called the “reverse check,” and it is standard practice in coursework and reference materials.
The logic is a simple chain:
- You have an integrand f(x).
- You have a proposed antiderivative F(x) plus an arbitrary constant C.
- You differentiate F(x).
- If the derivative equals f(x), the formula is correct.
A subtle but important point: the constant C always disappears when you differentiate, because the derivative of any constant is zero. That means verification can never confirm the value of C—only the variable part of the formula. The constant must be justified separately, usually by noting that antiderivatives differ by an additive constant.
Step-by-Step Method
The procedure has three moves: differentiate, simplify, compare. Each one matters, and skipping the simplification step is where most errors creep in.
Differentiate the formula
Take the proposed antiderivative F(x) and compute F′(x) using whatever rules apply—power rule, product rule, quotient rule, chain rule, or derivatives of standard functions. Treat any letter other than x as a constant, unless the problem says otherwise.
Simplify the derivative
Once you have F′(x), simplify it as far as possible. Factor, combine fractions, and apply identities. The goal is to make the comparison in the next step obvious. An unsimplified derivative can look different from the integrand even when the two are algebraically identical.
Compare with the integrand
Place F′(x) next to f(x). If they match after simplification, the formula is verified. If they do not match, either the formula is wrong or you made an algebra or differentiation error—recheck both before concluding.
A quick illustration of the target: if the integrand is 2x and the proposed formula is F(x) = x² + C, then F′(x) = 2x, which equals the integrand. The formula checks out.
A Worked Example
Consider the claim ∫2x·e^(x²) dx = e^(x²) + C.
Differentiate e^(x²) using the chain rule. The outer function is e^u with u = x², so:
d/dx [e^(x²)] = e^(x²) · d/dx (x²) = e^(x²) · 2x = 2x·e^(x²).
That matches the integrand exactly. The formula is correct—and note that the extra factor 2x came only from applying the chain rule properly.
This example is worth dwelling on because it shows where people slip. When the antiderivative contains a composite function, its derivative requires the chain rule, and omitting the inner derivative produces a wrong answer. Forgetting the factor 2x here would make the check appear to fail even though the formula is right. Always ask whether an inner function is present.
A useful summary of what to check:
| Step | Action | What “correct” looks like |
|---|---|---|
| Differentiate | Apply derivative rules to F(x) | A derivative expression |
| Simplify | Combine, factor, use identities | A clean, recognizable form |
| Compare | Set F′(x) against f(x) | Term-by-term match |
Two other points deserve mention. First, additive constants inside a function are not the same as the arbitrary constant of integration; mistaking one for the other distorts the derivative. Second, a formula can only be verified against the integrand you actually have. Common traps include confusing x² with 2x, missing a minus sign, and overlooking absolute value bars in logarithmic formulas. Rewrite the integrand clearly before comparing.
Handling Different Function Types
The three-step method does not change with the integrand, but the differentiation rules you reach for do. Knowing which rule to expect makes the check smoother.
For polynomial antiderivatives, the power rule handles almost everything. If F(x) = x^(n+1)/(n+1) + C, then F′(x) = x^n by the power rule, matching an integrand of x^n for n ≠ −1. Rewrite radicals as fractional powers before differentiating: for instance, √x is x^(1/2), and 1/x² is x^(−2). This turns an unfamiliar check into a routine one.
When the antiderivative is a product or a quotient, do not differentiate term by term—apply the product rule or quotient rule as a whole. A frequent trap is treating (x·sin x) as if it were x′ plus (sin x)′, which is wrong. The product rule gives sin x + x·cos x.
Exponential antiderivatives are self-similar: the derivative of e^(kx) is k·e^(kx), so an integrand of k·e^(kx) checks against e^(kx). For logarithms, remember that d/dx (ln u) = u′/u. If the proposed formula contains ln(g(x)), expect the derivative to contain g′(x)/g(x), so make sure the integrand has exactly that structure.
A compact reference for what to expect:
| Antiderivative form | Derivative (what the integrand must equal) |
|---|---|
| x^(n+1)/(n+1) | x^n |
| e^(kx) | k·e^(kx) |
| ln(g(x)) | g′(x)/g(x) |
| sin(kx) | k·cos(kx) |
| −cos(kx) | k·sin(kx) |
Building It Into Your Routine
Verification is most valuable when it becomes automatic rather than an afterthought. A few habits make it stick:
- Finish every integral by differentiating your answer before moving on. The extra line is cheap insurance.
- When a check fails, suspect your differentiation first, then your simplification, then the original formula—in that order.
- Keep the standard derivative table close by, so comparing F′(x) with f(x) becomes a quick visual match.
- For messy answers, test a single convenient value of x numerically as a spot check.
Over time, the check trains your eye. You start to recognize the shapes of antiderivatives whose derivatives will return the integrand, which speeds up both verification and the original integration.
Key Takeaways
- To verify an integration formula, differentiate the proposed antiderivative and confirm the result equals the original integrand.
- The method rests on the Fundamental Theorem of Calculus: F is an antiderivative of f exactly when F′(x) = f(x).
- Follow three steps—differentiate, simplify, compare—and do not skip the simplification.
- The arbitrary constant C always vanishes under differentiation, so verification confirms only the variable part of the formula.
- The chain rule is the most frequent source of error; always check for an inner function.
- Simplify before judging a mismatch—many apparent failures are algebra problems, not wrong formulas.
