METODO DE EXHAUCIÓN (AREA DE UN SEGMENTO DE PARABOLA)

Este método consiste en hallar el área de una de las figuras particulares

tratados por el mismo Arquímedes. La región en cuestión esta presentada por
la figura:

Y puede describirse como se sigue: si se elige un punto arbitrario de la base y

se designa por x su distancia cero; la distancia vertical de este punto a la curva
es x². En particular si la longitud de la base es b, la altura de la figura es b². La
distancia vertical de x, a la curva se denomina <<ordenada>> de x. la curva así
descrita se denomina parábola; y la región limitada por ella y por los dos
segmentos rectilíneos, se llama segmento parabólico.

Esta figura puede encerrarse en rectángulo de base b y altura b², como se en la

figura anterior. Observando la figura parece natural afirmar que el área del
segmento parabólico, es menor que la mitad del área del rectángulo.

Arquímedes hizo el sorprendente descubrimiento de que el área del segmento

b³
Parabólico es exactamente un tercio de la del rectángulo: A= ------ , donde A,
3
designa el área del segmento parabólico. Se mira a continuación como se llega
a este resultado.

Se hace notar que el segmento parabólico dibujado en la figura 1, no esta

elegido exactamente tal como lo dibujo Arquímedes y que los detalles que se
siguen no son exactamente los utilizados por él. Sin embargo las ideas
esenciales son las de Arquímedes:

El método consiste simplemente en lo siguiente: se divide la figura en un cierto

número de bandas y se obtienen dos aproximaciones de la región, una por
defecto y otra por exceso, utilizando dos conjuntos de rectángulos como se
indica en la figura 2. (se utilizan rectángulos mejor que polígonos arbitrarios
para simplificar los cálculos.) El área del segmento parabólico es mayor que el
área total de los rectángulos interiores pero menor que la de los rectángulos
interiores.

Si cada banda se subdivide a su vez, se obtienen una nueva aproximación con

mayor numero de bandas, la reunión de las áreas de los rectángulos interiores
crece, mientras que el total de las áreas de los rectángulos exteriores decrece,
Arquímedes vio que podía lograr el área con el grado de aproximación
deseado, sin mas que tomar un numero suficiente de bandas.
El cálculo efectivo en este caso se realiza como se indica a continuación.

Con objeto de simplificar se subdivide la base en n partes iguales, cada una de

longitud

b
— figura 3.
n

Los puntos de subdivisión corresponden a los siguientes valores de x:

b 2b 3b (n − 1)b nb
0, —, -----, -----, . . . , -------------, ------ = b
n n n n n

kb
La expresión general de un punto de subdivisión es x = --------, donde k, toma
los
n
kb
valores sucesivos k = o, 1, …, n. en cada punto ------- se construye el
rectángulo
n
kb ²
exterior de altura ------- , como se indica en la figura 3.
n

El área de este rectángulo es el producto de la base por la altura y es igual a :

b kb b³
----- ------ = ----- k²
n n n³

Si se denomina por Sn la suma de las áreas de todos los rectángulos

b³
exteriores, puesto que el área del rectángulo k-esimo es ------ k², se tiene la
n³
formula:

b³
(1) Sn = ---- (1² + 2² + 3² + . . . + n²)
n³

De forma análoga se obtiene la formula para la suma s n de las áreas de

todos los rectángulos interiores:
 b³
(2) sn = ----- (1² + 2² + 3² + … + (n - 1)²)
n³

(El factor correspondiente en la ecuación (2) es análogo al correspondiente

en la ecuación (2) salvo que suma tiene n-1 sumandos).

Para valores de n grandes, la obtención de esta suma por adición directa de

sumandos es pesada, pero afortunadamente existe una interesante
identidad que hace posible obtener esta suma por un camino más simple, y
es la siguiente:

n³ n² n
(3) 1² + 2² + 3² + … + n² = ----- + ----- + ----
3 2 6

Esta identidad es valida para todo entero n≥1, y puede demostrarse del
siguiente método: se parte de la formula: (k+1)³= k³ + 3k² +3k +1; y se pone
en la forma: 3k² +3k +1 = (k+1)³ - k³

