Ver la fonte de Teorema fundamental del cálculu

El '''teorema fundamental del cálculu''' consiste (intuitivamente) na afirmación de que la [[derivada|derivación]] y [[integración indefinida|integración]] d'una [[Función (matemátiques)|función]] son operaciones inverses.<ref name=MV>{{cita web|títulu=El Teorema Fundamental del Cálculu (1)|url=http://www.matematicasvisuales.com/html/analisis/ftc/ftc1.html|obra=Matemátiques Visuales|idioma=es|fechaaccesu=15 de marzu de 2016}}</ref> Esto significa que toa función acutada y integrable (siendo continua o discontinua nun númberu finito de puntos) verifica que la derivada de la so integral ye igual a ella mesma. Esti teorema ye central na caña de les [[matemátiques]] denomada [[analís matemáticu]] o cálculu.

El teorema foi fundamental porque hasta entós el cálculu averáu d'árees integrales- nel que se venía trabayando dende [[Arquímedes]], yera una caña de les matemátiques que se siguía por separáu del cálculu diferencial que se venía desenvolviendo por [[Isaac Newton]], [[Isaac Barrow]] y [[Gottfried Leibniz]] nel [[sieglu XVIII]], y dio llugar a conceutos como'l de les derivaes. Les integrales yeren investigaes como formes d'estudiar [[área|árees]] y [[volume]], hasta que nesi puntu de la hestoria dambes cañes converxeron, al demostrase que l'estudiu del "área so una función" taba íntimamente venceyáu al cálculu diferencial, resultando la integración, la operación inversa a la derivación.

Una consecuencia direuta d'esti teorema ye la [[regla de Barrow]],<ref name=RB>{{cita web|títulu=La Regla de Barrow|url=http://www.sectormatematica.cl/contenidos/barrow.htm|obra=Secctor Matemática|idioma=es|fechaaccesu=15 de marzu de 2016|urlarchivu=https://web.archive.org/web/20160820002341/http://www.sectormatematica.cl/contenidos/barrow.htm|fechaarchivu=2016-08-20}}</ref> denomada n'ocasiones '''segundu teorema fundamental del cálculu''', y que dexa calcular la integral d'una función utilizando la [[integral indefinida]] de la función al ser integrada.

== Historia ==

