Intermediate Value Theorem

4.1.8 · Maths › Calculus I — Limits & Derivatives

YEH HAI KYA?

Teen cheezein jo aapko ZAROOR seedhi rakhni chahiye:

• Continuity ek closed interval $[a,b]$ par — yeh hypothesis hai (entry ki fee).
• $N$ ek intermediate value hai — $f(a)$ aur $f(b)$ ke beech mein.
• Conclusion: existence of a $c$. IVT kehta hai ki solution exist karta hai; yeh nahi batata ki $c$ kya hai ya kitne hain.

YEH SACH KYUN HAI? (proof se pehle intuition)

Pehle principles se derivation (the "bisection / completeness" proof)

Hum special case $f(a)<0<f(b)$ ko prove karte hain aur $c$ dhunddte hain jahan $f(c)=0$ ho (yeh Bolzano version hai). General case is par apply hota hai jab hum $g(x)=f(x)-N$ lete hain.

Yeh special case kaafi kyun hai? Define karo $g(x)=f(x)-N$. Agar $f(a)<N<f(b)$ hai toh $g(a)<0<g(b)$, aur $g$ continuous hai. Ek root $g(c)=0$ ka matlab hai $f(c)=N$. Toh zero dhundhna hi poora problem hai.

Setup. Maano $S=\{x\in [a,b]:f(x)<0\}.$

Yeh set kyun? $S$ unhi points ka collection hai jahan $f$ abhi zero se neeche hai. Iska right edge woh jagah hai jahan $f$ "cross karne wali hai". $S$ non-empty hai ($a\in S$) aur upar se $b$ se bounded hai.

Step 1 — ek candidate lo. $\mathbb{R}$ ke Completeness Axiom se, har non-empty set jo upar se bounded ho uska ek least upper bound (supremum) hota hai. Maano $c=\sup S.$ Yeh step kyun? Completeness hi woh cheez hai jo IVT ko $\mathbb{R}$ par sach banati hai aur $\mathbb{Q}$ par jhooth — yeh guarantee karta hai ki "edge point" $c$ actually ek real number ke roop mein exist karta hai.

Step 2 — dikhao $f(c)\le 0$. $S$ ke points $c$ ke jitne paas chahiye utne mil jaate hain, toh ek sequence $x_n\to c$ milti hai jahan $f(x_n)<0$. Continuity se $f(c)=\lim f(x_n)\le 0$. Kyun? Continuity allow karti hai ki hum limit ko $f$ ke andar le jayein. Negatives ki limit positive nahi ho sakti.

Step 3 — dikhao $f(c)\ge 0$. $c$ se thoda bade $x$ ke liye, $x\notin S$, toh $f(x)\ge 0$. $x_n\to c^{+}$ lo; continuity deta hai $f(c)=\lim f(x_n)\ge 0$.

Step 4 — combine karo. $f(c)\le 0$ aur $f(c)\ge 0$ milke force karte hain $f(c)=0$. Aur $f(a)<0,f(b)>0$ ka matlab hai $c\ne a,b$, toh $c\in (a,b)$. $■$

ISKA USE KAISE KAREIN (standard moves)

Move 1 — Root ka existence. Dikhana ho ki $f(x)=0$ ka $[a,b]$ par solution hai: check karo ki $f$ continuous hai, phir do aisi points dhundho jahan $f$ ke opposite signs hon.

Move 2 — $f(x)=N$ solve karo. $g=f-N$ banao aur Move 1 apply karo.

Move 3 — Root locate karo (bisection). Interval ko aadha karo, woh aadha rakho jiske endpoints ke opposite signs hon. Yeh $c$ ko kisi bhi accuracy tak construct karta hai.

Common mistakes (Steel-manned)

Active Recall

Connections

• Continuity — IVT ki hypothesis; "no jumps" hi engine hai.
• Completeness Axiom of Real Numbers — IVT $\mathbb{R}$ par kyun hold karta hai lekin $\mathbb{Q}$ par nahi.
• Extreme Value Theorem — closed intervals par sibling theorem (max/min exist karte hain).
• Bisection Method — IVT par bana numerical root-finding.
• Bolzano's Theorem — $N=0$ wala special case.
• Rolle's Theorem aur Mean Value Theorem — points ke existence ke liye derivative analogues.
• Fixed Point Theorems — Example 3 Brouwer's theorem tak generalize hota hai.

Concept Map

Deep Dive

• D1 · Foundations — har symbol zero se
• D2 · Visual walkthrough — derivation pictures mein
• D3 · Worked examples — har scenario
• D4 · Exercises — graded, full solutions
• D5 · Question bank — concept traps