Haciendo k = 1,2, … , n -1; obtenemos las n -1 formulas.

3*1² + 3*1 + 1 = 2³ + 1³
3*2³ +3*2 + 1 = 3³ - 2³
:
·
3(n – 1)² 3(n – 1) + 1 = n³ - (n – 1)³

Al sumar estas dos formulas, todos los términos del segundo miembro se
reducen excepto dos y se tiene:
2² -1²
3² - 2²
4² - 3²
+ 5² - 4²
:
·
(n – 2)² - (n – 1)
(n – 1) - n²

3[1² +2² + … + (n – 1)²] + 3[1 + 2 + … +(n – 1)] + (n -1) = n³ - 1³

3[1² +2² + … + (n – 1)²] + 3[1 + 2 + … +(n – 1)] + n -1 = n³ - 1

n n³
[1² +2² + … + (n – 1)²] + [1 + 2 + … +(n – 1)] + ---- = ------
3 3

n³ n
[1² +2² + … + (n – 1)²] + [1 + 2 + … +(n – 1)] + ---- − ------ ;
3 3
 n (n -1) n² n
Pero 1 +2 + … + (n – 1) = ------------- = ----- − ----
2 2 2

n² n n³ n
[1² + 2² + … + (n – 1)²] + ---- - ----- = ------- - ------
2 2 3 3

n³ n² n
(4) 1² + 2²+ … + (n – 1)² = ------ − ---- + ----- sumando n²
3 2 6

n³ n² n
1² + 2² + … + n² = ---- + ----- + ---- (3)
3 2 6

Las expresiones exactas dadas en (4), (3) no son necesarias para el objeto
que aquí se persigue, pero con ellas deducimos, las dos desigualdades que
nos interesan;
n³
(5) 1² + 2² + … + (n – 1)² < — < 1² + 2² + … + n²
3
Que son validas para todo n≥1. Las deducimos fácilmente como
consecuencia de (3) y (4) o por inducción:
Prueba:
Sea S c Z positivo; tal que la desigualdad es verdadera

1) consideremos en primer lugar la desigualdad de la izquierda;

1³ 1
(1 – 1)² < — 0< — 1 Є S; la igualdad es verdadera para n =1
3 3

2) supongamos que K Є S, es decir la desigualdad

k³
1² + 2² + … + (k + 1)² < ---- ; es verdadera
3

(k – 1)³
K+1ЄS 1² + 2² + … + k² < ------------ ; es una desigualdad verdadera
3

k³
1² + 2² + … +(k +1)² < ------ ; es una desigualdad verdadera por hipótesis de
3
inducción; entonces también lo es;
k³ k³ (k + 1)³
1² + 2² + … + k² < ------ + k² basta con probar que; ----- + k² < ------------ ;la
3 3 3
cual es una igualdad verdadera ya que:
 (k + 3)³ k³ + 3k² + 3k + 1 k³ 1 k³
------------ = ------------------------- = ----- + k² +k + ----- > ----- + k²
3 3 3 3 3

k³ (k+1)³
1² + 2² + … +k² < ------ + k² < ---------- por transitividad
3 3

(k+1)³
(1) 1² + 2² + … + k² < ---------- ; por consiguiente k+1 Є S
3

Ahora consideremos la parte derecha de la desigualdad;

1³ 1³
1) ---- < 1² ------ < 1 1 Є S; y la desigualdad es verdadera para n=1
3 3
k³
2) supongamos que k Є S; es decir la desigualdad: ----- < 1² + 2² + … + k² ; es
3
verdadera
(k+1)³
k+1ЄS ---------- < 1² + 2² + … +(k+1)² ; es desigualdad verdadera:
3

k³
----- < 1² + 2² +… + k² ; es una desigualdad verdadera por hipótesis de
3
k³
Inducción, entonces también lo es; ---- + (k+1)² < 1² + 2² + … + (k+1)² ;basta
3
(k+1)³ k³
con demostrar que ----------- < ------ +(k+1)²; la cual es una desigualdad
3 3

