Ver el código de «Fórmula de cuadratura de Cavalieri»

{{distinguir| el [[Principio de Cavalieri]]}}

[[Archivo:X cubed plot.svg|thumb|La fórmula de cuadratura de Cavalieri calcula el área bajo una [[curva cúbica]], al igual que con otras potencias superiores.]]

En [[cálculo infinitesimal]], la '''fórmula de cuadratura de Cavalieri''', llamada así por el matemático italiano del {{siglo|XVII||s}} [[Bonaventura Cavalieri]], es la [[integración|integral]]

: <math>\int_0^a x^n\,dx = \tfrac{1}{n+1}\, a^{n+1} \qquad n \geq 0,</math>

y sus generalizaciones. Esta es la forma [[integración|integral definida]]; la [[Integración indefinida|integral indefinida]] es:

: <math>\int x^n\,dx = \tfrac{1}{n+1}\, x^{n+1} + C \qquad n \neq -1.</math>

Existen [[#Fórmulas|fórmulas]] adicionales, que se detallan más adelante. Junto con la [[lineal|linealidad]] de la integral, esta fórmula permite calcular las integrales de todos los polinomios.

El término "[[Integración numérica|cuadratura]]" es un término tradicional para [[área]]; la integral se interpreta geométricamente como el área bajo la curva {{Nowrap|''y''&nbsp;{{=}}&nbsp;''x''<sup>''n''</sup>}}. Los casos tradicionalmente importantes son {{Nowrap|''y''&nbsp;{{=}}&nbsp;''x''<sup>2</sup>}}, la cuadratura de la [[parábola (matemática)|parábola]], conocida desde la antigüedad, e {{Nowrap|''y''&nbsp;{{=}}&nbsp;1/''x''}}, la cuadratura de la [[hipérbola]], cuyo valor es un [[logaritmo]].

==Fórmulas==
===''n'' negativo ===
Para valores negativos de ''n'' (potencias negativas de ''x''), se produce un [[Singularidad matemática|singularidad]] en {{Nowrap|''x''&nbsp;{{=}}&nbsp;0}}, y por lo tanto la integral definida se sitúa en 1, en lugar de 0, cediendo:

: <math>\int_1^a x^n\,dx = \tfrac{1}{n+1} (a^{n+1} - 1) \qquad n \neq -1.</math>

Además, para valores negativos fraccionarios (no enteros) de ''n'', la potencia ''x''<sup>''n''</sup> no está [[bien definido|bien definida]], por lo tanto, la integral indefinida solo se define para ''x'' positivo. Sin embargo, siendo ''n'' un entero negativo, la potencia ''x''<sup>''n''</sup> se define para todas las ''x'' no nulas, y las integrales indefinidas y las integrales definidas se pueden hallar sus valores, y por lo tanto se pueden calcular mediante un argumento de simetría, reemplazando ''x'' por &minus;''x'', y limitando la integral definida negativa en&nbsp;&minus;1.

Sobre los números complejos, la integral definida (para valores negativos de ''n'' y ''x'') se puede definir a través de una [[integral de contorno]], pero entonces depende de la elección de la ruta, específicamente de su [[índice (análisis complejo)|índice]]: el problema geométrico es que la función define un [[espacio recubridor|recubrimiento]] con una singularidad en&nbsp;0.

===''n'' = &minus;1===
También está el caso excepcional ''n''&nbsp;=&nbsp;&minus;1, produciendo un [[logaritmo]] en lugar de una potencia de&nbsp;'' x:''

: <math>\int_1^a \frac{1}{x}\,dx = \ln a,</math>
: <math>\int \frac{1}{x}\,dx = \ln x + C, \qquad x > 0</math>

(donde "ln" significa el [[logaritmo natural]], es decir, el logaritmo de base ''[[Número e|e]]''&nbsp;=&nbsp;2.71828 ...).

La integral incorrecta a menudo se extiende a valores negativos de ''x'' a través de la elección discrecional:

: <math>\int \frac{1}{x}\,dx = \ln |x| + C, \qquad x \neq 0.</math>

Téngase en cuenta el uso del [[valor absoluto]] en la integral indefinida; una manera de dar una forma unificada a la integral, y significa que la integral de esta función impar es una función par, aunque el logaritmo solo se define para las entradas positivas, y de hecho, diferentes valores constantes de ''C'' pueden ser elegidos a cualquier lado de 0, ya que estos no cambian la derivada. La forma más general es así:<ref>"[http://golem.ph.utexas.edu/category/2012/03/reader_survey_logx_c.html Reader Survey: log|''x''| + ''C'']", Tom Leinster, ''The ''n''-category Café'', March 19, 2012</ref>
: <math>\int\frac{1}{x} \, dx= \begin{cases}
\ln |x| + C^- & x < 0 \\
\ln |x| + C^+ & x > 0
\end{cases}</math>

Sobre los números complejos no existe una función primitiva global para {{Nowrap|1/''x''}}, debido a que esta función define un [[espacio recubridor]] no trivial; esta forma es especial para los [[Número real|números reales]].

Téngase en cuenta que la integral definida comenzando desde 1 no está definida para valores negativos de ''a'', ya que pasa a través de una singularidad, aunque como 1/''x'' es una [[paridad de una función|función impar]], puede limitarse la integral definida para potencias negativas en&nbsp;&minus;1. Si se considera la posibilidad a usar [[integral impropia|integrales impropias]] y calcular el [[valor principal de Cauchy]], se obtiene <math>\int_{-c}^c \frac{1}{x}\,dx = 0,</math> que también se puede argumentar por simetría (ya que el logaritmo es impar), por lo que <math>\int_{-1}^1 \frac{1}{x}\,dx = 0,</math> no tiene importancia si la integral definida se limita en 1&nbspo&nbsp;&minus;1. Al igual que con la integral indefinida, este planteamiento es especial para los números reales, y no se extiende a los números complejos.

===Fórmulas alternativas===
La integral también se puede escribir con índices intercambiados, lo que simplifica el resultado y hace que la relación con la diferenciación ''n''-dimensional y el ''n''-cubo sea más clara:
: <math>\int_0^a x^{n-1}\,dx = \tfrac{1}{n} a^n \qquad n \geq 1.</math>
: <math>\int x^{n-1}\,dx = \tfrac{1}{n} x^n + C \qquad n \neq 0.</math>

De manera más general, estas fórmulas se pueden dar como:
: <math>\int (ax + b)^n dx= \frac{(ax + b)^{n+1}}{a(n + 1)} + C \qquad\mbox{(for } n\neq -1\mbox{)}\,\!</math>
: <math>\int\frac{1}{ax + b} dx= \frac{1}{a}\ln\left|ax + b\right| + C</math>
:Más generalmente:
::<math>\int\frac{1}{ax + b} \, dx= \begin{cases}
\frac{1}{a}\ln\left|ax + b\right| + C^- & x < -b/a \\
\frac{1}{a}\ln\left|ax + b\right| + C^+ & x > -b/a
\end{cases}</math>

==Demostración==
La prueba moderna es utilizar una función primitiva: la derivada de ''x''<sup>''n''</sup> se muestra como ''nx''<sup>''n''&minus;1</sup>, para enteros no negativos. Esto se demuestra a partir del [[teorema del binomio]] y la definición de [[derivada]], y por lo tanto, por el [[teorema fundamental del cálculo]], la [[Integración indefinida|función primitiva]] es la integral. Este método falla para <math>\int \frac{1}{x}\,dx,</math> ya que la función primitiva [[solución candidata|candidata]] es <math>\frac{1}{0} \cdot x^0</math>, que no está definida debido a la [[división por cero]]. La función [[logaritmo]], que es la función primitiva real de {{nowrap|1/''x''}}, debe introducirse y examinarse por separado.

[[Archivo:BinomialTheorem.png|right|315px|thumb|La derivada <math> (x^n)'= nx^{n-1} </math> se puede geometrizar como el cambio infinitesimal en el volumen del ''n''-cubo, que es el área de ''n'' caras, cada una de las dimensiones ''n''&nbsp;&minus;&nbsp; 1.<br />
Integrar esta imagen (apilando las caras) geometriza el teorema fundamental del cálculo, produciendo una descomposición del ''n'' cubo en ''n'' pirámides, que es una prueba geométrica de la fórmula de cuadratura de Cavalieri.]]

Para enteros positivos, esta demostración puede ser geometrizada:<ref>{{Harv|Barth|2004}},{{Harv|Carter|Champanerkar|2006}}</ref> si se considera la cantidad ''x''<sup>''n''</sup> como el volumen del ''n''-cubo (un [[hipercubo]] tiene ''n'' dimensiones), entonces la derivada es la modificación del volumen a medida que se cambia la longitud del lado: esto es ''x''<sup>''n''&minus;1</sup>, que puede interpretarse como el área de ''n'' caras, cada una de las dimensiones ''n''&nbsp;&minus;&nbsp;1 (fijando un vértice en el origen, estas son las ''n'' caras que no tocan el vértice), que corresponde al cubo que aumenta de tamaño al crecer en la dirección de estas caras, en el caso tridimensional, sumando 3 cuadrados infinitesimalmente finos, uno por cada una de estas caras. Por el contrario, geometrizando según el teorema fundamental del cálculo, acumulando estos infinitesimales (''n''&nbsp;&minus;&nbsp;1) cubos produce una (híper)-pirámide, y ''n'' de estas pirámides forman el ''n'' -cubo, que produce la fórmula. Además, hay un ''n''-pliegue de simetría cíclica del ''n''-cubo alrededor de la diagonal que recorre estas pirámides (por lo que una pirámide es un [[dominio fundamental]]). En el caso del cubo (3-cubo), así es como el volumen de una pirámide se estableció originalmente rigurosamente: el cubo tiene una simetría triple, con un dominio fundamental de pirámides, dividiendo el cubo en 3 pirámides, que corresponden al hecho de que el volumen de una pirámide es un tercio de la base multiplicado por la altura. Esto ilustra geométricamente la equivalencia entre la cuadratura de la parábola y el volumen de una pirámide, que se calcularon clásicamente por diferentes medios.

Existen pruebas alternativas, por ejemplo, [[Pierre de Fermat|Fermat]] calculó el área mediante el truco algebraico de dividir el dominio en ciertos intervalos de longitud desigual;<ref>See Rickey.</ref> alternativamente, se puede probar esto reconociendo una simetría del gráfico ''y''&nbsp;=&nbsp;''x''<sup>''n''</sup> bajo una dilatación no homogénea (por ''d'' en la dirección ''x'' y por ''d''<sup>''n''</sup> en la dirección ''y'', algebraizando las ''n'' dimensiones de la dirección ''y''),<ref>{{Harv|Wildberger|2002}}</ref> o deduciendo la fórmula para todos los valores enteros expandiendo el resultado para ''n''&nbsp;=&nbsp;&minus;1 y comparando los coeficientes.<ref>{{Harv|Bradley|2003}}</ref>

==Historia==
[[Archivo:Parabolic Segment.svg|thumb|Arquímedes calculó el área de segmentos parabólicos en su obra ''[[La cuadratura de la parábola]]''.]]

Una discusión detallada de la historia de los cálculos de cuadratuda, con las fuentes originales, se da en {{Harv|Laubenbacher|Pengelley|1998|loc=Capítulo 3, Análisis: Cálculo de Áreas y Volúmenes}}; véase también [[historia del cálculo]] y la [[Integración|historia de la integración]].

El caso de la parábola fue probado en la antigüedad por el matemático de la Grecia clásica [[Arquímedes]] en su obra "[[La cuadratura de la parábola]]" ({{siglo|III|a|s}}), a través del [[método exhaustivo|método de exhaustación]]. Cabe destacar que Arquímedes calculó el área ''dentro'' de una parábola, el llamado ''segmento parabólico'', en lugar del área bajo el gráfico {{nowrap|''y''&nbsp;{{=}}&nbsp;''x''<sup>2</sup>}}, enfoque este último propio de la perspectiva de la [[geometría analítica]]. Estos son cálculos equivalentes, pero reflejan una diferencia de perspectiva. Los antiguos griegos, entre otros, también calcularon el volumen de una [[Pirámide (geometría)|pirámide]] o un [[Cono (geometría)|cono]], que son matemáticamente equivalentes.

En el {{siglo|XI||s}}, el [[Matemática en el islam medieval|matemático islámico]] [[Alhacén]] calculó las integrales de [[polinomio cúbico|curvas cúbicas]] y [[polinomio cuártico|cuárticas]] (grados tres y cuatro) a través de [[inducción matemática]], en su "[[Libro de Óptica]]".<ref name=Katz>Victor J. Katz (1995), "Ideas of Calculus in Islam and India", ''Mathematics Magazine'' '''68''' (3): 163–174 [165–9 & 173–4]</ref>

Cavalieri calculó el caso de los enteros superiores para ''n'' hasta 9, usando su método de indivisibles ([[Principio de Cavalieri]]).<ref>{{Harv|Struik|1986|loc=pp. 215–216}}</ref> Interpretó estas integrales superiores como cálculos de volúmenes de mayor dimensión, aunque solo de manera informal, dado que aún no estaba familiarizado con este tipo de objetos geométricos.<ref>{{Harv|Laubenbacher|Pengelley|1998}} – see [http://www.math.nmsu.edu/~history/book/analysissynopsis.html Informal pedagogical synopsis of the Analysis chapter] {{Wayback|url=http://www.math.nmsu.edu/~history/book/analysissynopsis.html |date=20180826150306 }} for brief form</ref> Este método de cuadratura fue luego extendido por el matemático italiano [[Evangelista Torricelli]] a otras curvas como la [[cicloide]]. Posteriormente, la fórmula fue generalizada a potencias fraccionarias y negativas por el matemático inglés [[John Wallis]], en su obra ''[[John Wallis|Arithmetica Infinitorum]]'' (1656), que también estandarizó la noción y la notación de las potencias racionales, aunque Wallis interpretó incorrectamente el caso excepcional ''n''&nbsp;=&nbsp;&minus;1 (cuadratura de la hipérbola) antes de ser finalmente expuesto en términos rigurosos con el desarrollo de la [[integración]].

Antes de la formalización de Wallis de las potencias fraccionarias y negativas, que permitían usar funciones ''explícitas'' <math>y=x^{p/q},</math>, estas curvas se manejaban ''implícitamente'', a través de las ecuaciones <math>x^p=ky^q</math> y <math>x^py^q=k</math> (''p'' y ''q'' siempre enteros positivos) y se referían respectivamente a '''parábolas superiores''' e '''hipérbolas superiores''' (o ''parábolas superiores'' y ''hipérbolas superiores''). [[Pierre de Fermat]] también calculó estas áreas (excepto en el caso excepcional de &minus;1) mediante un truco algebraico: calculó la cuadratura de las hipérbolas superiores dividiendo la línea en intervalos iguales, y luego calculó la cuadratura de las parábolas superiores usando una división en intervalos "desiguales", presumiblemente invirtiendo las divisiones que utilizó para las hipérbolas.<ref>Véase la referencia a Rickey con la discusión y otras referencias más detalladas.</ref> Sin embargo, como en el resto de su trabajo, las técnicas de Fermat fueron trucos más [[ad hoc]] que tratamientos sistemáticos, y no se considera que jugasen un papel importante en el posterior desarrollo del cálculo.

Es de destacar que Cavalieri solo comparó áreas con áreas y volúmenes con volúmenes, que siempre tienen ''dimensiones'', mientras que la noción de considerar un área como ''unidades'' de área (en relación con una unidad estándar), y por lo tanto carente de unidades, parece haberse originado con Wallis,<ref>Ball, 281</ref><ref>Britannica, 171</ref> quién estudió las potencias fraccionarias y negativas. La decisión de tratar los valores calculados como números sin unidades le permitió interpretar las dimensiones fraccionarias y negativas.

El caso excepcional de &minus;1 (la hipérbola estándar) fue tratado con éxito por primera vez por [[Grégoire de Saint-Vincent]] en su ''Opus geometricum quadrature circuli et sectionum coni'' (1647), aunque un tratamiento formal tuvo que esperar hasta el desarrollo del [[logaritmo natural]], lo que fue conseguido por [[Nikolaus Mercator]] en su ''Logarithmotechnia'' (1668).

==Referencias==
{{listaref}}

===Historia===
{{refbegin}}
* Cavalieri, '' Geometria indivisibilibus (continuorum nova quadam ratione promota) '' (Geometría, expuesta de una manera nueva con la ayuda de indivisibles de lo continuo), 1635.
* Cavalieri, '' Exercitationes Geometricae Sex '' ("Seis ejercicios geométricos"), 1647
** en [[Dirk Jan Struik]], editor, '' Un libro fuente en matemáticas, 1200-1800 '' (Princeton University Press, Princeton, Nueva Jersey, 1986). {{ISBN|0-691-08404-1}}, {{ISBN|0-691-02397-2}} (pbk).
* '' Expediciones matemáticas: crónicas de los exploradores '', Reinhard Laubenbacher, David Pengelley, 1998, Sección 3.4: 'Cavalieri calcula áreas de parábolas superiores', [https://books.google.com/books?id=ubFg7DI83JoC&pg= PA125 pp. 123-127 / 128]
* "Una cuenta breve de la historia de las matemáticas", Walter William Rouse Ball, "Cavalieri", [https://books.google.com/books?id=_sT_psl3uYkC&pg=PA278 p. 278-281]
* "[http://eom.springer.de/i/i050950.htm cálculo infinitesimal]", "Enciclopedia de Matemáticas"
* '' The Britannica Guide to Analysis and Calculus '', de Educational Britannica Educational, [https://books.google.com/books?id=ML5Uuo16D58C&pg=PA171 p. 171] - discute Wallace principalmente
{{refend}}

===Demostraciones===
{{refbegin}}
* "[https://web.archive.org/web/20110720101905/http://www.math.usma.edu/people/rickey/hm/CalcNotes/Fermat-Integration.pdf Fermat's Integration of Powers]", en '' [https://web.archive.org/web/20110720102613/http://www.math.usma.edu/people/rickey/hm/CalcNotes/default.htm Historical Notes for Calculus Teachers] '' de {{Enlace roto|1=[http://www.math.usma.edu/people/ rickey / V. Frederick Rickey] |2=http://www.math.usma.edu/people/ |bot=InternetArchiveBot }} - da la prueba algebraica de Fermat de la fórmula en lenguaje moderno
* {{cite journal
|last1=Wildberger
|first1=N. J.
|title=A new proof of Cavalieri's quadrature formula
|journal=The American Mathematical Monthly
|volume=109
|issue=9
|pages=843–845
|year=2002
|doi=10.2307/3072373
|jstor=3072373
}}
* {{Cite journal
| last = Bradley
| first = David M.
| title = Remark on Cavalieri's quadrature formula
| arxiv = math/0505059
| journal = The American Mathematical Monthly
| volume = 110| issue = 5| page = 437
|date=May 2003
| bibcode = 2005math......5059B
| postscript =, appeared in print at end of [https://www.jstor.org/pss/3647831 Zeros of the Alternating Zeta Function on the Line R(S) = 1]
}}
* {{cite journal
|last1 = Barth
|first1 = N. R.
|title = Computing Cavalieri's quadrature formula by a symmetry of the n-cube
|journal = The American Mathematical Monthly
|volume = 111
|issue = 9
|pages = 811–813
|year = 2004
|doi = 10.2307/4145193
|jstor = 4145193
}}
* {{Cite arxiv
| last1 = Carter
| first1 = J. Scott
| last2 = Champanerkar
| first2 = Abhijit
| title = A geometric method to compute some elementary integrals
| eprint = math/0608722
| year = 2006
}}
* ''Una prueba geométrica de la fórmula de cuadratura de Cavalieri'' [http://www.lix.polytechnique.fr/Labo/Ilan.Vardi/index.html Ilan Vardi] <!-- unpublished, a short exposition of “dividing a cube from the center” into 2n pyramids -->
{{refend}}

==Enlaces externos==
* {{mathworld |title=Cavalieri's Quadrature Formula |id=CavalierisQuadratureFormula }}
* [http://researchspace.csir.co.za/dspace/bitstream/10204/5267/1/Grobler5_2011.pdf Integración Cavalieri]
* [https://books.google.com/books?id=XmRsZhJZGhEC&lpg=PA214&hl=fr&pg=PA214#v=onepage&q&f=false D. J. Struik, "Un libro fuente en matemáticas, 1200-1800", pág. 214]

{{Control de autoridades}}
[[Categoría:Integrales]]
[[Categoría:Polinomios]]