Método exhaustivo

El método exhaustivo1 es un procedimiento geométrico de aproximación a un resultado, con

el cual el grado de precisión aumenta en la medida en que avanza el cálculo.
También se conoce como:

 método por agotamiento,2

 método de exhausción3 o
 método de exhaución.4
El término proviene del inglés method of exhaustion (que sería mejor traducido como ‘método
por agotamiento’, ya que la Real Academia Española no ha aceptado aún el sustantivo
«exhausción», a pesar de reconocer el adjetivo «exhausto». El inglés exhaustion proviene
del latín exhaustiō (‘agotamiento’).

El método de Exhausción

El método de Exhausción nace del problema de comparar las figuras

curvilíneas y las rectilíneas. Como usted sabe, uno de los grandes
problemas de la Antigüedad era cómo reducir el círculo, o longitudes
curvas, a segmentos de recta, y otro: cómo reducir cualquier línea curva
a líneas rectas y círculos (esto se traduce como la construcción de figuras
curvas usando solo regla y compás). No obstante, el "método de
Exhausción'' no fue llamado así por los griegos, sería mucho tiempo
después que Gregoire de St. Vincent (1 589 - 1 667) lo bautizaría de esa
manera.

En ese escenario fueron usados dos principios generales sobre los

números y sus relaciones con el infinito, que aparecieron de diferente
forma, y fueron relevantes para la utilización del método que analizamos.

Primer principio:

 "Cualquier cantidad, por más pequeña que sea, puede hacerse tan
grande como se quiera multiplicándola por un número
suficientemente grande''.

Este se puede formular de la siguiente manera:

  "Dadas dos magnitudes diferentes y (con ) existe
entonces:

a) un número tal que (esto se encuentra en el Libro V de

los Elementos de Euclides, Def. 4);

b) un número tal que donde es cualquier

magnitud de la misma clase (esto se llama el Axioma de
Arquímedes, en el trabajo Sobre la esfera y el
cilindro de Arquímedes Libro I)''.

Segundo principio:

"Si de cualquier magnitud sustraemos una parte no menor que su mitad,

y si del resto sustraemos de nuevo una cantidad no menor que su mitad,
y si continuamos repitiendo este proceso de sustracción, terminaremos
por obtener como resto una magnitud menor que cualquier magnitud del
mismo tipo dada de antemano''.

Lo anterior se puede poner también así:

"Dadas dos magnitudes diferentes y (con , existe un número

tal que , donde

(esto se encuentra en los Elementos de Euclides, Libro X, Def. 1)''.

Podemos ilustrar los principios usados por los griegos de la siguiente

manera, usando un pasaje de nuestro libro Elementos de Cálculo
Diferencial. Historia y ejercicios resueltos:

Tómese y
La primera forma del principio dice que se puede encontrar un tal que

entonces:

Se puede considerar mayor que 1000 y ya funciona.

Veamos, si entonces a

La segunda forma del principio:

Se debe encontrar un tal que

Es decir, de tal manera que

Este sirve; pues

Veamos ahora el segundo principio:

Sea y los mismos y de antes. Queremos encontrar un tal
que

o que

Es decir:

Con obtenemos

Y entonces: