Antiderivatives and Indefinite Integrals

An antiderivative reverses a derivative, but that reversal cannot recover information that differentiation erased. Because every constant has derivative zero, one rate function usually corresponds to an entire family of original functions. Initial information selects one member from that family. This lesson develops integration rules as reversed differentiation rules rather than as disconnected formulas. Every result is checked by differentiation, interpreted on an interval, and connected to units when the variables represent physical quantities.

Learning objectives and the recovery problem

By the end of this lesson, you will identify and describe antiderivative families. You will derive basic indefinite-integration rules from known derivative rules. You will use algebra and substitution to reveal reverse-derivative structure. You will apply initial conditions with appropriate units and intervals. You will also distinguish an indefinite integral from a definite integral and verify answers by differentiation.

Derivatives turn functions into rates of change. If position $s(t)$ is measured in meters and time $t$ in seconds, then velocity $s'(t)$ is measured in meters per second. Recovering position from velocity is an antiderivative problem. The rate tells how positions differ, but it does not reveal the reference position by itself. A separate position measurement supplies that missing vertical location.

The core reasoning loop has three directions. Differentiate a candidate to check the given rate, integrate a rate to produce a family, and apply data to choose one member. These steps should remain conceptually distinct even when an exercise compresses them. The overview below shows where the arbitrary constant enters and where an initial condition removes its freedom. That structure repeats in motion, growth models, and differential equations.

Define antiderivatives and families

A function $F$ is an antiderivative of $f$ on an interval when $F'(x)=f(x)$ at every point of that interval. The prime denotes differentiation with respect to $x$. The statement is local to the stated interval because domains can be disconnected. If $F$ and $G$ are both antiderivatives there, then $(F-G)'=0$. The Mean Value Theorem implies that $F-G$ is constant on that interval.

The indefinite-integral notation is $\int f(x)\,dx=F(x)+C$. The elongated symbol $\int$ signals antiderivative recovery, $f(x)$ is the integrand, and $dx$ identifies $x$ as the integration variable. The symbol $C$ represents an arbitrary constant. It does not mean one fixed universal number. It means every function obtained by choosing a real constant belongs to the family.

For example, every function $F(x)=x^2+C$ has derivative $2x$. The graphs are vertical translations of the same parabola. Their tangent slopes match at every common input even though their heights differ. Differentiation collapses this entire family to one derivative function. Integration restores the family but cannot select a height without more information.

Reverse the power and linearity rules

For $n\ne-1$, the power rule for antiderivatives is $\int x^n\,dx=\frac{x^{n+1}}{n+1}+C$. To verify it, differentiate the right side. The derivative of $x^{n+1}$ is $(n+1)x^n$, and division by $n+1$ cancels that coefficient. The exponent increases by one because differentiation had decreased it by one. The denominator compensates for the new exponent’s derivative coefficient.

The excluded exponent $n=-1$ would make the denominator zero. Its integrand is $x^{-1}=\frac{1}{x}$. On any interval that does not cross zero, $\int\frac{1}{x}\,dx=\ln|x|+C$. The absolute value accommodates both positive and negative inputs. Differentiating $\ln|x|$ gives $\frac{1}{x}$ wherever $x\ne0$.

Linearity says constants and sums can be handled term by term. In symbols, $\int(af(x)+bg(x))\,dx=a\int f(x)\,dx+b\int g(x)\,dx$. The letters $a$ and $b$ are constants with respect to $x$. One arbitrary constant at the end represents the full combined family. Writing a different constant after every term is redundant because their sum is another arbitrary constant.

Use algebra before integrating

Integration is easier after the integrand’s structure is visible. Expand products when expansion creates separate powers, split a fraction across numerator terms when valid, and rewrite roots as fractional exponents. These transformations must preserve the domain of the original expression. Algebra is not separate preliminary work; it is part of selecting the reverse derivative pattern. A cleaner integrand reduces both computational and conceptual errors.

For $x\ne0$, rewrite $\frac{3x^2-4x+2}{x}=3x-4+\frac{2}{x}$. Integrating term by term gives $\frac{3}{2}x^2-4x+2\ln|x|+C$. The horizontal fraction bars make the coefficient division explicit. Differentiating produces $3x-4+\frac{2}{x}$. This equals the original integrand on each interval that excludes zero.

Be careful when splitting denominators. The identity $\frac{a+b}{c}=\frac{a}{c}+\frac{b}{c}$ is valid, but $\frac{a}{b+c}$ cannot be split into separate fractions. Likewise, cancel only common factors rather than terms joined by addition. If simplification cancels a factor that was zero at some input, preserve that original restriction. Antiderivative statements must remain tied to the integrand’s true domain.

Recognize standard reverse derivatives

