View source for कलन का मौलिक प्रमेय

{{Short description|Relationship between derivatives and integrals}}
{{Calculus}}

कैलकुलस का मौलिक [[प्रमेय]] एक प्रमेय है जो किसी फलन के व्युत्पन्न की अवधारणा को जोड़ता है (इसकी [[ढलान]] की गणना, या प्रत्येक समय परिवर्तन की दर की गणना) को समाकलित फलन (इसके ग्राफ के अंतर्गत क्षेत्रफल की गणना, या संचयी) की अवधारणा से जोड़ता है। छोटे योगदान का प्रभाव) दो कार्यवाही स्थिर मान के अतिरिक्त एक दूसरे के व्युत्क्रम हैं जो इस बात पर निर्भर करता है कि कोई क्षेत्र की गणना कहाँ से प्रारंभ करता है।

प्रमेय का पहला भाग, कैलकुलस का पहला मूलभूत प्रमेय, बताता है कि किसी फलन {{mvar|f}} के लिए , प्रतिपक्षी या अनिश्चित समाकल के अभिन्न के रूप में प्राप्त किया जा सकता है। {{mvar|F}} चर ऊपरी सीमा के साथ अंतराल पर इसका तात्पर्य [[निरंतर कार्य]] के लिए प्रतिपक्षी के अस्तित्व से है।<ref name=Spivak>{{Citation |last=Spivak|first=Michael|year=1980|title=Calculus|edition=2nd|publication-place=Houston, Texas| publisher=Publish or Perish Inc.}}</ref>

इसके विपरीत, प्रमेय का दूसरा भाग, कैलकुलस का दूसरा मूलभूत प्रमेय, बताता है कि किसी फलन का समाकल {{mvar|f}} निश्चित अंतराल पर (गणित) किसी भी प्रतिपक्षी के परिवर्तन के बराबर है {{mvar|F}} अंतराल के सिरों के बीच यह निश्चित अभिन्न की गणना को बहुत सरल करता है, परंतु [[प्रतीकात्मक एकीकरण]] द्वारा प्रतिपक्षी पाया जा सकता है, इस प्रकार [[संख्यात्मक एकीकरण]] से बचा जा सकता है।

{{TOC limit|3}}

== इतिहास ==
{{See also|कैलकुलस का इतिहास}}

कैलकुलस का मौलिक प्रमेय विभेदीकरण और एकीकरण से संबंधित है, यह दर्शाता है कि ये दो संक्रियाएँ अनिवार्य रूप से एक दूसरे की व्युत्क्रम संक्रिया हैं। इस प्रमेय की खोज से पहले, यह मान्यता नहीं थी कि ये दोनों कार्यवाही से संबंधित थे। प्राचीन [[ग्रीक गणित]] जानता था कि [[infinimals|अनंतता]] के माध्यम से क्षेत्र की [[गणना]] कैसे की जाती है, कार्यवाही जिसे अब हम एकीकरण कहते हैं। विभेदीकरण की उत्पत्ति इसी तरह कलन के मौलिक प्रमेय से सैकड़ों वर्ष पहले से हुई है; उदाहरण के लिए, चौदहवीं शताब्दी में [[ऑक्सफोर्ड कैलकुलेटर]] और अन्य विद्वानों द्वारा कार्यों और [[गति]] के निरंतर कार्य की धारणाओं का अध्ययन किया गया था। कैलकुलस के मौलिक प्रमेय की ऐतिहासिक प्रासंगिकता इन संक्रियाओं की गणना करने की क्षमता नहीं है, उचित रूप से यह अनुभव है कि दो प्रतीत होने वाले अलग-अलग संक्रियाएं (ज्यामितीय क्षेत्रों की गणना, और [[ ढाल |ढाल]] की गणना) वास्तव में निकट से संबंधित हैं।

