On this page
Rolle's theorem and the mean value theorem (MVT) look like statements to memorise, but JEE Advanced uses them as tools: to find a point c, to count the real roots of an equation, and to prove inequalities. This guide states both, shows what happens when a condition fails, works through each use with checked numbers, and ends with a practice routine.
What do the theorems say?
Rolle's theorem. If f is continuous on [a, b], differentiable on (a, b), and f(a) = f(b), then there is at least one c in (a, b) with f′(c) = 0. Geometrically, somewhere between two equal heights the tangent is horizontal.
Mean value theorem (Lagrange). If f is continuous on [a, b] and differentiable on (a, b), then there is at least one c in (a, b) with f′(c) = [f(b) − f(a)] ÷ (b − a). Geometrically, somewhere the tangent is parallel to the chord joining the endpoints. Rolle's theorem is the special case where the chord is flat.
A physical reading: if you drive 120 km in 2 hours, then at some moment your speedometer read exactly 60 km/h, assuming your position changes smoothly.
The MacTutor biography of Michel Rolle records that the result appeared in his 1691 work on solving equations, and that the name "Rolle's theorem" was given by Giusto Bellavitis in 1846.
Which exams include them?
The JEE (Advanced) 2026 brochure lists "Rolle's theorem and Lagrange's mean value theorem, geometric interpretation of the two theorems". The JEE (Main) 2026 syllabus and the CBSE Mathematics 2026-27 curriculum do not list them among the applications of derivatives. Check your exam year's documents.
Worked examples: finding c
Example 1 (Rolle). f(x) = x² − 4x + 3 on [1, 3].
f is a polynomial, so it is continuous and differentiable everywhere.
f(1) = 1 − 4 + 3 = 0 and f(3) = 9 − 12 + 3 = 0. Equal.
f′(c) = 2c − 4 = 0, so c = 2, which lies in (1, 3).
Example 2 (MVT). f(x) = x³ on [0, 2].
Chord slope: (8 − 0) ÷ (2 − 0) = 4.
f′(c) = 3c² = 4, so c = ±2/√3.
Only c = 2/√3 ≈ 1.155 lies in (0, 2). Reject the negative root.
What happens when a condition fails?
Not differentiable. f(x) = |x| on [−1, 1] has f(−1) = f(1) = 1, but f′(x) is −1 or 1 and never 0. Rolle fails because |x| has a corner at 0.
Not continuous. f(x) = 1/x on [−1, 1] is not defined at 0, so neither theorem applies.
Unequal end values. f(x) = x on [0, 1] has no point with f′ = 0. Rolle does not apply, but MVT does, with c anywhere.
The theorems say "at least one c". They promise nothing when a condition fails, though a c may still exist by chance.
Using Rolle's theorem to count roots
Example 3. Show that x³ + x − 1 = 0 has exactly one real root.
At least one. f(0) = −1 and f(1) = 1. By continuity, f has a root between 0 and 1.
At most one. If f had two roots p < q, then f(p) = f(q) = 0, and Rolle would give f′(c) = 0 for some c between them. But f′(x) = 3x² + 1 > 0 for every x. Contradiction.
So there is exactly one real root, and it lies in (0, 1). The general idea: between two roots of f there is a root of f′.
Using the MVT to prove inequalities
Example 4. Show that |sin a − sin b| ≤ |a − b| for all real a and b.
By the MVT on sin x, sin a − sin b = cos c × (a − b) for some c between a and b. Since |cos c| ≤ 1, the result follows. (If a = b, both sides are 0.)
Example 5: an estimate. Show that √26 lies between 5.098 and 5.1.
Apply the MVT to √x on [25, 26]: √26 − 5 = 1 ÷ (2√c) for some c in (25, 26). Since 5 < √c < √26, the value 1 ÷ (2√c) lies between 1 ÷ (2√26) and 1/10. Using √26 < 5.1, the lower bound is above 1 ÷ 10.2 ≈ 0.098. So 5.098 < √26 < 5.1. (A calculator gives 5.0990.)
What are the common mistakes?
Skipping the conditions. Write them, every time.
Keeping a c outside the open interval, as with −2/√3 in Example 2.
Reading the theorem backwards. f′(c) = 0 somewhere does not mean f(a) = f(b).
Confusing closed and open intervals. Continuity is needed on [a, b], differentiability only on (a, b).
A practice routine
Day 1: Five "verify Rolle's theorem" and five "verify MVT" questions, writing the conditions in full.
Day 2: Three questions where a condition fails. Say which one.
Day 3: Three root-counting questions using f′.
Day 5: Two inequality proofs and one estimate, then a mixed set from previous JEE Advanced papers.
These theorems rest on differentiability, so revise our guide to differentiability for JEE first if corners still confuse you. When a proof stalls, the Fermi Problem Library has worked problems with a step-by-step solver that explains the reasoning rather than printing an answer.
Today, show that x⁵ + 3x − 2 = 0 has exactly one real root, using the method of Example 3.
