1.3 El método de exhaución para el área de un segmento de parábola
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.
Se subdivide la base en n partes iguales, cada una de longitud b/n. Los puntos de subdivisión corre-
sponden a los siguientes valores de x:
b 2b 3b (n − 1)b nb
0, , , , ..., , =b
n n n n n
La expresión general de un punto de la subdivisión es x = kb n , donde k toma los valores sucesivos
kb
k = 0, 01, 2, 3, ..., n. En cada punto n se construye el rectángulo exterior de altura (kb/n)2 . El área de este
rectángulo es el producto de la base por la altura y es igual a:
2
b kb b3
= k3
n n 3
Si se designa por Sn la suma de las áreas de todos os rectángulos exteriores, puesto que el área del
rectángulo k-simo es (b3 /n3 )k3 se tiene la formula.
b3 2
Sn = (1 + 22 + 32 + ... + n2 ) (1)
n3
De forma análoga se obtiene la fórmula para la suma sn de todos los rectángulos interiores:
b3 2
sn = [1 + 22 + 32 + ... + (n − 1)2 ] (2)
n3
Luego se tiene la identidad
n3 n2 6
12 + 22 + 32 + ... + n2 = + + (3)
3 2 n
Como también
n2 n2 n
12 + 22 + ... + (n − 1)2 = − + (4)
3 2 6
Las expresiones exactas dadas no son necesarias para el objeto que aquí se persigue, pero sirven para
deducir fácilmente las dos desigualdades que interesan
que son válidas para todo entero n ≥ 1. Multiplicando ambas desigualdades por b3 /n3 y haciendo uso
de (1) y (2) se tiene:
b3
sn < < Sn
3
Probemos que b3 /3 es el único número que goza de esta propiedad, es decir, que si A es un número que
verifica las desigualdades
s n < A < Sn (7)
para cada entero positivo n, ha de ser necesariamente A = b3 /3. Por esta razón dedujo Arquímedes que
el área del segmento parabólico es b3 /3.
Para probar que A = b3 /3 se utilizan una vez más las desigualdades (5). Sumando n2 a los dos miembros
de la desigualdad de la izquierda en (5) se obtiene
n3
12 + 22 + 32 + ... + n2 = + n2
3
Multiplicando por b3 /3 y utilizando (1) se tiene
b3 b3
Sn < + (8)
3 n
Análogamente, restando n2 de los dos miembros de la desigualdad de la derecha en (5) y multiplicando
por b3 /n3 se llega a la desigualdad:
b3 b3
− < sn (9)
3 n
Por tanto,cada número A que satisfaga (7) ha de satisfacer también:
b3 b3 b3 b3
− <A< + (10)
3 n 3 n
para cada entero n ≥ 1. Ahora también, hay sólo tres posibilidad:
b3 b3 b3
A> , A< A=
3 3 3
3
Si se prueba que las dos primeras conducen a una contradicción habrá de ser A = b3
Supongamos que la desigualdad A > b3 /3 fuera cierta. De la segunda desigualdad en (10) se obtiene
b3 b3
A− < (11)
3 n
para cada entero n ≥ 1. Puesto que A − b3 /3 es positivo, se puede dividir ambos miembros de (11) por
A − b3 /3 y multiplicando después por n se obtiene la desigualdad
b3
n<
A − b3 /3
para cada n. Pero esta desigualdad es evidentemente para n > b3 /( A − b3 /3). Por tanto la desigual-
dad es una contradicción. De forma análoga se demuestra para A < b3 /3 de donde concluimos que
A = b3 /3.
, 3.2. AXIOMAS DE CUERPO 3
3.2 Axiomas de cuerpo
Axioma Propiedad conmutativa. x + y = y + x, xy = yx.
.1
Axioma Propiedad asociativa. x + (y + z) = ( x + y) + z, x (yz) = ( xy)z.
.2
Axioma Existencia de elementos neutros. Existen dos números reales distintos que se indican por 0 y 1 tales que
.4 para cada número real x se tiene: 0 + x = x + 0 = x y 1 · x = x · 1 = 1.
Axioma Existencia de negativos. Para cada número real x existe un número real y tal que x + y = y + x = 0.
.5
Axioma Existencia del recíproco. Para cada número real x ̸= 0 existe un número real y tal que xy = yx = 1.
.6
Teorema Ley de simplificación para la suma. Si a + b = a + c entonces b = c (En particular esto prueba que el número
3.1 0 del axioma 4 es único)
Demostración.- Dado a+b=a+c. En virtud de la existencia de negativos, se puede elegir y de man-
era que y + a = 0, con lo cual y + ( a + b) = y + ( a + c) y aplicando la propiedad asociativa tenemos
(y + a) + b = (y + a) + c entonces, 0 + b = 0 + c. En virtud de la existencia de elementos neutros, se
tiene b = c.
por otro lado este teorema demuestra que existe un solo número real que tiene la propiedad del 0 en el
′ ′
axioma 4. En efecto, si 0 y 0 tuvieran ambos esta propiedad, entonces 0 + 0 = 0 y 0 + 0 = 0; por lo
′
tanto, 0 + 0 = 0 + 0 y por la ley de simplificación para la suma 0 = 0′ . ■
Teorema Posibilidad de la sustracción. Dado a y b existe uno y sólo un x tal que a + x = b. Este x se designa por
3.2 b − a. En particular 0 − a se escribe simplemente − a y se denomina el negativo de a.
Demostración.- Dados a y b por el axioma 5 se tiene y de manera que a + y = 0 ó y = − a, por hipótesis
y teorema tenemos que x = b − a sustituyendo y tenemos x = b + y y propiedad conmutativa x = y + b,
entonces a + x = a + (y + b) = ( a + y) + b = 0 + b = b esto por sustitución, propiedad asociativa y
propiedad de neutro, Por lo tanto hay por lo menos un x tal que a + x = b. Pero en virtud del teorema
1.1, hay a lo sumo una. Luego hay una y sólo una x en estas condiciones. ■
, 4
Teorema b − a = b + (− a)
3.3
Demostración.- Sea x = b − a y sea y = b + (− a). Se probará que x = y. por definición de b − a,
x + a = b y y + a = [b + (− a)] + a = b + [(− a) + a] = b + 0 = b, por lo tanto, x + a = y + a y en virtud
de teorema 1.1 x = y. ■
Teorema −(− a) = a
3.4
Demostración.- Se tiene a + (− a) = 0 por definición de − a incluido en el teorema 1.1. Pero esta igualdad
dice que a es el opuesto de − a, es decir, que si a + (− a) = 0 entonces a = 0 − (− a) = a = −(− a). ■
3.3 Ejercicios
1. Demostrar los teoremas del 1.5 al 1.15, utilizando los axiomas 1 al 6 y los teoremas I.1 al I.4
Teorema a(b − c) = ab − ac
3.5
Demostración.- Sea a(b − c) por teorema tenemos que a [b + (−c)] y por la propiedad distributiva
[ ab + a(−c)], y en virtud de anteriores teoremas nos queda ab − ac. ■
Teorema 0 · a = a · 0 = 0
3.6
Demostración.- Sea 0 · a por la propiedad conmutativa a · 0, a · 0 + 0 y a · 0 + [ a + (− a)] y en virtud la
propiedad asociativa y distributiva a(0 + 1) + (− a) después 1( a) + (− a), luego por elemento neutro
y existencia de negativos tenemos 0, Así queda demostrado que cualquier número multiplicado por
cero es cero. ■
Teorema Ley de simplificación para la multiplicación. Si ab = ac y a ̸= 0, entonces b = c. (En particular esto
3.7 demuestra que el número 1 del axioma 4 es único)
′
Demostración.-
h ′ i Sea b, a ̸= 0, y por el existencia del recíproco tenemos a · a = 1 luego, b = b · 1 =
′ ′ ′
b a( a ) = ( ab)( a ) = ( ac)( a ) = c( a · a ) = c · 1 = c por lo tanto queda demostrado la ley de
simplificación. ■
Teorema Posibilidad de la división. Dados a y b con a ̸= 0, existe uno y sólo un x tal que ax = b. La x se designa
3.8 b
por b/a ó y se denomina cociente de b y a. En particular 1/a se escribe también a−1 y se designa
a
recíproco de a
The benefits of buying summaries with Stuvia:
Guaranteed quality through customer reviews
Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.
Quick and easy check-out
You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.
Focus on what matters
Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!
Frequently asked questions
What do I get when I buy this document?
You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.
Satisfaction guarantee: how does it work?
Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.
Who am I buying these notes from?
Stuvia is a marketplace, so you are not buying this document from us, but from seller christianparedes. Stuvia facilitates payment to the seller.
Will I be stuck with a subscription?
No, you only buy these notes for $3.49. You're not tied to anything after your purchase.