HISTORIA DE LAS MATEMATICAS

Silvia Marn Garca

Fernando Loysele Susmozas

Indice general

1. Principio hist
orico

1.1. Prehistoria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.2. Edad Antigua . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.3. Grecia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1.4. Roma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2. Ejercicios

33

Captulo 1
Principio hist
orico
1.1.

Prehistoria

Paleoltico (127.000 a.C-10.000 a. C)

Su cultura se basa en expresiones tecnicas (arte y pintura) en la que no se desarrolla
ning
un tipo de ciencia conocida, ni matematicas, aunque se conoce que saban contar.
Una de las u
ltimas cultura del Paleoltico es la cultura Magdaleniense (arte rupestre),
como por ejemplo, la que se desarrollo en el sur de Francia (Lascaux) y norte de Espa
na
(Altamira)
Neoltico (8000 a.C-3000 a.C)
Aproximadamente en el a
no 8000 a.C, en Oriente Medio (Turqua, Siria, Lbano, Palestina, Israel, Irak, Iran y Pases Arabigos) se descubrio la agricultura basada en cereales,
huertas y frutos en el creciente fertil provocando la creacion de una poblacion sedentaria
y por tanto se crean las primeras ciudades y aumenta la poblacion.
Como no toda la poblacion se tiene que dedicar a la agricultura nace la especializacion
y con ello la division del trabajo. Esto lleva una estructura social, el Estado, con diferentes
castas:

Castas importantes
Guerreros, lderes polticos, autoridad militar y reyes
Administradores
Religiosos
Trabajadores libres
Esclavos y gente sin derechos
3


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele

Al crecer la poblacion surge el problema de contar cifras mayores, como el n

umero de
habitantes o de guerreros. El Estado tiene la necesidad de las matematicas pero a
un no
se ha creado la escritura. Aparecen u
tiles nuevos de piedra pulimentada.

1.2.

Edad Antigua

Primera etapa de la historia: transcurso de la humanidad dotada de escritos.

Primeras civilizaciones
Surgen en las orillas de los ros, donde la tierra es fertil y permite una agricultura con
excedentes. Aparecen las primeras civilizaciones con nombre, dos en Oriente Medio y una
en Asia.

Egipto
Comienza aproximadamente en el 3000 a.C, en las orillas del ro Nilo. Aparecen los
primeros lderes polticos (faraones), creandose dinastias. Es un estado con divisiones y la
religion tiene una importante papel en el desarrollo de su historia.
Aparece una figura importante, el escriba, que se ocupaba de la administracion y
saban escribir con smbolos llamados jeroglficos.
En las matematicas, saban contar, sumar, restar, multiplicar y dividir. No conocan
los racionales pero crean fracciones con numerador la unidad. Eran buenos en aritmetica
y desarrollan geometra al tener un problema de redistribucion con la tierra dado por las
crecidas del Nilo, aprendiendo el concepto de area y figuras equivalentes en 2D. Tambien
conocen el Teorema de Pitagoras (la terna 3,4,5 y 5,12,13) aplicada a triangulos. Escriban
problemas de aritmetica y geometra y los resolvan. Saban astronoma, conocan las 3D
(concepto de volumen) y otras cosas que no dejaron escritas.
4

1.2. EDAD ANTIGUA

Silvia Marn

Dejaron documentacion escrita que se ha encontrado, como por ejemplo, el papiro de

Mosc
u escrito por Ahmes.
Mesopotamia
Aparece entre los ros E
ufrates y Tigris, junto al golfo Persico.
En el a
no 3500 a.C, aparece un pueblo avanzado: los Sumerios. Crean ciudades estado
independientes, como por ejemplo Ur, y resiste unos mil a
nos. Sobre el 2500 a.C, les
invaden los akadios o babilonios, creando un imperio (Primer Imperio de Babilonia), con
capital en Babilonia. De esta etapa cabe destacar que tenan escritura, y leyes escritas
como el codigo de Hammurabi, llevada a cabo por dicho Rey.
Aproximadamente en el 1700 a.C, vienen los pueblos de las monta
nas, los asirios, conquistan Babilonia y destruyen Israel en repetidas ocasiones. Son famosos por su crueldad
y las ciudades de Assur y Nnive tienen un crecimiento importante. Sin embargo contraataca Babilonia y establecen su segundo imperio. Alrededor del 550 a.C, aparecen los
Persas, provenientes del desierto Arabigo, que llegan hasta Egipto y establecen un idioma
com
un: el arameo. Sobre el 480 a.C, Persia entra en guerra con Grecia.
Se han encontrado escritos en tablas de barro con incisiones de puncion, la llamada
escritura cuneiforme.
En matematicas, establecen un sistema de numeracion posicional con base sexagesimal.
Inventaron las decenas, establecen n
umeros para el singular, dual y plural y aparece la
division de enteros. En geometra, conocen algunas areas y vol
umenes y una aproximacion
del n
umero . En cuanto al algebra, resuelven problemas, y conocen los sistemas de
ecuaciones. En astronoma, establecen un calendario y el horoscopo, basandose en los
objetos celestes.
Ademas conocan una formula para las ternas pitagoricas:

F
ormulas pitag
oricas
a = p2 q 2 b = 2pq c = p2 + q 2

Numeraci
on mesopot
amica

En la foto salen solo los n

umeros hasta el 59. Para escribir n
umeros mayores se sigue
un sistema posicional en base 60, por ejemplo:


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele

Figura 1.1: Numeros de Babilonia

Figura 1.2: Numero 73

1 60 + 13

China
Aparece el emperador de la Dinasta Qin, llamado Shi Huang Di, alrededor del 200
a.C. Este emperador unifico China y establecio la Gran Muralla. Se unificaron las pesas y
las medidas, as como el sistema de escritura. Se ordeno la quema de libros, en la que se
destruyeron escritos que no se ajustaban al modelo religioso y social del nuevo imperio.
Sin embargo, hay algunos documentos reconocibles escritos en papiro.
En el ambito de las matematicas, seguan haciendo ejemplos de las ternas pitagoricas,
conocan el triangulo de Pascal, aritmetica modular (el teorema del resto chino), saban
resolver ecuaciones y sistemas. Desarrollan una habilidad algortmica con el abaco. Las
matematicas les servan para la administracion, contar impuestos. Introducen el calendario
(desarrollo de la astronoma) y establecen el a
no solar (365 das) y el a
no lunar (28 das).
Utilizaban la geometra para la division de la tierra.

1.3.

Grecia

Entre los a
nos 2000 a.C y 1000 a.C se sabe que sufrieron invasiones del Norte de tribus
indoeuropeas (Jonios, Dorios, Aqueos, eolios, etc). El gran problema de Grecia fue que
no tenan la idea de un Estado Nacional, tenan el concepto de etnia griega. Les una la
lengua, la cultura, la religion y algunas instituciones que les hacan participar en com
un
6

1.3. GRECIA

Silvia Marn

(como los Juegos Olmpicos). El sistema estaba basado en ciudades estado, dado que las
ciudades eran peque
nas, se crea la democracia civil en el 600 a.C. de la que obtienen el
concepto de hombre libre, hombres que no trabajan para el rey.
Durante el perodo arcaico (776 a.C al 500 a.C) se introduce el primer alfabeto moderno
(alfabeto de letras).

Figura 1.3: Alfabeto griego

En el perodo clasico (500 a.C al 323 a.C) se produce el esplendor de Atenas y la

division en dos grandes ciudades, Esparta y Atenas. Los espartanos defienden a Grecia en
las Guerras Medicas contra Persia. Se crearon las leyes y Atenas paso a ser la capital del
mundo.
El perodo Helenstico comienza con la muerte de Alejandro Magno, rey de Macedonia,
y termina con la conquista romana (146 a.C).


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele
Aportaciones de Grecia
1 Gobierno
Legisladores Licurgo, Solon
La democracia Pericles

Oratoria en asambleas Demostenes

Ejercito y generales Lisandro y Alejandro
Vida social (Juegos Olmpicos)
2 Literatura

Epica
Homero (Odisea, Iliada)
Poesa Safo
Teatro tragedia Esquilo, Sofocles, Eurpides, Aristofanes
Historia como arte Herodoto, Tucidedes
3 Artes plasticas
Escultura (Apolo, Venus)
Arquitectura (templos, Partenon)
Pintura (desaparece)
M
usica (no tenan buen sistema de escritura musical)
4 Filosofa (sofismas)
Logica
Razonamiento deductivo
Analisis
Sntesis
Platon, Aristoteles, Socrates, estoicos y epic
ureos.
5 Fsica y biologa: varios pero poco, El Liceo
6 Matematicas: se basan en el arte de razonar basado en la logica
Thales
Pitagoras
Euclides
Apolonio
Diofanto
Eudoxo
Arqumedes
8

1.3. GRECIA

Silvia Marn
Pit
agoras de Samos

Nace aproximadamente entre 582 - 507 a. C. Fue un filosofo y matematico griego que
vivio en Crotona, Sur de Italia, famoso sobre todo por el Teorema de Pitagoras, que en
realidad pertenece a la escuela pitagorica y no solo a Pitagoras. Su escuela afirmaba ((todo
es n
umero)), por ello, se dedico al estudio y clasificacion de los n
umeros.
Matem
aticas de Pit
agoras
Definici
on 1.3.1 (Terna Pitag
orica) Es un conjunto (a,b,c) de n
umeros naturales ta2
2
2
les que a + b = c
Las ternas cuyos tres n
umeros son coprimos se llaman ternas pitagorcias primitivas. Se pueden construir infinitas ternas pitagoricas no primitivas (da, db, dc), donde
d=(da,db,dc).
Los triangulos que se construyen con una terna no primitiva son proporcionales a
otros cuyos lados forman una terna pitagorica primitiva. Si m > n son enteros positivos,
entonces, es una terna pitagorica:
a = m2 n2
b = 2mn
c = m2 + n2
Es primitiva si y solo si m y n son coprimos y solo uno de ellos es par. (Si los dos
son impares entonces a,b,c seran pares). Existe un n
umero infinito de ternas pitagoricas
primitivas. Por ejemplo se tiene:
n
1
2
3

m
2
3
4

a
3
5
7

b c
4 5
12 13
24 25

Demostraci
on 1 (Existencia exhaustiva de las ternas pitag
oricas) Sean a, b, c
N. Se dan cuatro casos:
a b
P P
I I
I P
P I
9

c
P
P
I
I


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele
CASO 1

Si a y b son impares c sera par, ya que si a es impar a2 sera impar. Analogamente

b. Por tanto a2 + b2 = 2.
Sea [a = 2r + 1] [b = 2s + 1]. Entonces:
a2 + b2 = (4r2 + 4r + 1) + (4s2 + 4s + 1) = 4(r2 + s2 + r + s) + 2 = 4t + 2 = 4 + 2
Sin embargo, c2 = 4t + 2.
Como c2 es par entonces c es par y c2 = 4.
CASO 2
Sean a y b pares ambos. Entonces:

a2 + b2 = 4(s2 + r2 ) = c2 . Entonces c2 = 4 c = 2.

Como c = 2t 4r2 + 4s2 = 4t2 r2 + s2 = t2 . Luego (r,s,t) es una terna derivada

mas peque
na.
CASOS 3 Y 4
Sea a impar, b par (son intercambiables)y sea el m.c.d(a,b)=1.

a2 + b2 = c2 c2 a2 = b2 (c + a)(c a) = b2 = 4s2

c+a ca
2
2

= s2 .

Por el Teorema Fundamental de la Aritmetica, todo n

umero tiene una lista de primos
2
u
nica, por lo que s tiene una lista de factores primos repetidos un n
umero par de veces.
Si

c+a
2

ca
2

no tienen factores comunes repetidos, entonces:

[ c+a
= q 2 ] [ ca
= p2 ] [c =
2
2

p2 +q 2
]
2

[a =

p2 q 2
]
2

Si [ ca
= f k1 ] [ c+a
= f k2 ] [c = f (k1 + k2 )] [a = f (k1 k2 )] pero a y c no tenan
2
2
factores comunes.

10

1.3. GRECIA

Silvia Marn

Teora de la medida pitag

orica
Hipotesis: para medir longitudes siempre se puede tomar una unidad de longitud peque
na y la medida entonces es siempre un n
umero entero (esto se denomina conmensurabilidad).
A Pitagoras le surgieron problemas al medir, por ejemplo, el tercer lado en el triangulo
isosceles con los lados iguales de medida siete. En este ejercicio de geometra ideal plana
se deduce que c no es medible.
Aparecen los n
umeros irracionales.

Teorema 1.3.1 (Pit

agoras) En todo triangulo rectangulo el cuadrado de la hipotenusa
es igual a la suma de los cuadrados de los catetos.

Demostraci
on 2 (Teorema de Pit
agoras)

Los triangulos ABC y ACH son semejantes

Si ahora usamos

AB
AC

BC
CH

CH =

ACBC
AB

h=

ab
c

AB
BC

AC
CH

CH =

BCAC
AB

Si sumamos ambas relaciones obtenemos:

AB(AH + BH) = (AC)2 + (BC)2 ABAB = (AC)2 + (BC)2 a2 + b2 = c2

11


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele

Diofanto de Alejandra

Nacido alrededor del 200/214 y fallecido alrededor de 284/298, fue un antiguo matematico griego. Es considerado el padre del algebra.
Matem
aticas de Diofanto
Aproximaci
on diof
antica para ver las ternas pitag
oricas
Sea (a,b,c) una terna pitagorica, es decir, a2 + b2 = c2 . Diofanto reescribe el problema
como:
[ ac ]2 + [ cb ]2 = 1 x2 + y 2 = 1
Tenemos a,b,c que pertenece a los naturales, equivalentemente, obtenemos x,y que pertenecen a los racionales.Se quieren encontrar ternas pitagoricas, y este problema se resume
en encontrar parejas de puntos x,y racionales tales que cumplan la formula anterior.

Sean [x =

a1
]
b1

[y =

a2
].
b2

Entonces

( ab11 )2 + ( ab22 )2 = 1 (a1 )2 (b2 )2 + (b1 )2 (a2 )2 = (b1 )2 (b2 )2 .

Este
es un problema de ternas pitagoricas pero no sabemos si irreducible.

Por el teorema de Tales de proporcionalidad se tiene que:

x
1+y

t
1

x = t(1 + y)
12

1.3. GRECIA

Silvia Marn

Como x,y son racionales, entonces t es racional, excepto para y = 1

Diofanto quiere calcular puntos en la circunferencia que sean racionales. Luego:
Sea t racional y sea el sistema:


x2 + y 2 = 1
x = t(1 + y)

Sustituyendo se tiene que:

(1 + y)2 t2 + y 2 = 1 (t2 + 1)y 2 + 2t2 y + (t2 1) = 0 y =

Con =

2t2
2(t2 +1)

4t4 4(t2 + 1)(t2 1) = 4t4 4t4 + 4 = 2

Entonces se tiene la solucion:

x=

2t
1+t2

y=

1t2
1+t2

Ahora bien, si t es racional, entonces, sera x racional?

Si [t = pq ], entonces se tiene que [x =
las ternas pitagoricas.

2pq
]
p2 +q 2

e [y =

q 2 p2
],
q 2 +p2

obteniendose las formulas de

El mismo procedimiento lo intenta aplicar a las ecuaciones c

ubicas. Ademas escribio libros de los cuales uno cayo en manos de Fermat con el que conjeturo el u
ltimo
teorema.
13


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele

Thales de Mileto

Nace en Mileto, pennsula de Anatolia, y fue el iniciador del pensamiento racional

sobre el universo. Se le considera el primer filosofo de la historia de la filosofa occidental,
y fue el fundador de la escuela jonica de filosofa, seg
un el testimonio de Aristoteles. Fue el
primero y mas famoso de los Siete Sabios de Grecia (el sabio astronomo), y habra tenido,
seg
un una tradicion antigua, como discpulo y protegido, a Pitagoras. Fue ademas uno
de los mas grandes matematicos de su epoca, centrandose sus principales aportaciones
en los fundamentos de la geometra. Viajo por Egipto y aprendio el primer teorema de
semejanza de triangulos para calcular distancias de edificios.

Matem
aticas de Thales

