सामग्री पर जाएँ
Topos Uranos

फ़र्मा, रोल, लाग्रांज और कॉशी के प्रमेय

सारांश

यह पाठ इस बात से कि अवकलज किसी बिंदु पर क्या कहता है, इस बात तक जाता है कि वह किसी अंतराल पर क्या कहता है। यह स्थानीय चरम को परिभाषित करता है और फ़र्मा प्रमेय सिद्ध करता है: यदि किसी फलन का उसके प्रांत के किसी आंतरिक बिंदु पर स्थानीय चरम हो और वह उस बिंदु पर अवकलनीय हो, तो वहाँ उसका अवकलज शून्य होता है। प्रमाण परिवर्तन की दरों वाले पाठ के साध्य “किसी बिंदु पर अवकलज का चिह्न” से निकलता है। पूर्ववर्ती पाठ की वायरस्ट्रास की प्रमेय के साथ मिलकर फ़र्मा प्रमेय से रोल प्रमेय प्राप्त होती है। रोल प्रमेय को फलन और उसकी जीवा के अंतर पर लगाने से लाग्रांज की माध्यमान प्रमेय मिलती है, जिसके अनुसार कोई स्पर्श रेखा जीवा के समांतर होती है; और दो फलनों के एक संयोजन पर लगाने से कॉशी की माध्यमान प्रमेय मिलती है, जिससे आगामी पाठ लोपिताल नियम सिद्ध करता है। माध्यमान प्रमेय से पहले वैश्विक परिणाम निकलते हैं: किसी अंतराल पर शून्य अवकलज वाला फलन अचर होता है; समान अवकलज वाले दो फलन एक अचर से भिन्न होते हैं; अवकलज का एक ऊपरी परिबंध वृद्धि का आकलन करता है; किसी फलन के दो मूलों के बीच उसके अवकलज का एक मूल होता है; और अवकलज की सीमा, यदि विद्यमान हो, अवकलज के बराबर होती है। सरल स्थितियाँ दिखाती हैं कि किसी भी परिकल्पना को छोड़ा नहीं जा सकता।

अधिगम उद्देश्य

  1. स्थानीय चरम क्या है, इसे परिमाणकों से व्यक्त करना और फ़र्मा प्रमेय सिद्ध करना, उसके द्वारा दिए गए आवश्यक प्रतिबंध को पर्याप्त प्रतिबंध से अलग करते हुए।
  2. रोल प्रमेय, लाग्रांज की माध्यमान प्रमेय और कॉशी की माध्यमान प्रमेय सिद्ध करना, उन्हें आलेख पर पढ़ना और प्रतिउदाहरणों से दिखाना कि उनकी परिकल्पनाएँ छोड़ी नहीं जा सकतीं।
  3. माध्यमान प्रमेय से निष्कर्ष निकालना कि किसी अंतराल पर शून्य अवकलज वाला फलन अचर होता है, और अवकलज के ऊपरी परिबंध से असमिकाएँ तथा त्रुटि के परिबंध प्राप्त करना।
  4. किसी समीकरण के मूल गिनना, उनकी संख्या को रोल प्रमेय से ऊपर से और बोल्ज़ानो प्रमेय से नीचे से परिबद्ध करके।

स्थानीय चरम और फ़र्मा प्रमेय

वायरस्ट्रास की प्रमेय वाला पाठ गारंटी देता है कि किसी परिबद्ध संवृत अंतराल पर संतत फलन अपना उच्चिष्ठ और निम्निष्ठ प्राप्त करता है, पर यह नहीं बताता कि कहाँ। उन्हें ढूँढ़ने के लिए एक ऐसी संकल्पना चाहिए जो किसी बिंदु के केवल निकट देखे: कोई मान अपने निकटवर्ती मानों में सबसे बड़ा हो सकता है, भले ही वह सभी मानों में सबसे बड़ा न हो।

परिभाषास्थानीय चरम और आंतरिक बिंदु

मान लीजिए ff समुच्चय AA पर परिभाषित एक फलन है और x0x_0, AA का एक अवयव है। कहते हैं कि ff का x0x_0 पर स्थानीय उच्चिष्ठ है यदि कोई δ>0\delta > 0 विद्यमान हो ऐसा कि ff के मानों में से, AA के बिंदुओं (जिनकी x0x_0 से दूरी δ\delta से कम है) पर कोई भी मान f(x0)f(x_0) से अधिक न हो; और x0x_0 पर स्थानीय निम्निष्ठ है यदि उनमें से कोई भी मान f(x0)f(x_0) से कम न हो:

