∫ SJ Maths Mathematics Notes
UP PGT Tracker UP TGT Tracker
6. Abstract Algebra

Applications of Fermat's theorem

Fermat's theorem on stationary points bridges group-theoretic modular arithmetic and real analysis by establishing that interior local extrema of differentiable functions possess zero derivatives. This topic covers its algebraic and analytical consequences.

For: UP PGT Mathematics UP TGT Mathematics DSSSB PGT / TGT KVS / NVS PGT LT Grade
📖 Topic progress
○ Mark as complete

Definition and statement

Fermat's Theorem for Stationary Points (Internal Extrema)
Let $f: (a, b) \to \mathbb{R}$ be a function and let $c \in (a, b)$ be a point of local extremum (either local maximum or local minimum). If $f$ is differentiable at $c$, then $f'(c) = 0$.

📐 Geometric Interpretation

At any interior local extremum of a smooth curve, the tangent line is perfectly horizontal, meaning its slope (the derivative $f'(c)$) vanishes identically.

⚙️ Algebraic & Structural Meaning

It provides a necessary condition for interior extrema, severely narrowing down the search space for optimization problems in calculus and polynomial root isolation.

Conditions and hypotheses

Check each condition and what changes when it is omitted:

Hypothesis / Condition Domain / Interval Necessity What Fails If Condition Dropped
Open Interval Location c \in (a, b) \text{ (Open Interval)} Strictly Mandatory If the extremum occurs at a boundary point ($c = a$ or $c = b$), the one-sided limit defining the derivative may be non-zero, making $f'(c) = 0$ false.
Differentiability at the Extremum Differentiable at $c$ Strictly Mandatory If $f$ is continuous but not differentiable at $c$ (e.g., a sharp corner like $f(x) = |x|$), local extrema can exist without the derivative vanishing.
Local Extremum Existence Interior domain neighborhood Essential for conclusion If $c$ is merely a stationary point ($f'(c) = 0$) but not a local extremum (e.g., $f(x) = x^3$ at $x=0$), Fermat's theorem does not require an extremum, illustrating that $f'(c)=0$ is necessary but not sufficient.

Useful results and shortcuts

Use these identities and results when their conditions apply:

01

Polynomial Root Separation (Rolle's / Fermat Link)

$$ \text{Between two roots of } f(x) = 0, \text{ there lies at least one root of } f'(x) = 0 $$

Rule: If a polynomial $f(x)$ has $n$ real roots, its derivative $f'(x)$ has at least $n-1$ real roots, instantly isolating root bounds.

Application: Frequently asked in UP PGT to find the exact number of real roots of cubic and quartic equations.
02

Symmetric Interval Extrema Check

$$ f(x) = f(-x) \implies f'(0) = 0 \text{ (for differentiable even functions)} $$

Rule: Even differentiable functions possess a stationary point at the origin, saving expansion time.

03

Power-Product Optimization Trick

$$ f(x) = x^m (a - x)^n \implies x = \frac{ma}{m+n} \text{ is the critical extremum point} $$

Rule: Instantly write down the interior point where the maximum occurs without expanding products.

Application: Direct result tested in KVS PGT and LT Grade word problems on maximum area/volume.
04

Exponential-Polynomial Bound

$$ f(x) = x e^{-kx} \implies x = \frac{1}{k} \text{ gives max value } \frac{1}{ke} $$

Rule: Recognize the standard growth-decay peak form to bypass quotient rule differentiation.

05

Trigonometric Amplitude Scaling

$$ f(x) = A \cos x + B \sin x \implies \text{Extrema at } \tan x = \frac{B}{A} $$

Rule: Skip solving $f'(x) = 0$ by trigonometric combination; use the ratio of coefficients directly.

Application: Standard shortcut for trigonometric maximum/minimum problems in UP PGT.
06

Rapid Elimination via Boundary vs Interior

$$ \text{If options list } c = a \text{ or } c = b \text{ for Fermat/Rolle interior points, eliminate instantly.} $$

Rule: Fermat's theorem strictly guarantees $c$ is in the open interval $(a, b)$. Any option with closed endpoints is a distractor.

Common errors and counterexamples

These examples show how a conclusion can fail when a condition is missing:

⚠️ COMMON ERROR #01

The Sharp Corner / Modulus Fallacy

Common Pitfall: Candidates apply the theorem to piecewise or absolute value functions without verifying differentiability at interior points.

Counterexample: $f(x) = |x|$ on $[-1, 1]$

Why it fails: Continuous everywhere and $f(-1) = f(1) = 1$, but $f'(0)$ does not exist, so no $c \in (-1, 1)$ satisfies $f'(c) = 0$.

🛡️ Exam Defense: Always test derivative from left and right ($f'_{-}(x_0) = f'_{+}(x_0)$) at points where argument changes sign.
⚠️ COMMON ERROR #02

Open vs. Closed Interval Confusion

Common Pitfall: Confusing where continuity vs differentiability is required, or asserting that $c$ can be an endpoint $a$ or $b$.

Counterexample: $c \in (a, b)$ strictly, never $c = a$ or $c = b$

Why it fails: If $f'(x) = 0$ only at endpoints, the theorem is violated because $c$ must be in the open interior $(a, b)$.

🛡️ Exam Defense: Instantly discard any option that offers $c = a$ or $c = b$.

Comparison

Concept / TheoremHypotheses / AssumptionsKey Formula / OutcomeGeometric MeaningExam Identification Clue
Fermat's TheoremOpen interval $(a, b)$, local extremum at $c$, differentiable at $c$$f'(c) = 0$Horizontal tangent at interior local extremumKeywords: 'local extremum', 'interior point', 'derivative vanishes'
Rolle's TheoremClosed $[a, b]$, continuous on $[a, b]$, differentiable on $(a, b)$, $f(a) = f(b)$$f'(c) = 0$ for some $c \in (a, b)$At least one parallel to x-axis chord connecting endpointsKeywords: 'equal values at endpoints', 'between two roots'
Lagrange's MVTClosed $[a, b]$, continuous on $[a, b]$, differentiable on $(a, b)$$f'(c) = \frac{f(b) - f(a)}{b - a}$Secant line parallel to tangent at interior point $c$Keywords: 'mean value', 'slope equality', inequality proofs
Cauchy's MVTContinuous on $[a, b]$, differentiable on $(a, b)$, $g'(x) \neq 0$$\frac{f'(c)}{g'(c)} = \frac{f(b) - f(a)}{g(b) - g(a)}$Parametric curve slope relation between two functionsKeywords: 'two functions', quotient increment ratio

Solved examples

Each problem includes a full solution and a shorter method:

CANONICAL PROBLEM 01 Dual-Method Breakdown

Let $f(x) = x^3 - 3x$ on $[-2, 2]$. If $c$ is a point where local extremum occurs in the interior, find $c$ using Fermat's condition.

(A) $c = 1$ or $c = -1$(B) $c = 0$ only(C) $c = 2$ or $c = -2$(D) No such $c$ exists
✓ Correct Answer: (A)
📚 Method A: Formal Textbook Derivation
Step 1: Compute $f'(x) = 3x^2 - 3$. Step 2: Set $f'(x) = 0 \implies 3(x^2 - 1) = 0 \implies x = \pm 1$. Step 3: Verify $1, -1 \in (-2, 2)$. Both are valid interior stationary points.
⚡ Method B: 25-Second Exam Shortcut
Differentiate polynomial instantly, set to zero, and verify roots lie within the open interval bounds.
💡 Tip: Check interval openness; if boundary values are included in options, ignore them for Fermat's interior condition.
CANONICAL PROBLEM 02 Dual-Method Breakdown

If $f(x) = |x - 2|$ on $[1, 3]$, at how many points in $(1, 3)$ does Fermat's theorem guarantee $f'(c) = 0$?

(A) 1(B) 2(C) 0(D) Infinitely many
✓ Correct Answer: (C)
📚 Method A: Formal Textbook Derivation
Step 1: Note that $f(x)$ has a local minimum at $x = 2$. Step 2: Test differentiability at $x = 2$. Left derivative is $-1$, right derivative is $+1$. Step 3: Since $f'(2)$ does not exist, Fermat's hypothesis fails. Hence no interior derivative vanishes.
⚡ Method B: 25-Second Exam Shortcut
Spot absolute value / sharp corner immediately; conclude differentiability failure implies Fermat's theorem conclusion does not apply.
💡 Tip: Examiners love testing modulus functions where local extrema exist at non-differentiable points.

Practice questions

Choose an answer to check it and see the solution:

Q1
MCQ 1: If $f: (a, b) \to \mathbb{R}$ has a local maximum at $c \in (a, b)$ and $f$ is differentiable at $c$, then:
A $f'(c) > 0$
B $f'(c) = 0$
C $f'(c) < 0$
D $f'(c)$ does not exist
Derivation & Analysis:

By Fermat's theorem, if a function is differentiable at an interior local extremum $c$, its derivative must vanish, i.e., $f'(c) = 0$.

Q2
MCQ 2: Fermat's theorem requires the point $c$ of local extremum to lie in:
A The closed interval $[a, b]$
B The open interval $(a, b)$ strictly
C Any set including infinity
D The boundary points only
Derivation & Analysis:

Fermat's theorem applies strictly to interior points $c \in (a, b)$. One-sided limits at boundaries do not guarantee zero derivatives.

Q3
MCQ 3: Which of the following functions satisfies all hypotheses of Fermat's theorem on $[-1, 1]$ at $x = 0$?
A $f(x) = |x|$
B $f(x) = x^{1/3}$
C $f(x) = x^2$
D $f(x) = \tan x$
Derivation & Analysis:

$f(x) = x^2$ is continuous on $[-1, 1]$, differentiable on $(-1, 1)$, and has a local minimum at $0$ where $f'(0) = 0$. The others fail differentiability or continuity.

Q4
MCQ 4: If $f(x) = x^3$ on $[-1, 1]$, then at $x = 0$, $f'(0) = 0$. This illustrates that:
A $x = 0$ is a local extremum
B $f'(c) = 0$ is necessary but not sufficient for a local extremum
C Fermat's theorem is false
D $x = 0$ is a local maximum
Derivation & Analysis:

$x=0$ is an inflection point for $x^3$, not a local extremum. This proves that $f'(c)=0$ (stationary point) does not guarantee an extremum.

Q5
MCQ 5: The function $f(x) = |x-1|$ on $[0, 2]$ has a local minimum at $x = 1$. Why does Fermat's theorem fail to give $f'(1) = 0$?
A Because $1 \notin (0, 2)$
B Because $f$ is not continuous at $1$
C Because $f$ is not differentiable at $1$
D Because $f(0) \neq f(2)$
Derivation & Analysis:

The function has a sharp corner at $x = 1$, so $f'(1)$ does not exist, violating the differentiability hypothesis of Fermat's theorem.

Q6
MCQ 6: If $f(x)$ is a differentiable periodic function on $\mathbb{R}$, then between any two consecutive local minima, there exists:
A At least one local maximum
B No stationary point
C A discontinuity
D An inflection point only
Derivation & Analysis:

By Rolle's/Fermat's theorem consequences, between two local extrema of a differentiable function, there must lie an extremum of the opposite type (local maximum).

Q7
MCQ 7: For the polynomial $P(x) = x^3 - 6x^2 + 9x + 1$, the values of $x$ where $P'(x) = 0$ are:
A $x = 1, 3$
B $x = -1, -3$
C $x = 0, 2$
D $x = 2, 4$
Derivation & Analysis:

$P'(x) = 3x^2 - 12x + 9 = 3(x^2 - 4x + 3) = 3(x-1)(x-3) = 0$, giving $x = 1$ and $x = 3$.

Q8
MCQ 8: Assertion (A): If $f'(c) = 0$ for a differentiable function on $(a, b)$, then $c$ is always a local extremum. Reason (R): Fermat's theorem establishes $f'(c)=0$ at interior extrema.
A Both (A) and (R) are true and (R) is the correct explanation of (A)
B Both (A) and (R) are true but (R) is not the correct explanation of (A)
C (A) is true but (R) is false
D (A) is false but (R) is true
Derivation & Analysis:

Assertion (A) is false because $f'(c)=0$ does not guarantee an extremum (e.g., $x^3$ at $0$). Reason (R) is a true statement of Fermat's theorem.

Q9
MCQ 9: If $f(x) = \sin x$ on $(0, \pi)$, the interior point where the local maximum occurs and $f'(c) = 0$ is:
A $c = 0$
B $c = \frac{\pi}{2}$
C $c = \pi$
D $c = \frac{\pi}{4}$
Derivation & Analysis:

$\sin x$ has its maximum at $c = \pi/2 \in (0, \pi)$, where $f'(\pi/2) = \cos(\pi/2) = 0$.

Q10
MCQ 10: What is the primary role of Fermat's theorem in calculus problem-solving?
A To find definite integrals
B To locate candidates for local extrema by setting $f'(c) = 0$
C To prove continuity of step functions
D To calculate limits at infinity
Derivation & Analysis:

Fermat's theorem acts as the fundamental screening tool in optimization to identify critical/stationary points where local extrema can occur.

Common questions

No. As demonstrated by $f(x) = x^3$ at $x = 0$, $f'(0) = 0$, but $0$ is an inflection point, neither a maximum nor a minimum. Fermat's theorem is a one-way implication: local extremum $\implies$ $f'(c) = 0$ (under differentiability).

Candidates often confuse necessary and sufficient conditions, failing to test the second derivative or sign change around stationary points, or assuming Fermat's theorem applies at closed interval endpoints.

Memorize standard stationary point results for polynomials, trigonometric combinations, and exponential products. Always check boundary conditions and differentiability instantly before performing lengthy derivations.

← Previous Topic
Fermat's theorem
Next Topic →
Fundamental theorem of homomorphism