Definici
on 1.3.2 (Tri
angulos semejantes) Se dice que dos triangulos son semejantes
si los angulos interiores son iguales.
Teorema 1.3.2 (1er Teorema de Thales) El angulo formado por dos rectas y el formado por dos paralelas es el mismo.
Teorema 1.3.3 (2er Teorema de Thales) Si los angulos de dos triangulos son iguales,
entonces, sus lados son proporcionales.
Teorema 1.3.4 (3er Teorema de Thales) Dado un punto B, de una circunferencia de
[ es recto
diametro AC (A, B y C son distintos), el angulo ABC
Demostraci
on 3 (3er Teorema de Thales)
Se traza una recta desde B hacia un punto de la circunferencia, quedando dos triangulos
isosceles, es decir:

14

1.3. GRECIA

Silvia Marn

Los angulos de los triangulos isosceles son dos iguales y uno diferente por lo que:

+ =180 0
+ =180 1
+ =

Sumando las ecuaciones, se tiene:

2 + 2 + 0 + 1 = 360 2( + ) = 180 + = 90 =

Teorema 1.3.5 El angulo central de un sector circular es el doble del angulo generado
en el extremo del diametro

b es recto, tomando
Teorema 1.3.6 (Teorema inverso del Teorema de Thales) Si C
AB como diametro de una circunferencia , entonces dicha circunferencia pasa por C

Demostraci
on 4 (Teorema inverso)
Supongase que no pasa por la circunferencia y el angulo que forma es recto.

Entonces se alarga la recta que une A con C hasta intersecar con la circunferencia en
el punto C, uniendose posteriormente con B.

15


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele

0 B es recto tambi
\
Por el Teorema de Thales, el angulo que forma AC
en y por consiguiente la recta CB y CB son paralelas.

Interpretaci
on geom
etrica del Teorema de Pit
agoras
Una vez aceptado que hay longitudes extra
nas en R y que no se pueden demostrar
las cosas en N, Q y Z se empiezan a hacer geometricamente. En la figura 1, la simetra
dice que A3 es un cuadrado de lado c, donde c es la hipotenusa en el triangulo de lados
a,b,c.
Tecnica del vaciado:
1. El cuadrado base es de la misma area (a + b)2
2. Lo que hemos de quitar en el primero es un conjunto de cuatro triangulos rectangulos
de catetos a y b.
3. Lo que hemos de quitar a la derecha es lo mismo, pues los rectangulos se dividen en
dos triangulos rectangulos de catetos a y b.
4. A3 = A1 + A2
5. (a + b)2 = a2 + b2 + 4 12 ab = a2 + b2 + 2ab

16

1.3. GRECIA

Silvia Marn

Teorema 1.3.7 (Proyecci

on) En todo triangulo rectangulo el cuadrado de un cateto es
igual al producto de la hipotenusa por la proyeccion de dicho cateto sobre la misma

Teorema 1.3.8 (Altura) En cualquier triangulo rectangulo la altura relativa a la hipotenusa es la media proporcional entre las proyecciones ortogonales de los catetos sobre la
hipotenusa.

Problemas constructivos
Dado un segmento, se pueden calcular, su suma y diferencia, su producto y division,
y por u
ltimo, su raz cuadrada.

Euclides

Su vida es poco conocida, salvo que vivio en Alejandra (actualmente Egipto) durante el reinado de Ptolomeo I. Ciertos autores arabes afirman que Euclides era hijo de
Naucrates

Matem
aticas de Euclides

Euclides re
une todas las matematicas aprendidas hasta entonces en trece libros en
los cuales utiliza una organizacion sistematica, elimina la intuicion en las demostraciones basandose en una deduccion logica e introduce las ideas de axioma (reglas logicas),
postulado (conceptos geometrico y afirmaciones aceptadas), definicion (abreviatura), demostracion, lema, proposicion, teorema y corolario.

1. Del I al VI: Geometra plana

2. Del VII al X: Aritmetica
3. Del X al XIII: Geometra del espacio
17


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele

N
umeros primos
Definici
on 1.3.3 (N
umero primo) p es primo si y solo si sus u
nicos divisores son 1
y p.
Proposici
on 1.3.1 Los n
umeros primos son infinitos.
Demostraci
on 5 (Euclides)
Supongamos que el conjunto de los n
umeros primos es finito. Sea A = {p1 , ..., pn } el
conjunto de los n
umeros primos. Sea pn+1 = p1 p2 ...pn + 1
Ning
un primo de A divide a pn+1 , por tanto, o bien pn+1 es primo, o bien existe un
primo mayor que todos los primos de A que lo divide.

Teorema 1.3.9 (de los n

umeros primos)

lm

(n)
n
log(n)

=1

Definici
on 1.3.4 Un entero b es divisible por un entero a, distinto de cero, si existe n
entero x tal que b=ax y se escribe a | b, en el caso de que b n sea divisible por a se escribe
a - b. Otra manera de expresar la divisibilidad a | b, es decir, que a divide a b, que a es
un divisor de b, y que b es un m
ultiplo de a.
n es primo si n1 | n implica que n1 = n o n1 = 1.
Teorema 1.3.10 Todo n
umero entero se descompone en producto de factores primos.
Demostraci
on 6
Se va dividiendo el n
umero n entre todos los n
umeros naturales menores que n.
1. Si ninguna division es exacta entonces ning
un primo es factor de n
2. Si alguna division es exacta, sea
primo p1 y el otro factor n1 < n.

n
p1

= n1 , en este paso se ha separado un factor

18

1.3. GRECIA

Silvia Marn

3. Ahora procedemos de la misma forma con n1 (paso 1). Por el metodo de descenso,
una sucesion decreciente de n
umeros naturales debe de terminar en un paso 1.

Algoritmo del m.c.d

Sean a,b n
umeros naturales y supongamos que son mayores que uno con a > b
Si q es factor com
un de a y b entonces es factor de r1 . Por otra parte, si q es factor
de b y r1 , es factor de a. Por tanto, a es combinacion lineal entera de b y r1 , es decir,
a = c1 b + r1 .
As pues, la idea del algoritmo reside en que los factores comunes de a y b son factores
de b y r1
El algoritmo es:
1. c1 = [ ab ] y r1 = a bc1
2. Si r1 6= 0 entonces volvemos a dividir b entre r1
3. Seguimos por iteracion hasta que rn sea igual a cero. Entonces rn1 es el maximo
com
un divisor.

Teorema 1.3.11 (Bezout) Si mcd(a, b) = d, entonces existe una combinacion lineal

entera que da d, es decir, existen m y n tales que ma + nb = d.

Teorema 1.3.12 La descomposicion de un n

umero entero n en factores primos es u
nica.

Las fracciones continuas

Una fraccion continua es una expresion de la forma:

x = a0 +

1
a1 +

1
a2 + 1

..

con a0 entero y a1 , a2 enteros positivos.

19


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele
Ejemplo:
28
19

=1+

9
19

=1+

1
19
9

=1+

1
2+ 19

28
19

= [1; 2, 9]

Ejemplo:

2 = 1, 4142 . . .

2=1+

1
2,4142...

=1+

2 1 = 0, 4142 . . .

1
2+0,4142...

=1+

1
1
2+ 2,4142...

1
21

=1+

= 2, 4142 . . . entonces:
1
2+

2 = [1; 2, 2, 2, . . .]

2+ 1

..

Teorema 1.3.13 Si una fraccion

continua infinita es periodica entonces define un n
umero irracional cuadratico. x = a + b. El recproco es cierto tambien.

La estructura de los periodos de las races de los n

umeros enteros es caotica

Definici
on 1.3.5 Una fraccion continua reducida de una fraccion continua es la expresion xn = [a0 ; a1 , a2 , a3 , . . . , an ]
Proposici
on 1.3.2 (de recurrencia) Sea [a0 ; a1 , a2 ..., an ] una fraccion continua: definimos la sucesion pqkk por:


p0 =a0 p1 =a0 a1 + 1
q0 = 1 q1 =
a1

y la recurrencia, para k 2


La fraccion

pk
qk

pk = ak pk1 + pk2
qk = ak qk1 + qk2

se llama la k-esima reducida de la fraccion continua.

Demostraci
on 7
Lo demostramos por induccion.
Para n = 1 esta visto.
20

1.3. GRECIA

Silvia Marn

Supongamos cierto hasta n y veamos que se cumple para n+1.

Observacion: xn+1 = [a0 ; a1 , ..., an , an+1 ] = [a0 ; a1 , ..., an +
la u
ltima coordenada.

1
]
an+1

admitimos fraccion en

1
)pn1
an+1

