Exercises — Epsilon-delta definition of a limit — formal proofs
4.1.9 · D4· Maths › Calculus I — Limits & Derivatives › Epsilon-delta definition of a limit — formal proofs
Shuru karne se pehle, do words jinhe hum baar baar use karenge:

Is picture mein dono distances ek saath dikhti hain: horizontal axis par ke around ek -wide window, aur vertical axis par ke around ek -tall band. Jeetnaa matlab hai ki window ke andar har ka band ke andar ho.
Level 1 — Recognition
Sirf definition aur picture ko sahi se padhna hai.
Exercise 1.1
ka matlab symbol-by-symbol batao. Phir ek sentence mein batao ki strict inequality kya contribute karti hai.
Recall Solution 1.1
wala part ko khud exclude karta hai: limit ki taraf approach describe karti hai, aur isse koi fark nahi padta ki , par defined bhi hai ya nahi.
Exercise 1.2
Ek adversary choose karta hai. Tumhe se reply karna hai. Pehle kisne choose kiya, aur kya tumhara , adversary ke par depend kar sakta hai?
Recall Solution 1.2
Adversary pehle choose karta hai; tum baad mein se reply karte ho. Tumhara , par depend kar sakta hai (yahi toh poora point hai — ek chhota ring ek chhote wobble ki demand karta hai). Tumhara , par depend nahi kar sakta, kyunki tumhare commit karne ke baad choose hota hai.
Exercise 1.3
Constant function ke liye, prove karo . (Hint: kisi bhi ke liye yahan output distance kya hai?)
Recall Solution 1.3
Output distance hai , jo har ke liye hai, chahe kuch bhi ho. Proof. lelo. choose karo (koi bhi positive number kaam karega). Agar , toh .
Level 2 — Application
Un functions par recipe mein plug in karo jahan "factor" ek constant hai — abhi bounding ki zaroorat nahi.
Exercise 2.1
Prove karo aur ko ke terms mein report karo.
Recall Solution 2.1
Scratchwork. Output distance: Factor hai constant . force karne ke liye chahiye. lo. Proof. lelo, choose karo. Agar toh
Exercise 2.2
Prove karo . (Absolute value ke andar sign ka dhyan rakho.)
Recall Solution 2.2
Scratchwork. . Absolute value minus sign ko absorb kar leta hai; factor hai . lo. Proof. lelo, choose karo. Agar toh
Exercise 2.3
Prove karo , ko ke multiple ke roop mein do.
Recall Solution 2.3
. Factor hai . banane ke liye chahiye. lo. Proof. lelo, choose karo. Agar toh Dhyan do ki factor 1 se kam tha, toh , se bada aaya — ek gentle function wide window tolerate karta hai.
Level 3 — Analysis
Ab factor par depend karta hai — tumhe pehle ek preliminary restriction se use Bound karna hoga aur lena hoga.
Exercise 3.1
Prove karo .
Recall Solution 3.1
Scratchwork. . Factor constant nahi hai — pehle ise bound karo. Preliminary impose karo, toh , hence aur . Tab chahiye, matlab . Dono ko se enforce karo. Proof. lelo, . Agar : kyunki , ; kyunki ,
Exercise 3.2
Prove karo .
Recall Solution 3.2
Scratchwork. , toh . Preliminary deta hai , toh aur . Tab . chahiye. lo. Proof. lelo, . Agar : aur
Exercise 3.3
Prove karo . (Yahan factor ek denominator mein hai — tumhe ise zero se door bound karna hoga.)
Recall Solution 3.3
Scratchwork. Dangerous piece hai : agar zero tak pahunch jaye toh ye blow up ho jaata. Toh ko zero se door rakhna hoga. Preliminary deta hai . Kyunki is interval par hai, positive hai, toh ; isliye . Tab chahiye, matlab . lo. Proof. lelo, . Agar : toh , toh aur ; isliye

