View source for मध्यवर्ती मान प्रमेय

[[File:Illustration for the intermediate value theorem.svg|thumb|मध्यवर्ती मूल्य प्रमेय: चलो <math>f</math> पर परिभाषित एक सतत कार्य हो <math>[a,b]</math> और जाने <math>s</math> के साथ एक संख्या हो <math>f(a) < s < f(b)</math>. फिर कुछ उपस्थित है <math>x</math> के बीच <math>a</math> तथा <math>b</math> ऐसा कि <math>f(x) = s</math>.]][[गणितीय विश्लेषण]] में, मध्यवर्ती मूल्य प्रमेय बताती है कि यदि <math>f</math> एक सतत फलन (गणित) है जिसके फलन के क्षेत्र में [[अंतराल (गणित)]] होता है {{closed-closed|''a'', ''b''}}, तो यह किसी भी दिए गए मान <math>f(a)</math> तथा <math>f(b)</math> के बीच अंतराल के भीतर किसी बिंदु पर लेता है ।

इसके दो महत्वपूर्ण [[परिणाम]] हैं:

# यदि एक निरंतर कार्य में अंतराल के अंदर विपरीत चिह्न के मान होते हैं, तो उस अंतराल(बोल्जानो के प्रमेय) में [[एक समारोह का शून्य|एक प्रकार्य का शून्य]] होता है।<ref>{{MathWorld |title=Bolzano's Theorem |urlname=BolzanosTheorem}}</ref> <ref>{{cite book |doi=10.1007/978-3-030-11036-9|title=कॉची का इनफिनिटिमल कैलकुलस|year=2019 |last1=Cates |first1=Dennis M. |isbn=978-3-030-11035-2 |s2cid=132587955|page=249 }}</ref>
# एक अंतराल पर एक सतत कार्य की [[छवि (गणित)|छवि(गणित)]] स्वयं एक अंतराल है।

== प्रेरणा ==
[[Image:Intermediatevaluetheorem.svg|thumb|280px|मध्यवर्ती मूल्य प्रमेय]]यह [[वास्तविक संख्या]]ओं पर निरंतर कार्यों की सहज गुण को दर्शाता है: दिया गया है कि <math>f</math> <math>[1,2]</math> में निरंतर ज्ञात मूल्यों <math>f(1) = 3</math> तथा <math>f(2) = 5</math> के साथ कार्यभार लेता है, तत्पश्चात लेखाचित्र <math>y = f(x)</math> क्षैतिज रेखा <math>y = 4</math> से गुजरना चाहिए यद्यपि <math>x</math> <math>1</math>से <math>2</math> की ओर चलता है। यह इस विचार का प्रतिनिधित्व करता है कि एक बंद अंतराल पर एक निरंतर कार्य का लेखाचित्र कागज से अंकनी उठाए बिना खींचा जा सकता है।

== प्रमेय ==
मध्यवर्ती मूल्य प्रमेय निम्नलिखित बताती है:

एक अंतराल <math>I = [a,b]</math> पर विचार करें, वास्तविक संख्याओं का <math>\R</math> और एक सतत कार्य <math>f \colon I \to \R</math>. फिर

*संस्करण I. यदि <math>u</math> <math>f(a)</math> तथा <math>f(b)</math>के बीच की संख्या है, वह है, <math display="block">\min(f(a),f(b))<u<\max(f(a),f(b)),</math> तो वहाँ एक <math>c\in (a,b)</math> है ऐसा है कि <math>f(c)=u</math>.
*संस्करण द्वितीय, [[एक समारोह की छवि|एक प्रकार्य की छवि]] <math>f(I)</math> एक अंतराल भी है, और इसमें अंतर्ग्रस्त है <math>\bigl[\min(f(a), f(b)),\max(f(a), f(b))\bigr]</math>,

टिप्पणी: ''संस्करण II'' बताती है कि प्रकार्य मानों के [[सेट (गणित)|समुच्चय(गणित)]] में कोई अंतर नहीं है। किसी भी दो प्रकार्य मानों के लिए <math>c < d</math>, भले ही वे बीच के अंतराल <math>f(a)</math> तथा <math>f(b)</math> से बाहर हों , अंतराल में सभी बिंदु <math>\bigl[c,d\bigr]</math> कार्य मान भी हैं, <math display="block">\bigl[c,d\bigr]\subseteq f(I).</math>
बिना किसी आंतरिक अंतराल वाली वास्तविक संख्याओं का उपसमुच्चय एक अंतराल है। संस्करण I स्वाभाविक रूप से संस्करण II में निहित है।