+ pn2

1
)q
an+1 n1

+ qn2

pn+1 = pbn = abn pn1 + pn2 = (an +

Dividiendo todo entre

qn+1 = qbn = abn qn1 + qn2 = (an +

resulta
an+1 pn +pn1
an+1 qn +qn1

A modo de ejemplo ilustramos la tabla de

n an
1 1
2 2
3 2
4 2

pn qn
3 2
7 5
17 12
41 29

Observacion: Entre el caos de las longitudes de los periodos encontramos una estructura que se repite alrededor de los cuadrados perfectos.

0 1 2 0 1 2
1 2 3 4 5 6

4 2 0 1 2 2
7 8 9 10 11 12

5 4 2 0 1 2
13 14 15 16 17 18

El n
umero Aureo

= [1; 1, 1, 1, ...] = 1 +

1
1+

1
1+ 1

..

21


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele
Entonces, se tiene:

=1+

2 = + 1 =

Nos quedamos con la solucion

1
2

1 1+4
2

1
2

5
2

5
2

Interpretaci
on geom
etrica de la proporci
on
aurea

El Teorema de Thales verifica:

1+

Otros n
umeros irracionales en expresiones de fracciones continuas

El n
umero e = [2; 1, 2, 1, 1, 4, 1, 1, 6, 1, 1, 8, . . .]

Este n
umero no es solucion de un polinomio cuadratico y de hecho no lo es para
cualquier polinomio con coeficientes racionales, es decir, es un n
umero trascendente. Sin
embargo, es computable.

Demostraci
on 8 (e es irracional)
Supongase que el n
umero e es racional, en particular, e =
La serie de Taylor de e es
22

p
q

1.3. GRECIA

Silvia Marn
e=1+1+

1
2!

1
3!

+ ... +

1
n!

+ Rn

Si fuese racional entonces

n = q m1 = p n!q m1 = m2 + m3 + . . . + mn + Rn n!
Por tanto:

Rn n! =

e n!
(n+1)!

e
n+1

<

3
n+1

<1

Como Rn < 1 y es entero Rn = 0

El n
umero = [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, . . .]
Al igual que el n
umero e, tambien es irracional, trascendente y computable (Arqumedes fue capaz de calcular algunos decimales de su parte decimal). Los pueblos como los
egipcios o babilonios lo aproximaron con la fraccion 22
7
Convergencia de
n an
pn
qn
0 3
3
1
1 7
22
7
2 15
333
106
3 1
355
113
4 292 103933 33102
Convergencia de la sucesi
on reducida de una fracci
on continua
Sea x = [a0 ; a1 , a2 , . . . , an , . . .] xn = [a0 ; a1 , a2 , . . . , an ] xn = [a0 ; a1 , a2 , . . . , an1 +
1
]
an

Se considera xn como una fraccion en funcion de la u

ltima variable, luego xn (t) =
xn ([a0 ; a1 , a2 , . . . , t])
El problema de monotona de la serie se reduce a estudiar la diferencia con respecto a
t. Para ello se va a buscar una version cuantitativa de la oscilacion.
23


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele

Usando la formula de recurrencia se llega a que xn xn1 =

pn1 qn2 pn2 qn1

qn qn1

Llamando a Nn al numerador de la diferencia se tiene que Nn = Nn1 , por lo que,

en cada paso se alterna el signo. As pues

n+1 = xn xn1 =

(1)n
qn qn1

Proposici
on 1.3.3 n+1 alterna el signo
Proposici
on 1.3.4 La sucesion xn define intervalos encajados
Teorema 1.3.14 (Leibniz) En las condiciones de intervalos encajados se define un u
nico n
umero naural, si y solo si, n 0
CONTINUA
ALGUNOS TEOREMAS SOBRE REDUCIDAS DE UNA FRACCION

Teorema 1.3.15 Sea rn , rn+1 convergentes sucesivas de la fraccion continua de un n

umero r. Entonces |r rn | |r rn+1 |


Teorema 1.3.16 Con la misma notacion, r

pn 
qn 

1
2
2qn

Teorema 1.3.17 Sea r un n

umero real positivo. Sean a, b enteros positivos y b 6= 0. Y sea
xn 6= ab (tenemos
una
fracci
o
n
que no es la reducida pero que aproxima mejor). Entonces


a

b > qn y r b |r rn |.
Ahora bien, si

a
b

a2
b2

D a2 b 2 D  = a2 b 2 D

Para minimizar el error se toma  = 1 obteniendose as una ecuacion diofantica,

llamada Ecuacion de Pell. Ocurrira que:

 = 0 solo si D es un cuadrado.
Si  = +1 tendremos una mejor aproximacion superior.
24

1.3. GRECIA

Silvia Marn

Si  = 1 tendremos una mejor aproximacion inferior.

La ecuacion clasica de Pell de parametro D sera de la forma: x2 Dy 2 = 1

Ejemplos:
Para

2 tenemos la tabla:

n an
0 1
1 2
2 2
3 2
4 2
5 2

Para

pn
1
3
7
17
41
99

qn
1
2
5
12
29
70

n
1
+1
1
+1
1
+1

n a n pn qn
0 1 1 1
1 1 2 1
2 2 5 3
3 1 7 4
4 2 19 11
5 1 26 15

n
2
+1
2
+1
2
+1

3 tenemos la tabla:

Para probar que existe una solucion basta probar con las fracciones continuas. No
obstante, fue Dirichlet quien encontr
o que todas las soluciones de la ecuacion de Pell son
unidades en el anillo generado por D

Teorema 1.3.18 Para cualquier D, existe una solucion

Teorema 1.3.19 El conjunto de soluciones es infinito

Teorema
1.3.20 El conjunto de soluciones es lo mismo que el conjunto de unidades de

Z[ D]
Teorema 1.3.21 Las unidades son un grupo cclico
25


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele

Teorema 1.3.22 Una solucion de la ecuacion de Pell es un paso del calculo de fracciones
continuas

Geometra griega

La idea reside en traducir la aritmetica a la geomera plana y en explorar las construcciones de la geometra plana. Para ello ponen reglas (construcciones con regla y compas)
y las siguen; una vez puestas determinan que objetos se pueden construir.
Ejemplos:

Determinan las construcciones con regla y compas tales como las operaciones enteras
y las races de n
umeros. Tambien construyen figuras como el triangulo, el pentagono y el
hexagono.
Sin embargo, se encuentran con varios problemas a los que no encontraron solucion.
Los mas famosos son:
Problema 1 Cuadratura del cuadrado
Problema 2
Duplicacion del cubo
Problema 3 La triseccion del angulo

Cuadratura del cuadrado

Se quiere construir, con regla y compas, un cuadrado cuya area sea la misma
que un
crculo de radio uno. Para ello se tiene que construir dicho cuadrado con lado . Pero
no fueron capaces de resolver este problema.

26

1.3. GRECIA

Silvia Marn

Duplicaci
on del cubo
Dado un cubo, se quiere construir otro que tenga el doble del volumen inicial con regla y
compas, no obstante, vieron que tenan que resolver una ecuacion c
ubica y ademas x (lado
del cubo) no poda ser una fraccion. La construccion con regla y compas no funcionaba.
Para ello, el griego Eudoxo introduce la aproximacion por racionales, es decir, ya que no
pueden calcular el lado exacto del cubo, buscan un n
umero que se aproxime al deseado.
Por ejemplo:
V
xn
2
8
1
1
3/2
27/8
1 + 1/5 10 728
1 + 3/10 2,197

Finalmente la idea de Eudoxo la recogio Euclides en un libro. Por otra parte, intentan
expresar la raz c
ubica como una fraccion continua y vieron que no tena una forma
periodica.
Trisecci
on del
angulo
27


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele

En este problema se quiere dividir un angulo arbitrario en tres partes iguales. En

el problema de dividir un segmento en tres partes dieron con resultados positivos, sin
embargo, en este caso se encontraron que solo les valan ciertos angulos.

En cambio mediante la trigonometra hoy es posible calcular el valor del angulo pedido.
En otros aspectos de la Geometra, intentaron clasificar las curvas seg
un las dimensiones donde eran vistas. En el caso bidimensional, se encontraron con curvas como rectas
y crculos. Apolonio descubre las ecuaciones cuadraticas y las clasifico en circunferencias,
elipses, parabolas e hiperbolas.

Computaci
on para aproximar el n
umero


Polgono inscrito
28

P erimetro n2xn
Area
n1,n

1.3. GRECIA

Silvia Marn

Circunferencia de radio uno


Polgono circunscrito

P erimetro 2
Area

P erimetro n2yn
Area
n2,n

En particular

3
3 3
a
=
6

a
=
6

a
=

6
1,6
6
6
4
2

An = n2,6 a6 = 6 33 a6 = 2 3

p6 =
3

P6 = 2 3

Ahora se hace de manera general para un polgono de n lados.

Por tanto:

Lado de un polgono de regular inscrito de n lados

Lado de un polgono de regular circunscrito de n lados

2xn
2yn

La idea consiste en escribir yn , y2n y x2n en funcion de xn

Como OB = 1 y OA = xn , por el Teorema de Pitagoras se tiene que OA0 =
As pues:
29

p
1 x2n .


CAPITULO 1. PRINCIPIO HISTORICO

Fernando Loysele
tan = xn

1x2n

yn
1

y n = xn

1x2n

Por otra parte se tiene que los triangulos ADB y AOF son proporcionales. Por tanto:

DA0
A0 B

AO
AF

1+

1x2n

1
y2n

xn

y2n =

xn
1+

1x2n

Analogamente con los triangulos DEE y DAB obteniendose que:

2x22n =

xn
1+

1x2n

Relacionando todas estas igualdades se tiene que

1
pn

1
Pn

2
P2n

y (p2n )2 = P2n p2

Ahora aplicando el concepto de media geometrica, media aritmetica y media armonica

y que pn < Pn se tiene que

0 < pn <
0 < pn <

2
1
+ P1
pn
n

2
1
+ P1
pn
2n

<
<

p n Pn <

pn P2n <

pn +Pn
2
pn +P2n
2

< Pn
< P2n

Finalmente, usando estas dos desigualdades se tiene que

0 < pn < p2n < P2n < Pn

Cabe destacar que la sucesion (pn ) es creciente y que (Pn ) es decreciente aproximando
los valores por defecto y por exceso respectivamente.
Arqumedes uso esta desigualdades para los valores 6, 12, 24, 43, 96.
30

1.4. ROMA

Silvia Marn
REPASO DE LAS MEDIAS
Aritmetica

A+B
2

Geometrica

AB

Armonica

2AB
A+B

Propiedad importante: 0 < A <

1.4.

2AB
A+B

<

AB <

A+B
2

<B

Roma

La ciencia en Roma apenas consigue un desarrollo como lo haban conseguido los

griegos en su epoca de esplendor. De hecho, los ciudadanos romanos consideraron que la
cultura de Grecia era tan sumamente brillante que la adoptaron para s. Era tradicional
que las familias ricas romanas tuvieran como mentores alg
un ciudadano griego as como
el idioma y ademas usaron los conocimientos griegos para tener un desarrollo tecnico.
Con la division del Imperio por Teodosio, la parte oriental del Imperio hizo que la
lengua griega perdurase suplantando la lengua latina como la lengua del pueblo (solo se
usaba el latn como lengua administrativa) y que perduro hasta el a
no 1545 con la cada
de Constantinopla.

31

Captulo 2
Ejercicios
Ejercicio 1
Hacer los calculos de Diofanto disparando desde N(0,1)
Soluci
on


y 1 = tx
x2 y 2 = 1

y = tx + 1
x2 (tx + 1)2 = 1

Entonces:
x2 + t2 x2 + 2tx + 1 = 1 x2 (1 + t2 ) + 2tx = 0 x[x(1 + t2 ) + 2t] = 0
Entonces


x1 = 0
2t
x2 = 1+t
2

y1 = 1
2t
y2 = t 1+t2 + 1 =


1t2
1+t2

La primera solucion ya la sabamos.

Ejercicio 2
Hacer los calculos de Diofanto disparando desde W(-1,0)
33

CAPITULO 2. EJERCICIOS

Fernando Loysele
Soluci
on


y = t(x + 1)
x2 + y 2 = 1

Entonces
x2 + t2 (x + 1)2 = 1 x2 + t2 (x2 + 2x + 1) = 1 x2 (t2 + 1) + 2xt2 + t2 1 = 0
Por lo tanto
=

b2 4ac =

p
p
(2t2 )2 4(t2 + 1)(t2 1) = 4t4 4(t4 1) = 2

Finalmente
x=

b b2 4ac
2a

2t2 2
2(t2 +1)

As pues


x1 = 1
2
x2 = 1t
1+t2

y1 = 0
1t2
y2 = t( 1+t2 + 1) =


2t
1+t2

Donde la primera solucion ya la sabamos.

Ejercicio 3
Un n
umero es elegante si al sumar los cuadrados de sus cifras, repetir la misma operacion sobre el resultado obtenido e iterar este proceso suficientes veces obtenemos finalmente
1.
a) Hacer una tabla con los veinte primeros n
umeros y ver cuales son elegantes.
b) Demostrar que hay infinitos elegantes y dar una forma de obtenerlos.
c) Hay infinitos elegantes consecutivos?
34

