Foundations — L'Hôpital's rule — proof using linear approximation, 0 - 0, ∞ - ∞, other indeterminate forms

4.1.26 · D1 · Maths › Calculus I — Limits & Derivatives › L'Hôpital's rule — proof using linear approximation, 0 - 0,

Isse pehle ki tum L'Hôpital's rule use karo, tumhe kuch ideas mein fluent hona chahiye jo parent note quietly assume karta hai. Yeh page unme se har ek ko bilkul scratch se build karta hai, uss order mein jisme woh ek doosre par depend karte hain.

1. Symbol $\lim$ aur arrow $\to$

Isse picture karo. Socho tum number line par $a$ point ki taraf chal rahe ho lekin kabhi uske upar qadam nahi rakhte. Har position $x$ par tum height $h(x)$ record karte ho. Limit $L$ woh height hai jis par woh recordings settle hoti hain.

Topic ko yeh kyun chahiye. L'Hôpital's rule limits ke baare mein ek statement hai — yeh kabhi $a$ par value nahi maangta (aksar woh value exist bhi nahi karti). Isko sirf approach ki parwah hai. Isliye hum $f(a)=g(a)=0$ rakh sakte hain aur phir bhi $\frac{f}{g}$ ke baare mein $a$ ke paas ek meaningful sawaal pooch sakte hain. Poori machinery ke liye Limits — Definition & Laws dekho.

2. Functions $f$, $g$ aur ratio $\frac{f(x)}{g(x)}$

Parent note ratio $\frac{f(x)}{g(x)}$ ka study karta hai — ek machine ka output doosri ka output se divided, same input $x$ par.

Isse picture karo. Do curves same axes par khinchi gayi hain. Har $x$ par tum do heights padhte ho, $f(x)$ (upar) aur $g(x)$ (neeche), aur upar ko neeche se divide karte ho.

3. Forms $\frac{0}{0}$ aur $\frac{\infty }{\infty }$ — "indeterminate"

"Indeterminate" kyun, "undefined" kyun nahi? $\frac{1}{0}$ undefined hai (division by zero, full stop). Lekin $\frac{0}{0}$ ek saath worse aur better hai: dono numbers approaching zero hain, toh pattern ek sawaal hai — "kaun tez chhota hota hai?" — jiska phir bhi ek real answer hai.

${\lim }_{x\to 0}\frac{\sin x}{x}=1,{\lim }_{x\to 0}\frac{\sin x}{x^2}=\infty ,{\lim }_{x\to 0}\frac{x^2}{\sin x}=0.$

Teeno $\frac{0}{0}$ lagte hain phir bhi $1$, $\infty$, aur $0$ par land karte hain. Yahi ek fact hai jo is poori rule ke exist karne ki wajah hai. Poora gallery Indeterminate Forms mein milega.

4. Symbol $\infty$

Isse picture karo. Ek curve page par upar uthta hua aur kabhi level nahi hota. Koi top height nahi hai — sirf chadhte rehne ka behaviour hai.

Topic ko yeh kyun chahiye. Rule ka doosra direct case $\frac{\infty }{\infty }$ hai, aur bahut saari problems ka ek endpoint $x\to \infty$ hota hai ("$x$ hamesha ke liye daayein march karta hai"). Kyunki $\infty$ koi real number nahi hai, hum kabhi isko "plug in" nahi kar sakte — hum sirf limits le sakte hain.

5. Slope, aur derivative $f^{\prime }(x)$

Yeh poore topic ka engine hai, isliye hum isse slowly build karte hain.

Symbol $\Delta$ (Greek "delta") ka matlab sirf "mein change" hai. Toh $\Delta x$ = $x$ mein change.

Curve ka slope kyun measure karein? Ek straight line ka har jagah ek hi slope hota hai. Curve ki steepness badlti rehti hai jaise tum iske saath move karte ho. Derivative sideways step ko zero tak shrink karke ek single point par slope capture karta hai:

$f^{\prime }(x)={\lim }_{\Delta x\to 0}\frac{f(x+\Delta x)-f(x)}{\Delta x}.$