== पूर्णता से संबंध ==
प्रमेय निर्भर करता है, और वास्तविक संख्याओं की पूर्णता के बराबर है। मध्यवर्ती मूल्य प्रमेय [[परिमेय संख्या]] Q पर लागू नहीं होता है क्योंकि परिमेय संख्याओं के बीच अंतराल उपस्थित होता है; अपरिमेय संख्याएँ उन अंतरालों को भरती हैं। उदाहरण के लिए, प्रकार्य <math>f(x) = x^2-2</math> के लिये <math>x\in\Q</math> संतुष्ट <math>f(0) = -2</math> तथा <math>f(2) = 2</math>। यद्यपि, कोई परिमेय संख्या <math>x</math> नहीं है, ऐसा है कि <math>f(x)=0</math>, इसलिये <math>\sqrt 2</math> एक अपरिमेय संख्या है।

== प्रमाण ==
प्रमेय को वास्तविक संख्याओं की [[पूर्णता (आदेश सिद्धांत)|पूर्णता(आदेश सिद्धांत)]] गुण के परिणाम के रूप में सिद्ध किया जा सकता है:<ref>Essentially follows {{cite book |title=Foundations of Analysis|first=Douglas A.|last=Clarke|publisher=Appleton-Century-Crofts | year=1971|page=284}}</ref>
हम पहली वस्तुस्थिति प्रमाणित करेंगे, <math>f(a) < u < f(b)</math>. दूसरी वस्तुस्थिति भी समान ही है।

मान लीजिए <math>S</math> सभी <math>x \in [a,b]</math> का समुच्चय है। ऐसा कि <math>f(x) \leq u</math>. फिर <math>S</math> से रिक्त नहीं है <math>a</math> का एक तत्व <math>S</math> है . तब से <math>S</math> रिक्त नहीं है और ऊपर <math>b</math> से घिरा हुआ है, पूर्णता से, सर्वोच्चता <math>c=\sup S</math> उपस्थित । वह है, <math>c</math> सबसे छोटी संख्या है जो प्रत्येक सदस्य से अधिक या उसके बराबर है <math>S</math>. हम यह दावा करते हैं <math>f(c)=u</math>.

कुछ ठीक करो <math>\varepsilon > 0</math>. तब से <math>f</math> निरंतर है, एक है <math>\delta>0</math> ऐसा कि <math>|f(x) - f(c)| < \varepsilon</math> जब भी <math>|x-c| < \delta</math>. इस का तात्पर्य है कि
<math display="block">f(x)-\varepsilon<f(c)<f(x)+\varepsilon</math>
सभी के लिए <math>x\in(c-\delta,c+\delta)</math>. सर्वोच्च के गुणों के अनुसार, कुछ <math>a^*\in (c-\delta,c]</math> उपस्थित हैं  जिसमें <math>S</math> निहित है, इसलिए
<math display="block">f(c)<f(a^*)+\varepsilon\le u+\varepsilon.</math>
<math>a^{**}\in(c,c+\delta)</math>,का चयन कीजिए हम जानते हैं कि <math>a^{**}\not\in S</math> इसलिये <math>c</math> की सर्वोच्चता है <math>S</math>. इस का तात्पर्य है कि
<math display="block">f(c)>f(a^{**})-\varepsilon\ > u-\varepsilon.</math>
दोनों असमानताएँ
<math display="block">u-\varepsilon<f(c)< u+\varepsilon</math>
<math>\varepsilon > 0</math> सभी के लिए मान्य हैं , जिससे हम निष्कर्ष निकालते हैं <math>f(c) = u</math> एकमात्र संभावित मूल्य के रूप में जैसा कि कहा गया है।