Silvia Marn
Soluci
on
a) Podemos observar que los n
umeros que no son elegantes entran en un bucle.
1 12 = 1
2 22 = 4 16 37 58 89 145 42 20 4
3 9 81 65 61 37
4 16 37
5 25 29 85 89 145 42 20 4 16 37
6 36 45 41 17 50 25 29 85
7 49 97 130 10 1
8 64 52 29 85
9 81 65 61 37
10 1
11 2 4 16 37
12 5 25 29 85
13 10 1
14 17 50 25 29 85
15 26 40 16 37
16 37
17 50 25 29 85
18 65 61 37
19 82 68 100 1
20 4 16 37

Los n
umeros elegantes del 1 al 20 son: 1, 7, 10, 13, 19.
b) Existen infinitos n
umeros elegantes, pues dado uno, basta a
nadir un cero a la derecha
para obtener otro.
c) Hay infinitos n
umeros elegantes consecutivos; dados los n
umeros 31 y 32 que son
consecutivos y elegantes, basta a
nadir ceros entre el 3 y el 1, y entre el 3 y el 2; como
resultado obtenemos n
umeros elegantes y consecutivos.
31 y 32 son n
umeros elegantes:
31 32 + 12 = 10 12 + 02 = 1
32 32 + 22 = 13 12 + 32 = 10 12 + 02 = 1