Ye figure dikhata hai ki ke liye preliminary "" kyun matter karta hai: ye ko safe zone mein fence karta hai, jahan tame hai; fence ke bina, ke paas output distance ko explode kar deta.
Level 4 — Synthesis
Ideas ko combine karo: kisi limit law se proof banao, ya limit false prove karo, ya one-sided approach handle karo.
Exercise 4.1
Prove karo , chahe ka par koi limit na ho.
Recall Solution 4.1
Key fact: har ke liye , toh jab bhi ho . Isliye Wild oscillating factor constant se bounded hai — koi bhi preliminary restriction nahi chahiye. lo. Proof. lelo, choose karo. Agar toh Ye – proof ke andar rehne wala squeeze idea hai; dekho Limit Laws (sum, product, quotient).
Exercise 4.2
Prove karo ki exist nahi karta. (Definition ki negation use karo.)
Recall Solution 4.2
Yahan for aur for . Negation: dikhao ki koi har aur har candidate ko defeat karta hai. lo. Koi bhi candidate aur koi bhi fix karo. Window ke andar do explicit points construct karo: aur lo. Dono satisfy karte hain, aur , . Agar dono ke ke andar hote, toh triangle inequality se ek strict contradiction ( false hai). Toh mein se kam se kam ek se door hai. Kyunki hum ne har aur har ke liye aise points produce kiye, limit exist nahi karta. kyun? Do output values apart hain; half-width (full width ) ka ek band dono ko contain nahi kar sakta.
Exercise 4.3
One-sided limit ki definition use karke, prove karo . (One-sided matlab: ki jagah use karo; dekho One-sided limits.)
Recall Solution 4.3
ke liye, output distance hai . Hum chahte hain , jo (squaring, valid kyunki dono sides ) hai. lo. Proof. lelo, choose karo. Agar toh . Dhyan do ki non-linear link hai: output ko ek factor se shrink karne ke liye, input window ko uske square se shrink karna padta hai.
Level 5 — Mastery
General statements prove karo, cleverly 's choose karo, aur proofs chain karo.
Exercise 5.1
Suppose aur . Seedha definition se sum law prove karo.
Recall Solution 5.1
Idea: hume output distance control karni hai. Ise triangle inequality se split karo: Har piece ko se neeche force kiya ja sakta hai, toh sum se neeche rahega. ko aadha karna hi trick hai. Proof. lelo. Kyunki , ek hai jahan . Kyunki , ek hai jahan . choose karo. Agar , toh dono conditions hold karti hain, toh Ye exactly Limit Laws (sum, product, quotient) mein sum rule hai.
Exercise 5.2
Prove karo .
Recall Solution 5.2
Scratchwork. Factor: , toh . Preliminary deta hai . Is interval par increasing aur positive hai; par ye equals karta hai, toh . Tab . chahiye. lo. Proof. lelo, . Agar : kyunki , ; kyunki ,
Exercise 5.3
ka Definition of the derivative par hai . – se prove karo (variable mein, target ) ki ye limit hai.
Recall Solution 5.3
Pehle simplify karo ( ke liye): Toh output distance hai . Factor hai constant . lo. Proof. lelo, choose karo. Agar , toh quotient equals karta hai (defined kyunki ), aur Hence , jo par se match karta hai.
Active recall
prove karne wala kya hai?
ke liye kaunsa kaam karta hai?
ke liye ko below se kyun bound karte hain?
ke liye kaunsa ?
One-sided ke liye kaunsa ?
Sum-law proof mein mein kyun split karte hain?
ke liye kaunsa ?
Connections
- Limit Laws (sum, product, quotient) — Exercises 4.1 aur 5.1 ye laws raw prove karte hain.
- One-sided limits — Exercise 4.3 one-sided window use karta hai.
- Definition of the derivative — Exercise 5.3 ek difference quotient ko – se evaluate karta hai.
- Continuity — yahan har convergent example ye bhi prove karta hai ki function us point par continuous hai.
- Uniform continuity — dhyan do ki upar har , par depend karta tha; ek ko saare ke liye kaam karwana agla level hai.
- Sequences and their limits — discrete cousin, jisme ki jagah aata hai.