Basic derivative facts generate a table of antiderivatives. Since $\frac{d}{dx}e^x=e^x$, it follows that $\int e^x\,dx=e^x+C$. Since $\frac{d}{dx}\sin x=\cos x$, it follows that $\int\cos x\,dx=\sin x+C$. Since $\frac{d}{dx}\cos x=-\sin x$, it follows that $\int\sin x\,dx=-\cos x+C$. Each rule should be verified rather than memorized without its sign.

Scaling inside an exponential changes the needed coefficient. Because $\frac{d}{dx}e^{kx}=ke^{kx}$, the antiderivative is $\int e^{kx}\,dx=\frac{1}{k}e^{kx}+C$ for nonzero constant $k$. The factor $\frac{1}{k}$ compensates for the chain-rule factor $k$. For example, $\int e^{3x}\,dx=\frac{1}{3}e^{3x}+C$. Differentiation returns $e^{3x}$ exactly.

Trigonometric antiderivatives also depend on inner scaling. Since the derivative of $\sin(kx)$ is $k\cos(kx)$, $\int\cos(kx)\,dx=\frac{1}{k}\sin(kx)+C$. Similar reasoning applies to many simple compositions. Do not insert a reciprocal factor unless differentiation of the proposed answer confirms it. Reverse-chain reasoning, not superficial appearance, determines the coefficient.

Use substitution as the reverse chain rule

Substitution applies when an integrand contains a composite function together with the derivative of its inner function. If $u=g(x)$, then $du=g'(x)\,dx$. The notation packages the chain-rule relationship into a new integration variable. The goal is to rewrite the entire integral in terms of $u$ and $du$. Mixing leftover $x$ terms with $u$ usually signals an incomplete substitution.

Consider $\int2x\cos(x^2)\,dx$. Choose $u=x^2$, so $du=2x\,dx$. The integral becomes $\int\cos u\,du=\sin u+C$. Substituting back gives $\sin(x^2)+C$. Differentiation produces $2x\cos(x^2)$ and confirms the result.

If the inner derivative differs by a constant factor, compensate algebraically. For $\int x e^{x^2}\,dx$, use $u=x^2$, so $du=2x\,dx$ and $x\,dx=\frac{1}{2}du$. The result is $\frac{1}{2}e^{x^2}+C$. The missing factor of two is a common error. A derivative check exposes it immediately.

Apply initial conditions

An equation such as $y'=f(x)$ determines a family $y=F(x)+C$. An initial condition $y(x_0)=y_0$ selects the member passing through the point $(x_0,y_0)$. Substitution gives $y_0=F(x_0)+C$. Solving yields $C=y_0-F(x_0)$. The final function should satisfy both the differential equation and the initial condition.

Suppose $y'=6x-4$ and $y(2)=7$. Integrating gives $y=3x^2-4x+C$. Applying the condition gives $7=3(2)^2-4(2)+C=4+C$. Therefore $C=3$ and $y=3x^2-4x+3$. Differentiation returns $6x-4$, while evaluation at two returns seven.

The initial input need not be zero. A condition at $x=5$ is just as usable as one at $x=0$. In applications, it may mark the time at which an instrument begins recording rather than the process’s true beginning. Keep the time origin and the initial condition distinct. A shifted form can sometimes express the reference more clearly than expanding everything around zero.

Recover motion with units

Suppose acceleration is $a(t)=3.0\,\frac{\mathrm{m}}{\mathrm{s}^2}$, initial velocity is $v(0)=2.0\,\frac{\mathrm{m}}{\mathrm{s}}$, and initial position is $s(0)=5.0\,\mathrm{m}$. Integrating acceleration gives $v(t)=\left(3.0\,\frac{\mathrm{m}}{\mathrm{s}^2}\right)t+C_1$. The constant $C_1$ must have velocity units. The initial condition gives $C_1=2.0\,\frac{\mathrm{m}}{\mathrm{s}}$. Thus velocity is fully determined.

Integrating velocity gives $s(t)=\left(1.5\,\frac{\mathrm{m}}{\mathrm{s}^2}\right)t^2+\left(2.0\,\frac{\mathrm{m}}{\mathrm{s}}\right)t+C_2$. Each displayed term has units of meters when $t$ is in seconds. The condition $s(0)=5.0\,\mathrm{m}$ gives $C_2=5.0\,\mathrm{m}$. Position requires a new constant because the second differentiation erased another layer of information. Two initial conditions are expected for a second-order recovery problem.

Units diagnose structural mistakes. Integrating acceleration over time must produce velocity units, and integrating velocity over time must produce position units. A constant added to velocity cannot have position units. If the powers of time fail to cancel unit denominators correctly, revisit the coefficient. Dimensional consistency does not prove an answer, but inconsistency proves that something is wrong.

