7.1 Indefinite Integration Formulas & Integration by Substitution
Key Takeaways
Integration is the inverse operation of differentiation (antiderivative), represented analytically by ∫f(x)dx=F(x)+c, where F′(x)=f(x) and c denotes the essential arbitrary constant of integration representing a family of vertically translated curves.
The fundamental algebraic power rule ∫xndx=n+1xn+1+c holds for all real exponents n=−1; the critical singularity at n=−1 yields the natural logarithm ∫x1dx=ln∣x∣+c.
The master substitution formulas ∫[f(x)]nf′(x)dx=n+1[f(x)]n+1+c (n=−1) and ∫f(x)f′(x)dx=ln∣f(x)∣+c enable instantaneous evaluation of composite integrands when an expression is paired with its internal derivative.
Integrals of the four non-basic circular trigonometric functions derive directly from logarithmic substitution: ∫tanxdx=ln∣secx∣+c, ∫cotxdx=ln∣sinx∣+c, ∫secxdx=ln∣secx+tanx∣+c, and ∫cscxdx=ln∣cscx−cotx∣+c.
Standard inverse trigonometric differentials produce classic quadratic algebraic forms, notably ∫a2−x2dx=arcsin(ax)+c and ∫a2+x2dx=a1arctan(ax)+c without radicals in the denominator.
Last updated: October 2026
Indefinite Integration Formulas & Integration by Substitution
Integral calculus, covered comprehensively in intermediate mathematics (FSc Part II), forms the analytical backbone of advanced engineering problem-solving and represents one of the most heavily weighted mathematical topics on the Pakistan Engineering Colleges Admission Test (ECAT) administered by the University of Engineering and Technology (UET) Lahore. With 30 mathematics questions to resolve within a strict 100-minute overall examination window, candidates cannot afford tedious, multi-line scratch derivations. Success demands instant recognition of integrand structures, effortless recall of standard elementary antiderivatives, and rapid deployment of substitution heuristics. This section establishes the rigorous definition of the indefinite integral, details the standard catalog of elementary and trigonometric antiderivatives, derives the core substitution theorems, and presents high-speed recognition shortcuts tailored for competitive entrance examinations.
1. Concept of the Antiderivative and Indefinite Integral
Analytical Definition
In differential calculus, given a function F(x), we determine its derivative f(x)=F′(x)=dxd[F(x)]. The reverse problem—determining a parent function F(x) whose derivative is a known function f(x)—is called antidifferentiation or indefinite integration.
If F(x) is a differentiable function on an open interval I such that:
dxd[F(x)]=f(x)for all x∈I
then F(x) is termed an antiderivative (or primitive) of f(x). The operation of finding all such antiderivatives is denoted by the integral symbol ∫ (an elongated 'S' introduced by Gottfried Wilhelm Leibniz, representing the Latin summa):
∫f(x)dx=F(x)+c
In this expression:
The symbol ∫ is the integral sign.
The function f(x) being integrated is the integrand.
The variable x is the variable of integration (or dummy variable).
The differential dx indicates that the integration is performed with respect to x.
The constant c∈R is the arbitrary constant of integration.
The Necessity of the Constant of Integration (c)
Because the derivative of any real constant is identically zero (dxd(c)=0), two functions differing solely by an additive constant share the exact same derivative:
dxd[F(x)+c]=F′(x)+0=f(x)
Geometrically, ∫f(x)dx=F(x)+c does not define a single unique curve; rather, it describes a one-parameter family of mutually parallel curves. Every member of this family is generated by shifting the base curve y=F(x) vertically along the y-axis. A unique particular curve is selected only when a specific boundary condition or initial value (e.g., y(x0)=y0) is supplied.
Fundamental Operational Properties of Indefinite Integrals
Indefinite integration is a linear operator satisfying two fundamental properties:
Sum and Difference Rule:∫[f(x)±g(x)]dx=∫f(x)dx±∫g(x)dx
Combined Linear Superposition:∫[k1f(x)+k2g(x)]dx=k1∫f(x)dx+k2∫g(x)dx
2. Table of Fundamental Elementary Integrals
A fluent command of basic integration formulas is essential for ECAT success. The table below presents the core elementary integrals alongside their underlying operational conditions.
Function Type
Integrand f(x)
Indefinite Integral ∫f(x)dx
Domain Restrictions / Conditions
Power Form
xn
n+1xn+1+c
n∈R,n=−1
Reciprocal Form
x1
ln∣x∣+c
x=0
Linear Power
(ax+b)n
a(n+1)(ax+b)n+1+c
a=0,n=−1
Linear Reciprocal
ax+b1
a1ln∣ax+b∣+c
a=0,ax+b=0
Natural Exponential
eax
a1eax+c
a=0
General Exponential
ax
lnaax+c
a>0,a=1
Sine
sin(ax)
−a1cos(ax)+c
a=0
Cosine
cos(ax)
a1sin(ax)+c
a=0
Secant Squared
sec2(ax)
a1tan(ax)+c
ax=2(2k+1)π
Cosecant Squared
csc2(ax)
−a1cot(ax)+c
ax=kπ
Secant Tangent
sec(ax)tan(ax)
a1sec(ax)+c
ax=2(2k+1)π
Cosecant Cotangent
csc(ax)cot(ax)
−a1csc(ax)+c
ax=kπ
ECAT Trap Alert: A frequent source of lost marks is omitting the scaling factor a1 when integrating composite linear arguments f(ax+b). Remember: whenever the variable x carries a linear coefficient a, dividing by a is mandatory: ∫cos(3x)dx=31sin(3x)+c, notsin(3x)+c.
3. Integration by Substitution (Change of Variable)
Theoretical Derivation from the Chain Rule
When an integrand cannot be decomposed into basic elementary table lookups, the most powerful primary technique is integration by substitution, which is the analytical counterpart of the chain rule of differentiation.
Let y=F(u), where u=g(x) is a continuously differentiable function. By the chain rule:
dxd[F(g(x))]=F′(g(x))⋅g′(x)
Integrating both sides with respect to x:
∫F′(g(x))g′(x)dx=F(g(x))+c
Setting F′(u)=f(u), we obtain the formal change of variable formula:
∫f(g(x))g′(x)dx=∫f(u)du
In differential differential notation, setting u=g(x) produces the differential du=g′(x)dx. Substituting u and du transforms a complicated integral in x into an elementary integral in u.
4. Master Substitution Shortcuts for the ECAT
Under competitive testing conditions, setting up formal 4-line substitutions for standard patterns wastes valuable seconds. Candidates should memorize two ubiquitous analytical shortcuts:
Master Shortcut 1: The Generalized Power Form
Whenever an integrand consists of a function raised to an arbitrary power n multiplied directly by its first derivative:
∫[f(x)]nf′(x)dx=n+1[f(x)]n+1+c(n=−1)
Proof: Let u=f(x)⟹du=f′(x)dx. The integral collapses to ∫undu=n+1un+1+c=n+1[f(x)]n+1+c.
Master Shortcut 2: The Logarithmic Form (Derivative Over Function)
Whenever the numerator of a fractional integrand is the exact derivative of the denominator:
∫f(x)f′(x)dx=ln∣f(x)∣+c
Proof: Let u=f(x)⟹du=f′(x)dx. Then ∫u1du=ln∣u∣+c=ln∣f(x)∣+c.
High-Speed ECAT Examples:
∫x2+3x−102x+3dx=ln∣x2+3x−10∣+c
∫ex+e−xex−e−xdx=ln(ex+e−x)+c
∫xlnx1dx=∫lnx1/xdx=ln∣lnx∣+c
∫tanxsec2xdx=ln∣tanx∣+c
5. Integrals of the Four Non-Basic Circular Functions
While the antiderivatives of sinx and cosx are immediately evident from elementary differentiation, the remaining four circular trigonometric functions—tanx, cotx, secx, and cscx—require integration by substitution and yield logarithmic expressions.
1. Integral of Tangent
Rewrite tanx as cosxsinx:
∫tanxdx=∫cosxsinxdx=−∫cosx−sinxdx
Because dxd(cosx)=−sinx, the numerator is the derivative of the denominator:
∫tanxdx=−ln∣cosx∣+c=ln∣(cosx)−1∣+c=ln∣secx∣+c
2. Integral of Cotangent
Rewrite cotx as sinxcosx:
∫cotxdx=∫sinxcosxdx=ln∣sinx∣+c
3. Integral of Secant
Multiply and divide the integrand by (secx+tanx):
∫secxdx=∫secx+tanxsecx(secx+tanx)dx=∫secx+tanxsec2x+secxtanxdx
Notice that dxd(secx+tanx)=secxtanx+sec2x, which matches the numerator identically. Applying the logarithmic rule:
∫secxdx=ln∣secx+tanx∣+cEquivalent Half-Angle Form:∫secxdx=lntan(2x+4π)+c
4. Integral of Cosecant
Multiply and divide the integrand by (cscx−cotx):
∫cscxdx=∫cscx−cotxcscx(cscx−cotx)dx=∫cscx−cotxcsc2x−cscxcotxdx
Since dxd(cscx−cotx)=−cscxcotx−(−csc2x)=csc2x−cscxcotx:
∫cscxdx=ln∣cscx−cotx∣+cEquivalent Half-Angle Form:∫cscxdx=lntan(2x)+c
6. Standard Inverse Trigonometric Integrals & Quadratic Forms
Integrals involving quadratic polynomials in the denominator frequently appear on the ECAT. These forms evaluate directly to inverse trigonometric and logarithmic functions.
Standard Inverse Trigonometric Antiderivatives
Arcsine Form:∫a2−x2dx=arcsin(ax)+c(∣x∣<a)Derivation: Let x=asinθ⟹dx=acosθdθ. Then a2−x2=acosθ, so ∫acosθacosθdθ=∫1dθ=θ+c=arcsin(ax)+c.
Arctangent Form:∫a2+x2dx=a1arctan(ax)+cDerivation: Let x=atanθ⟹dx=asec2θdθ. Then a2+x2=a2(1+tan2θ)=a2sec2θ. Thus, ∫a2sec2θasec2θdθ=a1∫1dθ=a1θ+c=a1arctan(ax)+c.
Arcsecant Form:∫xx2−a2dx=a1arcsec(a∣x∣)+c(∣x∣>a)Derivation: Let x=asecθ⟹dx=asecθtanθdθ. The integral collapses to a1∫1dθ=a1arcsec(ax)+c.
Related Quadratic Forms (Logarithmic Integrals)
For quadratic denominators involving differences outside radicals or positive radicands:
Integrand
Evaluated Closed Form
Notes / Conditions
∫a2−x2dx
2a1lna−xa+x+c
Verified via partial fractions
∫x2−a2dx
2a1lnx+ax−a+c
Note the sign inside the log
∫x2+a2dx
ln∣x+x2+a2∣+c
Derived via x=atanθ
∫x2−a2dx
ln∣x+x2−a2∣+c
Derived via x=asecθ
ECAT Memory Rule: Pay close attention to the leading coefficient: ∫a2+x2dx carries a factor of a1, whereas ∫a2−x2dx carries no leading factor of a1. Confusing these two is a perennial pitfall!
7. Heuristic Substitution Decision Matrix
When confronting non-standard algebraic expressions containing radicals, use the following standard trigonometric substitutions to eliminate radicals via Pythagorean identities:
Expression in Integrand
Recommended Substitution
Differential dx
Resulting Identity Simplification
a2−x2
x=asinθ
dx=acosθdθ
a2−a2sin2θ=acosθ
a2+x2 or a2+x2
x=atanθ
dx=asec2θdθ
a2+a2tan2θ=asecθ
x2−a2
x=asecθ
dx=asecθtanθdθ
a2sec2θ−a2=atanθ
a+xa−x
x=acos(2θ)
dx=−2asin(2θ)dθ
1+cos2θ1−cos2θ=tanθ
Loading diagram...
Decision Flowchart for Selecting Integration by Substitution
Test Your Knowledge
What is the indefinite integral ∫x2+4x+7x+2dx?
A
ln∣x2+4x+7∣+c
B
21ln∣x2+4x+7∣+c
C
31arctan(3x+2)+c
D
2(x2+4x+7)21+c
Test Your Knowledge
What is the value of ∫4x2+9dx?
A
31arctan(32x)+c
B
21arctan(32x)+c
C
61arctan(32x)+c
D
121ln2x+32x−3+c
Test Your Knowledge
Evaluate the indefinite integral ∫x(lnx)3dx for x>0.
A
4(lnx)4+c
B
2(lnx)2+c
C
x23(lnx)2+c
D
(lnx)4+c
Sections you finish are checked off in the contents.