Algebraic Rewriting to Reveal a Basic Antiderivative

Why Rewrite an Integrand?

Some integrands do not look like they match a basic antiderivative rule, even when they are built from familiar powers and sums. A quotient may hide a polynomial, a radical may hide a fractional power, or a sum in the numerator may be easier to handle term by term.

The useful move is algebraic: rewrite the integrand into an equivalent form that matches a rule you already know. The word equivalent matters. The rewritten expression must agree with the original wherever the original is defined, and any restrictions on the original domain must remain in force.

The Basic Rules to Reveal

For a real exponent \(p\), the real-valued power \(x^p\) is defined for all \(x>0\). On that domain, the power antiderivative rule is

For integer exponents, the same rule also applies when \(x<0\), provided the powers involved are defined; in particular, negative integer powers require \(x\ne 0\). The rule does not cover exponent \(-1\). Keep this exception in mind rather than forcing that term into the power rule.

We will also use the constant rule and the sum rule. If \(a\) is constant and each displayed power satisfies the conditions of the power rule on an interval, then

The sum rule applies to a finite sum term by term. In practice, algebraic rewriting is the step that turns an unfamiliar-looking expression into a sum of powers or constants.

Which Exponent Rewrites Are Valid?

For arbitrary real exponents \(a\) and \(b\), the quotient law is valid for \(x>0\):

The condition \(x>0\) is important. It ensures that both real powers are defined as real numbers. If the exponents are integers, the identity also holds for \(x\ne 0\), as long as the quotient is defined. Do not extend the real-exponent version to negative \(x\) merely because \(x\) is nonzero.

For instance, a radical can be rewritten as a fractional power on its real domain: \(\sqrt{x}=x^{1/2}\) for \(x\ge 0\). If the radical appears in a denominator, the denominator must also be nonzero, so the full expression may require \(x>0\).

Why the Rewriting Method Works

The justification has two parts. First, the algebraic identity says the rewritten expression equals the original integrand on the original domain. Second, differentiation verifies that the proposed antiderivative has that rewritten expression as its derivative.

This is a complete justification: the algebra establishes equality of the integrands, and the derivative establishes the antiderivative. If the original domain has separate intervals, the argument applies on each one. The constants of integration can be different on different intervals because there is no requirement that an antiderivative match across a point outside the domain.

The power rule itself follows from the derivative power rule. For \(p\ne-1\), differentiating the proposed expression gives

On \(x>0\), this computation applies to real \(p\); for integer powers it also applies wherever the powers are defined. The sum rule is justified in the same way: the derivative of a sum is the sum of its derivatives.

Quotients of Sums

When every term in a numerator is divided by the same power, divide each term separately and then simplify its exponent. The result may be a sum of powers that can be integrated term by term. Track whether the denominator excludes zero before simplifying.

Negative and Fractional Powers

Rewriting can also expose negative or fractional powers. A negative integer power such as \(x^{-2}\) means \(1/x^2\), so it is defined only when \(x\ne0\). A fractional real power such as \(x^{-1/2}\) requires \(x>0\) when it occurs as a real-valued function. Once the domain is stated, use the power rule only when its exponent is not \(-1\).

Common Pitfalls

A frequent error is to cancel or simplify and then silently enlarge the domain. In the first worked example, \((x^2-1)/(x-1)\) agrees with \(x+1\) only for \(x\ne1\). The cancellation gives a simpler formula, but it does not change where the original quotient exists.

A second error is to apply the quotient law for arbitrary real exponents whenever \(x\ne0\). For example, the claim

is not a valid real-valued identity on that stated domain: at \(x=-1\), \(x^{1/2}\) is not a real number. For arbitrary real exponents, use the quotient law on \(x>0\). If the exponents are integers, the quotient law can be used for \(x\ne0\), provided the expressions are defined.

Finally, do not combine terms merely because they share a denominator, and do not apply the power antiderivative rule when its exponent is \(-1\). First rewrite accurately, identify the domain, and then select a rule whose conditions are satisfied.

A Reliable Checklist

Before integrating an expression that looks more complicated than a basic power, use this sequence:

• Find the original domain, including values excluded by denominators and radicals.
• Rewrite quotients term by term only where the exponent laws are valid.
• Keep exclusions from the original expression after cancellation or simplification.
• Check that each resulting term matches a basic antiderivative rule and satisfies its conditions.
• Differentiate the proposed antiderivative and compare it with the original integrand on its domain.

This method matters because algebraic form can conceal the structure of an integrand. A correct rewrite often turns an unfamiliar quotient into a short sum of powers, making the antiderivative straightforward. The domain check ensures that this simplification remains mathematically equivalent to the expression you were asked to integrate.