कलन के मौलिक प्रमेय के अनुमान और प्रमाण से, एकीकरण और विभेदन के एकीकृत सिद्धांत के रूप में कलन की प्रारंभ होती है। मौलिक प्रमेय के प्रारंभिक रूप का पहला प्रकाशित बयान और प्रमाण, चरित्र में दृढ़ता से ज्यामितीय,<ref name=GregoryGeometry>{{cite journal| last=Malet|first=Antoni|title=श्रृंखला विस्तार के लिए स्पर्शरेखा और "टेलर" नियम पर जेम्स ग्रेगोरी| publisher=[[Springer Science+Business Media|Springer-Verlag]]|year=1993|journal=[[Archive for History of Exact Sciences]]|volume=46|issue=2|pages=97–137|doi=10.1007/BF00375656|s2cid=120101519|quote=Gregorie's thought, on the other hand, belongs to a conceptual framework strongly geometrical in character. (page 137)}}</ref> जेम्स ग्रेगोरी (गणितज्ञ) (1638-1675) द्वारा किया गया था।<ref>
See, e.g., Marlow Anderson, Victor J. Katz, Robin J. Wilson, ''Sherlock Holmes in Babylon and Other Tales of Mathematical History'', Mathematical Association of America, 2004, [https://books.google.com/books?id=BKRE5AjRM3AC&pg=PA114 p.&nbsp;114].
</ref><ref name=geometriae>{{cite book| last=Gregory | first=James | title=ज्यामिति का सार्वभौमिक भाग| url=https://archive.org/details/gregory_universalis | publisher= Patavii: typis heredum Pauli Frambotti | year=1668 | location=[[Museo Galileo]] }}</ref> [[इसहाक बैरो]] (1630-1677) ने प्रमेय का अधिक सामान्यीकृत संस्करण सिद्ध किया,<ref name=BarrowGeometricLectures>{{cite book| last1=Child | first1= James Mark | last2=Barrow | first2=Isaac| title= इसहाक बैरो के ज्यामितीय व्याख्यान| year=1916 | url=https://archive.org/details/geometricallectu00barruoft| publisher= Chicago: [[Open Court Publishing Company]]}}</ref> जबकि उनके छात्र [[आइजैक न्यूटन]] (1642-1727) ने आसपास के गणितीय सिद्धांत के विकास को पूरा किया। [[गॉटफ्रीड लीबनिज]] (1646-1716) ने ज्ञान को अनंत मात्राओं के लिए कैलकुलस में व्यवस्थित किया और आज प्रयोग किए जाने वाले लीबनिज के अंकन को प्रस्तुत किया।

== ज्यामितीय अर्थ ==
[[File:FTC_geometric.svg|500px|thumb|right|लाल धारियों में छायांकित क्षेत्र के समीप है {{mvar|h}} बार {{math|''f''(''x'')}}. वैकल्पिक रूप से, यदि फलन {{math|''A''(''x'')}} ज्ञात थे, यह क्षेत्र बिल्कुल होगा {{math|''A''(''x'' + ''h'') − ''A''(''x'')}}. ये दो मूल्य लगभग बराबर हैं, अधिकांशतः {{mvar|h}} छोटे के लिए.]]पहले मौलिक प्रमेय की व्याख्या इस प्रकार की जा सकती है। निरंतर कार्य {{math|1=''y'' = ''f''(''x'')}} दिया गया है जिसका ग्राफ वक्र के रूप में प्लॉट किया गया है, संबंधित क्षेत्र फलन को परिभाषित करता है <math>x\mapsto A(x)</math> ऐसा है कि {{math|''A''(''x'')}} 0 और x के बीच वक्र के नीचे का क्षेत्र है {{math|''A''(''x'')}} सरलता से संगणनीय नहीं हो सकता है, लेकिन इसे अच्छी तरह से परिभाषित माना जाता है।

वक्र के नीचे का क्षेत्र {{mvar|x}} और {{math|''x'' + ''h''}} के बीच का क्षेत्रफल ज्ञात करके गणना की जा सकती है फिर बीच के क्षेत्र {{math|0}} और {{mvar|x}} को घटाना दूसरे शब्दों में, इस पट्टी का क्षेत्रफल {{math|''A''(''x'' + ''h'') − ''A''(''x'')}} होगा ।

इसी पट्टी के क्षेत्रफल का अनुमान लगाने का एक और विधि है। जैसा कि संलग्न चित्र में दिखाया गया है, आयत का क्षेत्रफल ज्ञात करने के लिए {{mvar|h}} को {{math|''f''(''x'')}} से गुणा किया जाता है जो इस पट्टी के लगभग समान आकार का है। इसलिए:
<math display="block">A(x+h)-A(x) \approx f(x) \cdot h</math>
वास्तव में, यह अनुमान पूर्ण समानता बन जाता है यदि हम आरेख में लाल अतिरिक्त क्षेत्र जोड़ते हैं। इसलिए:
<math display="block">A(x+h)-A(x)=f(x)\cdot h+\text{ (Excess)}</math>
पुनर्व्यवस्थित शर्तें:
<math display="block">f(x) = \frac{A(x+h)-A(x)}{h} - \frac{\text{Excess}}{h}.</math>
जैसा {{mvar|h}} पहुँचता है {{math|0}} किसी फलन की सीमा में, अंतिम अंश शून्य पर जाना चाहिए।<ref>[[Lipman Bers|Bers, Lipman]]. ''Calculus'', pp.&nbsp;180–181 (Holt, Rinehart and Winston (1976).</ref> इसे देखने के लिए, ध्यान दें कि अतिरिक्त क्षेत्र छोटे काले-सीमा वाले आयत के अंदर है, जो अतिरिक्त क्षेत्र के लिए ऊपरी सीमा देता है:<blockquote><math>|\text{Excess}| \le  h\,(f(x{+}h_1) - f(x{+}h_2)),</math></blockquote>जहाँ <math>x+h_1</math> और <math>x + h_2</math> वे बिंदु हैं {{mvar|f}} अंतराल {{closed-closed|''x'', ''x'' + ''h''}} में क्रमशः अपने अधिकतम और न्यूनतम तक पहुँचता है '''{{closed-closed|''x'', ''x'' + ''h''}}'''.

इस प्रकार:
<math display="block">\left|f(x) - \frac{A(x+h) - A(x)}{h}\right| 
= \frac{|\text{Excess}|}{h} \le \frac{h(f(x+h_1) - f(x+h_2))}{h} 
= f(x{+}h_1) - f(x{+}h_2),</math>{{mvar|f}}  की निरंतरता से '''{{mvar|f}}''', दाहिने हाथ की अभिव्यक्ति शून्य हो जाती है जैसे {{mvar|h}} करता है। इसलिए, बाईं ओर भी शून्य हो जाता है, और:

<math display="block">f(x) = \lim_{h\to 0}\frac{A(x+h)-A(x)}{h}
\ \stackrel{\text{def}}{=}\ A'(x).</math>
अर्थात्, क्षेत्र फलन का व्युत्पन्न {{math|''A''(''x'')}} उपस्थित है और मूल कार्य {{math|''f''(''x'')}} के बराबर है, इसलिए क्षेत्र फलन मूल फलन का अवकलज है।

इस प्रकार, फलन (क्षेत्र) के अभिन्न अंग का व्युत्पन्न मूल कार्य है, इसलिए व्युत्पन्न और अभिन्न व्युत्क्रम कार्य हैं जो एक दूसरे को उल्टा करते हैं। यह मौलिक प्रमेय का सार है।

== शारीरिक अंतर्ज्ञान ==
सहजता से, मौलिक प्रमेय में कहा गया है कि एकीकरण और भेदभाव अनिवार्य रूप से विपरीत संचालन हैं जो एक दूसरे को उलट देते हैं।

दूसरा मौलिक प्रमेय कहता है कि समय के साथ मात्रा में अपरिमेय परिवर्तनों का योग (मात्रा के व्युत्पन्न का अभिन्न अंग) मात्रा में शुद्ध परिवर्तन तक जुड़ जाता है। इसकी कल्पना करने के लिए, कार में यात्रा करने की कल्पना करें और तय की गई दूरी (राजमार्ग के साथ स्थिति में शुद्ध परिवर्तन) जानना चाहते हैं। आप स्पीडोमीटर पर वेग देख सकते हैं लेकिन अपना स्थान देखने के लिए बाहर नहीं देख सकते। प्रत्येक सेकेंड, आप यह पता लगा सकते हैं कि कार ने कितनी दूर की यात्रा की है। दूरी = गति × समय, वर्तमान गति (किलोमीटर या मील प्रति घंटे में) को समय अंतराल (1 सेकंड = <math>\tfrac{1}{3600}</math> घंटा)। इन सभी छोटे कदमों का योग करके, आप कार से बाहर देखे बिना तय की गई कुल दूरी की गणना कर सकते हैं:<math display="block">\text{distance traveled} 
= \sum \left( \begin{array}{c}
\text{velocity at}\\ \text{each time}\end{array}\right) \times 
\left( \begin{array}{c}
\text{time}\\ \text{interval}\end{array}\right)
= \sum v(t)\times \Delta t.</math>जैसा <math>\Delta t</math> इनफिनिटिमल छोटा हो जाता है, समाकलन इंटीग्रल के अनुरूप होता है। इस प्रकार, वेग फलन का अभिन्न अंग (स्थिति का व्युत्पन्न) गणना करता है कि कार ने कितनी दूर यात्रा की है (स्थिति में शुद्ध परिवर्तन)

पहला मौलिक प्रमेय कहता है कि कोई भी मात्रा निश्चित समय से चर समय तक मात्रा के अभिन्न अंग के परिवर्तन (व्युत्पन्न) की दर है। उपरोक्त उदाहरण को जारी रखते हुए, यदि आप वेग फलन की कल्पना करते हैं, तो आप इसे दूरी फलन प्राप्त करने के लिए प्रारंभी समय से किसी भी समय तक एकीकृत कर सकते हैं जिसका व्युत्पन्न दिया गया वेग है। (हाईवे-मार्कर स्थिति प्राप्त करने के लिए, आपको इस इंटीग्रल में अपनी प्रारंभिक स्थिति जोड़ने की आवश्यकता है।)

== औपचारिक बयान ==
प्रमेय के दो भाग हैं। पहला भाग प्रतिपक्षी के व्युत्पन्न से संबंधित है, जबकि दूसरा भाग प्रतिपक्षी और निश्चित अभिन्न के बीच के संबंध से संबंधित है।

=== पहला भाग ===
इस भाग को कभी-कभी कलन की पहली मौलिक प्रमेय के रूप में जाना जाता है।<ref>{{harvnb|Apostol|1967|loc=§5.1}}</ref>

मान लीजिये {{mvar|f}} [[बंद अंतराल]] {{closed-closed|''a'', ''b''}} पर परिभाषित निरंतर वास्तविक-मूल्यवान कार्य हो {{mvar|F}}{{closed-closed|''a'', ''b''}} में सभी के लिए {{mvar|x}} परिभाषित कार्य हो।
<math display="block">F(x) = \int_a^x f(t)\, dt.</math>
फिर [[समान रूप से निरंतर|समान रूप {{math|[''a'', ''b'']}} पर निरंतर]] है और खुले अंतराल {{open-open|''a'', ''b''}} पर अलग-अलग है, और
<math display="block">F'(x) = f(x)</math>
{{open-open|''a'', ''b''}} सभी {{mvar|x}} के लिए {{mvar|F}}, {{mvar|f}} का अवकलज है।

=== परिणाम ===
[[File:Fundamental_theorem_of_calculus_(animation_).gif|thumb|पथरी का मौलिक प्रमेय (एनीमेशन)]]किसी फलन के निश्चित समाकल की गणना करने के लिए मूलभूत प्रमेय का प्रयोग अधिकांशतः किया जाता है <math>f</math> जिसके लिए प्रतिपक्षी ज्ञात है। विशेष रूप से, अगर <math>f</math> पर एक वास्तविक-मूल्यवान सतत फलन है <math>[a,b]</math> और <math>F</math> का प्रतिपक्षी है <math>f</math> में <math>[a,b]</math> तब
<math display="block">\int_a^b f(t)\, dt = F(b)-F(a).</math>
उपप्रमेय पूरे अंतराल पर सतत कार्य मानता है। इस परिणाम को प्रमेय के अगले भाग में थोड़ा सा पुष्ट किया गया है।

===दूसरा भाग===
इस भाग को कभी-कभी कलन न्यूटन-लीबनिज अभिगृहीत की दूसरी मौलिक प्रमेय के रूप में जाना जाता है।<ref>{{harvnb|Apostol|1967|loc=§5.3}}</ref>

तब <math>f</math> बंद अंतराल पर वास्तविक-मूल्यवान फलन और <math>F</math> सतत कार्य प्रारंभ है <math>[a,b]</math> जो कि प्रतिकूल है <math>f</math> में <math>(a,b)</math>:
<math display="block">F'(x) = f(x).</math>
अगर <math>f</math> [[रीमैन इंटीग्रेबल]] ऑन है <math>[a,b]</math> तब
<math display="block">\int_a^b f(x)\,dx = F(b) - F(a).</math>
दूसरा भाग उपप्रमेय से कुछ सीमा तक मजबूत है क्योंकि यह ऐसा नहीं मानता है <math>f</math> निरंतर है।

जब विरोधी <math>F</math> का <math>f</math> उपस्थित है, तो इसके लिए असीम रूप से कई प्रतिपक्षी हैं मनमाना स्थिरांक जोड़कर प्राप्त किया. साथ ही, प्रमेय के पहले भाग द्वारा, के प्रतिअवकलज <math>f</math> हमेशा उपस्थित जब <math>f</math> निरंतर है।

== पहले भाग का प्रमाण ==
किसी दिए गए फलन के लिए {{math|''f''}}, फलन को परिभाषित करें {{math|''F''(''x'')}} जैसा
<math display="block">F(x) = \int_a^x f(t) \,dt.</math>
किन्हीं दो नंबरों के लिए {{math|''x''<sub>1</sub>}} और {{math|''x''<sub>1</sub> + Δ''x''}} में {{closed-closed|''a'', ''b''}}, अपने पास

<math display=block>\begin{align}F(x_1 + \Delta x) - F(x_1) &= \int_a^{x_1 + \Delta x} f(t) \,dt - \int_a^{x_1} f(t) \,dt
\\& =\int_{x_1}^{x_1 + \Delta x} f(t) \,dt, \end{align}</math>
इंटीग्रल के मूल गुणों और क्षेत्रों की योगात्मकता के परिणामस्वरूप बाद की समानता।

औसत मूल्य प्रमेय के अनुसार निश्चित इंटीग्रल के लिए पहला औसत मूल्य प्रमेय, वास्तविक संख्या उपस्थित है <math>c \in [x_1, x_1 + \Delta x]</math> ऐसा है कि
<math display="block">\int_{x_1}^{x_1 + \Delta x} f(t) \,dt = f(c)\cdot \Delta x.</math>
यह इस प्रकार है कि
<math display="block">F(x_1 + \Delta x) - F(x_1) = f(c)\cdot \Delta x,</math>
और इस प्रकार वह
<math display="block">\frac{F(x_1 + \Delta x) - F(x_1)}{\Delta x} = f(c).</math>
सीमा के रूप में लेना <math>\Delta x \to 0,</math> और इसे ध्यान में रखते हुए <math>c \in [x_1, x_1 + \Delta x],</math> मिलता है
<math display="block">\lim_{\Delta x \to 0} \frac{F(x_1 + \Delta x) - F(x_1)}{\Delta x} = \lim_{\Delta x \to 0} f(c), </math>
वह है,
 <math display="block">F'(x_1) = f(x_1),</math>
व्युत्पन्न की परिभाषा के अनुसार, की निरंतरता {{mvar|f}}, और [[निचोड़ प्रमेय]]।<ref>{{citation|last=Leithold|first=L.|year=1996|title=The calculus of a single variable|edition=6th| publication-place=New York|publisher=HarperCollins College Publishers|page=380}}.</ref>


== प्रमेय का प्रमाण ==
कल्पना करना {{mvar|F}} का अवकलज है {{mvar|f}}, साथ {{mvar|f}} लगातार {{closed-closed|''a'', ''b''}}. होने देना
<math display="block">G(x) = \int_a^x f(t)\, dt.</math>
प्रमेय के पहले भाग से, हम जानते हैं {{mvar|G}} का भी प्रतिपक्षी है {{mvar|f}}. तब से {{math|1=''F''′ − ''G''′ = 0}} [[औसत मूल्य प्रमेय]] का तात्पर्य है {{math|''F'' − ''G''}} स्थिर कार्य है, अर्थात एक संख्या है {{mvar|c}} ऐसा है कि {{math|1=''G''(''x'') = ''F''(''x'')&thinsp;+&thinsp;''c''}} सभी के लिए {{mvar|x}} में {{closed-closed|''a'', ''b''}}. दे {{math|1=''x'' = ''a''}}, अपने पास
<math display="block">F(a) + c = G(a) = \int_a^a f(t)\, dt = 0,</math>
अर्थात् {{math|1=''c'' = −''F''(''a'')}}. दूसरे शब्दों में, {{math|1=''G''(''x'') = ''F''(''x'') − ''F''(''a'')}}, इसलिए
<math display="block">\int_a^b f(x)\, dx = G(b) = F(b) - F(a).</math>


== दूसरे भाग का प्रमाण ==
यह [[रीमैन इंटीग्रल]] द्वारा सीमा प्रमाण है।

आरंभ करने के लिए, हम माध्य मान प्रमेय को याद करते हैं। संक्षेप में कहा गया है, अगर {{mvar|F}} बंद अंतराल पर निरंतर है {{closed-closed|''a'', ''b''}} और खुले अंतराल पर अलग-अलग {{open-open|''a'', ''b''}}, तो कुछ उपस्थित है {{mvar|c}} में {{open-open|''a'', ''b''}} ऐसा है कि
<math display="block">F'(c)(b - a) = F(b) - F(a). </math>
होने देना {{mvar|f}} हो (रीमैन) अंतराल पर पूर्णांक {{closed-closed|''a'', ''b''}}, और जाने {{mvar|f}} प्रतिपक्षी स्वीकार करें {{mvar|F}} पर {{open-open|''a'', ''b''}} ऐसा है कि {{mvar|F}} लगातार प्रारंभ है {{closed-closed|''a'', ''b''}}. मात्रा से प्रारंभ करें {{math|''F''(''b'') − ''F''(''a'')}}. नंबर होने दो {{math|''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>}} ऐसा है कि
<math display="block">a = x_0 < x_1 < x_2 < \cdots < x_{n-1} < x_n = b. </math>
यह इस प्रकार है कि
<math display="block">F(b) - F(a) = F(x_n) - F(x_0). </math>
अब, हम प्रत्येक को जोड़ते हैं {{math|''F''(''x''<sub>''i''</sub>)}} इसके योगात्मक व्युत्क्रम के साथ, ताकि परिणामी मात्रा बराबर हो:
<math display="block">\begin{align}
F(b) - F(a)
&= F(x_n) + [-F(x_{n-1}) + F(x_{n-1})] + \cdots + [-F(x_1) + F(x_1)] - F(x_0) \\
&= [F(x_n) - F(x_{n-1})] + [F(x_{n-1}) - F(x_{n-2})] + \cdots + [F(x_2) - F(x_1)] + [F(x_1) - F(x_0)].
\end{align}</math>
उपरोक्त मात्रा को निम्न योग के रूप में लिखा जा सकता है:
{{NumBlk||<math display="block">F(b) - F(a) = \sum_{i=1}^n [F(x_i) - F(x_{i-1})].</math>|{{EquationRef|1'}}}}

फलन {{mvar|F}} अंतराल पर अवकलनीय है {{open-open|''a'', ''b''}} और बंद अंतराल पर निरंतर {{closed-closed|''a'', ''b''}}; इसलिए, यह भी प्रत्येक अंतराल पर अवकलनीय है {{open-open|''x''<sub>''i''−1</sub>, ''x''<sub>''i''</sub>}} और प्रत्येक अंतराल पर निरंतर {{closed-closed|''x''<sub>''i''−1</sub>, ''x''<sub>''i''</sub>}}. औसत मूल्य प्रमेय (ऊपर) के अनुसार, प्रत्येक के लिए {{mvar|i}} वहाँ एक उपस्थित है <math>c_i</math> में {{open-open|''x''<sub>''i''−1</sub>, ''x''<sub>''i''</sub>}} ऐसा है कि
<math display="block">F(x_i) - F(x_{i-1}) = F'(c_i)(x_i - x_{i-1}). </math>
उपरोक्त को प्रतिस्थापित करना ({{EquationNote|1'}}), हम पाते हैं
<math display="block">F(b) - F(a) = \sum_{i=1}^n [F'(c_i)(x_i - x_{i-1})].</math>
धारणा का तात्पर्य है <math>F'(c_i) = f(c_i).</math> भी, <math>x_i - x_{i-1}</math> के रूप में व्यक्त किया जा सकता है <math>\Delta x</math> विभाजन का <math>i</math>.
{{NumBlk||<math display="block">F(b) - F(a) = \sum_{i=1}^n [f(c_i)(\Delta x_i)]. </math>|{{EquationRef|2'}}}}

[[File:Riemann integral irregular.gif|frame|right|रीमैन योगों का अभिसारी क्रम। ऊपरी बाएँ में संख्या नीले आयतों का कुल क्षेत्रफल है। वे फलन के निश्चित अभिन्न अंग में अभिसरण करते हैं।]]हम आयत के क्षेत्रफल का वर्णन कर रहे हैं, चौड़ाई गुणा ऊंचाई के साथ, और हम क्षेत्रों को एक साथ जोड़ रहे हैं। प्रत्येक आयत, औसत मूल्य प्रमेय के आधार पर, उस वक्र खंड के सन्निकटन का वर्णन करता है जिस पर इसे खींचा गया है। भी <math>\Delta x_i</math> के सभी मानों के लिए समान नहीं होना चाहिए {{mvar|i}}, या दूसरे शब्दों में कहें कि आयतों की चौड़ाई अलग-अलग हो सकती है। हमें जो करना है वह वक्र के साथ अनुमानित है {{mvar|n}} आयतें। अब, जैसे-जैसे विभाजन का आकार छोटा होता जाता है और {{mvar|n}} बढ़ता है, जिसके परिणामस्वरूप अंतरिक्ष को कवर करने के लिए और अधिक विभाजन होते हैं, हम वक्र के वास्तविक क्षेत्र के और समीप आते जाते हैं।

अभिव्यक्ति की सीमा लेने से जैसे-जैसे विभाजन का मानदंड शून्य के करीब पहुंचता है, हम रीमैन इंटीग्रल पर पहुंचते हैं। हम जानते हैं कि यह सीमा उपस्थित है क्योंकि {{mvar|f}} को पूर्णांक माना गया था। अर्थात्, हम सीमा लेते हैं क्योंकि सबसे बड़ा विभाजन आकार में शून्य तक पहुंचता है, ताकि अन्य सभी विभाजन छोटे हों और विभाजनों की संख्या अनंत तक पहुंच जाए।

इसलिए, हम दोनों पक्षों की सीमा लेते हैं ({{EquationNote|2'}}). यह हमें देता है
<math display="block">\lim_{\| \Delta x_i \| \to 0} F(b) - F(a) = \lim_{\| \Delta x_i \| \to 0} \sum_{i=1}^n [f(c_i)(\Delta x_i)].</math>
कोई भी नहीं {{math|''F''(''b'')}} और न {{math|''F''(''a'')}} पर निर्भर है <math>\|\Delta x_i\|</math>, इसलिए बाईं ओर की सीमा बनी रहती है {{math|''F''(''b'') − ''F''(''a'')}}.
<math display="block">F(b) - F(a) = \lim_{\| \Delta x_i \| \to 0} \sum_{i=1}^n [f(c_i)(\Delta x_i)].</math>
समीकरण के दाईं ओर का व्यंजक समाकल ओवर को परिभाषित करता है {{mvar|f}} से {{mvar|a}} को {{mvar|b}}. इसलिए, हम प्राप्त करते हैं
<math display="block">F(b) - F(a) = \int_a^b f(x)\,dx,</math>
जो प्रमाण को पूरा करता है।

== भागों के बीच संबंध ==

जैसा कि ऊपर चर्चा की गई है, दूसरे भाग का थोड़ा कमजोर संस्करण पहले भाग से आता है।

इसी तरह, यह लगभग ऐसा लगता है जैसे प्रमेय का पहला भाग सीधे दूसरे से आता है। यानी मान लीजिए {{mvar|G}} का अवकलज है {{mvar|f}}. फिर दूसरे प्रमेय द्वारा, <math display="inline">G(x) - G(a) = \int_a^x f(t) \, dt</math>. अब, मान लीजिए <math display="inline">F(x) = \int_a^x f(t)\, dt = G(x) - G(a)</math>. तब {{mvar|F}} के समान व्युत्पन्न है {{mvar|G}}, और इसलिए {{math|1=''F''′ = ''f''}}. चूंकि, यह तर्क तभी काम करता है, जब हम पहले से ही यह जानते हों {{mvar|f}} में प्रतिपक्षी है, और एकमात्र विधि है कि हम जानते हैं कि सभी निरंतर कार्यों में प्रतिपक्षी हैं, जो कि मौलिक प्रमेय के पहले भाग से है।<ref name=Spivak/> उदाहरण के लिए, अगर {{math|1=''f''(''x'') = ''e''<sup>−''x''<sup>2</sup></sup>}}, तब {{mvar|f}} में प्रतिपक्षी है, अर्थात्
<math display="block">G(x) = \int_0^x f(t) \, dt</math>
और इस फलन के लिए कोई सरल अभिव्यक्ति नहीं है। इसलिए यह महत्वपूर्ण है कि प्रमेय के दूसरे भाग की व्याख्या समाकलन की परिभाषा के रूप में न की जाए। वास्तव में, कई गैर-प्राथमिक अभिन्न हैं, और असंतुलित कार्य पूर्णांक हो सकते हैं, लेकिन किसी भी प्रतिपक्षी की कमी है। इसके विपरीत, कई कार्य जिनमें एंटीडेरिवेटिव होते हैं, रीमैन इंटेग्रेबल नहीं होते हैं (देखें वोल्टेरा का कार्य)।

== उदाहरण ==

=== विशेष अभिन्न कंप्यूटिंग ===
मान लीजिए निम्नलिखित की गणना की जानी है:
<math display="block">\int_2^5 x^2\, dx. </math>
यहाँ, <math>f(x) = x^2 </math> और हम उपयोग कर सकते हैं <math display="inline">F(x) = \frac{1}{3}x^3 </math> प्रतिपक्षी के रूप में। इसलिए:
<math display="block">\int_2^5 x^2\, dx = F(5) - F(2) = \frac{5^3}{3} - \frac{2^3}{3} = \frac{125}{3} - \frac{8}{3} = \frac{117}{3} = 39.</math>


=== पहले भाग का प्रयोग ===
कल्पना करना
<math display="block">
\frac{d}{dx} \int_0^x t^3\, dt
</math>
गणना की जानी है। के साथ प्रमेय के पहले भाग का उपयोग करना <math>f(t) = t^3 </math> देता है
<math display="block">
\frac{d}{dx} \int_0^x t^3\, dt = f(x)= x^3.
</math>
ध्यान दें कि इसे प्रमेय के दूसरे भाग का उपयोग करके भी जाँचा जा सकता है। विशेष रूप से, <math display="inline">F(t) = \frac{1}{4}t^4 </math> का प्रतिपक्षी है <math>f(t)</math>, इसलिए
<math display="block">
\frac{d}{dx} \int_0^x t^3\, dt = \frac{d}{dx} F(x) - \frac{d}{dx} F(0) = \frac{d}{dx} \frac{x^4}{4} = x^3.
</math>


=== एक अभिन्न जहां उपप्रमेय अपर्याप्त है ===
कल्पना करना
<math display="block">
f(x)=\begin{cases} \sin\left(\frac1x\right)-\frac1x\cos\left(\frac1x\right) & x\ne0\\
0 & x=0\\
\end{cases}
</math>
तब <math>f(x)</math> शून्य पर सतत नहीं है। इसके अतिरिक्त, यह सिर्फ कैसे की बात नहीं है <math>f</math> शून्य पर परिभाषित किया गया है, क्योंकि सीमा के रूप में <math>x\to0</math> का <math>f(x)</math> उपस्थित नहीं होना। इसलिए, परिणाम की गणना करने के लिए उपयोग नहीं किया जा सकता है
<math display="block">
\int_0^1 f(x)\, dx.
</math>
लेकिन फलन पर विचार करें
<math display="block">
F(x)=\begin{cases} x\sin\left(\frac1x\right) & x\ne0\\
0 & x=0.\\
\end{cases}
</math>
नोटिस जो <math>F(x)</math> निरंतर प्रारंभ है <math>[0,1]</math> (निचोड़ प्रमेय द्वारा शून्य सहित), और <math>F(x)</math> पर अवकलनीय है <math>(0,1)</math> साथ <math>F'(x)=f(x).</math> इसलिए, प्रमेय का भाग दो प्रयुक्त होता है, और
<math display="block">
\int_0^1 f(x)\, dx=F(1)-F(0)=\sin(1).
</math>


=== सैद्धांतिक उदाहरण ===
इसे सिद्ध करने के लिए प्रमेय का उपयोग किया जा सकता है
<math display="block">\int_a^b f(x) dx = \int_a^c f(x) dx+\int_c^b f(x) dx.</math>
तब से,
 <math display="block"> \begin{align}
\int_a^b f(x) dx &= F(b)-F(a), \\
\int_a^c f(x) dx &= F(c)-F(a), \text{ and } \\
\int_c^b f(x) dx &= F(b)-F(c), 
\end{align}</math>
परिणाम इस प्रकार है,
 <math display="block">F(b)-F(a) = F(c)-F(a)+F(b)-F(c).</math>


== सामान्यीकरण ==
फलन {{mvar|f}} पूरे अंतराल में निरंतर नहीं होना चाहिए। प्रमेय का भाग I तब कहता है: यदि {{mvar|f}} कोई भी लेबेस्ग इंटीग्रेशन फलन प्रारंभ है {{closed-closed|''a'', ''b''}} और {{math|''x''<sub>0</sub>}} में एक संख्या है {{closed-closed|''a'', ''b''}} ऐसा है कि {{mvar|f}} पर निरंतर {{math|''x''<sub>0</sub>}} है, तब
<math display="block">F(x) = \int_a^x f(t)\, dt</math>
के लिए अवकलनीय है {{math|1=''x'' = ''x''<sub>0</sub>}} साथ {{math|1=''F''′(''x''<sub>0</sub>) = ''f''(''x''<sub>0</sub>)}}. हम शर्तों में ढील दे सकते हैं {{mvar|f}} अभी भी और मान लीजिए कि यह केवल स्थानीय रूप से पूर्णांक है। उस स्थिति में, हम यह निष्कर्ष निकाल सकते हैं कि function {{mvar|F}} [[लगभग हर जगह]] अलग-अलग है और {{math|1=''F''′(''x'') = ''f''(''x'')}} लगभग हर जगह। [[वास्तविक रेखा]] पर यह कथन लेबेस्ग विभेदन प्रमेय | लेबेस्ग की विभेदन प्रमेय के समतुल्य है। ये परिणाम हेनस्टॉक-कुर्जवील इंटीग्रल के लिए सही रहते हैं, जो बड़े वर्ग के पूर्णांक कार्यों की अनुमति देता है।{{sfnp|Bartle|2001|loc=Thm. 4.11}}

उच्च आयामों में लेबेस्ग की विभेदन प्रमेय कैलकुलस के मौलिक प्रमेय को यह कहते हुए सामान्यीकृत करती है कि लगभग प्रत्येक के लिए {{mvar|x}}, फलन का औसत मूल्य {{mvar|f}} त्रिज्या की गेंद पर {{mvar|r}} पर केंद्रित है {{mvar|x}} आदत है {{math|''f''(''x'')}} जैसा {{mvar|r}} 0 की ओर जाता है।

प्रमेय का भाग II किसी भी लेबेस्ग पूर्णांकीय फलन के लिए सत्य है {{mvar|f}}, जिसमें प्रतिपक्षी है {{mvar|F}} (चूंकि, सभी पूर्णांक कार्य नहीं करते हैं)। दूसरे शब्दों में, यदि एक वास्तविक कार्य {{mvar|F}} पर {{closed-closed|''a'', ''b''}} व्युत्पन्न स्वीकार करता है {{math|''f''(''x'')}} हर बिंदु पर {{mvar|x}} का {{closed-closed|''a'', ''b''}} और यदि यह व्युत्पन्न है {{mvar|f}} लेबेस्ग पर पूर्णांक है {{closed-closed|''a'', ''b''}}, तब<ref>{{harvnb|Rudin|1987|loc=th. 7.21}}</ref>
<math display="block">F(b) - F(a) = \int_a^b f(t) \, dt.</math>
यह परिणाम निरंतर कार्यों के लिए विफल हो सकता है {{mvar|F}} जो व्युत्पन्न स्वीकार करते हैं {{math|''f''(''x'')}} लगभग हर बिंदु पर {{mvar|x}}, जैसा कि [[कैंटर समारोह|कैंटर फलन]] का उदाहरण दिखाता है। चूंकि, यदि {{mvar|F}} [[पूर्ण निरंतरता]] है, यह व्युत्पन्न स्वीकार करता है {{math|''F′''(''x'')}} लगभग हर बिंदु पर {{mvar|x}}, और इसके अतिरिक्त {{mvar|F′}} पूर्णांक है, साथ {{math|''F''(''b'') − ''F''(''a'')}} के अभिन्न के बराबर {{mvar|F′}} पर {{closed-closed|''a'', ''b''}}. इसके विपरीत यदि {{mvar|f}} तब कोई पूर्णांक कार्य है {{mvar|F}} जैसा कि पहले सूत्र में दिया गया है, के साथ पूर्णतः सतत होगा {{math|1=''F′'' = ''f''}} लगभग हर जगह होगा।

इस प्रमेय की शर्तों को फिर से हेनस्टॉक-कुर्जवील इंटीग्रल के रूप में शामिल इंटीग्रल पर विचार करके आराम दिया जा सकता है। विशेष रूप से, यदि सतत कार्य {{math|''F''(''x'')}} व्युत्पन्न स्वीकार करता है {{math|''f''(''x'')}} बिल्कुल, लेकिन फिर गिनती के कई बिंदु {{math|''f''(''x'')}} हेनस्टॉक-कुर्ज़वील पूर्णांक है और {{math|''F''(''b'') − ''F''(''a'')}} के अभिन्न के बराबर है {{mvar|f}} पर {{closed-closed|''a'', ''b''}}. यहाँ अंतर यह है कि की अभिन्नता {{mvar|f}} ग्रहण करने की आवश्यकता नहीं है।{{sfnp|Bartle|2001|loc=Thm. 4.7}}

टेलर के प्रमेय का संस्करण, जो त्रुटि शब्द को अभिन्न के रूप में व्यक्त करता है, को मौलिक प्रमेय के सामान्यीकरण के रूप में देखा जा सकता है।

[[जटिल संख्या]] कार्यों के लिए प्रमेय का संस्करण है: मान लीजिए {{mvar|U}} [[खुला सेट|खुला सम्मुचय]] है और {{math|''f'' : ''U'' → '''C'''}} एक ऐसा कार्य है जिसमें एक [[होलोमॉर्फिक फ़ंक्शन|होलोमॉर्फिक फलन]] एंटीडेरिवेटिव है {{mvar|F}} पर {{mvar|U}}. फिर हर वक्र के लिए {{math|γ : [''a'', ''b''] → ''U''}}, वक्र समाकलन की गणना इस रूप में की जा सकती है
<math display="block">\int_\gamma f(z) \,dz = F(\gamma(b)) - F(\gamma(a)).</math>
मौलिक प्रमेय को उच्च आयामों और [[कई गुना]] में वक्र और सतह के अभिन्न अंग के लिए सामान्यीकृत किया जा सकता है। गतिमान सतहों की कलन द्वारा प्रस्तुत किया गया ऐसा ही एक सामान्यीकरण [[इंटीग्रल का समय विकास]] है। उच्च आयामों में कलन के मौलिक प्रमेय के सबसे परिचित विस्तार [[विचलन प्रमेय]] और [[ढाल प्रमेय]] हैं।

इस दिशा में सबसे शक्तिशाली सामान्यीकरणों में से एक है सामान्यीकृत '''स्टोक्स प्रमेय |''' स्टोक्स प्रमेय (कभी-कभी बहुभिन्नरूपी कैलकुलस के मौलिक प्रमेय के रूप में जाना जाता है):<ref>{{Cite book|title-link=कई गुना पर पथरी (book)|title=कई गुना पर पथरी| last=Spivak|first=M.|publisher=W. A. Benjamin|year=1965|isbn=978-0-8053-9021-6|location=New York|pages=124–125}}</ref> होने देना {{mvar|M}} एक उन्मुख टुकड़े-टुकड़े [[आयाम]] का असीम रूप से अलग-अलग हो {{mvar|n}} और जाने <math>\omega</math> एक सुगठित रूप से समर्थित विभेदक रूप बनें{{math|(''n''&thinsp;−&thinsp;1)}}-फॉर्म ऑन {{mvar|M}}. अगर {{math|∂''M''}} के कई गुना को दर्शाता है {{mvar|M}} इसके प्रेरित ओरिएंटेशन (गणित) को देखते हुए
<math display="block">\int_M d\omega = \int_{\partial M} \omega.</math>
यहाँ {{math|''d''}} [[बाहरी व्युत्पन्न]] है, जिसे केवल कई गुना संरचना का उपयोग करके परिभाषित किया गया है।

प्रमेय का प्रयोग अधिकांशतः उन स्थितियों में किया जाता है जहां {{mvar|M}} कुछ बड़े कई गुना (उदा। {{math|'''R'''<sup>''k''</sup>}}) जिस पर प्रपत्र <math>\omega</math> परिभाषित किया गया।

कैलकुलस का मौलिक प्रमेय हमें एक निश्चित समाकलन को पहले क्रम के साधारण अंतर समीकरण के रूप में प्रस्तुत करने की अनुमति देता है।
<math display="block">\int_a^b f(x)\, dx</math>
के रूप में प्रस्तुत किया जा सकता है
<math display="block">\frac{dy}{dx}=f(x),\;\; y(a)=0 </math>
साथ <math>y(b)</math> अभिन्न के मूल्य के रूप में।

== यह भी देखें ==
{{Portal|Mathematics}}
* [[अभिन्न चिह्न के तहत भेदभाव]]
* [[टेलीस्कोपिंग श्रृंखला]]
* ढाल प्रमेय
* विभेदीकरण के लिए संकेतन

==टिप्पणियाँ==
{{reflist|group=Note}}


==संदर्भ==
{{Reflist|30em}}




===ग्रन्थसूची===
{{refbegin}}
* {{Citation | last1=Apostol | first1=Tom M. | author1-link=Tom M. Apostol | title=Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra | publisher=[[John Wiley & Sons]] | location=New York | edition=2nd | isbn=978-0-471-00005-1 | year=1967 | url-access=registration | url=https://archive.org/details/calculus01apos }}.
* {{Citation | last1=Bartle | first1=Robert | title=A Modern Theory of Integration | publisher=AMS | isbn=0-8218-0845-1 | year=2001}}.
* {{citation|last=Leithold|first=L.|year=1996|title=The calculus of a single variable|edition=6th|publication-place=New York|publisher=HarperCollins College Publishers}}.
* {{citation|last=Rudin|first=Walter|author-link=Walter Rudin|year=1987|title=Real and Complex Analysis|edition=third| publication-place=New York|publisher=McGraw-Hill Book Co.|isbn=0-07-054234-1 }}
{{refend}}


==अग्रिम पठन==
{{refbegin}}
* {{citation|last1=Courant|first1=Richard|last2=John|first2=Fritz|title=Introduction to Calculus and Analysis|publisher=Springer|year=1965}}.
* {{citation|last1=Larson|first1=Ron|first2=Bruce H.|last2=Edwards|first3=David E.|last3=Heyd|title=Calculus of a single variable|edition=7th| isbn=978-0-618-14916-2 | publication-place=Boston|publisher=Houghton Mifflin Company|year=2002}}.
* [[Antoni Malet|Malet, A.]], ''Studies on James Gregorie (1638-1675)'' (PhD Thesis, Princeton, 1989).
* Hernandez Rodriguez, O. A.; Lopez Fernandez, J. M. . "[http://www.maa.org/publications/periodicals/convergence/teaching-the-fundamental-theorem-of-calculus-a-historical-reflection-introduction Teaching the Fundamental Theorem of Calculus: A Historical Reflection]", ''Loci: Convergence'' ([[Mathematical Association of America|MAA]]), January 2012.
* {{citation|last=Stewart|first=J.|year=2003|contribution=Fundamental Theorem of Calculus|title=Calculus: early transcendentals| publication-place=Belmont, California|publisher=Thomson/Brooks/Cole}}.
* {{citation|editor=Turnbull, H. W.|title=The James Gregory Tercentenary Memorial Volume|publication-place=London|year=1939}}.
{{refend}}


==बाहरी संबंध==
{{wikibooks}}
* {{springer|title=Fundamental theorem of calculus|id=p/n066550}}
* [https://web.archive.org/web/20070715022739/http://mathdl.maa.org/convergence/1/?pa=content&sa=viewDocument&nodeId=388&bodyId=343 James Gregory's Euclidean Proof of the Fundamental Theorem of Calculus] at Convergence
* [http://school.maths.uwa.edu.au/~schultz/L18Barrow.html Isaac Barrow's proof of the Fundamental Theorem of Calculus]
* [https://imomath.com/index.cgi?page=calculusDefiniteIntegralsFundamentalTheoremOfCalculus Fundamental Theorem of Calculus at imomath.com]
* [https://web.archive.org/web/20160613164124/http://www.proofs.wiki/Fundamental_theorem_of_calculus Alternative proof of the fundamental theorem of calculus]
* [https://ocw.mit.edu/courses/18-01sc-single-variable-calculus-fall-2010/pages/unit-3-the-definite-integral-and-its-applications/part-a-definition-of-the-definite-integral-and-first-fundamental-theorem/session-47-introduction-of-the-fundamental-theorem-of-calculus/ Fundamental Theorem of Calculus] [[MIT]].
* [http://mathworld.wolfram.com/FundamentalTheoremsofCalculus.html Fundamental Theorem of Calculus] [[Mathworld]].

{{Calculus topics}}
{{Analysis-footer}}

[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Collapse templates]]
[[Category:Created On 26/04/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using sidebar with the child parameter]]
[[Category:Pages with empty portal template]]
[[Category:Pages with maths render errors]]
[[Category:Pages with script errors]]
[[Category:Portal templates with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:पथरी में प्रमेय]]
[[Category:प्रमाण युक्त लेख]]
[[Category:वास्तविक विश्लेषण में प्रमेय]]