(∃δ>0)(∀x∈A)(∣x−x0∣<δ→f(x)≤f(x0)),(∃δ>0)(∀x∈A)(∣x−x0∣<δ→f(x0)≤f(x))(\exists \delta > 0)(\forall x \in A)\left(\abs{x - x_0} < \delta \rightarrow f(x) \leq f(x_0)\right), \qquad (\exists \delta > 0)(\forall x \in A)\left(\abs{x - x_0} < \delta \rightarrow f(x_0) \leq f(x)\right)

स्थानीय चरम स्थानीय उच्चिष्ठ या स्थानीय निम्निष्ठ होता है। बिंदु x0x_0, AA का आंतरिक बिंदु है यदि कोई r>0r > 0 विद्यमान हो ऐसा कि (x0−r,x0+r)⊆A\ioo{x_0 - r}{x_0 + r} \subseteq A।

यदि ff का AA पर, बिंदु x0x_0 पर, पूर्ववर्ती पाठ के अर्थ में उच्चिष्ठ है, तो वहाँ उसका स्थानीय उच्चिष्ठ है: δ\delta कोई भी चल जाता है। विलोम सत्य नहीं है। f(x)=x3−3xf(x) = x^3 - 3x लीजिए; चूँकि 2−f(x)=(x+1)2(2−x)2 - f(x) = (x + 1)^2 (2 - x), इसलिए f(x)≤2=f(−1)f(x) \leq 2 = f(-1) प्रत्येक x≤2x \leq 2 के लिए। इस फलन का −1-1 पर स्थानीय उच्चिष्ठ है (δ=3\delta = 3 लेना पर्याप्त है), किंतु वह R\mathbb{R} पर उच्चिष्ठ नहीं है, क्योंकि f(3)=18f(3) = 18। किसी अंतराल के आंतरिक बिंदु उसके सभी बिंदु हैं, उन अंत्य बिंदुओं को छोड़कर जो उसमें सम्मिलित हैं: [a,b]\icc{a}{b} के आंतरिक बिंदु (a,b)\ioo{a}{b} के बिंदु हैं। स्थानीय चरम सीमांत पर भी हो सकता है: फलन xx का [0,1]\icc{0}{1} पर निम्निष्ठ 00 पर है और उच्चिष्ठ 11 पर।

प्रमेयफ़र्मा प्रमेय

मान लीजिए ff समुच्चय AA पर परिभाषित एक फलन है और aa, AA का एक आंतरिक बिंदु है। यदि ff का aa पर स्थानीय चरम है और वह aa पर अवकलनीय है, तो f′(a)=0f'(a) = 0। यदि अवकलज धनात्मक होता, तो अवकलज के चिह्न वाले साध्य के अनुसार aa के ठीक दाईं ओर f(a)f(a) से बड़े मान प्रकट होते; यदि ऋणात्मक होता, तो वे बाईं ओर प्रकट होते। आकृति f(x)=x3−3xf(x) = x^3 - 3x और a=−1a = -1 पर उसके स्थानीय उच्चिष्ठ के साथ दिखाती है कि दोनों में से कोई भी प्रवणता संभव क्यों नहीं है।

