Una técnica clásica basada en límites que aproxima áreas, volúmenes u otras cantidades geométricas construyendo sucesiones crecientes de figuras inscritas y sucesiones decrecientes de figuras circunscritas cuyas medidas convergen a la cantidad deseada, estableciendo así valores exactos por medio de límites.

Principio

Construir sucesiones monótonas (inscrita ≤ objetivo ≤ circunscrita) de conjuntos más simples cuyas medidas convergen y aprietan la cantidad desconocida entre ellos; el control de la monotonicidad y el error asegura que ambas sucesiones tengan el mismo límite, que define el valor exacto buscado.

Demostración

Aproximar el área de un círculo mediante polígonos regulares inscritos de n lados (área creciente) y mediante polígonos regulares circunscritos (área decreciente); mostrar que ambas sucesiones convergen al mismo límite cuando n→∞ da el valor del área del círculo sin recurrir al cálculo integral.

Aplicación incorrecta

Usar familias de aproximación no monótonas o mal controladas de modo que falle el argumento de acotamiento; o asumir que el método se aplica sin verificar que las medidas convergen, lo que puede conducir a conclusiones incorrectas cuando los conjuntos son patológicos o las medidas están mal definidas.

Consecuencia

Proporciona fundamentos clásicos rigurosos para determinar cantidades geométricas y sustenta las formalizaciones posteriores de la integración y la teoría de la medida; ofrece pruebas constructivas basadas en épsilon de la existencia de límites usados en cálculos de áreas y volúmenes.

Inversión

Reemplazar la exhaustion por aproximaciones arbitrarias no anidadas o muestreo puntual sin encerramiento monótono; tales reversos renuncian al principio de acotamiento y generalmente no proporcionan límites exactos, produciendo en el mejor de los casos valores heurísticos o aproximados.

Límite

Eficaz para objetos geométricos compactos y regulares donde existen aproximaciones inscritas/circunscritas monótonas y las medidas están bien definidas; es menos adecuado para conjuntos fractales, no mensurables o altamente patológicos sin más maquinaria técnica.

Tensión semántica

Se relaciona con la integración de Riemann y la teoría moderna de la medida; la tensión surge porque la exhaustion es constructiva y geométrica, mientras que los enfoques basados en la integración abordan clases más amplias de funciones y conjuntos de forma más sistemática pero con menos intuición puramente geométrica.

Síntesis

El método de exhaustión realiza cantidades geométricas exactas apretando el objetivo entre aproximaciones monótonas interiores y exteriores; el control de la convergencia produce límites rigurosos que preludian las construcciones de medida e integral modernas.