Mean Value Theorem — proof, Rolle's theorem: Foundations

4.1.27 · D1 · Maths › Calculus I — Limits & Derivatives › Mean Value Theorem — proof, Rolle's theorem

Is page mein assume kiya gaya hai ki tumne kuch nahi dekha. Hum is topic mein use hone wale har symbol ko name karenge, uska picture banayenge, aur batayenge ki theorem uske bina kyun nahi chal sakta.

1. Line par numbers, aur interval $[a, b]$

Interval ke do flavours matter karte hain, aur poora topic unke difference par hinge karta hai:

Figure — Mean Value Theorem — proof, Rolle's theorem

Topic ko dono ki zaroorat kyun hai. Figure dekho. Theorem closed $[a, b]$ par continuity maangta hai (toh endpoints count hote hain — hum heights at $a$ aur $b$ compare karte hain) lekin slope sirf open $(a, b)$ par exist karna chahiye (interior mein). Special interior point $c$ jo theorem produce karta hai woh hamesha open $(a, b)$ mein rehta hai — strictly andar, kabhi endpoint par nahi. Toh ek common trap yeh hai ki $c = a$ ya $c = b$ report kar do: yeh kabhi allowed nahi hai, kyunki == $c$ kabhi ek endpoint nahi ho sakta==.

Recall

$c$ open interval se kyun hai? Closed kyun nahi? ::: Tangent (slope) ki guarantee sirf strictly andar hai, isliye conclusion sirf wahin claim kiya jaata hai.

2. Ek function $f$ aur uska graph

Jo letters milenge:

$f (a)$ — left endpoint par height (walk ki shuruwaat).
$f (b)$ — right endpoint par height (walk ka ant).
$f (a) = f (b)$ — shuruwaat aur ant same height par hain (woh special case jo Rolle's theorem ko power deta hai).

3. Continuity — "koi gap nahi, koi jump nahi"

Topic ko iski zaroorat kyun hai. Rolle ka proof pehle Extreme Value Theorem call karta hai (next box mein state kiya gaya), jo highest aur lowest point ka promise tabhi karta hai jab curve ek closed bounded interval par continuous ho. Gap wali curve infinity tak ja sakti hai ya apna peak miss kar sakti hai — guaranteed top nahi, flat tangent nahi. Continuity hi curve ko pin down karti hai. Formal limit definition ke liye Continuity dekho.

4. Slope — steepness ek number ke roop mein

5. Secant line aur uska slope $\frac{f ( b ) - f ( a )}{b - a}$

Uska slope poori journey ki average steepness hai:

Topic ko iski zaroorat kyun hai. Yeh poora MVT equation ka right-hand side hai — core idea mein "overall rate." Drive ki tarah socho: total distance $\div$ total time $=$ average speed. Jab $f (a) = f (b)$ toh rise $0$ hai, isliye secant slope $0$ hai — secant horizontal hai — aur MVT Rolle mein collapse ho jaata hai. Isi liye Rolle flat-secant special case hai.

Recall Secant slope physically kya represent karta hai?

Agar $f (x)$ distance hai aur $x$ time, toh secant slope hai... ::: poori trip ki average speed.

6. Tangent line aur derivative $f^{'} (c)$

Iske har piece ko unpack karte hain, kyunki Rolle ka proof ise directly use karta hai:

$h$ — $c$ se daayein ( $h > 0$ ) ya baayein ( $h < 0$ ) ek tiny step.
$f (c + h) - f (c)$ — us tiny step par rise.
$\frac{f ( c + h ) - f ( c )}{h}$ — $c$ se $c + h$ tak ek bahut choti secant ka slope.
$h \to 0 lim$ — "woh value jis par yeh ratio $h$ ke vanishingly small hone par home in karta hai." Yeh is sawaal ka jawaab hai: yeh short secants kaunsi steepness approach kar rahi hain?

Dono sides kyun agree karni chahiye (yeh Rolle ka engine hai). Ek interior peak par, daayein step karne se short secants milte hain slope $\leq 0$ ke saath, baayein step karne se short secants milte hain slope $\geq 0$ ke saath. Agar $f$ differentiable hai toh dono ko same $f^{'} (c)$ equal karna hoga, toh $f^{'} (c) \leq 0$ aur $f^{'} (c) \geq 0$ — yeh $f^{'} (c) = 0$ force karta hai. Woh squeeze Fermat's Theorem (interior extrema) hai, aur isi liye $∣ x ∣$ ka corner (jahan dono sides disagree karte hain) Rolle ko break kar deta hai.

7. Symbols $M$ , $m$ , $c$ , aur $\exists$

8. Har foundation theorem ko kaise feed karta hai

Neeche ka diagram ek dependency flow hai: arrows follow karo aur dekho kaunsi idea pehle build karni padti hai. Upar ki ideas raw materials hain; neeche ke do theorems finished products hain.

Top-down padho: number lines function ko name karne dete hain; function ki continuity hoti hai (jo Extreme Value Theorem ko peak $M$ aur valley $m$ guarantee karne ke liye feed karti hai) aur slope hoti hai (jo limit ke through derivative deta hai, jo Fermat ke zero-derivative fact ko feed karta hai). Extremes plus derivative-zero se Rolle milta hai; Rolle plus secant slope se MVT milta hai.

Equipment checklist

Khud test karo — reveal karne se pehle har jawaab zor se bolo.

Main $[a, b]$ aur $(a, b)$ ke beech difference state kar sakta hoon ::: closed endpoints include karta hai; open exclude karta hai, aur $c$ hamesha open wale mein rehta hai.
Main describe kar sakta hoon $f (x)$ ka picture kya hai ::: ground-position $x$ ke upar graph ki height.
Main keh sakta hoon "continuous" kya forbid karta hai ::: gaps, jumps, holes — tum pen uthaye bina draw karte ho.
Main keh sakta hoon "smooth / differentiable" continuous ke upar kya add karta hai ::: har point par ek single well-defined tangent direction — koi sharp corners nahi.
Main Extreme Value Theorem words mein state kar sakta hoon ::: ek closed bounded interval par continuous function actually apni highest aur lowest values reach karta hai.
Main secant slope compute kar sakta hoon ::: $\frac{f ( b ) - f ( a )}{b - a}$ = rise over run = average steepness.
Main explain kar sakta hoon derivative ko limit kyun chahiye ::: kyunki single point par run $0$ hai, isliye hum short secants ko $h \to 0$ par dekhte hain.
Main derivative definition likh sakta hoon ::: $f^{'} (c) = lim_{h \to 0} \frac{f ( c + h ) - f ( c )}{h}$ .
Main keh sakta hoon corner (jaise $∣ x ∣$ ) differentiable kyun nahi hai ::: left aur right slope ke limits disagree karte hain, isliye koi single tangent nahi hai.
Main jaanta hoon $M$ , $m$ , aur $\exists c$ kya stand karte hain ::: max value, min value, aur "kam se kam ek interior point $c$ ."

Jab tak har reveal obvious na lage, Mean Value Theorem — proof, Rolle's theorem par wapas jaao aur upar ka single core sentence plain English jaisa padha jaayega. Related deeper roads: Increasing and Decreasing Functions, Cauchy's Mean Value Theorem, Taylor's Theorem, Lipschitz Continuity.