El teorema fundamental del cálculu referir a la diferenciación ya integración, demostrando qu'estos dos operaciones son esencialmente inverses la una de la otra. Antes del descubrimientu d'esti teorema, nun se reconoció qu'estos dos operaciones taben rellacionaes. Los antiguos matemáticos griegos sabíen cómo calcular l'área al traviés de los [[infinitesimal]]es, una operación qu'agora llamaríamos integración. Los oríxenes de la diferenciación son tamién anteriores al teorema fundamental del cálculu en cientos d'años; por casu, nel sieglu XIV les nociones de ''continuidá'' de funciones y de ''movimientu'' yeren estudiaes polos [[calculadores de Oxford]] y otros estudiosos. La relevancia histórica del teorema fundamental del cálculu nun ye la capacidá de calcular estes operaciones, sinón la constatación de qu'estos dos operaciones distintes n'apariencia (cálculu d'árees xeométriques y cálculu de velocidaes) taben finalmente n'estrecha rellación.

La primer declaración publicada y prueba d'una versión acutada del teorema fundamental foi fecha por [[James Gregory]] (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. 114].
</ref> [[Isaac Barrow]] (1630–1677) demostró una versión más xeneralizada del teorema,<ref>Vease en:[https://archive.org/details/geometricallectu00barruoft]</ref> ente que l'estudiante de Barrow, [[Isaac Newton]] (1642–1727), completó'l desenvolvimientu de la teoría matemática concernida. [[Gottfried Leibniz]] (1646–1716) sistematizó la conocencia nun cálculu de les cantidaes infinitesimales ya introdució la notación utilizada na actualidá.

== Intuición xeométrica ==

[[Ficheru:FTC geometric.svg |400px|thumb|L'área rayada en colloráu puede ser calculada como ''h'' vegaes ''f(x)'', o, si conociera la función ''A(X)'', como ''A(x+h) − A(x)''. Estos valores son aproximao iguales, especialemente pa valores pequeños de ''h''.]]

Supóngase que se tien una función continua ''y'' = f(''x'') y que la so representación gráfica ye una curva. Entós, pa cada valor de ''x'' tien sentíu de manera intuitiva pensar qu'esiste una función ''A''(''x'') que representa l'área so la curva ente 0 y ''x'' entá ensin conocer la so espresión.

Supóngase agora que quier calculase l'área so la curva ente ''x'' y ''x''+''h''. Podría faese topando l'área ente 0 y ''x''+''h'' y depués restando l'área ente 0 y ''x''. En resume, l'área sería ''A''(''x''+''h'') − ''A''(''x'').

Otra manera d'envalorar esta mesma área ye multiplicar ''h'' por f(''x'') pa topar l'área d'un rectángulu que coincide aproximao cola "loncha". Nótese que l'aproximamientu al área buscada ye más precisa cuanto más pequeñu sía'l valor de ''h''.

Poro, puede dicise que ''A''(''x''+''h'') − ''A''(''x'') ye aproximao igual a f(''x'') · ''h'', y que la precisión d'esti aproximamientu ameyora al menguar el valor de ''h''. N'otres pallabres, ƒ(''x'')·''h'' ≈ ''A''(''x''+''h'') − ''A''(''x''), convirtiéndose esti aproximamientu n'igualdá cuando ''h'' tiende a 0 como llende.

Estremando los dos llaos de la ecuación por ''h'' llógrase {{ecuación|<math>f(x)
\approx \frac{A(x+h)-A(x)}{h}.</math>}}

Cuando ''h'' tiende a 0, reparar que'l miembru derechu de la ecuación ye cenciellamente la derivada ''A''’(''x'') de la función ''A''(''x'') y que'l miembru esquierdu quedar en ƒ(''x'') al yá nun tar ''h'' presente.

Amuésase entós de manera informal que ƒ(''x'') = ''A''’(''x''), esto ye, que la derivada de la función d'área ''A''(''x'') ye en realidá la función ƒ(''x''). Dichu d'otra forma, la función d'área ''A''(''x'') ye la antiderivada de la función orixinal.
{|{{tablaguapa}}
||[[Ficheru:Fundamental theorem of calculus (animation).gif]]
|}
Lo que s'amosó ye que, intuitivamente, calcular la derivada d'una función y "topar l'área" so la so curva son operaciones "inverses", esto ye, l'oxetivu del teorema fundamental del cálculu integral.

== Primer teorema fundamental del cálculu ==

{{teorema|1=Dada una [[Función (matemátiques)|función]] ''f'' integrable sobre'l [[intervalu (matemática)|intervalu]] <math>[a,b]</math>, definimos ''F'' sobre <math>[a,b]</math> por <math>F(x) = {\int_{a}^x f(t)dt}</math>. Si ''f'' ye [[continuidá (matemátiques)|continua]] en <math>c \in (a,b)</math>, entós ''F'' ye [[derivada|derivable]] en <math>c</math> y ''F'(c) = f(c)''.}}

Usando la [[Regla de la cadena]] llogramos de resultes direuta del primer teorema fundamental del cálculu infinitesimal:

{{teorema|<math>\frac{d}{dx}{\int_{a(x)}^{b(x)}f(t)dt} = f(b(x)) \cdot b'(x) - f(a(x)) \cdot a'(x)</math>}}

Siendo ''f''(''t'') una función integrable sobre l'intervalu [''a''(''x''),''b''(''x'')] con ''a''(''x'') y ''b''(''x'') derivables.
 
{{Demostración|plegada=sí|títulu=Demostración del teorema fundamental del cálculu|1=
* Lema 

Sía '''<math>f</math>''' integrable sobre <math>[a,b]</math> y

{{ecuación|<math>m \leq f(x) \leq M \; \forall x \in [a,b]</math>}}

Entós

{{ecuación|<math>m(b-a) \leq {\int_a^b f(t)dt} \leq M(b-a)</math>}}

* Demostración del lema 
Ta claro que <math>m(b-a)\leq L(f,P) \ \hbox{y}\ O(f,P) \leq M(b-a)</math> pa toa partición <math>P</math>. 
Yá que <math> \int_{a}^{b}f = \sup {L(f,P)}=\inf{O(f,P)}</math>, la desigualdá síguese darréu.

* Demostración del terorema

Por definición tiense que <math>F'(c)={ \lim_{h \rightarrow 0} {\frac{F(c+h)-F(c)}{h}} }</math>.

Sía h>0. Entós <math>F(c+h)-F(c)={\int_c^{c+h} f(t)dt}</math>.

Defínese <math>m_h</math> y <math>M_h</math> como:

{{ecuación|<math>m_h = \inf\{f(x)| c\leq x \leq c+h\}</math>,}}
{{ecuación|<math>M_h = \sup\{f(x)| c\leq x \leq c+h\}</math>}}

Aplicando'l 'lema' reparar que:
{{ecuación|<math>m_h \cdot h \leq {\int_c^{c+h} f(t)dt} \leq M_h \cdot h</math>.}}

Poro,

{{ecuación|<math>m_h \leq \frac{F(c+h)-F(c)}{h} \leq M_h</math>}}

Sía <math>h < 0</math>. Sean

{{ecuación|<math>{m^*}_h = \inf \{ f(x)|c+h \leq x \leq c \}</math>,}}
{{ecuación|<math>{M^*}_h = \sup \{ f(x)|c+h \leq x \leq c \}</math>.}}

Aplicando'l 'lema' reparar que:

{{ecuación|<math>{m^*}_h \cdot (-h) \leq {\int_{c+h}^c f(t)dt } \leq {M^*}_h \cdot (-h) </math>.}}

Como:
{{ecuación|<math>F(c+h)-F(c)={\int_c^{c+h} f(t)dt} = -{\int_{c+h}^{c} f(t)dt}</math>,}}

entós, {{ecuación|<math>{M^*}_h
\cdot h \leq F(c+h)-F(c) \leq {m^*}_h \cdot h</math>.}}

Yá que <math>h < 0</math>, tiense que:

{{ecuación|<math>{m^*}_h \leq \frac{F(c+h)-F(c)}{h} \leq {M^*}_h</math>.}}

Y como '''<math>f</math>''' ye continua en '''c''' tiense que

{{ecuación|<math>\lim_{h \rightarrow 0} m_h = \lim_{h \rightarrow 0} M_h = \lim_{h \rightarrow 0} {m^*}_h = \lim_{h \rightarrow 0} {M^*}_h = f(c)</math>,}}

y esto lleva a que

{{ecuación|<math>F'(c)={ \lim_{h \rightarrow 0} {\frac{F(c+h)-F(c)}{h}} } = f(c)</math>.}}
}}
=== Exemplos ===

:<math>F(x) = \int_{0}^{x} t^2 dt \quad\Rightarrow\quad F'(x) = x^2 </math>
:<math>H(x) = \int_{0}^{y^{3x}} \sin(t) dt \quad\rightarrow\quad H'(x) = \sin(y^{3x}) y^{3x} \cdot3 </math>
:<math>G(x) = \int_{0}^{x^2} \arcsin(t) dt\quad \rightarrow\quad G'(x) = \arcsin(x^2) \cdot 2x </math>
:<math>J(x) = \int_{0}^{\int_{a}^{x} \frac{1}{(1+\sin^2t)}dt} \frac{1}{(1+\sin^2t)} dt\quad \rightarrow\quad J'(x)= \frac{1}{(1+\sin^2(\int_{a}^{x} \frac{1}{(1+\sin^2t)}dt))} \,\cdot\, \frac{1}{(1+\sin^2x)} </math>
 
{{Demostración|plegada=sí|títulu=Otra demostración del teorema fundamental del cálculu |1=
Coyendo un intervalu zarráu <math>[a,x]</math> sobre <math>[a,b]</math>, yá que <math>f(t)</math> ye continua en <math>[a,b]</math>, tamién lo será en <math>[a,x]</math>.

Según el teorema del valor mediu pa integrales cumplir que:

{{ecuación|
<math>
 \exists \xi\in[a,x]
 : \quad
 f(\xi)=
 \frac{1}{x-a}\int_{a}^{x}f(t)dt
</math>
||left}}

Faciendo l'intervalu bien pequeñu de tal manera que <math>x \longrightarrow \ a </math> y por cuenta de esi enclín tiense tamién que <math>\xi \longrightarrow \ a </math>

Polo que nes llendes llegar a:

{{ecuación|
<math> \lim_{\xi \to a} f(\xi) = \lim_{x \to a} \frac{\int_{a}^{x}f(t)dt}{x-a} </math>
||left}}

Sabemos que :

<math>\int_{a}^{a}f(t)dt = 0 </math>

Entós la ecuación puede escribir como :

{{ecuación|
<math> \lim_{\xi \to a} f(\xi) = \lim_{x \to a} \frac{\int_{a}^{x}f(t)dt - \int_{a}^{a}f(t)dt}{x-a} </math>
||left}}

Yá que <math> F(x)=\int_{a}^{x}f(t)dt </math> , entós <math> F(a)=\int_{a}^{a}f(t)dt </math>

{{ecuación|
<math> \lim_{\xi \to a} f(\xi) = \lim_{x \to a} \frac{F(x) - F(a)}{x-a} </math>
||left}}

Y por cuenta de que <math>f(t) </math> ye continua n'a, entós <math> \lim_{\xi \to a} f(\xi) = f(a) </math>

{{ecuación|
<math> f(a) = \lim_{x \to a} \frac{F(x) - F(a)}{x-a} </math>
||left}}

Vista la ecuación d'otra manera:

{{ecuación|
<math> f(x)|_{x=a} = \frac{dF(x)}{dx}|_{x=a} </math>
||left}}

Polo tanto {{ecuación| 

<math> \frac{dF(x)}{dx} = f(x) </math>
||left}}

O tamién

{{ecuación|
<math> \frac{d}{dx}\int_{a}^{x}f(t)dt = f(x) </math>
||left}}

Y en consecuencia 

{{ecuación|
<math>
 \forall c\in(a,b)
 : \quad
 \frac{d}{dx}\int_{a}^{x}f(t)dt\ |_{x=c} = f(c)
</math>
||left}}

Con ello demuestra'l primer teorema fundamental del cálculu.
}}

== Segundu teorema fundamental del cálculu ==

El '''segundu teorema fundamental del cálculu integral''' (o '''regla de [[Isaac Newton|Newton]]-[[Leibniz]]''', o tamién '''regla de Barrow''', n'honor al [[matemáticu]] [[Reinu Xuníu|inglés]] [[Isaac Barrow]], profesor d'[[Isaac Newton]]) ye una propiedá de les [[continuidá (matemátiques)|funciones continues]] que dexa calcular fácilmente'l valor de la [[integral definida]] a partir de cualesquier de les [[función primitiva|primitives]] de la función.

=== Enunciáu ===
{{teorema|1=
Dada una [[función matemática|función]] ''f(x)'' [[Integral (matemátiques)|integrable]] nel [[Intervalu (matemática)|intervalu]] [a,b] y sía F(x) cualesquier [[función primitiva]] de f, ye dicir F '(x) = f(x). Entós

:<math>\int_{a}^{b} f(x) dx = F(b) - F(a)</math>
}}

{{Demostración|plegada=sí|títulu=Demostración del segundu teorema fundamental del cálculu|1=

Considérese la siguiente primitiva de <math>f</math> definida nel intervalu <math>[a,b]</math>:
{{ecuación|<math>G(x)= \int_a^x f(t)dt </math>.}}

esto debíu al primera teorema fundamental del cálculu'l cual establez que:

{{ecuación|<math>G'(x)=f(x) {\ } \forall x \in [a,b]</math>.}}

Como <math>G</math> y <math>F</math> son primitives de <math>f</math>, entós:

{{ecuación|<math>\exists C \in \mathbb{R}: {\ }G(x)=F(x)+C, {\ } \forall x \in [a,b]</math>.}}

Reparar que:
{{ecuación|<math>0=G(a)=F(a)+c \,</math>}}

y de eso síguese que <math>c=-F(a) \,</math>; poro,

{{ecuación|<math>G(x) = F(x) - F(a) \,</math>.}}

Y en particular si <math>x=b</math>:

{{ecuación|<math>\int_a^b f(t)dt = G(b) = F(b) - F(a) </math>}}
}}

=== Exemplos ===

:<math>\int_0^{\pi} \cos(x)dx = \sin(\pi)-\sin(0)=0</math>

:<math>\int_1^y \frac{dx}{x} = \ln(y)-\ln(1)=1</math>

Como puede integrase darréu.

== Ver tamién ==
* [[Métodos d'integración]]
* [[Regla de Leibniz]]
* [[Integral de Riemann]]

== Referencies ==
{{llistaref}}
* [https://books.google.es/books?id=Z5-JhzoChqIC&lpg=PR3&dq=Apostol%2C%20Calculus%2C%20Vol.%201%3A&hl=es&pg=PR3#v=onepage&q&f=false APOSTOL, Cálculus]
* [https://books.google.es/books?id=mjdXY8rshREC&lpg=PP1&dq=Spivak&hl=es&pg=PP1#v=onepage&q=Spivak&f=false SPIVAK, Cálculu Infinitesimal]

== Enllaces esternos ==
* [http://www.uam.es/personal_pdi/ciencias/barcelo/histmatem/calculo/calculo.html El descubrimientu del cálculu integral] {{Webarchive|url=https://web.archive.org/web/20160512140348/http://uam.es/personal_pdi/ciencias/barcelo/histmatem/calculo/calculo.html |date=2016-05-12 }} – Universidá Autónoma de Madrid
* [https://web.archive.org/web/20071215115129/http://recursos.pnte.cfnavarra.es/~msadaall/geogebra/figures/d7teorema.html Interpretación gráfica del Teorema Fundamental del Cálculu] – Manuel Sada Allo
* {{MathWorld|FundamentalTheoremsofCalculus|Teorema fundamental del cálculu}}
* [https://web.archive.org/web/20070625162103/http://mathdl.maa.org/convergence/1/?pa=content&sa=viewDocument&nodeId=388&bodyId=343 Demostración Euclidiana del TFC] – James Gregory, en [https://web.archive.org/web/20060212072618/http://mathdl.maa.org/convergence/1/ Convergence] (n'inglés)
* [https://web.archive.org/web/20090514055524/http://www.maths.uwa.edu.au/~schultz/3M3/L18Barrow.html Isaac Barrow's proof of the Fundamental Theorem of Calculus] (n'inglés)






{{Tradubot|Teorema fundamental del cálculo}}

{{control d'autoridaes}}
[[Categoría:Cálculu integral|Teorema fundamental del cálculu]]
[[Categoría:Teoremas fundamentales|Cálculu]]
[[Categoría:Teoremas de cálculu Fundamental del cálculu]]
[[Categoría:Ciencia y teunoloxía del Reinu Xuníu]]