प्रमाण

  1. x∈A, ∣x−a∣<δ0→f(x)≤f(a),F′(a)=f′(a)x \in A, \ \abs{x - a} < \delta_0 \rightarrow \dato{max}{f(x) \leq f(a)}, \qquad \resaltar{F'(a) = f'(a)}

    पहले मान लीजिए कि ff का aa पर स्थानीय उच्चिष्ठ है (किसी δ0>0\delta_0 > 0 के साथ), और r>0r > 0 को ऐसा लीजिए कि अंतराल I=(a−r,a+r)I = \ioo{a - r}{a + r}, AA में समाहित हो। मान लीजिए FF, ff का II पर प्रतिबंध है। प्रत्येक xx (जो AA का अवयव हो और जिसके लिए ∣x−a∣<r\abs{x - a} < r) II में है। अवकलन के नियम वाले पाठ की प्रमेयिका “अवकलज की स्थानीय प्रकृति” के अनुसार FF, aa पर अवकलनीय है और उसका अवकलज वही है।

  2. f(a+ρ2)>f(a),f(a+ρ2)≤f(a)f\left(a + \frac{\rho}{2}\right) > f(a), \qquad \resaltar{f\left(a + \frac{\rho}{2}\right) \leq f(a)}

    यदि f′(a)>0f'(a) > 0, तो परिवर्तन की दरें वाले पाठ का साध्य “किसी बिंदु पर अवकलज का चिह्न”, FF पर खुले अंतराल II में लगाने से, एक δ>0\delta > 0 देता है जिसके साथ f(x)>f(a)f(x) > f(a) प्रत्येक xx के लिए (जो II का अवयव हो और जिसके लिए a<x<a+δa < x < a + \delta)। मान लीजिए ρ\rho संख्याओं δ\delta, δ0\delta_0 और rr में सबसे छोटी है। बिंदु a+ρ2a + \frac{\rho}{2}, II में है, इस प्रतिबंध को संतुष्ट करता है और aa से उसकी दूरी δ0\delta_0 से कम है: वहाँ फलन का मान f(a)f(a) से बड़ा भी होगा और बड़ा नहीं भी। अतः f′(a)>0f'(a) > 0 असंभव है।

  3. f(a−ρ2)>f(a),f(a−ρ2)≤f(a)→f′(a)=0f\left(a - \frac{\rho}{2}\right) > f(a), \qquad f\left(a - \frac{\rho}{2}\right) \leq f(a) \qquad \rightarrow \qquad \resaltar{f'(a) = 0}

    यदि f′(a)<0f'(a) < 0, तो वही साध्य, मानों के बीच की असमिकाओं को उलटकर, एक δ>0\delta > 0 देता है जिसके साथ f(x)>f(a)f(x) > f(a) प्रत्येक xx के लिए (जो II का अवयव हो और जिसके लिए a−δ<x<aa - \delta < x < a), और बिंदु a−ρ2a - \frac{\rho}{2} वही विरोधाभास उत्पन्न करता है। अवकलज न धनात्मक है न ऋणात्मक: वह शून्य है।

  4. (−f)′(a)=−f′(a)=0→f′(a)=0(-f)'(a) = -f'(a) = 0 \rightarrow \resaltar{f'(a) = 0}

    यदि ff का aa पर स्थानीय निम्निष्ठ है, तो −f-f का वहाँ स्थानीय उच्चिष्ठ है, और अवकलन के नियम वाले पाठ की प्रमेय “रैखिक संयोजन का अवकलज” के अनुसार वह aa पर अवकलनीय है और उसका अवकलज −f′(a)-f'(a) है; जो पहले सिद्ध किया गया, उसके अनुसार यह अवकलज शून्य है।

प्रमेय एक आवश्यक प्रतिबंध देती है, पर्याप्त नहीं: x3x^3 का 00 पर अवकलज शून्य है, किंतु वहाँ उसका कोई स्थानीय चरम नहीं है, क्योंकि 00 के बाईं ओर वह ऋणात्मक मान लेता है और दाईं ओर धनात्मक। अन्य दो परिकल्पनाएँ भी छोड़ी नहीं जा सकतीं। यदि aa आंतरिक बिंदु न हो, तो अवकलज शून्य न भी हो: फलन xx का [0,1]\icc{0}{1} पर उच्चिष्ठ 11 पर है, और वहाँ उसका अवकलज, जो अंतर-भागफल की बाईं सीमा है क्योंकि प्रांत में 11 के दाईं ओर कोई बिंदु नहीं है, 11 के बराबर है। यदि ff, aa पर अवकलनीय न हो, तो प्रमेय कुछ नहीं कहती: ∣x∣\abs{x} का निम्निष्ठ 00 पर है और वहाँ वह अवकलनीय नहीं है। अतः किसी फलन के चरम मान तीन प्रकार के बिंदुओं में खोजे जाते हैं: वे आंतरिक बिंदु जहाँ अवकलज शून्य होता है, वे बिंदु जहाँ फलन अवकलनीय नहीं है, और वे बिंदु जो आंतरिक नहीं हैं। एकदिष्टता वाला पाठ इन बिंदुओं को नाम देगा और यह तय करने की विधि देगा कि उनमें से कौन-से स्थानीय चरम हैं। अवकलन के नियम वाले पाठ के हल किए गए प्रश्न 1 ने ध्यान दिलाया था कि xx2+1\frac{x}{x^2 + 1} की क्षैतिज स्पर्श रेखाएँ आलेख को उसके उच्चिष्ठ और निम्निष्ठ बिंदुओं पर स्पर्श करती हैं, और संकेत किया था कि यह संयोग नहीं है: जो फलन R\mathbb{R} पर अवकलनीय हो और अपना उच्चिष्ठ प्राप्त करे, वह उसे किसी आंतरिक बिंदु पर प्राप्त करता है, जहाँ फ़र्मा प्रमेय अवकलज को शून्य कर देती है।