35

CAPITULO 2. EJERCICIOS

Fernando Loysele
Ejercicio 4
Calcula las siguientes fracciones continuas:

a)

28
19

b)

48
13

Soluci
on

a)

28
19

=1+

9
19

=1+

b)

48
13

=3+

9
13

=3+

1
19
9

1
13
9

=1+

1
2+ 19

= [1; 2, 9]

=3+

1
1+ 49

=3+

1
1+ 19

=3+

1
1+

1
1
2+ 4

= [3; 1, 2, 4]

Ejercicio 5
Calcular la fraccion continua de

Soluci
on

x=1+

1
1+x

x=

(1 + x)x = 1 + x + 1 x2 = 2 x =

2=1+

1
2+

=1+

1
1+1+

1
2+

1
2+

..

2 = [1; 2, 2, 2, 2, 2, 2, . . .]

Ejercicio 6
Que n
umero es [1; 3, 3, 3, . . .]?

36

1
2+

1
2+

..

Silvia Marn
Soluci
on

x=1+

y=

y=

1
3+

3 13
2

1
3+

1
3+

1
3+y

1
3+

1
3+

1
3+

...

(3 + y)y = 1 y 2 + 3y 1 = 0

..

y = 0,302775637 . . . x = 1 + y = 1,302775637 . . .

Ejercicio 7
Calcular la fraccion continua de

Soluci
on

3
=
1,732050808
.
.
.
3 1 = 0,732050808 . . .

1
3 = 1 + 0,732050808 . . . = 1 + 1,366025404...
= 1 + 1+ 1 1
=1+
2,732050808...

Vemos que la estructura se va repitiendo.

3 = [1; 1, 2, 1, 2, 1, 2, . . .]

Ejercicio 8
Calcular la fraccion continua de

37

1
1+

1
2+

..

CAPITULO 2. EJERCICIOS

Fernando Loysele
Soluci
on
metodo 1

x2 = 5 x2 4 = 1 (x + 2)(x 2) = 1
x2=

1
x+2

x=2+

1
x+2

=2+

1
1
2+(2+ x+2
)

=2+

1
1
4+ x+2

=2+

1
4+

1
4+

..

5 = [2; 4, 4, 4, . . .]

metodo 2

5 = 2,236067977 . . .

5=2+

1
4,236067978...

=2+

1
1
4+ 4,236067978...

=2+

1
4+

1
4+

...

5 = [2; 4, 4, 4, . . .]

Ejercicio 9
Calcular la fraccion continua de

Soluci
on

6 = 2,449489743 . . . = 2 + 0,449489743 . . . = 2 +

6 = [2; 2, 4, 2, 4, . . .]

Ejercicio 10
Calcular la fraccion continua de

7
38

1
2,224744871...

=2+

1
1
2+ 4,449489743...

Silvia Marn
Soluci
on

7 = 2,645751311 . . . = 2 + 0,645751311 . . . = 2 +
2+

1
1+

1
1
1+ 1,215250437

=2+

1+

1
1,54858377...
1

=2+

1
1
1+ 1,822875656...

1
1+

1
1
1+ 4,645751311...

