Intuition The big picture (WHY this matters)If you drive 100 km in 1 hour, your average speed is 100 km/h. The MVT says: at some instant your instantaneous speed (speedometer reading) was exactly 100 km/h. The theorem guarantees the average slope is achieved by the derivative somewhere inside the interval. Rolle's theorem is the special case where the average slope is 0 0 0
Definition Rolle's TheoremLet f f f
f f f continuous on the closed interval [ a , b ] [a,b] [ a , b ] f f f differentiable on the open interval ( a , b ) (a,b) ( a , b ) f ( a ) = f ( b ) f(a) = f(b) f ( a ) = f ( b )
Then there exists at least one point c ∈ ( a , b ) c \in (a,b) c ∈ ( a , b ) = = f ′ ( c ) = 0 = = ==f'(c) = 0== == f ′ ( c ) = 0 ==
Intuition WHY it must be trueIf a smooth curve starts and ends at the same height , it cannot rise without coming back down (or fall without coming back up). At the turning point — the highest peak or lowest valley — the tangent is flat, i.e. f ′ ( c ) = 0 f'(c)=0 f ′ ( c ) = 0 f ′ = 0 f'=0 f ′ = 0
Worked example Proof — built from the Extreme Value TheoremStep 1 — Use continuity to get extremes.
Since f f f [ a , b ] [a,b] [ a , b ] Extreme Value Theorem says f f f M M M m m m [ a , b ] [a,b] [ a , b ] Why this step? We need a guaranteed "top" or "bottom" point to find a flat tangent.
Step 2 — Two cases.
Case A: M = m M = m M = m Then f f f constant , so f ′ ( x ) = 0 f'(x)=0 f ′ ( x ) = 0 x x x c c c Why? A flat line has zero slope everywhere.
Case B: M ≠ m M \ne m M = m Since f ( a ) = f ( b ) f(a)=f(b) f ( a ) = f ( b ) M , m M, m M , m interior point c ∈ ( a , b ) c\in(a,b) c ∈ ( a , b ) both the strict max and strict min).
Why? If both extremes lived only at endpoints, then M = f ( a ) = f ( b ) = m M=f(a)=f(b)=m M = f ( a ) = f ( b ) = m M ≠ m M\neq m M = m
Step 3 — Interior extremum ⇒ derivative zero (Fermat's Theorem).
Suppose c c c h > 0 h>0 h > 0 f ( c + h ) ≤ f ( c ) f(c+h)\le f(c) f ( c + h ) ≤ f ( c ) f ( c + h ) − f ( c ) h ≤ 0 ⇒ f ′ ( c ) = lim h → 0 + ≤ 0. \frac{f(c+h)-f(c)}{h}\le 0 \quad\Rightarrow\quad f'(c)=\lim_{h\to 0^+}\le 0. h f ( c + h ) − f ( c ) ≤ 0 ⇒ f ′ ( c ) = lim h → 0 + ≤ 0. h < 0 h<0 h < 0 f ( c + h ) ≤ f ( c ) f(c+h)\le f(c) f ( c + h ) ≤ f ( c ) h < 0 h<0 h < 0 f ( c + h ) − f ( c ) h ≥ 0 ⇒ f ′ ( c ) = lim h → 0 − ≥ 0. \frac{f(c+h)-f(c)}{h}\ge 0 \quad\Rightarrow\quad f'(c)=\lim_{h\to 0^-}\ge 0. h f ( c + h ) − f ( c ) ≥ 0 ⇒ f ′ ( c ) = lim h → 0 − ≥ 0. f f f f ′ ( c ) f'(c) f ′ ( c ) f ′ ( c ) ≤ 0 f'(c)\le 0 f ′ ( c ) ≤ 0 and f ′ ( c ) ≥ 0 f'(c)\ge 0 f ′ ( c ) ≥ 0 f ′ ( c ) = 0 f'(c)=0 f ′ ( c ) = 0 ■ \blacksquare ■ Why this step? The derivative is the same limit from both sides; squeezing it between ≤ 0 \le 0 ≤ 0 ≥ 0 \ge 0 ≥ 0 0 0 0
Definition Mean Value TheoremLet f f f
continuous on [ a , b ] [a,b] [ a , b ] differentiable on ( a , b ) (a,b) ( a , b )
Then there exists c ∈ ( a , b ) c\in(a,b) c ∈ ( a , b ) f ′ ( c ) = f ( b ) − f ( a ) b − a . f'(c) = \frac{f(b)-f(a)}{b-a}. f ′ ( c ) = b − a f ( b ) − f ( a ) .
Intuition WHAT it says geometricallyThe right side f ( b ) − f ( a ) b − a \dfrac{f(b)-f(a)}{b-a} b − a f ( b ) − f ( a ) secant line joining the endpoints. The MVT says somewhere inside there's a tangent parallel to that secant .
Worked example The "tilt the graph" trickStep 1 — Build a helper function. Define
g ( x ) = f ( x ) − [ f ( a ) + f ( b ) − f ( a ) b − a ( x − a ) ] . g(x) = f(x) - \Big[\, f(a) + \frac{f(b)-f(a)}{b-a}(x-a)\,\Big]. g ( x ) = f ( x ) − [ f ( a ) + b − a f ( b ) − f ( a ) ( x − a ) ] . L ( x ) L(x) L ( x ) g ( x ) = f ( x ) − L ( x ) g(x) = f(x) - L(x) g ( x ) = f ( x ) − L ( x ) vertical gap between curve and secant.
Why this step? We subtract the secant so the two endpoints become equal height — then Rolle applies.
Step 2 — Check the three Rolle conditions for g g g
g g g [ a , b ] [a,b] [ a , b ] f f f g g g ( a , b ) (a,b) ( a , b ) Endpoints: g ( a ) = f ( a ) − f ( a ) = 0 g(a) = f(a)-f(a) = 0 g ( a ) = f ( a ) − f ( a ) = 0 g ( b ) = f ( b ) − [ f ( a ) + f ( b ) − f ( a ) b − a ( b − a ) ] = f ( b ) − f ( b ) = 0 g(b) = f(b) - \big[f(a)+\frac{f(b)-f(a)}{b-a}(b-a)\big] = f(b)-f(b) = 0 g ( b ) = f ( b ) − [ f ( a ) + b − a f ( b ) − f ( a ) ( b − a ) ] = f ( b ) − f ( b ) = 0 g ( a ) = g ( b ) = 0 g(a)=g(b)=0 g ( a ) = g ( b ) = 0 Why this step? Subtracting the secant flattens the endpoints to the same value, which is Rolle's hypothesis 3.
Step 3 — Apply Rolle to g g g There exists c ∈ ( a , b ) c\in(a,b) c ∈ ( a , b ) g ′ ( c ) = 0 g'(c)=0 g ′ ( c ) = 0 g ′ ( x ) = f ′ ( x ) − f ( b ) − f ( a ) b − a . g'(x) = f'(x) - \frac{f(b)-f(a)}{b-a}. g ′ ( x ) = f ′ ( x ) − b − a f ( b ) − f ( a ) . g ′ ( c ) = 0 g'(c)=0 g ′ ( c ) = 0 f ′ ( c ) = f ( b ) − f ( a ) b − a . ■ f'(c) = \frac{f(b)-f(a)}{b-a}. \qquad\blacksquare f ′ ( c ) = b − a f ( b ) − f ( a ) . ■ Why this step? Rolle hands us a flat point of the gap function ; a flat gap means curve-slope = secant-slope.
Mnemonic Remember the MVT proof"Subtract the Secant, Summon Rolle."
Rolle is just MVT with a horizontal secant (f ( a ) = f ( b ) ⇒ f(a)=f(b)\Rightarrow f ( a ) = f ( b ) ⇒ = 0 =0 = 0
Worked example Example 1 — Findc c c f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 [ 1 , 3 ] [1,3] [ 1 , 3 ] c c c Step 1: Secant slope = f ( 3 ) − f ( 1 ) 3 − 1 = 9 − 1 2 = 4. =\dfrac{f(3)-f(1)}{3-1}=\dfrac{9-1}{2}=4. = 3 − 1 f ( 3 ) − f ( 1 ) = 2 9 − 1 = 4. Why? This is the target value f ′ ( c ) f'(c) f ′ ( c ) Step 2: f ′ ( x ) = 2 x f'(x)=2x f ′ ( x ) = 2 x 2 c = 4 ⇒ c = 2. 2c=4 \Rightarrow c=2. 2 c = 4 ⇒ c = 2. Step 3: Check c = 2 ∈ ( 1 , 3 ) c=2\in(1,3) c = 2 ∈ ( 1 , 3 ) x = 2 x=2 x = 2
Worked example Example 2 — Rolle in actionf ( x ) = x 2 − 4 x + 3 = ( x − 1 ) ( x − 3 ) f(x)=x^2-4x+3=(x-1)(x-3) f ( x ) = x 2 − 4 x + 3 = ( x − 1 ) ( x − 3 ) [ 1 , 3 ] [1,3] [ 1 , 3 ] Step 1: f ( 1 ) = 0 , f ( 3 ) = 0 f(1)=0,\ f(3)=0 f ( 1 ) = 0 , f ( 3 ) = 0 f ( a ) = f ( b ) f(a)=f(b) f ( a ) = f ( b ) Why? All Rolle hypotheses hold ⇒ guaranteed flat tangent inside.
Step 2: f ′ ( x ) = 2 x − 4 = 0 ⇒ c = 2 ∈ ( 1 , 3 ) . f'(x)=2x-4=0\Rightarrow c=2\in(1,3). f ′ ( x ) = 2 x − 4 = 0 ⇒ c = 2 ∈ ( 1 , 3 ) . x = 2 x=2 x = 2
Worked example Example 3 — Application: bounding a functionShow ∣ sin b − sin a ∣ ≤ ∣ b − a ∣ |\sin b - \sin a| \le |b-a| ∣ sin b − sin a ∣ ≤ ∣ b − a ∣ a , b a,b a , b Step 1: Apply MVT to f ( x ) = sin x f(x)=\sin x f ( x ) = sin x sin b − sin a b − a = cos c \dfrac{\sin b-\sin a}{b-a}=\cos c b − a sin b − sin a = cos c c c c Step 2: Take absolute values: ∣ sin b − sin a ∣ ∣ b − a ∣ = ∣ cos c ∣ ≤ 1. \dfrac{|\sin b-\sin a|}{|b-a|}=|\cos c|\le 1. ∣ b − a ∣ ∣ sin b − sin a ∣ = ∣ cos c ∣ ≤ 1. Why? Cosine is bounded by 1, and MVT converts the difference into a single derivative value.
Step 3: Rearrange: ∣ sin b − sin a ∣ ≤ ∣ b − a ∣ . |\sin b-\sin a|\le|b-a|. ∣ sin b − sin a ∣ ≤ ∣ b − a ∣. ■ \blacksquare ■ sin \sin sin Lipschitz — a key real-analysis fact.)
Common mistake "The hypotheses are optional — I'll just findc c c Why it feels right: Many textbook functions are nice, so you forget to check.
The counterexample: f ( x ) = ∣ x ∣ f(x)=|x| f ( x ) = ∣ x ∣ [ − 1 , 1 ] [-1,1] [ − 1 , 1 ] f ( − 1 ) = f ( 1 ) = 1 f(-1)=f(1)=1 f ( − 1 ) = f ( 1 ) = 1 f ′ ( x ) = ± 1 f'(x)=\pm 1 f ′ ( x ) = ± 1 0 0 0 fails because f f f not differentiable at x = 0 x=0 x = 0 Fix: ALWAYS verify continuity on [ a , b ] [a,b] [ a , b ] ( a , b ) (a,b) ( a , b )
Common mistake "MVT guarantees exactly ONE pointc c c Why it feels right: Simple examples give a unique c c c The truth: It guarantees at least one c c c Fix: Read it as "there exists c c c c c c
c c c Why it feels right: Endpoints are part of [ a , b ] [a,b] [ a , b ] The truth: c c c open interval ( a , b ) (a,b) ( a , b ) Fix: Always report c c c a a a b b b
Recall Feynman: explain to a 12-year-oldImagine you climb a hill and come back down to a friend standing at the same height you started. Somewhere on your walk, you were momentarily moving flat — neither up nor down — at the very top of the hill. That's Rolle's theorem .
Now imagine you walk to a friend standing higher than your start. Your "average steepness" is some number. MVT says at one moment your feet were tilted at exactly that average steepness. To prove it, we cleverly "tilt the whole hill" so the end matches the start height, turning the harder problem into Rolle's flat-hill version!
What are the 3 hypotheses of Rolle's Theorem? (1)
f f f continuous on
[ a , b ] [a,b] [ a , b ] ; (2)
f f f differentiable on
( a , b ) (a,b) ( a , b ) ; (3)
f ( a ) = f ( b ) f(a)=f(b) f ( a ) = f ( b ) .
What is the conclusion of Rolle's Theorem? There exists
c ∈ ( a , b ) c\in(a,b) c ∈ ( a , b ) with
f ′ ( c ) = 0 f'(c)=0 f ′ ( c ) = 0 .
State the conclusion of the MVT. There exists
c ∈ ( a , b ) c\in(a,b) c ∈ ( a , b ) with
f ′ ( c ) = f ( b ) − f ( a ) b − a f'(c)=\frac{f(b)-f(a)}{b-a} f ′ ( c ) = b − a f ( b ) − f ( a ) .
What is the geometric meaning of MVT? Some tangent line is parallel to the secant joining the endpoints.
How is Rolle a special case of MVT? When
f ( a ) = f ( b ) f(a)=f(b) f ( a ) = f ( b ) , the secant slope is
0 0 0 , so
f ′ ( c ) = 0 f'(c)=0 f ′ ( c ) = 0 .
What helper function proves MVT from Rolle? g ( x ) = f ( x ) − [ f ( a ) + f ( b ) − f ( a ) b − a ( x − a ) ] g(x)=f(x)-\big[f(a)+\frac{f(b)-f(a)}{b-a}(x-a)\big] g ( x ) = f ( x ) − [ f ( a ) + b − a f ( b ) − f ( a ) ( x − a ) ] (curve minus secant).
Why does g ( a ) = g ( b ) = 0 g(a)=g(b)=0 g ( a ) = g ( b ) = 0 Because
g g g measures the vertical gap to the secant, which is zero at both endpoints.
Which theorem guarantees max/min exist for the Rolle proof? The Extreme Value Theorem (continuity on a closed bounded interval).
Counterexample where Rolle fails due to non-differentiability? f ( x ) = ∣ x ∣ f(x)=|x| f ( x ) = ∣ x ∣ on
[ − 1 , 1 ] [-1,1] [ − 1 , 1 ] :
f ( − 1 ) = f ( 1 ) f(-1)=f(1) f ( − 1 ) = f ( 1 ) but
f ′ f' f ′ is never
0 0 0 .
Does MVT guarantee a unique c c c No — at least one
c c c ; there may be several.
Use MVT to bound ∣ sin b − sin a ∣ |\sin b-\sin a| ∣ sin b − sin a ∣ ∣ sin b − sin a ∣ = ∣ cos c ∣ ∣ b − a ∣ ≤ ∣ b − a ∣ |\sin b-\sin a|=|\cos c|\,|b-a|\le|b-a| ∣ sin b − sin a ∣ = ∣ cos c ∣ ∣ b − a ∣ ≤ ∣ b − a ∣ .
Extreme Value Theorem — supplies the max/min needed for Rolle's proof.Fermat's Theorem (interior extrema) — interior extremum ⇒ f ′ = 0 f'=0 f ′ = 0 Continuity and Differentiability — the required hypotheses.Increasing and Decreasing Functions — proved using MVT (f ′ > 0 ⇒ f'>0\Rightarrow f ′ > 0 ⇒ Taylor's Theorem — generalizes MVT with higher derivatives.Cauchy's Mean Value Theorem — MVT for two functions; leads to L'Hôpital's rule.Lipschitz Continuity — bounded derivative ⇒ Lipschitz, via MVT.
Fermat's Theorem: interior extremum
Continuous on closed interval
Differentiable on open interval
Secant slope over interval
Tangent parallel to secant
Intuition Hinglish mein samjhoDekho, Rolle's theorem ka idea bilkul simple hai. Agar koi smooth curve apni journey same height par start aur end karti hai (yaani f ( a ) = f ( b ) f(a)=f(b) f ( a ) = f ( b ) bilkul flat hogi — wahi peak ya valley wala point, jahan f ′ ( c ) = 0 f'(c)=0 f ′ ( c ) = 0 [ a , b ] [a,b] [ a , b ] ( a , b ) (a,b) ( a , b ) ∣ x ∣ |x| ∣ x ∣
Mean Value Theorem isi ka bada bhai hai. Yeh kehta hai: agar tum point a a a b b b average slope (secant ki slope = f ( b ) − f ( a ) b − a =\frac{f(b)-f(a)}{b-a} = b − a f ( b ) − f ( a ) f ′ ( c ) f'(c) f ′ ( c )
Proof ka jugaad mast hai: hum ek helper function banate hain g ( x ) = f ( x ) − (secant line) g(x)=f(x)-\text{(secant line)} g ( x ) = f ( x ) − (secant line) g g g g ′ ( c ) = 0 g'(c)=0 g ′ ( c ) = 0 "Secant subtract karo, Rolle bulao."
Yeh important kyun hai? Kyunki bahut saari real-analysis ki cheezein isi se prove hoti hain — jaise "f ′ > 0 f'>0 f ′ > 0 ∣ sin b − sin a ∣ ≤ ∣ b − a ∣ |\sin b - \sin a|\le|b-a| ∣ sin b − sin a ∣ ≤ ∣ b − a ∣
