Reversing the Derivative Power Rule
Differentiation turns powers into new powers: for a positive integer \(n\), the derivative of \(x^n\) is \(nx^{n-1}\). Antidifferentiation reverses that change. If we want a function whose derivative is \(x^n\), we need to raise the exponent by one and choose a coefficient that cancels the factor produced by differentiation.
This gives a reliable rule for finding antiderivatives of powers. The rule applies when the exponent is not \(-1\); the exponent \(-1\) is an exception because the rule’s denominator would be zero.
An indefinite integral represents a family of functions. In this rule, \(C\) accounts for the fact that adding a constant does not change a derivative. The result is an antiderivative because differentiating it returns the integrand.
Why the Rule Works
The rule follows directly from the derivative power rule. Begin with the expression suggested by increasing the exponent of \(x^n\) by one. Differentiating that expression produces a factor of \(n+1\), so dividing by \(n+1\) beforehand cancels that factor.
The condition \(n\ne -1\) is needed because the proposed coefficient \(1/(n+1)\) is defined only when \(n+1\ne 0\). This calculation proves that the displayed expression is an antiderivative. To see why it gives the full family, suppose \(F\) is any other antiderivative of \(x^n\) on an interval. Let \(G(x)=x^{n+1}/(n+1)\). Since \(F'(x)=x^n\) and \(G'(x)=x^n\), the difference \(H=F-G\) satisfies
For any two points \(a\) and \(b\) in that interval, the Mean Value Theorem applies to \(H\) on the segment between them. It gives a point \(c\) between \(a\) and \(b\) such that
Thus \(H(b)=H(a)\) for every pair of points in the interval, so \(H\) is constant there. Therefore every antiderivative has the form \(G(x)+C\). This justifies both the formula and the constant of integration.
A Repeatable Method
For a monomial \(a x^n\), where \(a\) is a constant and \(n\ne -1\), keep the coefficient \(a\), raise the exponent by one, and divide by the new exponent. Then add \(C\). The coefficient remains because the integral is linear with respect to constant multiples.
A quick check is part of the method: differentiate the proposed answer and confirm that the result is exactly the original integrand. The check catches errors in either the new exponent or its coefficient.
Confirm that \(n\ne -1\), so the new exponent \(n+1\) is not zero.
Replace \(x^n\) with \(x^{n+1}\) in the antiderivative.
Multiply by \(1/(n+1)\) to undo the factor created by differentiation.
Include the arbitrary constant, then differentiate the result.
Worked Examples
Worked Example: An Antiderivative of \(7x^4\)
Find \(\int 7x^4\,dx\). The coefficient is \(7\), and the exponent is \(4\), so the new exponent is \(4+1=5\). Divide by \(5\):
Check by differentiation. The derivative of \(C\) is \(0\), and the constant multiple rule gives
The derivative matches the original integrand, so the family of antiderivatives is \(\frac{7}{5}x^5+C\).
Worked Example: A Negative Coefficient
Find \(\int -12x^2\,dx\). Increase the exponent \(2\) to \(3\), and divide the coefficient \(-12\) by \(3\):
Differentiate to check:
The coefficient is negative in both the integrand and its verified derivative. The negative sign does not change the steps of the power rule.
Worked Example: A Constant Function
Find \(\int 9\,dx\). Write the constant function as a multiple of \(x^0\), since \(x^0=1\):
The exponent \(0\) increases to \(1\), and dividing by \(1\) leaves the coefficient unchanged:
The check is
Thus \(9x+C\) is the complete family of antiderivatives of the constant function \(9\).
The Exception at Exponent \(-1\)
The condition \(n\ne -1\) is essential. If \(n=-1\), then increasing the exponent by one gives zero, and dividing by the new exponent would mean dividing by zero:
That expression is undefined, so the power rule cannot be used at exponent \(-1\). The antiderivative for that exponent is handled by a different rule. For this topic, the important point is simply to check the exponent before applying the power rule; do not substitute \(-1\) into the formula.
Common Mistake: Changing the Exponent but Not the Coefficient
A frequent error is to raise the exponent by one but forget to divide by the new exponent. For instance, an incorrect attempt at \(\int x^4\,dx\) might be
Differentiating the proposed answer exposes the mistake:
which is five times the required integrand. The correction is to divide by \(5\):
Another error is to forget \(C\). For example, \(\frac{x^5}{5}\) is one antiderivative of \(x^4\), but it is not the complete family. Every function \(\frac{x^5}{5}+C\) has the same derivative, so an indefinite integral must include the arbitrary constant.
Why the Rule Is Useful
The power rule provides a direct way to reverse differentiation for powers without guessing and adjusting coefficients. Its structure is worth remembering as a pair of linked steps: increase the exponent by one, then divide by that new exponent. The derivative check explains why both steps are needed.
When applying the rule, keep the exponent condition visible, preserve any constant coefficient, and write \(+C\). Then differentiate the result. That final check is especially useful when the coefficient is a fraction or a negative number, because it verifies the arithmetic as well as the calculus.
Check Your Understanding
For each question, apply the power rule where it is permitted and use differentiation to check your result.
- Find \(\int 6x^3\,dx\), and verify the answer by differentiation.
- Find \(\int -5x^5\,dx\), showing the new exponent and coefficient.
- Rewrite the constant function \(4\) as a multiple of \(x^0\), then find its antiderivatives.
- What goes wrong if you substitute \(n=-1\) into the power rule?
- Explain why differentiating \(x^6+C\) shows that it is not an antiderivative of \(x^5\).