7 = [2; 1, 1, 1, 4, 1, 1, 1, 4, . . .]

Ejercicio 11

Calcular la fraccion continua de

Soluci
on
metodo 1

8 = 2,828427125 . . . = 2 + 0,828427125 . . . = 2 +

1
1,207106781...

=2+

1
1
1+ 4,828427125...

8 = [2; 1, 4, 1, 4, . . .]

metodo 2
x2 = 8
(x 2)(x + 2) = 4 x 2 =
x=2+

4
x+2

=2+

4
4
2+(2+ x+2
)

=2+

2+

4
4
4+ x+2

=2+

1
1+

4
4 )
2+(2+ x+2

1
1
1+ x+2

=2+

1
4+

4
x+2

x=2+

4
x+2

=2+

1
1+

1
4+

8 = [2; 1, 4, 1, 4, . . .]

39

1
1
1+ x+2

1+

1
4 )
2+(2+ x+2

=2+

1
1+

1
4
4+ x+2

CAPITULO 2. EJERCICIOS

Fernando Loysele

Ejercicio 12 Calcular la tabla de reducidas con errores de

Soluci
on
n
0
1
2
3
4
5
6
7
8
9

an
2
1
1
1
4
1
1
1
4
1

pn
2
3
5
8
37
45
82
127
590
717

qn
1
1
2
3
14
17
31
48
223
271

En = p2n 7qn2
22 7 1 = 3
32 7 1 = 2
52 7 22 = 3
82 7 32 =1
372 7 142 = 3
452 7 172 = 2
822 7 312 = 3
1272 7 482 =1
5902 7 2232 = 3
7172 7 2712 = 2

El generador es g = 8 + 3 7

Podemos observar que g 2 = 127 + 48 7

Obtenemos el resultado con un error de 103

7 = 2,645751311 . . .

127
48

= 2,64583333 . . .

Ejercicio 13
Calcular la tabla de reducidas de

61 con errores.

Soluci
on

61 = 7,810249676 . . . = 7 +

1
1,234187473...

=7+

1
1
1+ 4,270087225...

= ... = 7 +

1
1+

1
4+

1
3+

61 = [7; 1, 4, 3, 1, 2, 2, 1, 3, 4, 1, 14, 1, . . .]

(Observamos la estructura capic

ua de las fracciones continuas de las races)
40

1+

2+

..

Silvia Marn
n
0
1
2
3
4
5
6
7
8
9

an
7
1
4
3
1
2
2
1
3
4

pn
7
8
39
125
164
453
1070
1523
5639
24079

qn
En = p2n 61qn2
1
72 61 1 = 12
1
3
5
-4
16
9
21
-5
58
5
137
-9
195
4
722
3
3083
12

pn
qn

p2n
2
qn

7
8
7.8
7.8125
7.80952381. . .
7.81034482. . .
7.81021897. . .
7.81025641. . .
7.81024930. . .
7.81024975. . .

49
64
60.84
61.03515625. . .
60.98866213. . .
61.00148633. . .
60.99952049. . .
61.00010519. . .
60.99999424. . .
61.00000126. . .

Podemos observar como los errores se van alternando por exceso y por defecto.

Ejercicio 14
Hacer la tabla de reducidas de

63 con errores

Soluci
on

63 = 7,937253933 . . . = 7 + 0,937253933 . . . = 7 +

n
0
1
2
3
4
5
6

an
pn
7
7
1
8
14 119
1
127
14 1897
1 2024
14 30233

1
1,06694671...

=7+

1
1
1+ 14,937253933...

63 = [7, 1, 14, 1, 14, . . .]

qn
En = p2n 7qn2
1
-14
1
1
15
-14
16
1
239
-14
255
1
3809
-14

41

pn
qn

p2n
2
qn

7
8
7.9333. . .
7.9375
7.93723. . .
7.93725. . .
7.937253. . .

49
64
62.93777. . .
63.003906. . .
62.99975. . .
63.000015. . .
62.99999903. . .

CAPITULO 2. EJERCICIOS

Fernando Loysele
Ejercicio 15

Calcular el maximo com

un divisor de 12.871 y 523.069
Soluci
on
523069
12871

4642
3587

= 40 +

=1+

8229
12871

1055
3587

12871
8229

3587
1055

=1+

=3+

422
1055

4642
8229

1055
422

8229
4642

=1+

=2+

211
422

3587
4642

422
211

=2

El maximo com
un divisor es el u
ltimo resto distinto de cero.
mcd(12.871, 523.069)=211

Ejercicio 16
Hallar el inverso de 17 modulo 9.600
Soluci
on
9600
17

= 564 +

12
17

17
12

=1+

5
12

12
5

=2+

2
5

5
2

=2+

1
2

9600 = 17 564 + 12
17 = 12 1 + 5
12 = 5 2 + 2
5=22+1
Sustituyendo en los restos nos queda:
1 = 5 2 2 = 5 2(12 5 2) = 5 5 2 12 = 5(17 12) 2 12 = 5 17 7 12 =
5 17 7 (9600 17 564) = 7 9600 + 3953 17
171 mod(9600) = 3953

42

Silvia Marn
Ejercicio 17
Fracciones continuas:

m2 + 1 = [m; 2m, 2m, 2m, . . .]

b) Probar la afirmacion correspondiente para m2 + 2

a) Probar que

Soluci
on
a)
1

y =m+

=m+

2m+

2m+

...

1
m+m+

=m+

2m+

...

1
m+y

(m + y)y = m2 + my + 1 my + y 2 = m2 + my + 1 y =

m2 + 1

b)
La afirmacion para el segundo caso es

y =m+

1
m+

=m+

1
2m+

1
m+

y =m+

1
1
m+ m+y

m2 + 2 = [m; m, 2m, m, 2m, m, . . .]

1
m+

...

1
m+m+

=m+
1

m+

y =m+

1
m2 +ym+1
m+y

=m+

...
m+y
m2 +my+1

1
1
m+ m+y

m3 +my+m+m+y
m2 +ym+1

y(m2 + my + 1) = m3 + 2m + my + y my 2 = m3 + 2m y 2 = m2 + 2
y=

m2 + 2

43