k³ (k+1)³ k³ 1
verdadera ya que: ------ + k²+2k + 1 > ---------- = ----- + k² +k + ----
3 3 3 3

(k+1)³ k³
---------- < ------ + (k+1)² < 1² + 2² + … + (k+1)² por transitividad
3 3

(k+1)³
--------- < 1² + 2² + … + (k+1)² k+1 Є S S = Z positive por (1) y (2)
3

n³
(6) 1² + 2² + … + (n-1)² < ------ < 1² + 2² + … + n²
3
 b³
Multiplicando ambas desigualdades en (6) por -----; y haciendo uso de (1) y (2)
n³

b³ b³ n³ b³
se tiene: ----- [1² +2²+ … +(n-1)²] < ------ * ---- < ------ [1² +2² + … +n²]
n³ n³ 3 n³

b³
(7) sn < ------ < Sn
3
b³
Para cada n y observándose que se presenta por primera vez el numero -------
3
b³
Las desigualdades en (7); expresan para cada n el numero ------ esta
3
b³
comprendido entre sn y Sn. pero ahora es fácil probar que ------ es el único
n
número que goza de esta propiedad; es decir que si A es un numero que
verifica las desigualdades (7) sn < A < Sn.
b³
Para cada entero positivo n; ha de ser necesariamente A= -----
3
b³
Para probar que A= -----; se utilizan una vez mas las desigualdades (6).
3
Sumando n² a los dos miembros de la desigualad de la izquierda en (6) se
obtiene:
n³
1²+ 2² + … +n² < ----- + n²
3

b³ b³ b³ b³
Si multiplicamos por ------ ------ [1² +2²+ … + n²] < ----- + --------
n³ n³ 3 n
b³ b³
(9) Sn < ----- + -----
3 n

Análogamente restando n² de los dos miembros de la desigualdad de la

derecha en (6)
n³
------ - n² < 1² + 2² + … + (n-1)²
3
b³
Si multiplicamos por ------ se llega a la desigualdad:
n³
 b³ b³ b³ b³ b³
----- - ----- < ----- [1² +2² + … + (n-1)²] ----- - ----- < Sn (10)
3 n n³ 3 n

Por tanto; cada numero A que satisfaga sn < A < Sn (8); ha de satisfacer:

b³ b³ b³ b³ b³ b³ b³ b³
----- - ----- < sn < A < Sn < ----- + ------- (10) ------ - ----- < A < ------- + ------
3 n 3 n 3 n 3 n

Para cada entero n≥1. ahora bien hay solo tres posibilidades:

b³ b³ b³
A > ----- ; A < ----- ; A = -------
3 3 3

Si se prueba que los dos primeros conducen a una contradicción habrá de ser
b³
A = ------; ya que al estilo Sherlock Holmis; se agotan así todas las
3
Posibilidades.
b³
Prueba: supóngase que la desigualdad A > ----- fuera cierta. De la segunda
3
b³ b³ b³
Desigualdad en (11); se obtiene; A - ----- < -----; pero A - ----- > 0 entonces
3 3 3
podemos dividir
b³ b³ b³
A - ------ ------- -------
3 n n
------------------- < ------------ 1 < ----------- ; y multiplicando
b³ b³ b³
A - ------- A - ------ A - -------
3 3 3

b³ b³
por n; n< --------- pero esta desigualdad es evidentemente falsa para n>---------
b³ b³
A - ----- A - ----
3 3
b³
Por tanto la desigualdad A > ----- conduce a una contradicción.
3

b³
Supongamos ahora que A > ------; fuera cierta por las desigualdades en (11)
3
 b³ b³ b³
A - ----- < -----; pero A - ------ < 0
3 n 3

b³ b³
A - ----- -------
3 3 b³
-------------- > ------------ n > ------------; pero esta desigualdad es falsa
b³ b³ b³
A - ------ A - ----- A - -----
3 3 3

b³
para n < -----------------
b³
A - ------
3

b³ b³
Si tomamos A < ------- ; conduce a una contradicción debe ser A = -------
3 3