Respect intervals and disconnected domains

The statement that two antiderivatives differ by one constant requires a connected interval. For $f(x)=\frac{1}{x}$, the domain is split into $(-\infty,0)$ and $(0,\infty)$. No path within the domain crosses zero. An antiderivative may use one constant on the negative interval and another on the positive interval. A single written $C$ applies only after an interval has been selected.

The expression $\ln|x|+C$ differentiates correctly on either interval. It does not create a continuous antiderivative across zero because neither the integrand nor the logarithm is defined there. One could define $F(x)=\ln|x|+C_-$ for $x<0$ and $F(x)=\ln x+C_+$ for $x>0$. The constants $C_-$ and $C_+$ are independent. Differentiation cannot relate values across the missing point.

Domain restrictions can also arise from roots, denominators, and inverse trigonometric functions. State an interval on which the integrand and proposed antiderivative are defined. If algebra simplifies a removable factor, remember the original excluded point. The derivative check should be made only on the intended interval. This precision prevents a locally valid formula from being overstated globally.

Distinguish indefinite and definite integrals

An indefinite integral denotes a family of functions. It contains an arbitrary constant and leaves the input variable free. A definite integral such as $\int_a^b f(x)\,dx$ denotes a number obtained from a limit of sums. Its lower and upper limits are $a$ and $b$. No arbitrary constant belongs in the final numerical value.

The notations are connected by the Fundamental Theorem of Calculus but should not be conflated. If $F'=f$, then $\int_a^b f(x)\,dx=F(b)-F(a)$. Any constant in the antiderivative cancels in the subtraction. The definite integral measures signed accumulation over an interval. The indefinite integral answers which functions have derivative $f$.

A reference-state form anticipates this connection. If $s'(t)=v(t)$, then $s(t)=s(t_0)+\int_{t_0}^{t}v(\tau)\,d\tau$. The symbol $\tau$ is a dummy integration variable, so it does not conflict with the upper limit $t$. This form displays the known reference position and accumulated change separately. It also preserves units because velocity multiplied by a time increment produces displacement.

Verify and diagnose solutions

Differentiate every antiderivative result. The derivative should reproduce the original integrand exactly on the stated interval. If it differs by a constant factor, revisit chain-rule compensation. If a sign differs, inspect trigonometric derivatives. If an extra term appears, check algebra and the handling of constants.

Do not omit $C$ from an indefinite integral. Do not add $C$ to a definite integral’s numerical result. Do not use the power formula at exponent $-1$, where division by zero would occur. Do not treat $dx$ as decoration while changing variables inconsistently. Each mistake reflects a lost piece of meaning rather than a mere formatting issue.

A disciplined workflow begins with domain and algebra. Identify the reverse derivative pattern, integrate, and include one arbitrary constant for the resulting family. Apply initial data only after the general family is known. Differentiate the final expression and test all supplied conditions. Finish by checking units and contextual restrictions.

Guided practice and synthesis

Find $\int(4x^3-6x+2)\,dx$. Apply linearity and the power rule term by term. The result is $x^4-3x^2+2x+C$. Differentiation gives $4x^3-6x+2$. The derivative check confirms every coefficient and exponent.

Solve $y'=e^x$ with $y(0)=4$. The antiderivative family is $y=e^x+C$. Substitution gives $4=e^0+C=1+C$, so $C=3$. The selected solution is $y=e^x+3$. It satisfies both the rate equation and the initial value.

For independent synthesis, solve $q'(t)=6.0\,\frac{\mathrm{C}}{\mathrm{s}}e^{-t/(2.0\,\mathrm{s})}$ with $q(0)=10.0\,\mathrm{C}$. Explain the units of the antiderivative coefficient and the dimensionless exponent. Apply the initial condition without dropping units. Differentiate your result to verify the current-like rate. Then describe the long-term value predicted by the model.

Connection forward

Antiderivatives recover functions from their rates but produce families because differentiation erases constants. Integration rules reverse derivative rules, while substitution reverses the chain rule. Initial conditions restore missing reference information. Domain intervals and physical units constrain what a symbolic answer means. Differentiation supplies a direct and decisive verification method.

The deepest habit is to narrate the recovery. Name the quantity being recovered, explain the role of $C$, and connect each coefficient to a derivative rule. If data select one member, show that substitution explicitly. If the domain is disconnected, state the interval. If quantities carry units, preserve them through every integration.

The definite integral introduces accumulation through limits of sums. The Fundamental Theorem then proves that accumulation and antiderivative recovery are inverse aspects of calculus. Differential equations extend the initial-value idea to rates that depend on the unknown function itself. Techniques of integration broaden the reverse-derivative patterns available. The family-and-reference framework developed here remains essential in each topic.