टिप्पणी: मध्यवर्ती मूल्य प्रमेय को गैर-मानक विश्लेषण के तरीकों का उपयोग करके भी सिद्ध किया जा सकता है, जो एक कठोर आधार पर अन्तर्ज्ञानी तर्कों को सम्मिलित करता है।<ref>{{cite arXiv |last=Sanders|first=Sam | eprint=1704.00281 | title=अमानक विश्लेषण और रचनावाद!|date=2017|class=math.LO}}</ref>
== इतिहास ==
प्रमेय का एक रूप 5 वीं शताब्दी ईसा पूर्व के रूप में पोस्ट किया गया था, [[ब्रायसन ऑफ हेराक्लिआ|ब्रायसन का हेराक्लिआ]] के काम में वृत्त को वर्ग करने पर ब्रायसन ने तर्क दिया कि, चूंकि दिए गए वर्ग से बड़े और छोटे दोनों वृत्त उपस्थित हैं, इसलिए बराबर क्षेत्रफल का एक वृत्त उपस्थित होना चाहिए।<ref>{{cite book
 | last = Bos | first = Henk J. M.
 | contribution = The legitimation of geometrical procedures before 1590
 | doi = 10.1007/978-1-4613-0087-8_2
 | mr = 1800805
 | pages = 23–36
 | publisher = Springer | location = New York
 | series = Sources and Studies in the History of Mathematics and Physical Sciences
 | title = पुनर्परिभाषित ज्यामितीय सटीकता: डेसकार्टेस का निर्माण की प्रारंभिक आधुनिक अवधारणा का परिवर्तन| year = 2001}}</ref> प्रमेय को पहली बार 1817 में [[बर्नार्ड बोलजानो]] द्वारा सिद्ध किया गया था। बोलजानो ने प्रमेय के निम्नलिखित सूत्रीकरण का उपयोग किया:<ref>{{Cite journal| title=मध्यवर्ती मूल्य प्रमेय पर बोलजानो के पेपर का अनुवाद| first=S.B.| last=Russ| journal=Historia Mathematica| date=1980| volume=7| issue=2| pages=156–185| doi=10.1016/0315-0860(80)90036-1| doi-access=free}}</ref>मान लीजिए <math>f, \phi</math> बीच के अंतराल पर निरंतर कार्य करें <math>\alpha</math> तथा <math>\beta</math> ऐसा है कि <math>f(\alpha) < \phi(\alpha)</math> तथा <math>f(\beta) > \phi(\beta)</math>. फिर <math>\alpha</math> तथा <math>\beta</math> के बीच एक x है इस तरह कि <math>f(x)={\displaystyle \phi }(x)</math>