Yahi exact tool kyun, koi aur kyun nahi? Indeterminate sawaal tha "har part kitni tez se vanish hota hai?" Change-ki-speed literally derivative ki definition hai. Koi aur single quantity nahi measure karti ki ek function kitni tez move karta hai. Isliye L'Hôpital $f^{\prime }$ aur $g^{\prime }$ tak pahunchta hai aur kuch nahi.

6. Tangent line & linear approximation

Aao us formula ka har piece kamaate hain:

• $f(a)$ — woh height jahan hum touch karte hain.
• $f^{\prime }(a)$ — us touch point par slope (§5 se).
• $(x-a)$ — hum touch point se kitna sideways move hue hain.
• $f^{\prime }(a)(x-a)$ — slope × sideways move = rise. Starting height mein add karo.

Topic ko yeh kyun chahiye. Parent ka poora intuitive proof hai: top aur bottom ko unki tangent lines se replace karo, constant terms $f(a),g(a)$ vanish hone do (woh zero hain!), aur shared $(x-a)$ cancel karo. Jo bachta hai woh hai $\frac{f^{\prime }(a)}{g^{\prime }(a)}$ — speeds ka ratio. Linear Approximation & Tangent Lines dekho.

$\frac{f(x)}{g(x)}\approx \frac{\stackrel{=0}{\overbrace{f(a)}}+f^{\prime }(a)(x-a)}{\underset{=0}{\underbrace{g(a)}}+g^{\prime }(a)(x-a)}=\frac{f^{\prime }(a)(x-a)}{g^{\prime }(a)(x-a)}=\frac{f^{\prime }(a)}{g^{\prime }(a)}.$

7. Continuity (taaki $f(a)=g(a)=0$ sense kare)

Topic ko yeh kyun chahiye. Proof define karta hai $f(a)=g(a)=0$ "by continuity." Yeh phrase tabhi kaam karti hai jab functions continuous hoon — tab $a$ par value wahan ki limit ke barabar hoti hai, jo humein dono ko cleanly $0$ par pin karne aur constant terms cancel karne deti hai.

8. Mean Value Theorem — rigorous backbone

Isse picture karo. $a$ se $b$ tak drive karo. Trip par tumhari average speed zarur tumhari actual speed rahi hogi kisi instant mein beech mein — tum $60$ ka average nahi kar sakte bina kabhi $60$ hit kiye.

Topic ko yeh kyun chahiye. Tangent-line argument ne secretly assume kiya tha ki $f^{\prime },g^{\prime }$ continuous hain. Airtight proof Cauchy MVT tak upgrade hota hai, jo ek exact point $c$ deliver karta hai $a$ aur $x$ ke beech mein jahan $\frac{f(x)}{g(x)}=\frac{f^{\prime }(c)}{g^{\prime }(c)}$ — koi cancellation hand-waving nahi chahiye. Full details Mean Value Theorem mein.

9. $\ln$, $e^x$ — log/exponent toolkit

Topic ko yeh kyun chahiye. Saat indeterminate forms mein se teen exponent forms hain: $0^0,{\infty }^0,1^{\infty }$. Ek derivative exponent ko tab tak "dekh" nahi sakta jab tak $\ln$ isse ground floor par na le aaye, $f^g$ ko $g\ln f$ mein convert karke — ek product jo hum phir fraction mein wrestle kar sakte hain. Isliye bhi $\lim (1+1/x{)}^x=e$ kaam karta hai. $\ln x$ vs $x$ jaisi growth-rate comparisons Exponential & Logarithm Growth Rates mein milti hain.

10. First order se aage — Taylor idea (preview)

Woh tower Taylor Series hai, is page ki har cheez ka deep generalisation.

Prerequisite map

Equipment checklist

Cover the right side and test yourself.

Connections

• Limits — Definition & Laws — $\lim$ aur $\to$ ka matlab.
• Indeterminate Forms — $\frac{0}{0}$-type patterns ka poora gallery.
• Linear Approximation & Tangent Lines — woh picture jo proof ko power deti hai.
• Mean Value Theorem — rigorous backbone (Cauchy MVT).
• Exponential & Logarithm Growth Rates — kyun $\ln$ aur $e^x$ enter karte hain.
• Taylor Series — deep generalisation.
• L'Hôpital's Rule (parent) — jahan yeh saara equipment use hota hai.