Why the Reciprocal Function Needs Its Own Rule
The power rule for antiderivatives handles many powers of \(x\), but the reciprocal function is a special case. Writing \(1/x\) as \(x^{-1}\) does not allow us to apply the usual power formula: that formula would require division by \(-1+1=0\). A different function is needed whose derivative is \(1/x\).
The natural logarithm provides that function. Since \(\ln x\) is defined only for positive \(x\), the formula must also account for negative inputs. The expression \(\ln|x|\) does so whenever \(x\ne 0\).
Why the Absolute Value Appears
The absolute value makes the input to the logarithm positive: \(|x|>0\) whenever \(x\ne 0\). It also lets the same formula work on either side of zero. To verify this, differentiate separately on positive and negative intervals. This separation matters because \(x=0\) is not in the domain of either \(1/x\) or \(\ln|x|\).
If \(x>0\), then \(|x|=x\), so \(\ln|x|=\ln x\). Its derivative is \(1/x\). If \(x<0\), then \(|x|=-x\), so \(\ln|x|=\ln(-x)\). Applying the chain rule gives the derivative below:
Thus the derivative is \(1/x\) on both intervals. The chain rule is essential in the negative case: differentiating \(\ln(-x)\) requires multiplying by the derivative of \(-x\).
Worked Examples
Worked Example: The Reciprocal Function on a Positive Interval
Find an antiderivative of \(f(x)=1/x\) on the interval \((0,\infty)\), and check it.
Because \(x>0\), \(|x|=x\). The logarithmic formula gives
Differentiate to check that \(F\) is an antiderivative:
Adding any constant does not change the derivative, since \(\frac{d}{dx}C=0\). Hence the complete family on this interval is \(F(x)=\ln x+C\), equivalently \(F(x)=\ln|x|+C\). Differentiating the result confirms it gives \(1/x\).
Worked Example: The Reciprocal Function on a Negative Interval
Find an antiderivative of \(g(x)=1/x\) on \((-\infty,0)\), and verify it without treating \(\ln x\) as defined for negative \(x\).
For \(x<0\), the absolute value satisfies \(|x|=-x\), and \(-x>0\). Thus \(\ln|x|=\ln(-x)\) is defined. Set
Now apply the chain rule, showing both factors:
The final equality follows because \((-1)/(-x)=1/x\). Therefore \(G\) is an antiderivative on the negative interval, and all antiderivatives there have the form \(\ln|x|+C\). The derivative check returns the original function \(1/x\).
Worked Example: A Constant Multiple of the Reciprocal Function
Find an antiderivative of \(h(x)=-4/x\) on \((-\infty,0)\), then check it.
Factor out the constant \(-4\). The reciprocal-function formula gives
Differentiate the proposed antiderivative, including its constant multiple:
This equals the original integrand for every \(x<0\), so the result is verified. The same formula also works on any positive interval, because the derivative identity for \(\ln|x|\) holds for all nonzero \(x\).
Why This Formula Is the Complete Answer on an Interval
Checking a derivative establishes that \(\ln|x|+C\) is an antiderivative. To see why there are no other forms on a given interval, suppose \(F\) is any antiderivative of \(1/x\) on an interval \(I\) that does not contain zero. Define \(H(x)=F(x)-\ln|x|\). The derivative calculation above shows
For any two points \(a,b\in I\), the mean value theorem applies to \(H\) on the segment between them: \(H\) is continuous on that closed segment and differentiable in its interior. It gives a point \(c\) between \(a\) and \(b\) such that
Thus \(H(a)=H(b)\) for every pair of points in \(I\), so \(H\) is constant on \(I\). Therefore \(F(x)=\ln|x|+C\) throughout that interval. This is why the arbitrary constant describes all antiderivatives there, not merely one verified example.
Intervals and the Point Zero
The domain restriction is more than a technical detail. The function \(1/x\) is undefined at zero, and no interval containing zero can be a domain on which it has an antiderivative. The formula must be used separately on intervals that stay to one side of zero.
There is also a distinction between one interval and the full domain \(\mathbb{R}\setminus\{0\}\), which consists of two separate intervals. On each component, an antiderivative may have its own constant:
Here \(C_-\) and \(C_+\) need not be equal. A derivative condition on the negative side gives no connection to the constant on the positive side, because the two intervals do not meet within the domain. If working on just one interval, the usual single constant \(C\) is sufficient.
Common Mistakes and Their Corrections
A tempting but invalid step is to substitute the exponent \(-1\) into the power rule for antiderivatives. For an exponent \(n\ne -1\), the power rule proposes \(x^{n+1}/(n+1)\). At \(n=-1\), the proposed calculation becomes
which is undefined. The power rule explicitly requires \(n\ne-1\); it cannot be used in this case. The correction is to use the separately verified logarithmic formula \(\ln|x|+C\).
Another error is to write \(\ln x\) as the antiderivative on a negative interval. For example, at \(x=-2\), \(\ln(-2)\) is not defined as a real natural logarithm. The corrected expression is \(\ln|x|\), which at \(x=-2\) becomes \(\ln 2\), a defined real number. Its derivative on the negative interval is \(1/x\), as the chain-rule calculation shows.
A related sign error is to differentiate \(\ln(-x)\) as \(1/(-x)\) and stop there. That omits the derivative of the inner function \(-x\). The complete chain-rule calculation is \(\frac{1}{-x}(-1)=1/x\). Leaving out the factor \(-1\) gives the wrong sign.
Why Logarithmic Antiderivatives Matter
The reciprocal function does not fit the ordinary power-rule pattern, so recognizing its logarithmic antiderivative completes an important basic integration rule. The formula is also a useful reminder that antiderivative rules carry domain conditions: the derivative test must be performed where both the integrand and the proposed antiderivative are defined.
When using this result, check three things: the integrand is a constant multiple of \(1/x\); the interval excludes zero; and differentiating the proposed answer returns the original function, with the correct coefficient and sign. These checks prevent the common errors of applying the power rule at exponent \(-1\), using a logarithm with a nonpositive input, or forgetting the chain-rule factor on a negative interval.
Check Your Understanding
For each question, pay attention to the interval on which the formula is being used. Check proposed antiderivatives by differentiating them.
- Find an antiderivative of \(1/x\) on \((-\infty,0)\), and show the chain-rule step that verifies it.
- Find an antiderivative of \(6/x\) on \((0,\infty)\), then differentiate your answer to check it.
- Why can the power rule for antiderivatives not be applied with exponent \(-1\)? State the algebraic obstruction.
- Is \(\ln x\) a real-valued antiderivative of \(1/x\) on \((-\infty,0)\)? Give the corrected expression and explain its domain.
- On the domain \(\mathbb{R}\setminus\{0\}\), must the constants on the negative and positive intervals agree? Explain why or why not.
