Intermediate Value Theorem: Visual walkthrough — Hinglish deep dive

4.1.8 · D2 · Maths › Calculus I — Limits & Derivatives › Intermediate Value Theorem

Hum pehle ek clean special case prove karte hain (jise Bolzano's Theorem kehte hain) aur phir end mein full statement tak le jaate hain. Neeche sab kuch scratch se build kiya gaya hai.

Step 0 — Symbols se pehle ke words

Koi bhi letter aane se pehle, aao plain-language meanings pe agree kar lein. Ek function $f$ ek machine hai: isko ek number $x$ do, yeh $f (x)$ height return karta hai. Socho ki input $x$ ek horizontal ruler (yani == $x$ -axis==) ke saath left-se-right chalti hai, aur output $f (x)$ us ruler se upar (positive) ya neeche (negative) naapi gayi height hai.

WHAT picture mein dikhta hai: ek wiggly chalk curve jisme start dot height $f (a)$ par hai aur end dot height $f (b)$ par. WHY yeh matter karta hai: poora theorem un heights ke baare mein ek claim hai jinse pen ko guzarna hi padega. Yeh image abhi fix kar lo.

Step 1 — Goal ko "find a zero" tak reduce karo

Full theorem poochhta hai: ek target height $N$ jo $f (a)$ aur $f (b)$ ke beech ho, kya koi input $c$ exist karta hai jiske liye $f (c) = N$ ho? Woh extra letter $N$ clutter hai. Aaiye ise hata dein.

WHAT humne kiya: "height $N$ hit karo" ko "height $0$ hit karo" se replace kiya, yaani root dhundho $g (c) = 0$ . WHY: root ke baare mein reason karna zyada aasaan hai — yeh sirf woh jagah hai jahan curve ruler ko cross karta hai. Aur $f (a) < N < f (b)$ ban jaata hai $g (a) < 0 < g (b)$ : shifted curve ruler ke neeche shuru hoti hai aur upar khatam. PICTURE: wahi curve, $N$ se neeche drop ki gayi; dashed target line ruler ban jaati hai.

Yahan se hum Bolzano problem solve karte hain: $g$ continuous hai, $g (a) < 0 < g (b)$ , prove karo ki kisi $c$ ke liye $g (c) = 0$ hai. Tidiness ke liye $g$ ko wapas $f$ naam de dete hain — toh assume karo ki $f (a) < 0 < f (b)$ .

Step 2 — Har woh point collect karo jo abhi "below" hai

Crossing kahaan hoti hai, yeh jaane bina ussi jagah point karne ka ek tarika chahiye. Trick yeh hai: saare woh inputs ikatthe karo jahan curve ruler ke neeche ho.

WHAT: $S$ ruler ki shaded stretch hai jo curve ke below-water hisse ke neeche baithti hai. WHY yeh set? Iska right-hand edge bilkul wahi hai jahan "below" hatke "not below" ban jaata hai — woh suspected crossing point. Humein do facts ki zaroorat padegi:

$S$ empty nahi hai: $a$ isme hai, kyunki $f (a) < 0$ .
$S$ upar se bounded hai: $S$ mein koi cheez $b$ se zyada nahi hai.

PICTURE: sub-ruler region par chalk-blue shading; right edge par "?" mark.

Step 3 — Edge point $c$ ko summon karo (yahan reals apna kaam karte hain)

$S$ ka right edge picture mein obvious lagta hai — lekin kya wahan sach mein koi real number baitha hai? Rationals $Q$ ke liye shayad nahi (ek edge kisi "gap" mein fall ho sakta hai). Completeness Axiom of Real Numbers guarantee karta hai ki $R$ ke liye yeh hoga.

WHAT: humne edge ko $c$ naam diya. WHY: yahi poora reason hai ki IVT $R$ par sach kyun hai aur $Q$ par galat — dekho Completeness Axiom of Real Numbers. Completeness ke bina edge ek phantom ho sakti thi. PICTURE: "?" ki jagah $x = c$ par ek solid pale-yellow tick, aur $S$ par sabse tight ceiling line.

Step 4 — Left se squeeze karo: $f (c) \leq 0$

Ab hum height $f (c)$ ko do inequalities ke beech trap karte hain. Pehle left se.

Kyunki $c$ least upper bound hai, $S$ ke points uske bilkul paas bheed lagate hain: hum $S$ ke andar ek sequence $x_{1}, x_{2}, \dots$ chun sakte hain jisme $x_{n} \to c$ ho (arrows $c$ ki taraf left se point karte hain). Har ek mein $f (x_{n}) < 0$ hai.

WHAT: humne dikhaya ki edge height ruler ke upar nahi hai. WHY continuity yahan? Sirf continuity hi $f (lim x_{n}) = lim f (x_{n})$ allow karti hai; ek jump ise tod deta. PICTURE: blue dots left se $c$ ki taraf march karte hue, unki heights sab ruler ke neeche, $f (c)$ par close hote hue.

Step 5 — Right se squeeze karo: $f (c) \geq 0$

Ab doosri side se clamp karo. $c$ ke bilkul right mein koi bhi $x$ edge ke baad hai, toh $x \in / S$ , matlab $f (x) \geq 0$ .

$y_{1}, y_{2}, \dots$ chuno jisme $y_{n} \to c$ right se ho, har ek ke liye $f (y_{n}) \geq 0$ .

WHAT: edge height ruler ke neeche nahi hai. WHY: edge ke right mein curve negative hona band ho chuki hai — yahi "edge of $S$ " ka matlab hai. PICTURE: pink dots right se march karte hue, heights ruler par ya upar, $f (c)$ par close hote hue.

Step 6 — Pincer band hota hai: $f (c) = 0$

Ab do facts takraate hain: $f (c) \leq 0 (Step 4) and f (c) \geq 0 (Step 5) .$

Jo number dono $\leq 0$ aur $\geq 0$ ho, woh sirf $0$ hi ho sakta hai.

Aur $c$ sach mein andar hai: kyunki $f (a) < 0$ lekin $f (c) = 0$ , toh $c \neq = a$ ; kyunki $f (b) > 0$ lekin $f (c) = 0$ , toh $c \neq = b$ . Toh $c \in (a, b)$ . $■$

PICTURE: dono squeeze-arrows bilkul ruler par milte hain; crossing dot glow karta hai.

Step 7 — Degenerate aur edge cases (koi gap mat chhodho)

Ek careful walkthrough ko har woh scenario survive karna chahiye jo reader throw kar sake.

Ek-picture summary

Sab ek saath: curve ruler ke neeche shuru hoti hai ( $f (a) < 0$ ), upar khatam hoti hai ( $f (b) > 0$ ); below-region $S$ shaded hai; uska right edge $c = sup S$ hai; left-squeeze force karti hai $f (c) \leq 0$ , right-squeeze force karti hai $f (c) \geq 0$ ; dono milke $f (c) = 0$ pin karte hain.

Recall Feynman retelling — koi symbols nahi, sirf story

Tum ek fence ke saath chal rahe ho. Field ke left side mein zameen water level se neeche hai; right side mein upar hai. Kahin par zameen waterline cross karti hai. Us crossing ko dhundhne ke liye, har woh jagah mark karo jahan tum abhi bhi paani ke andar ho aur last aisi jagah dekho — use $c$ kaho. $c$ ke just left mein tum paani ke andar the (toh wahan zameen $\leq$ waterline hai). $c$ ke just right mein tum paani se bahar the (toh wahan zameen $\geq$ waterline hai). Kyunki zameen smoothly uthti hai (koi cliffs nahi — yahi "continuous" hai), $c$ par height neeche bhi nahi ho sakti aur upar bhi nahi. Ek hi option bacha: yeh bilkul waterline par hai. Yahi tumhari crossing hai. Woh magic ingredient jo "last underwater spot" ko ek real jagah ki tarah exist karne deta hai — kisi crack mein nahi girta — woh hai completeness of real numbers. Aur woh magic jo kisi bhi cliff ko crossing chupaane se rokti hai, woh hai continuity. Dono mein se kisi ek ko hatao aur crossing gayab ho sakti hai.

Active Recall

Special case

f (a) < 0 < f (b)

kaafi kyun hai?

N

se shift karo:

g = f - N

kisi bhi intermediate-value problem ko root problem mein badal deta hai.

Proof mein

c

ko kya define kiya gaya hai?

c = sup S

, yaani

S = {x : f (x) < 0}

ka least upper bound (right edge).

Kaunsa axiom guarantee karta hai ki

c

ek real number ke roop mein exist karta hai?

Completeness Axiom — har non-empty set jo upar se bounded ho, uska ek supremum hota hai.

Continuity kahan use hoti hai?

Limit ko

f

ke andar pass karne ke liye:

f (lim x_{n}) = lim f (x_{n})

, dono left aur right squeeze mein.

Kaunsi do inequalities

f (c) = 0

pin karti hain?

f (c) \leq 0

(left squeeze) aur

f (c) \geq 0

(right squeeze).

N

strictly endpoint values ke beech kyun hona chahiye?

c

ko open interior

(a, b)

mein force karne ke liye, boundary par nahi.

Connections

Intermediate Value Theorem — woh parent result jise yeh pictures derive karti hain.
Bolzano's Theorem — $N = 0$ core case jo humne actually prove kiya.
Completeness Axiom of Real Numbers — $c = sup S$ ko exist karaata hai (Step 3).
Continuity — load-bearing hypothesis (Steps 4–5, Case D).
Bisection Method — is existence proof ko $c$ ki ek construction mein badalta hai.
Extreme Value Theorem — sibling closed-interval theorem.
Rolle's Theorem aur Mean Value Theorem — derivative-level cousins.
Fixed Point Theorems — usi crossing idea ka ek application.