El método de agotamiento ( latín : Methodus exhaustionis ) es un método para encontrar el área de una forma inscribiendo en su interior una secuencia de polígonos cuyas áreas convergen al área de la forma que la contiene . Si la secuencia se construye correctamente, la diferencia de área entre el enésimo polígono y la forma que lo contiene será arbitrariamente pequeña a medida que n se haga grande. A medida que esta diferencia se vuelve arbitrariamente pequeña, los valores posibles para el área de la forma se "agotan" sistemáticamente por las áreas de límite inferior establecidas sucesivamente por los miembros de la secuencia.
El método de agotamiento requería típicamente una forma de prueba por contradicción , conocida como reducción al absurdo . Esto equivale a encontrar el área de una región comparándola primero con el área de una segunda región, que puede "agotarse" de modo que su área se acerque arbitrariamente al área verdadera. La prueba implica suponer que el área verdadera es mayor que la segunda área, demostrar que esa afirmación es falsa, asumir que es menor que la segunda área y luego demostrar que esa afirmación también es falsa.
.jpg/1280px-Gr%C3%A9goire_de_Saint-Vincent_(1584-1667).jpg)
La idea se originó a finales del siglo V a. C. con Antífona , aunque no está del todo claro qué tan bien la entendió. [1] La teoría se hizo rigurosa unas décadas más tarde por Eudoxo de Cnido , quien la utilizó para calcular áreas y volúmenes. Posteriormente fue reinventado en China por Liu Hui en el siglo III d.C. para encontrar el área de un círculo. [2] El primer uso del término fue en 1647 por Gregorio de San Vicente en el Opus geometricum quadraturae circuli et sectionum .
El método de agotamiento se considera un precursor de los métodos de cálculo . El desarrollo de la geometría analítica y el cálculo integral riguroso en los siglos XVII y XIX subsumió el método de agotamiento de modo que ya no se utiliza explícitamente para resolver problemas. Un enfoque alternativo importante fue el principio de Cavalieri , también denominado método de los indivisibles , que eventualmente evolucionó hasta convertirse en el cálculo infinitesimal de Roberval , Torricelli , Wallis , Leibniz y otros.
Euclides utilizó el método de agotamiento para demostrar las siguientes seis proposiciones en el libro 12 de sus Elementos .
Proposición 2 : El área de los círculos es proporcional al cuadrado de sus diámetros. [3]
Proposición 5 : Los volúmenes de dos tetraedros de la misma altura son proporcionales a las áreas de sus bases triangulares. [4]
Proposición 10 : El volumen de un cono es un tercio del volumen del cilindro correspondiente que tiene la misma base y altura. [5]
Proposición 11 : El volumen de un cono (o cilindro) de la misma altura es proporcional al área de la base. [6]
Proposición 12: El volumen de un cono (o cilindro) que es semejante a otro es proporcional al cubo de la relación de los diámetros de las bases. [7]
Proposición 18 : El volumen de una esfera es proporcional al cubo de su diámetro. [8]
Arquímedes utilizó el método de agotamiento como una forma de calcular el área dentro de un círculo llenando el círculo con una secuencia de polígonos con un número creciente de lados y un aumento correspondiente en el área. Los cocientes formados por el área de estos polígonos divididos por el cuadrado del radio del círculo se pueden acercar arbitrariamente a π a medida que el número de lados del polígono aumenta, lo que demuestra que el área dentro del círculo de radio r es πr 2 , estando definido π como la relación entre la circunferencia y el diámetro (C/d).
También proporcionó los límites 3 + 10/71 < π < 3 + 10/70 , (dando un rango de 1/497 ) comparando los perímetros del círculo con los perímetros de los polígonos regulares de 96 lados inscritos y circunscritos .
Otros resultados que obtuvo con el método de agotamiento incluyeron [9]