Documentos de Académico
Documentos de Profesional
Documentos de Cultura
C APTULO I:
E GIPTO Y BABILONIA
T ERCER C URSO DE M ATEMTICAS , 2009-2010
Jos Garca-Cuerva
Octubre de 2009
2 BABILONIA
Orgenes y fuentes
El sistema de numeracin
El teorema de Pitgoras
97 13 X
194 6
Ejemplo 97 13 : 97 13 = 97 + 388 + 776 = 1261.
388 3 X
776 1 X
EJERCICIO 2:
( A ) Comprobar que el resultado es correcto y explicar por qu
funciona el mtodo.
( B ) Aplicar el mtodo descrito arriba al clculo de 1359 2578.
D EMOSTRACIN
Vamos a hacer una induccin completa en a. Si a = 1, no hay nada
que demostrar. Si suponemos que el resultado es cierto para cualquier
fraccin < 1 con numerador < a, para un cierto a > 1 y tenemos,
ahora, ba < 1, existir q N, tal que q1 < ba < q1
1
. Tenemos
a 1 a 1 1 aq b
= + = + .
b q b q q bq
D EMOSTRACIN
Vamos a hacer una induccin completa en a. Si a = 1, no hay nada
que demostrar. Si suponemos que el resultado es cierto para cualquier
fraccin < 1 con numerador < a, para un cierto a > 1 y tenemos,
ahora, ba < 1, existir q N, tal que q1 < ba < q1
1
. Tenemos
a 1 a 1 1 aq b
= + = + .
b q b q q bq
E JEMPLOS
< Y << Y < YYY = 11 3600 + 21 60 + 13 =
39600 + 1260 + 13 = 40873.
55327 = 153600+2260+7 =< YYYYY << YY YYYYYYY .
J OS G ARCA -C UERVA (U.A.M.) HM. C AP. I. 30 M AT-2009-2010 O CTUBRE DE 2009 18 / 44
E L SISTEMA DE NUMERACIN
E JEMPLOS
< Y << Y < YYY = 11 3600 + 21 60 + 13 =
39600 + 1260 + 13 = 40873.
55327 = 153600+2260+7 =< YYYYY << YY YYYYYYY .
J OS G ARCA -C UERVA (U.A.M.) HM. C AP. I. 30 M AT-2009-2010 O CTUBRE DE 2009 18 / 44
E L SISTEMA DE NUMERACIN
E JEMPLOS
< Y << Y < YYY = 11 3600 + 21 60 + 13 =
39600 + 1260 + 13 = 40873.
55327 = 153600+2260+7 =< YYYYY << YY YYYYYYY .
J OS G ARCA -C UERVA (U.A.M.) HM. C AP. I. 30 M AT-2009-2010 O CTUBRE DE 2009 18 / 44
E L SISTEMA DE NUMERACIN
E JEMPLOS
< Y << Y < YYY = 11 3600 + 21 60 + 13 =
39600 + 1260 + 13 = 40873.
55327 = 153600+2260+7 =< YYYYY << YY YYYYYYY .
J OS G ARCA -C UERVA (U.A.M.) HM. C AP. I. 30 M AT-2009-2010 O CTUBRE DE 2009 18 / 44
U N SISTEMA POSICIONAL SIN 0?
P ROPOSICIN
Si la sucesin (an )nN tiene lmite, entonces lim an = R.
n
D EMOSTRACIN
1
Sea L = lim an . Si en an+1 = an + aRn hacemos tender an y an+1
2
n
hacia su lmite L, resulta L = 12 L + RL , es decir 2L = L + RL , o, L = RL ,
de donde L2 = R. As pues, L = R.
P ROPOSICIN
Si la sucesin (an )nN tiene lmite, entonces lim an = R.
n
D EMOSTRACIN
1
Sea L = lim an . Si en an+1 = an + aRn hacemos tender an y an+1
2
n
hacia su lmite L, resulta L = 12 L + RL , es decir 2L = L + RL , o, L = RL ,
de donde L2 = R. As pues, L = R.
P ROPOSICIN
Si la sucesin (an )nN tiene lmite, entonces lim an = R.
n
D EMOSTRACIN
1
Sea L = lim an . Si en an+1 = an + aRn hacemos tender an y an+1
2
n
hacia su lmite L, resulta L = 12 L + RL , es decir 2L = L + RL , o, L = RL ,
de donde L2 = R. As pues, L = R.
P ROPOSICIN
T (x) = 12 x + Rx es una aplicacin del intervalo cerrado
I = [(1 + )1 R, (1 + ) R] en s mismo que satisface la condicin
|T (x) T (y )| C|x y |x, y I, para alguna constante C < 1. Se
dice que T es una aplicacin contractiva de I en I.
EJERCICIO 5:
( A ) Comparar este algoritmo con el mtodo de Newton.
( B ) Demostrar que las fracciones
x/y obtenidas en la sucesin de
aproximaciones de 2 dan soluciones enteras de la ecuacin
x 2 2y 2 = 1.
D EFINICIN
Una terna pitagrica es una terna de nmeros naturales
(a, b, c) N3 , que cumplen la condicin a2 + b2 = c 2 .
Segn el recproco del Teorema de Pitgoras, la identidad
a2 + b2 = c 2 garantiza que existe un tringulo rectngulo cuyos
catetos miden a y b y cuya hipotenusa mide c. (EJERCICIO 6).
Una terna pitagrica (a, b, c) se llama bsica o primitiva si los
nmeros a, b, c son coprimos o primos entre s, es decir, si su
mximo comn divisor es 1, o, lo que es lo mismo, si no tienen
ningn divisor primo comn.
(1) x2 + y2 = 1
a partir de una dada, digamos (1, 0). Cualquier otra solucin (x1 , y1 )
y
de (1) determina con (1, 0) la recta x+1 = x1y+1
1
= t Q, e. d.,
y = t(x + 1), una recta con pendiente racional.
Recprocamente, cualquier recta con pendiente racional que pase por
(1, 0) cortar al crculo unidad en otro punto de coordenadas
racionales. As salen todas las soluciones racionales de (1).
En concreto, dado t Q, resolvemos x 2 + (t(x +1))2 = 1, e. d.,
t 2 t 4 (t 4 1) 2
(t 2 + 1)x 2 + 2t 2 x + t 2 1 = 0. Resulta x = t 2 +1
= t 1
t 2 +1
. La
nueva solucin es, poniendo t = v /u
2
1 vu u2 v 2 v 2 2uv
x= 2
= 2 2
; y= 2
= 2
1 + vu u +v u1+ v u + v2
u
(1) x2 + y2 = 1
a partir de una dada, digamos (1, 0). Cualquier otra solucin (x1 , y1 )
y
de (1) determina con (1, 0) la recta x+1 = x1y+1
1
= t Q, e. d.,
y = t(x + 1), una recta con pendiente racional.
Recprocamente, cualquier recta con pendiente racional que pase por
(1, 0) cortar al crculo unidad en otro punto de coordenadas
racionales. As salen todas las soluciones racionales de (1).
En concreto, dado t Q, resolvemos x 2 + (t(x +1))2 = 1, e. d.,
t 2 t 4 (t 4 1) 2
(t 2 + 1)x 2 + 2t 2 x + t 2 1 = 0. Resulta x = t 2 +1
= t 1
t 2 +1
. La
nueva solucin es, poniendo t = v /u
2
1 vu u2 v 2 v 2 2uv
x= 2
= 2 2
; y= 2
= 2
1 + vu u +v u1+ v u + v2
u
(1) x2 + y2 = 1
a partir de una dada, digamos (1, 0). Cualquier otra solucin (x1 , y1 )
y
de (1) determina con (1, 0) la recta x+1 = x1y+1
1
= t Q, e. d.,
y = t(x + 1), una recta con pendiente racional.
Recprocamente, cualquier recta con pendiente racional que pase por
(1, 0) cortar al crculo unidad en otro punto de coordenadas
racionales. As salen todas las soluciones racionales de (1).
En concreto, dado t Q, resolvemos x 2 + (t(x +1))2 = 1, e. d.,
t 2 t 4 (t 4 1) 2
(t 2 + 1)x 2 + 2t 2 x + t 2 1 = 0. Resulta x = t 2 +1
= t 1
t 2 +1
. La
nueva solucin es, poniendo t = v /u
2
1 vu u2 v 2 v 2 2uv
x= 2
= 2 2
; y= 2
= 2
1 + vu u +v u1+ v u + v2
u
D EMOSTRACIN
La ecuacin a2 + b2 = c 2 implica que cualquier divisor de dos de
los nmeros a, b y c, ha de dividir al otro.
Por el punto anterior, uno y slo uno de los nmeros a, b, c es par.
Si c fuera par, a y b seran impares y sus cuadrados daran resto
1 al dividir por cuatro. Pero entonces c 2 = a2 + b2 dara resto 2 al
dividir por cuatro, cuando hemos supuesto que c es par, lo cual
implica que c 2 es mltiplo de 4. Se concluye que c es impar.
D EMOSTRACIN
La ecuacin a2 + b2 = c 2 implica que cualquier divisor de dos de
los nmeros a, b y c, ha de dividir al otro.
Por el punto anterior, uno y slo uno de los nmeros a, b, c es par.
Si c fuera par, a y b seran impares y sus cuadrados daran resto
1 al dividir por cuatro. Pero entonces c 2 = a2 + b2 dara resto 2 al
dividir por cuatro, cuando hemos supuesto que c es par, lo cual
implica que c 2 es mltiplo de 4. Se concluye que c es impar.
D EMOSTRACIN
La ecuacin a2 + b2 = c 2 implica que cualquier divisor de dos de
los nmeros a, b y c, ha de dividir al otro.
Por el punto anterior, uno y slo uno de los nmeros a, b, c es par.
Si c fuera par, a y b seran impares y sus cuadrados daran resto
1 al dividir por cuatro. Pero entonces c 2 = a2 + b2 dara resto 2 al
dividir por cuatro, cuando hemos supuesto que c es par, lo cual
implica que c 2 es mltiplo de 4. Se concluye que c es impar.
D EMOSTRACIN
La ecuacin a2 + b2 = c 2 implica que cualquier divisor de dos de
los nmeros a, b y c, ha de dividir al otro.
Por el punto anterior, uno y slo uno de los nmeros a, b, c es par.
Si c fuera par, a y b seran impares y sus cuadrados daran resto
1 al dividir por cuatro. Pero entonces c 2 = a2 + b2 dara resto 2 al
dividir por cuatro, cuando hemos supuesto que c es par, lo cual
implica que c 2 es mltiplo de 4. Se concluye que c es impar.
g r 2 s2 r 2 + s2
(r , s) 7 (a, b, c) a = rs, b = , c=
2 2
y 0 = (s 1/s)/2, x 0 = 1, z 0 = (s + 1/s)/2