इस निरूपण और आधुनिक निरूपण के बीच समानता को समुच्चयन द्वारा उचित निरंतर प्रकार्य के लिए <math>\phi</math> दिखाया जा सकता है। [[ऑगस्टिन-लुई कॉची]] ने 1821 में आधुनिक सूत्रीकरण और एक प्रमाण प्रदान किया।<ref name="grabiner">{{Cite journal| title=आपको एप्सिलॉन किसने दिया? कॉची एंड द ऑरिजिन्स ऑफ रिजोरस कैलकुलस| first=Judith V.| last=Grabiner| journal=The American Mathematical Monthly| date=March 1983| volume=90| pages=185–194| url=http://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Grabiner185-194.pdf| doi=10.2307/2975545| issue=3| jstor=2975545}}</ref> दोनों कार्यों के विश्लेषण को औपचारिक रूप देने के लक्ष्य और [[जोसेफ-लुई लाग्रेंज]] के काम से प्रेरित थे। यह विचार कि निरंतर कार्यों में मध्यवर्ती मूल्य गुण, पहले की उत्पत्ति होती है। [[साइमन स्टीवन]] ने समाधान के दशमलव विस्तार के निर्माण के लिए कलन विधि प्रदान करके [[बहुपद|बहुपदों]] के लिए मध्यवर्ती मूल्य प्रमेय (उदाहरण के रूप में एक घन प्रकार्य का उपयोग करके) प्रमाणित कर दिया। कलन विधि पुनरावृत्ति के प्रत्येक चरण पर एक अतिरिक्त दशमलव अंक का निर्माण करते हुए, अंतराल को 10 भागों में उप-विभाजित करता है।<ref>Karin Usadi Katz and [[Mikhail Katz|Mikhail G. Katz]] (2011) A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography. [[Foundations of Science]]. {{doi|10.1007/s10699-011-9223-1}} See [https://doi.org/10.1007%2Fs10699-011-9223-1 link]</ref> निरंतरता की औपचारिक परिभाषा दिए जाने से पहले, एक सतत कार्य की परिभाषा के हिस्से के रूप में मध्यवर्ती मूल्य गुण दिया गया था। प्रस्तावक में लुई आर्बोगैस्ट अंगीभूत हैं, जिन्होंने माना कि कार्यों में कोई छलांग नहीं है, मध्यवर्ती मूल्य गुण को संतुष्ट करते हैं और वेतन वृद्धि करते हैं जिनके आकार चर के वेतन वृद्धि के आकार के अनुरूप होते हैं।<ref>{{MacTutor Biography|id=Arbogast}}</ref>

पहले के लेखकों ने परिणाम को सहज रूप से स्पष्ट माना और किसी प्रमाण की आवश्यकता नहीं थी। बोलजानो और कॉची की अंतर्दृष्टि निरंतरता की एक सामान्य धारणा को परिभाषित करना था (कॉची के स्थिति में [[बहुत छोता|अति सूक्ष्म]] के संदर्भ में और बोलजानो के स्थिति में वास्तविक असमानताओं का उपयोग करना), और ऐसी परिभाषाओं के आधार पर एक प्रमाण प्रदान करना था।

== सामान्यीकरण ==

अन्तःस्थायी महत्त्व प्रमेय [[जुड़ाव (टोपोलॉजी)|जुड़ाव]] की सांस्थिति धारणा से निकटता से जुड़ा हुआ है और मापीय रिक्त स्थान में जुड़े समुच्चय के मूल गुणों और विशेष रूप से R के जुड़े उपसमुच्चय से निम्नानुसार है:
* यदि <math>X</math> तथा <math>Y</math> मापीय अन्तरक हैं, <math>f \colon X \to Y</math> एक सतत मानचित्र है, और <math>E \subset X</math> एक [[जुड़ा हुआ स्थान|आनुषंगिक]] उपसमुच्चय है, तत्पश्चात <math>f(E)</math> जुड़ा हुआ है।(*)
* उपसमुच्चय <math>E \subset \R</math> जुड़ा हुआ है यदि और केवल यदि यह निम्नलिखित गुण को संतुष्ट करता है: <math>x,y\in E,\ x < r < y \implies r \in E</math>.(**)

वस्तुत:, जुड़ाव एक सांस्थितिक गुण है और(*) स्थलाकृतिक स्थानों के लिए सामान्यीकरण करता है: यदि <math>X</math> तथा <math>Y</math> सांस्थितिक समष्टि हैं, <math>f \colon X \to Y</math> एक सतत मानचित्र है, और <math>X</math> एक जुड़ा हुआ स्थान है, फिर <math>f(X)</math> जुड़ा हुआ है। निरंतर मानचित्रों के तहत जुड़ाव के संरक्षण को मध्यवर्ती मूल्य प्रमेय के सामान्यीकरण के रूप में माना जा सकता है, वास्तविक चर के वास्तविक मूल्यवान कार्यों की गुण, सामान्य रिक्त स्थान में निरंतर कार्यों के लिए।

पहले बताए गए मध्यवर्ती मूल्य प्रमेय के पहले संस्करण को याद करें:

{{math theorem|name=अन्तःस्थायी मूल्य प्रमेय|note='' वृतान्त I''|math_statement=एक बंद अंतराल I=[a,b] पर विचार करें <math></math>  वास्तविक संख्या में <math>\R</math> और सतत प्रकार्य में<math>f\colon I\to\R</math>. फिर, यदि <math> u</math> वास्तविक संख्या है ऐसा कि <math>\min(f(a),f(b))< u < \max(f(a),f(b))</math>, वहाँ उपस्थित है <math>c \in (a,b)</math> ऐसा कि <math>f(c) = u</math>.}}
मध्यवर्ती मूल्य प्रमेय जुड़ाव के इन दो गुणों का एक तत्काल परिणाम है:<ref>{{Cite book| url=https://archive.org/details/1979RudinW|title=गणितीय विश्लेषण के सिद्धांत| last=Rudin|first=Walter| publisher=McGraw-Hill|year=1976|isbn=978-0-07-054235-8|location=New York|pages=42, 93}}</ref>

{{math proof|proof= By (**), <math>I = [a,b]</math> is a connected set.  It follows from  (*) that the image, <math>f(I)</math>, is also connected.  For convenience, assume that <math>f(a) < f(b)</math>.  Then once more invoking (**), <math>f(a) < u < f(b)</math> implies that <math>u \in f(I)</math>, or <math>f(c) = u</math> for some <math>c\in I</math>.  Since <math>u\neq f(a), f(b)</math>, <math>c\in(a,b)</math> must actually hold, and the desired conclusion follows.  The same argument applies if <math>f(b) < f(a)</math>, so we are done. [[Q.E.D.]]}}

मध्यवर्ती मूल्य प्रमेय प्राकृतिक तरीके से सामान्यीकरण करता है: मान लीजिए कि {{mvar|X}} एक संसक्त सांस्थितिक समष्टि है और {{math|(''Y'', <)}} [[आदेश टोपोलॉजी|आदेश सांस्थिति]] से सुसज्जित कुल अनुक्रम समुच्चय है, और {{math|''f'' : ''X'' → ''Y''}} एक सतत मानचित्र बनने दें। यदि {{mvar|X}} में दो बिन्दु {{mvar|a}} तथा {{mvar|b}} हैं तथा {{mvar|Y}} में एक बिंदु {{mvar|u}} {{math|''f''(''a'')}} तथा {{math|''f''(''b'')}} के बीच {{math|<}} की प्रतिष्ठा से पड़ा हुआ है, तो वहाँ {{mvar|c}} में {{mvar|X}} ऐसे उपस्थित है कि {{math|1=''f''(''c'') = ''u''}}. मूल प्रमेय को यह देखते हुए पुनर्प्राप्त किया जाता है कि {{math|'''R'''}} जुड़ा हुआ है और इसकी प्राकृतिक सांस्थिति अनुक्रम सांस्थिति है।

ब्रौवर निश्चित-बिंदु प्रमेय एक संबंधित प्रमेय है, जो एक दिशा में, मध्यवर्ती मान प्रमेय का एक विशेष आवेष्टन देता है।

== असत्य प्रतिलोम ==

एक [[डार्बौक्स फ़ंक्शन|डार्बौक्स प्रकार्य]] एक वास्तविक-मूल्यवान प्रकार्य है जिसमें {{mvar|f}} मध्यवर्ती मूल्य गुण है, अर्थात, जो मध्यवर्ती मूल्य प्रमेय के निष्कर्ष को संतुष्ट करता है: किसी भी दो मूल्यों {{mvar|a}} तथा {{mvar|b}} के लिए {{mvar|f}} के अधिकार क्षेत्र में, और कोई भी {{mvar|y}} के बीच {{math|''f''(''a'')}} तथा {{math|''f''(''b'')}} में, {{mvar|a}} तथा {{mvar|b}} के बीच वहां कुछ {{mvar|c}} है {{math|1=''f''(''c'') = ''y''}} के साथ। मध्यवर्ती मूल्य प्रमेय कहता है कि प्रत्येक निरंतर कार्य एक डार्बौक्स प्रकार्य है। यद्यपि, प्रत्येक डार्बौक्स प्रकार्य निरंतर नहीं है; अर्थात्, मध्यवर्ती मान प्रमेय का विलोम असत्य है।

उदाहरण के लिए प्रकार्य {{math|''f'' : [0,&thinsp;∞) → [−1,&thinsp;1]}} को लें {{math|1=''f''(''x'') = sin(1/''x'')}} द्वारा परिभाषित {{math|''x'' > 0}} तथा {{math|1=''f''(0) = 0}} के लिये। {{math|1=''x'' = 0}} में यह कार्य निरंतर नहीं है क्योंकि जैसे {{mvar|x}} 0 की ओर जाता है [[एक समारोह की सीमा|एक प्रकार्य की सीमा]] {{math|1=''f''(''x'')}} उपस्थित नहीं है; अभी भी प्रकार्य में [[मध्यवर्ती मूल्य संपत्ति|मध्यवर्ती मूल्य गुण]] है। [[कॉनवे बेस 13 फ़ंक्शन|कॉनवे आधार 13 प्रकार्य]] द्वारा एक और अधिक जटिल उदाहरण दिया गया है।

परिनिष्पन्न में, डार्बौक्स प्रमेय(विश्लेषण) कहता है कि कुछ अंतराल पर किसी अन्य प्रकार्य के व्युत्पन्न से उत्पन्न होने वाले सभी कार्यों में मध्यवर्ती मूल्य गुण होती है(भले ही उन्हें निरंतर होने की आवश्यकता न हो)।

ऐतिहासिक रूप से, इस मध्यवर्ती मूल्य गुण को वास्तविक-मूल्यवान कार्यों की निरंतरता की परिभाषा के रूप में सुझाया गया है;<ref>{{Cite book|url=https://books.google.com/books?id=lnuhDgAAQBAJ&pg=PA51&q=Historically%2C+this+intermediate+value+property+has+been+suggested+as+a+definition+for+continuity+of+real-valued+functions | title=एमवीटी: एक सबसे मूल्यवान प्रमेय|last=Smorynski|first=Craig|date=2017-04-07|publisher=Springer| isbn=9783319529561| language=en}}</ref> इस परिभाषा को स्वीकृत नहीं किया गया था।

== [[रचनात्मक गणित]] में ==

रचनात्मक गणित में, मध्यवर्ती मान प्रमेय सत्य नहीं है। उसके स्थान पर, निष्कर्ष को कमजोर करना है:

* मान लीजिए <math>a</math> तथा <math>b</math> वास्तविक संख्या हो और <math>f:[a,b] \to R</math> [[बंद अंतराल]] <math>[a,b]</math> से बिंदुवार वास्तविक रेखा के लिए निरंतर कार्य करें, और मान लीजिए कि <math>f(a) < 0</math> तथा <math>0 < f(b)</math>. फिर हर सकारात्मक संख्या <math>\varepsilon > 0</math> के लिए इकाई अंतराल में एक बिन्दु <math>x</math> ऐसे होता है कि <math>\vert f(x) \vert < \varepsilon</math>.<ref>{{cite journal|title=अनुमानित इंटरमीडिएट वैल्यू प्रमेय के लिए विकल्पों के बीच इंटरपोलिंग| author=Matthew Frank|journal=Logical Methods in Computer Science|volume=16|issue=3|date=July 14, 2020| doi=10.23638/LMCS-16(3:5)2020|arxiv=1701.02227}}</ref>
== व्यावहारिक अनुप्रयोग ==
इसी तरह का परिणाम बोरसुक-उलम प्रमेय है, जो कहता है कि <math>n</math>-क्षेत्र से यूक्लिडीय <math>n</math>-स्थल तक एक सतत मानचित्र हमेशा एक ही स्थान पर प्रतिमुख बिंदुओं की कुछ जोड़ी को मानचित्र देगा।

{{math proof|title=Proof for 1-dimensional case| proof=Take <math>f</math> to be any continuous function on a circle. Draw a line through the center of the circle, intersecting it at two opposite points <math>A</math> and <math>B</math>. Define <math>d</math> to be <math>f(A)-f(B)</math>. If the line is rotated 180 degrees, the value {{math|−''d''}} will be obtained instead. Due to the intermediate value theorem there must be some intermediate rotation angle for which {{math|1=''d'' = 0}}, and as a consequence {{math|1=''f''(''A'') = ''f''(''B'')}} at this angle.}}

साधारणतः, किसी भी निरंतर कार्य के लिए जिसका कार्यक्षेत्र कुछ बंद उत्तल {{nowrap|<math>n</math>- विमीय}} है और आकार के अंदर कोई बिंदु(आवश्यक नहीं कि इसका केंद्र) है, दिए गए बिंदु के संबंध में दो प्रतिव्यासांत बिंदु उपस्थित हैं जिनका कार्यात्मक मूल्य समान है।

प्रमेय इस स्पष्टीकरण को भी रेखांकित करता है कि क्यों एक लड़खड़ाती तालिका को घुमाने से यह स्थिरता में आ जाएगी(कुछ आसानी से मिलने वाली बाधाओं के अधीन)।<ref>[[Keith Devlin]] (2007) [http://www.maa.org/external_archive/devlin/devlin_02_07.html How to stabilize a wobbly table]</ref>
== यह भी देखें ==

* {{annotated link|पोंकारे-मिरांडा प्रमेय}}
* {{annotated link|औसत मूल्य प्रमेय}}
* {{annotated link|गैर-परमाणु उपाय}}
* {{annotated link|बालों वाली गेंद प्रमेय}}
==संदर्भ==
{{Reflist}}
==बाहरी संबंध==
{{ProofWiki|id=Intermediate_Value_Theorem|title=Intermediate value Theorem}}
* [http://www.cut-the-knot.org/Generalization/ivt.shtml Intermediate value Theorem - Bolzano Theorem] at [[cut-the-knot]]
* [http://demonstrations.wolfram.com/BolzanosTheorem/ Bolzano's Theorem] by Julio Cesar de la Yncera, [[Wolfram Demonstrations Project]].
* {{MathWorld |title=Intermediate Value Theorem |urlname=IntermediateValueTheorem}}
* {{cite web |url=https://math.stackexchange.com/q/95867 |title=Two-dimensional version of the Intermediate Value Theorem |first=Jim |last=Belk |work=[[Stack Exchange]] |date=January 2, 2012 }}
* [[Mizar system]] proof: http://mizar.org/version/current/html/topreal5.html#T4

[[Category:Articles with short description]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 24/11/2022]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia fully protected templates|Cite web]]
[[Category:Wikipedia metatemplates]]
[[Category:कलन में प्रमेय]]
[[Category:वास्तविक विश्लेषण में प्रमेय]]
[[Category:सतत मानचित्रण]]
[[Category:साक्ष्य युक्त लेख]]