Sei sulla pagina 1di 75

Rafael Parra

Macho
FUNDAMENTOS DE LOS
NMEROS
1
1. FUNDAMENTOS DE LOS NMEROS
1. 1. Clasificacin de los nmeros.
1.1 Definicin y origen de
los nmeros.
Entre los griegos, un nmero era una cantidad o una medida representada,
por un entero na- tural, o por una relacin de dos enteros naturales. Puede
considerarse un nmero como una abstraccin ligada a conjuntos de objetos
y que se escinde, por consideracin de los conjuntos infinitos, en dos
conceptos diferentes.
En la actualidad, se define un nmero como elemento de un conjunto de
nmeros que deben
verificar ciertas propiedades. As es como se han definido los conjuntos
, , , cuya
construccin se hace por etapas sucesivas a partir del conjunto de los
nmeros naturales.
La primera muestra de un registro numrico fue encontrada en
, en el sur de fri- ca; se trata de un hueso, el peron de un babuino, con
veintinueve muescas bien marcadas y data de, aproximadamente, 35000
aos a.C. Tiene un parecido extraordinario con el calenda- rio de varillas
que an se usa en Namibia para registrar el paso del tiempo. En la
Repblica Checa se encontr un radio de lobo que data de, alrededor de
30000 aos a.C., marcado con cincuenta y cinco muescas en dos series de
grupos de cinco. Posiblemente se trate de una lista de animales cazados.
Entre los hallazgos, el ms curioso es el hueso conocido como Ishango,
descubierto en las orillas del lago Edwards, entre Uganda y la Repblica
Democrtica del Con- go, que data de aproximadamente 20000 aos a.C., y
aparenta ser algo ms que un mero re- cuento, ya que, estudios
microscpicos, han demostrado cierta relacin con las fases lunares. Debido
a la imperiosidad de predecir la luna llena, posiblemente por razones
religiosas o pragmticas que requeran la visibilidad nocturna, no es de
extraar que una de las inquietu- des del hombre neoltico fuera observar el
ciclo del gran reloj del cielo. De hecho, a travs de la astronoma, de la
astrologa o de la cosmologa, la observacin de los cielos ha sido, sin du-
da, la mayor influencia en el descubrimiento de los nmeros.
En su obra , el profesor Georges
Ifrah dice que hacia el
3300-3200 aos a.C., la aparicin simultnea de los nmeros sumerios y de
los nmeros pro- toelamitas, constituyen el sistemas ms antiguos de
numeracin escrita actualmente conoci- dos. Se trataba de un sistema de
numeracin posicional de base 60 que contiene el conjunto
de nmeros {1,2,3,4,5,6,7,8,9}, esto es, todos los nmeros naturales
excepto el cero. El siste-
ma sexagesimal se utiliza en la actualidad para medidas angulares y de
tiempo. En el siglo III
a.C. tiene su aparicin el primer cero conocido de la historia: el cero de los
sabios babilnicos, utilizado exclusivamente en la numeracin posicional
babilonia para significar la ausencia de unidades sexagesimales de cierto
orden. El cero, tal y como lo conocemos en nuestros das, fue
utilizado por primera vez en la India por el matemtico y astrnomo %
' ( ) (598
Rafael Parra
Macho
FUNDAMENTOS DE LOS
NMEROS
2
665) que lo menciona en su obra Brahmasphuta Siddhanta del ao 628 y
fue introducido en
Europa por los rabes, a los que algunas fuentes atribuyen ser los
primeros en desarrollar los
conceptos numricos del 0 hasta el 9,
1000 aos a.C.
1.2 Primeras clasificaciones de
los nmeros.
Entre las muchas clasificaciones que pueden hacerse de los nmeros, hay
dos de universal co-
nocimiento: La ) , que los divide en pares e impares, y la ) '
, que los divide en
primos y
compuestos.
Desde la ms remota antigedad, el hombre ha distinguido los
nmeros enteros como
) , 2,4,6, o como ')
1,3,5,
Se dice que un entero es par si existe otro entero .
tal que = 2..
Se dice que un entero es impar si existe otro entero . tal
que = 2. + 1.
+ 1 2
1 0 1
2 1 0

1 2
1 1 0
2 0 0
3
Rafael Parra
Macho
FUNDAMENTOS DE LOS
NMEROS
Las leyes de clculo entre pares e impares se definen como:
par + par par 2k +2k 4k 2(2k)
par + impar impar 2k +2k +1 4k +1
impar + impar par 2k +1 +2k +1 4k +2 2(2k +1)
par par par 2k 2k 4k 2(2k)
par impar par 2k(2k + 1) 4k
2
+ 2k 2(2k
2
+ k)
impar impar impar (2k + 1)
2
4k
2
+ 4k + 1 4(k
2
+ k) + 1
Estas leyes definen un dominio de integridad del anillo
3
que consta slo
de dos elementos,
0() ) y 1( ') ), con las tablas de adicin y multiplicacin siguientes:
Si el simtrico para la suma de un elemento cualquiera x es el opuesto x,
y el simtrico para el producto es el inverso x
1
cuando x 0, se puede
demostrar fcilmente que
x +(x) 0 y x x
1
1
El nmero par puede ser representado como diferencia de cuadrados,
(2k) +
1_
2
(2k)1_
2
((2k) +
1)
2
((2k)1)
2
(2k)



2
2
2
2

El nmero impar tambin puede ser representado como diferencia de


cuadrados
2
2
(2k 1)
(2k + 1)
+1_

(2k +
1)1

_ (k 1)
2
k
2
+

+
Un entero 5, 5 0 se llama divisor o factor de un entero , esto es, b 6 a, si
existe un entero 7
tal que = 57. Cuando b 6 a, se dir que 5 es mltiplo de .
Un entero p, ) 0, 1, se dice que es primo si, y slo si, sus nicos divisores
son 1 y ).
Dos nmeros son primos entre s si el nico divisor comn es la unidad.
Los nmeros primos de la forma 4. + 1 son representables como suma
de dos cuadrados mientras que los de la forma 4. 1 no lo son. Un nmero natural es la suma de dos cuadrados si, y slo si, la
descomposicin de en fac-
4
Rafael Parra
Macho
FUNDAMENTOS DE LOS
NMEROS
tores primos no contiene ningn factor primo de la forma 4. + 1 elevada a
potencia de expo-
nente par.
Los nmeros primos estn estrechamente ligados con el sistema decimal o
de base diez.
La descomposicin en factores primos de diez es 10 = 2 5 y el sistema
completo de restos, respecto al nmero diez, es {1,2,3,4,5,6,7,8,9}. De estos nmeros, son coprimos con diez el
1,3,7 ; 9. Todos los nmeros primos conocidos terminan en 1, 3, 7, 9,
aunque no todos los
nmeros que terminan en 1, 3, 7, 9 son primos. Existen dos excepciones con
el 2 y el 5 que son
primos por s solos y son compuestos si aparecen como terminacin. En el
siglo XVIII, Euler
demostr con su funcin <( ) la cantidad de nmeros coprimos con otro de
determinada es-
tructura, que en nuestro caso podemos calcular como

(n)
n

(1

1

(1

1

(1

1

,
p
1
,

p
2
,

p
n
,

esto
es

(10)

10

(1

(1

10

1,3,7,9

2 ,

5,

2,

5 ,
Los pitagricos definieron otro tipo de nmeros en relacin con los
divisores o partes alcuo-
tas, trmino ste acuado por 7' 7 = ( ( > . . ), un
neopitagrico origina- rio de Judea y autor de la obra > 77 ?
' 7 . Estos nmeros son:
?5 : Es un nmero que es mayor a la suma
de sus divisores.
B 7 : Es un nmero que es menor a la suma
de sus divisores.
C 7 : Es un nmero que es igual a la suma
de sus divisores.
?' ( : Son nmeros en los cuales cada uno es igual a la suma de
los divisores del
otro
.
D5 ( : Tambin llamados ' 7 , son nmeros de la
forma ( + 1).
C ( : Son nmeros figurados representados por conjuntos
de puntos reparti-
dos en un polgono regular. Asociados con las formas geomtricas
permitieron a los pi-
tagricos la representacin visual de los nmeros, al combinar las dos
esencias impli- cadas en las matemticas: el nmero y la forma. Los
nmeros poligonales pueden ser triangulares, cuadrados,
pentagonales, hexagonales, heptagonales, octagonales, nona-
gonales, decagonales, etc.
1.3 Los nmeros
csmicos.
Para los pitagricos, el gran sistema del mundo reposa sobre la base de que
el ser, la forma y la accin de todas las cosas son una consecuencia natural
de los nmeros. Quien conoce sus pro- piedades y sus mutuas relaciones,
conoce las leyes merced a las cuales la naturaleza existe. Los nmeros
determinan el nexo de unin de todas las cosas y la mecnica del
universo entero, son la base del espritu y el nico medio por el que se
manifiesta la realidad. La unin de todos los nmeros establece la
concordancia de todos los seres con los efectos de sus acciones y
constituye la base de la armona del universo.
Denominaron 7 a los diez primeros nmeros y, en consideracin a
sus propiedades msticas y cabalsticas as como a sus virtudes mgicas,
desarrollaron una ' ( (la palabra nmero deriva del trmino
griego ' ) y adjudicaron a cada uno de ellos atributos especiales que les dotaban de
propiedades vitales.
Muchas civilizaciones primitivas compartieron diversos aspectos de esta
numerologa que los pitagricos llevaron al culto ms extremo. Estas
civilizaciones, como la de los pueblos meso- potmicos, influenciados por los
relatos bblicos, consideraban a los tres primeros nmeros como smbolos
de la creacin divina. Para ellos, el nmero uno es el generador de los
nmeros y el nmero de la razn; el nmero dos es el primer nmero par,
duplicacin del primero, nmero masculino y de la opinin; tres es el
nmero femenino y nmero de la armona por estar compuesto por la
unidad y la diversidad. El nmero cuatro es el nmero de la justicia o de
la retribucin, e indica el arreglo de cuentas; cinco es el nmero del
matrimonio, unin de los elementos masculino y femenino y
representacin del tiempo. Seis es el nmero de la
creacin, nmero perfecto que representa al hijo nacido de la unin entre
los elementos mas- culino y femenino. El nmero siete ha sido destacado
desde antiguo por un temor reverente, probablemente debido a que son
siete las estrellas errantes o planetas, (Sol, Luna, Martes, Mer- curio, Jpiter,
Venus, y Saturno) de los que se deriv la semana y por lo tanto, los nombres
de ca- da uno de los siete das que la compone. Para los griegos, el octavo
da era el mejor para en- contrarse con los buenos amigos, pero para los
egipcios, el da ocho de cada mes era nefasto por estar relacionado con el
pago de diezmos o impuestos. El nmero nueve era considerado por los
esoteristas como la culminacin del tiempo, por el contrario, para el filsofo
y matem- tico Ramn Llull (1232-1316), el nueve era el valor de la divisin
de las figuras concntricas. El diez es el primer nmero de dos cifras,
representa la totalidad del cosmos y los espacios infini- tos, el vaco. Es el
Dios del Cielo, lo que no se ve. Cuando muere el dios terrenal sube al cielo y
se sienta a la diestra del Dios Padre, se unen el uno con el cero que se
representa como el nmero diez.
atribut
os
1
Mnada. Origen de todas las cosas. Nmero de la razn. Representa
a Demiurgo,
Dios creador y ordenador del mundo en la filosofa de los platnicos
2 Dada. Diversidad, opinin y dualidad. Principio masculino.
3 Trada. ? ' = + , 1 + 2 = 3.
Principio femenino.
4 Ley universal e inexorable. Smbolo de la justicia y de sensacin.
Nmero de la doble
dualidad. Primer cuadrado.
5
Smbolo del matrimonio: 2 + 3 = 5. El triangulo divino que se
representa como
6
Smbolo de la procreacin: [2 + 3] + 1 = 6. Primer nmero perfecto
que representa
7 Smbolo de la virginidad, de la voz, de la luz y del arco iris.
8 Smbolo de la amistad, de la plenitud y de la reflexin. Primer cubo.
9 Smbolo del amor y de la gestacin. Segundo cuadrado.
10 Tetractys, smbolo de Dios y del Universo; emblema
supremo, suma de las
dimensiones geomtricas, fundamento de todo. Anagrama
mstico del juramento pitagrico, depositario de la escala musical.
Representa el infinito, aquello que no se ve: la fe.
La numerologa csmica es misgina en la mayora de sus interpretaciones
referente al nme- ro tres, nmero que representa a la mujer. Mientras que
el nmero tres es representado por el trgono, con tres puntos de apoyo y
mxima estabilidad y seguridad, el nmero dos, el hom- bre, se representa
como una lnea recta, con dos puntos de apoyo y una personalidad dual e
inestable. El hombre necesita el apoyo y consejo de terceros, la doble
dualidad representada por el nmero cuatro, la mujer se basta a s misma,
adems en ella recae la responsabilidad de la perpetuacin de la especie.
En esta tesitura aparecen nmeros que se consideran malditos y que tienen
que ver con el nmero tres.
El nmero trece es igual a 2
3
+ 3
3
= 13. El nmero cuatro es la doble
dualidad, nmero que
representa al hombre en primera dimensin. El nmero nueve representa
la gestacin y tam-
bin la independencia femenina. Los pases que inician la semana en
domingo, consideran el martes 13 o el viernes 13 como das aciagos. Desde
el domingo hasta el martes hay 3 das, y hasta el viernes hay 6 das,
diferencias ambas de tres o mltiplo de tres.
El nmero 37 es un nmero que podemos escribir como 6
3
+ 1 = 37. Bajos
los auspicios del
nmero 36 los pitagricos prestaban su juramento; el 37 es el juramento
ofrecido a Dios que
representa la dimensin sublime. Este nmero, como mltiplo de tres,
puede representar el
nmero de Jesucristo, 2
H
3 37 =888 o el nmero de la Bestia 2
3
3
37 = 666.
Para los egipcios el nmero 152 era un nmero mgico, ya que 2
H
19 =
152 representaba al
hombre (2), la mujer (3) y a Ra, el Dios Sol (19). Para los griegos, el nmero
152 es el nmero
1 5 2
que representa el nombre de la Virgen Mara, que como cuadrado mgico,
resulta I5 2 1J.
2 1 5
Cada una de las 3 filas suman 8, al igual que cada una de las 3 columnas. La
diagonal principal
suma 8 y la secundaria suma 6. Los nmeros 2,3 y 6 representan al hombre,
la mujer y el hijo.
El 2
H
= 8 representa al hombre en su ms alta dimensin y 888 es el
nmero de Jesucristo.
Como matriz, este cuadrado mgico tiene como
determinante 104 2
3
13, tres nmeros
em-
blemticos, 2, 3 y 13 que representan al hombre (2), la mujer (3) y la
eterna guerra de sexos,
con
2
2
3
2
13, disputndose sus espacios vitales.
Hay muchos nmeros para estudiar. Por ejemplo, el nmero 17 junto con el
2, es el nmero ms temido despus del 13. Viernes y 17 suele ser una
combinacin fatdica para quienes cre- en en las supersticiones. Segn el
escritor, historiador y bigrafo griego Plutarco (49 -119 d. C.), el odio que
los egipcios sentan por el nmero 17 obedeca a que su dios Osiris fue
muerto en el da 17 de la luna. Un nio egipcio nacido en 17 se consideraba
que llevaba en s la mala estrella y que su vida sera desafortunada. El
nmero 17, sin embargo, atrae sobre s las con- tradicciones. En algunos
pases de Sudamrica, los nmeros de lotera ms vendidos son los que
terminan en 17.
1.4 Clasificacin general de
los nmeros.
Desde Euclides (324-265) hasta Gauss (1777-1855) el avance en el
conocimiento de los nme- ros fue espectacular y aunque pueden faltar
muchas cosas por descubrir, stas sern siempre sobre la base de la obra
de Gauss. Alrededor del ao 300 a.C. Euclides de Alejandra recoge todo el
saber disponible en ese momento en lo referente a matemtica antigua, que
plasma en
trece libros que denomin los K ' , obra que con el devenir de los
siglos ha sido fuente
de consulta de muchos sabios. Alrededor del ao 1800, Gauss lleva a cabo
algo parecido con su
obra B L ? ' 7 , que recoge todo el saber que hasta
entonces se tena de
la teora de los nmeros y que no pasaba de ser una mera coleccin de
resultados aislados. En
sus Disquisiciones, Gauss introdujo la nocin de congruencia y, al hacerlo,
unific la teora de
los nmeros. Dado el nmero entero , M N sern congruentes '
s y slo si
(M N) es divisible por . Esta nomenclatura se puede expresar
mediante O ;(' . ).
Para Gauss, los nmeros se pueden
clasificar en:
' : Son los nmeros que nos sirven para contar.
El conjunto forma- do por estos nmeros se representa por y
est formado por el conjunto =
{1,2,3,4,5,6,7,8,9, }.
' : Son los nmeros con los que siempre se puede
sumar y restar. Los
nmeros enteros se representa por y est formado por
el conjunto =
{1, 2, 3, 4, 5, }. Z, del alemn zahlen, en atencin a Gauss.
' 7 : Son los nmeros con los que siempre se
pueden sumar, restar,
multiplicar y dividir por nmeros distintos de cero. El nmero racional
es el cociente de
dos nmeros enteros, esto es /5, con , 5 . El conjunto de
nmeros racionales se representa por , inicial de quotient, cociente
en ingls.
' 7 : Se llaman nmeros irracionales los que no
tienen una forma
decimal peridica y, por tanto, no pueden expresarse en forma de
fraccin como 2,
W, , etc. El conjunto de los nmeros irracionales se representa por X.
' : Se llaman as al conjunto formado por los
nmeros racionales e irra-
cionales y se representan por . Por definicin tenemos que =
X, esto es, la
unin de los conjuntos X.
n
' 7 ') [ : Los nmeros complejos se representan como
, y tienen su ex- presin en + 5 , donde a es la parte real y b la
parte imaginaria, , 5 y = 1.
1. 2. Operaciones con los nmeros.
2.1 Primeras operaciones relacionadas con sumas.
El profesor de matemticas de la Universidad de San Francisco, David
Berlinski, en su obra
? 7 > , % ] ' 7 , dice que la
historia de las matem-
ticas comienza en el ao 532 a.C., la fecha que seala el nacimiento de
Pitgoras de Samos
(579-500?) como matemtico. A Pitgoras se le atribuye la suma de los
nmeros impares, que tiene la particularidad de ser un cuadrado perfecto,
esto es:
Nmeros
impares
n
2
n
1 1 1
1+3 4 2
1+3+5 9 3
1+3+5
+7
16 4
1+3+5+7
+9
25 5
1+3+5+7+9
+11
36 6
1+3+5+7+9+1
1+13
49 7
1+3+5+7+9+11+
13+15
64 8
n
En notacin actual, esta suma podemos escribirla como

(2t 1) n
2
.
t 1
17 31 47

(2t 1) 289
17
2
,
t 1

(2t 1) 961
31
2
,
t 1

(2t 1) 2209 47
2
t 1
Tambin se le atribuye a Pitgoras la suma de los nmeros naturales,

(t)
n(n + 1)
.
t 1
2
Al neopitagrico Nicmaco de Gerasa se le atribuye la suma de los nmeros
pares
Nmeros pares n n(n
+1) 2 2 1(1+1)
2+4 6 2(2+1)
2+4+6 12 3(3+1)
2+4+6+8 20 4(4+1)
2+4+6+8
+10
30 5(5+1)
2+4+6+8+1
0+12
42 6(6+1)
2+4+6+8+10+1
2+14
56 7(7+1)
2+4+6+8+10+12+
14+16
72 8(8+1)
2+4+6+8+10+12+14
+16+18
90 9(9+1)
2+4+6+8+10+12+14+1
6+18+20
110 10(10+1
)
Este tipo de nmeros se denominan 5 ( ' 7 y son el
resultado del producto
de dos nmeros consecutivos, esto es n(n + 1) n
2
+ n p, que en
notacin actual podemos
escribir
como
x
2
+ x p
0
en representacin de la ecuacin de segundo
grado. Como
ecuacin de segundo grado genera
dos races,
x
1
, x
2
, que son los dos nmeros
consecutivos
que representan a p. Otra propiedad de los nmeros oblongos es que la
suma de dos nmeros consecutivos es igual a la diferencia de sus
cuadrados, esto es a + b a
2
b
2
, para a > b.
n

Pitgoras haba descubierto que la suma de los cuadrados de los nmeros


naturales era, en notacin actual:
n 3 2

(t)
2

n(n +1)(2n + 1)

2n
+ 3n + n
t 1
6 6
En 5 ) ; 5 7 ; ,
para Arqumedes (287-
212 a.C.), la suma de los primeros nmeros cuadrados se poda expresar en
la forma especial
de
3

t
2
n
2
(n + 1) +

t
n(n + 1)(2n + 1)
t 1 t 1
2
Supongamos que, en lugar de cuadrados, nos interesan los cubos, y
planteamos
(1 + 0)
3
1
3
1
(1 + 1)
3
2
3
1
3
+ 31
2
+ 31 +
1 8 (2 + 1)
3
3
3
2
3
+ 3 2
2
+ 3 2 + 1 27
(3 + 1)
3
4
3
3
3
+ 3 3
2
+ 3 3 + 1 64 y, en definitiva,
(n + 1)
3
n
3
3
3
+ 3 n
2
+ 3 n + 1 n
3
.
n
n
Si escribimos esta igualdad como (n + 1)
3
3

t
2
+ 3

t + 1(n + 1),
obtenemos
t 1 t 1
n 3 n

t
2

(n +
1)
(n + 1)

t
n(n + 1)(2n + 1
t 1
3
t 1
6
Si tenemos en cuenta que
n(n + 1)
3
(n +
1)
n(n + 1)(n + 2)
3 3
y
que
n(n + 1)(n + 2)

n(n + 1)(2n + 1)

n(n + 1)
3 6 2
podemos establecer


n
_
s
s


n(n
+
1)_

s1

t 1 ,

2
,

n(n + 1)_

t
t 1
n(n + 1) 2 ,
2
para cualquier valor del exponente y > 2.
Por ejemplo:
` ( ` a b )
c de
=
f( f ab)
gde
= 15. No es cuadrado perfecto.
3 3
` ( ` a b )
c de
=
f( f ab)
hde
= 225 = 15
3
3 3
` ( ` a b )
c de
=
i( i ab)
jde
= 614656 = 784
3
3 3
Al neoplatnico k K ' ( ) O 130 . . ) se le atribuye la
suma de los cubos de
los nmeros naturales:
n 2 2 4 3 2


(n)
3

n (n + 1)

n
+
n
+
n
n1
4 4 2 4
Nos podramos plantear la pregunta de si existen nmeros que al mismo
tiempo son cuadra- dos y cubos perfectos. Segn dice el profesor William
Dunham en su obra El Universo de las
Matemticas, existen infinitos nmeros de este tipo a los que l denomina 7
5 . Si n es
un nmero entero cualquiera, n
6
n
3
n
3
(n
3
)
2
es un cuadrado perfecto, y
como
n
6
n
2
n
2
n
2
(n
2
)
3
es un cubo perfecto, son al mismo tiempo un cubo y un cuadrado perfecto.
De esta forma ob-
tenemos infinidad de 7 5 .
2.2 Operaciones relacionadas con sumas, restas y
multiplicaciones.
Si ; 5 son dos nmeros que se pueden sumar por agrupacin,
obtenemos ( + 5) +
( + 5) = 2 + 25 que podemos escribir como 2( + 5). Por el contrario,
si hacemos que
( + 5) se sume o se reste a ( 5), obtenemos, respectivamente 2 y 25.
Una importante
regla utilizada en lgebra dice que, si a la suma de dos nmeros se le
aade su diferencia, re-
sulta el doble del mayor, si se le resta, resulta el doble del menor.
El producto de ; 5 se puede relacionar en suma con su suma o con su
diferencia para obte-
ner n, situacin que podemos escribir como a b +(a t b) n , teniendo en
cuenta que para la
suma
resulta de
n,
a(b
+
1)
t
b

n
, podemos obtener fcilmente los valores de
; 5 en funcin
n b
n a
Para la a
b +(a +
b)
n : a
b + 1

b
a + 1
n + b
n a
Para la a b +(a b) n : a
b + 1

b
a 1
El producto de ; 5 se puede relacionar en diferencia con su suma o con
su diferencia para
obtener n, situacin que podemos
escribir como
a b (a t b) n , teniendo en
cuenta que
para la suma
resulta funcin
de n:
a(b

1)
t
b

n
, podemos obtener fcilmente los
valores de ; 5 en
n + b
n + a
Para la a b (a + b) n : a
b 1

b
a 1
n b n
+ a
Para la a b (a b) n : a
b 1

b
a + 1
Las soluciones de estas ecuaciones son paramtricas, por tanto, dichas
soluciones sern tantas como valores se le asignen a los parmetros.
Si el producto de ; 5 se relaciona con su suma, donde P es el producto y
S la suma, podemos
establecer
P a b y S a + b
Despejando b en la segunda y sustituyendo su valor en la primera,
obtenemos
b S
a
y a(S a) P
de donde, haciendo operaciones a(S a) a S a
2
P , que podemos
escribir como
a
2
Sa + P 0
o como se conoce en matemticas, ax
2
bx + c 0. Estas ecuaciones
eran conocidas por los babilnicos dada la flexibilidad de las operaciones
algebraicas que haban desarrollado. As, podan trasponer trminos en una
ecuacin sumando igualdades, y eliminando fracciones u otros factores
multiplicando ambos miembros por cantidades iguales. Sumando 4ab
a (a b)
2
lo podan transformar en (a + b)
2
a
2
+ ab + b
2
, aprovechando
los muchos tipos de factorizaciones simples con los que estaban
familiarizados. La solucin babilnica se puede es-
2
tablecer cmo
x

S


2
+ P t
S
2
que es similar a la propuesta por Mohammet
ibn Mose Al-
Khwarizmi (780-835), matemtico rabe, famoso por ser el gobernante
que aparece en las
] ; 7 y por considerarse, junto con Diofanto de Alejandra
(aprox. 350 d.C.), pa-
dre del algebra.
Para xy 65 y x y 8, la solucin babilnica sera
2 2
x

_
+
65
+

8

9
+
4

13,
y


8
_

+
65



2 ,
2


2 , 2
Esta segunda raz no era contemplada por los babilonios.
Sean ; 5 dos nmeros cualesquiera y S y Q la suma y el cociente,
respectivamente. Sea
a + b S
y
a
Q donde a bQ. Si despejamos a de la primera y
sustituimos su valor en la
b
segunda, resulta
a S b y S b bQ
que es igual a
10
10

S bQ + b b(Q +1)
lueg
o
b
S
(Q + 1)
Si tenemos en cuenta que a S b
S
S
(Q + 1)
y desarrollamos, obtenemos
a S

S
Q +
1

SQ + S S

Q +
1
S
Q
Q +
1
de donde
a
S
Q
Q +
1
y b

S
Q +
1
Para x + y 37 y x /
y 13


481
+
37
37 S
a
3713
=
481
y b
37

37

14 14
13 +1 14 13 +
1 14


481

_
/
37_


13 Q






14 ,

14 ,
2.3 Fracciones
unitarias.
Los hombres de la Edad de Piedra no tenan necesidad de usar fracciones,
pero al alcanzar un nivel cultural ms avanzado durante la Edad de Bronce,
parece haber aparecido por primera vez la necesidad de un concepto ms o
menos vago de fraccin y de un sistema de notacin capaz de representar
fracciones.
Nuestros conocimientos sobre las matemticas del Egipto Antiguo estn
basados principal- mente en dos papiros de carcter matemtico y en
algunos fragmentos pequeos. Uno de de los grandes papiros se denomina
el Papiro de Rhind, por el nombre del cientfico que lo adqui- ri en 1858 o
Papiro de Ahmes en honor al escriba que los copi hacia el ao 1650 a.C.
Este escriba nos cuenta que el material se deriva de un prototipo del
Imperio Medio, de entre el
2000 y el 1800 a.C., y es posible que parte de estos conocimientos
provengan, en realidad, de Imhotet, arquitecto y mdico del faran Zoser
de la III Dinasta (2800?-2600? a.C.), que dirigi la construccin de su
11
11
pirmide hacia ao 2700 a.C. Este papiro contiene una coleccin de 84
problemas de carcter aplicado. El otro papiro importante es el llamado
Papiro Golenischev o de Mosc, que fue comprado en Egipto el ao 1893. El
Papiro de Mosc, que es ms pequeo que el de Ahmes, contiene 25
problemas y fue copiado, sobre el ao 1890 a.C., por un escriba
desconocido de la dinasta XII. La presentacin de las soluciones es muy
parecida a la del Papi- ro de Ahmes. De menor entidad, existe un rollo de
papiro que data de la dinasta XII, hacia
2000 a.C., que se denomina Papiro de Kahun, y que contiene problemas
parecidos a los del Papiro de Ahmes; el Papiro de Berln del mismo periodo;
dos tablillas de madera de Akhmim (El Cairo) hacia el ao 2000 a.C. y, un
rollo de piel que contiene una lista de fracciones unitarias y que data del
periodo final de los hicsos, un pueblo originario de Siria, que invadi Egipto
en
el siglo XVIII a. C. Sus reyes pertenecieron a las dinastas XV y XVI, desde
1700 a 1580 a. C., en que fueron expulsados.
Todas estas obras basan la solucin de los problemas que plantean
utilizando fracciones que son inversos de los nmeros que conforman la
estructura y determinan su solucin..
El problema nmero 24 del Papiro de Ahmes plantea que Una cantidad
ms su sptima parte es 19. La solucin actual sera
x +
x
19, 7x + x 133, 8
x 133,
x
133
7 8
como podemos comprobar,
x +
x
19
133
+
133 / 8

133
+
19

152
19
7 8 7 8 8 8
Ahmes lo plantea de otra forma. Considera que si 19 = 7 + 12 la solucin
puede establecerse
tomando los inversos de 7 y 12,
esto es
b
+
b
=
b3ai
=
bl
. Podemos comprobar
que
i b3 ib3 mn
m n
+
m n
= 19. Estas soluciones estn relacionadas muy estrechamente con el
nmero racional,
i
as

b3
b
+
b
=
i b3
`
`a
b
de donde
=
bl
y el nmero buscado es 19 + 65 = 84. Esto nos
lleva a plan-
of
tear una solucin literal actualizada donde
Para dos inversos:
1
+
1

n
, n

a + b
a b n + 1 ab (a + b)
Para tres inversos:
1
+
1
+
1

n
, n

ab + ac + bc
a b c
n + 1
abc (ab + ac + bc)
En su obra Elementary Number Theory in Nine Chapters, edicin 1941, el
profesor James Jo- seph Tattersall de la United States Military Academy at
West Point, llama a este tipo de ecua-
ciones 7 7 , en atencin a los matemticos indios
que las utilizaron, co-
mo Aryabhata (476-550), Brahmagupta (598-665) o Bhaskara (1114-
1185), entre otros.
2.4 Los nmeros
complejos.
En su obra Ars Magna, = ' (1501 1576) plantea el
siguiente problema:
Si nos dicen: divide 10 en dos partes tales que el producto de ambas sea
30 40, es obvio que
este caso es imposible. No obstante trabajaremos as: Dividimos 10 en dos
partes iguales, haciendo cada una igual a cinco. Lo elevamos al cuadrado
teniendo 25. Restamos 40 dejando un resto de -15, cuya raz cuadrada
sumada y restada de 5 produce dos partes cuyo producto
es 40. Estas sern 5 + 15 y 5
15.
Sigue una demostracin de veracidad de esta afirmacin, que consiste en
multiplicar las dos
3
partes y comprobar que se obtiene 25
p15q
= 25 (15) = 40. Y aade, Esto es
verdadera-
mente sofisticado [ ] y como hemos dicho, tan refinado como intil.
Haban nacido los
' ' ( para representar las races de los nmeros
negativos en la solucin de
las ecuaciones de segundo y tercer grado mediante el smbolo

, siendo
n un nmero posi-
tivo cualquiera. En su obra ? ( 5 , Rafael Bombelli (1530 -1573) fue el
primero en establecer
las reglas de los nmeros imaginarios al plantear la solucin de la raz
cbica con races de
nmeros negativos. Dice que haba tenido una idea loca puesto que todo
el proceso pareca basarse en un sofisma. En un manuscrito fechado en
1777, Euler (1707 1783) utiliza el

a
b

smbolo s para representar 1 . Dicho documento no se public hasta


1794, por lo que el
smbolo fue adoptado por Gauss (1777 -1855) en su obra Disquisiciones
Aritmticas. Basndo-
se en los trabajos de Wessel (1745 -1818) y Argand (1768 -1822) sobre la
interpretacin ge- omtrica de los nmeros imaginarios, Gauss continu
estudiando esta interpretacin e intro- dujo la expresin de nmero
complejo y demostr que puede escribirse mediante la expresin
+ 5 , siendo ; 5 dos nmeros reales e el smbolo de Euler. En
1835 el matemtico ir-
lands Hamilton (1805 -1865) estableci la teora completa de los
nmeros complejos, cuya
nica modificacin posterior ha sido su traduccin al lenguaje de la teora de
conjuntos. Despus de una aproximacin al origen de los nmeros
complejos, podemos considerar dicho
nmero como una expresin de la forma + 5 , donde a y b son nmeros
reales, e , denomi- nada la unidad imaginaria, con la propiedad de que
3
= 1. Si = + 5 , a se llama la parte real de z y b la parte imaginaria de z
y se denominan ( ) y >'( ), respectivamente. El smbolo z, que puede representar cualquier elemento del conjunto de
nmeros complejos, es
llamado una variable compleja. El conjugado de un nmero complejo + 5
es 5 y se re-
presenta como . El valor absoluto o mdulo de un
nmero complejo es
a + bi)

a
2
+ b
2
.
2.5 Operaciones con nmeros complejos.
Las operaciones con los nmeros complejos son anlogas a la de los
nmeros reales, simple-
mente teniendo en
cuenta que
i
2

1
por tanto, dados dos nmeros complejos
a + bi y
c + di , se definen las siguientes operaciones:
Suma: (a + bi) +(c + di) a + c +(b + d)i (5 + 3i) + (3 +2i)
8 + 5i
Resta: (a + bi)(c + di) a c + (b d)i (5 + 3i)(3 + 2i) 2 +
i
Producto: (a + bi)(c + di) a c bd + (ad + bc)i (5 + 3i)(3 +
2i) 9 +19i
(a + bi) (a + bi)
(c di)
ac +
bd

bc ad

_
i
(5 + 3i) 21 i
Cociente:
(c + di)


(c + di)(c di)

c
2
+ d
2
+


c
2
+
d
2
,


(3 + 2i) 13
Inverso: (a +

bi)
1

(5
+

3i)
1


3
i
a
2
+ b
2


a
2
+
b
2
,

34 34
Cuadrado: (a + bi)
2
a
2
b
2
+ 2abi (5 + 3i)
2
16 + 30i
Cubo: (a + bi)
3
a(a
2
3b
2
) + (3a
2
b
2
)bi (5 + 3i)
3
10 + 198i

2( a
2
+
b
2
+
a

_
2( a
2
+
b
2

_
i

,
Raz cuadrada: (a t bi)
1 / 2

t

,
2 2
Otras operaciones de gran inters en la teora de los nmeros son:
N(a , b) (a + b D )(a b D ) a
2
Db
2
t1.
Es la ' de un nmero algebraico o la ecuacin Pell, que es en
definitiva, un conjugado.
Por ejemplo:
(33 + 8 17 )(33 8 17 ) 33
2
17 8
2
1
(a + b D ) + (a b D )
a
(33 + 8 17) + (33 8 17)
33
2 2
(a + b D ) (a b D)
b
(33 + 8 17) (33 8 17)
8
2 D 2 17
2 2 2
2
(a + b
D )
+ (a b
D )
a
2
+ b
2
D
(33 + 8
17)
+ (33 8
17)
2177
2 2
(a + b D )
2
(a b
D )
2
(33 + 8 17)
2
(33 8
17)
2
2ab
528
2 D 2 17
3 3 3
3
(a + b
D )
+ (a b
D )
a(a
2
+ 3b
2
D)
(33 +
8 17)
+ (33 8
17)

143649
2 2
3 3 3
3
(a + b
D )
(a b
D )
b(3a
2
+ b
2
D)
(33 +
8 17)
(33 8
17)
38840
2 D 2 17
En definitiva, para la ecuacin Pell, las soluciones son
n n n n
x
(a + b
D )
+ (a b D
)
,
y
(a + b
D )
(a b D )
2
2 D
1. 3. De Pitgoras a Diofanto.
3.1 La ecuacin u
v
+ w
v
= x
v
.
En 1945 Neugebauer y Sachs publicaron su desciframiento de una tablilla de
arcilla, la nmero
322 de la coleccin de G.A. Plimpton en la Universidad de Colombia,
fabricada en una poca comprendida entre los aos 1800 y 1650 a.C.
Despus de varios aos de ardua labor, encon-
traron la clave. Se trata de ) ( 7 , es decir, representa la
hipotenusa y ? ; %
representan los catetos de un triangulo rectngulo. As, si se forman los
cuadrados del nmero
de la columna se restan los cuadrados correspondientes de los nmeros
en %, obtenemos el cuadrado de los nmeros en ?:
A B C A B C A B C
1 120 119 169 6 360 319 481 11 60 45 75
2 3456 3367 4825 7 2700 2291 3541 12 2400 1679 2929
3 4800 4601 6649 8 960 799 1249 13 240 161 289
4 1350
0
1270
9
1854
1
9 600 481 769 14 2700 1771 3229
5 72 65 97 10 6480 4961 8161 15 90 56 106
No es probable que los valores escritos en la tablilla se dedujeran utilizando
mtodos de ensa- yo de error, pues este procedimiento hubiera dado ternas
ms sencillas. Existen dos hiptesis plausibles de cmo los babilonios
llegaron a la confeccin de la tabla. Segn Neugebauer y Sachs, fue por el
conocimiento que tenan de las relaciones generadoras

a
mn,
b m
2
n
2
,
c m
2
+ n
2
donde ' ; son enteros primos entre s, ' > . La otra hiptesis
considera que tomando las
frmulas siguientes
a
1,
b


1
p


1 1
,
c


1
p
+

1 1
2

]
2

]
que determinaron utilizando tablas de inversos y despus llevaron a nmeros
enteros.
Pero en la tablilla Plimpton 322 la columna A tiene otros nmeros
fraccionarios que, segn el
desciframiento de Neugebauer y Sachs, representan el producto de
3
?
y3
, lo que muestra
mayor sagacidad, tanto de los descifradores, como de los babilonios de hace
4000 aos.
Supongamos que la ecuacin pitagrica a
2 + b
2 c
2
se normaliza
dividindola por
3
.
Si hacemos
c _
2
b _
2
u

y v

, a

,
entonces la relacin pitagrica se expresa por u
2
v
2
(u v)(u + v) 1.
Si u + v
m
y u v
n
, donde ' ; son enteros y ' > , entonces
n m
u
1

m
+
n
1
2 n
m
y v
1

m

n
1
2 n m
o bien
m
2
+
n
2
u


2mn
y v

m
2

n
2
2m
n
Si hacemos que = 2' y sabiendo que 5 = y 7 = obtenemos la
frmula generadora
de las ternas pitagricas:
a
2mn,
b m
2
n
2
,
c m
2
+ n
2
Este mtodo de generar ternas pitagricas es el utilizado por Diofanto de
Alejandra.
La
ecuacin
x
2
+ y
2

z
2
es la ms antigua e importante que se conoce. Al
parecer, y segn
testimonios de Digenes Laercio (s.III a.C.), Plutarco(46-119) Proclo (410-
485), ste filsofo y neoplatnico que dirigi la escuela de Atenas durante
30 aos, fue conocida por Tales de Mile- to (624-546) all por el ao 600
a.C., en uno de sus viajes a Egipto donde, los monjes de Menfis le hicieron
entrega de una cuerda de doce nudos con la que, tomando con una mano
los dos extremos y con la otra el nudo nmero tres, se formaba una figura
triangular en donde queda- ban tres y cuatro nudos en los dos catetos y
cinco para la hipotenusa, de tal forma que
3
2
+ 4
2
5
2
. Segn algunas fuentes, otras por el contrario las desmienten,
Tales de Mileto se habra encargado durante algn tiempo de la educacin
de Pitgoras, ya que sus familias eran oriundas de Fenicia, por lo que es
posible que le hablara de dicha cuerda y de sus posibilida- des. Pitgoras
realiz varios viajes a Egipto, asumiendo todos los conocimientos que los
egip- cios tenan de los nmeros y que divulg a su regreso a Occidente.
Entre estos conocimientos
estaba la famosa ecuacin que, a partir de entonces ha sido conocida
como el Teorema de
Pitgoras. La traduccin de la tablilla Plimpton 322 vino a confirmar que los
egipcios tambin
conocieron la forma de crear ternas pitagricas a partir del 2, 3 ; 5, factores
primos de 60.
Para los egipcios, segn el Papiro encontrado en Kahun hacia el ao 2000
a.C. su triangulo
egipcio tena
1
2
+
(
3 4
)
2

(
1+1 4
)
2
como expresin proporcional a 2, 3 y 5. La formula atribuida a Pitgoras era
x 2n
+1,
y 2n
2
+ 2n y z 2n
2
+ 2n +1,
que para n 1, 2, 3, 4 enteros, sus ternas (3, 4,5), (5,12,13), (7, 24, 25) y (9,
41, 42) gene- raban infinitas soluciones.
3.2 Pitgoras y la ecuacin u
v
+ w
v
= x
v
.
Pitgoras afronta la solucin de la ecuacin x
2
+ y
2
z
2
utilizando las
siguientes igualdades:
x a, y

a
2
1
2
, z

a
2
+ 1
2
.
Considera el caso particular
de que si
x
2
+ y
2
1, es decir, el caso de un triangulo
cuya hipo-
tenusa es igual a la unidad de longitud, entonces los catetos son fracciones
propias.
De x
2
+ y
2
1
tenemos y

1 x
2
.
Introducimos la
notacin
1 x
2
1
xt ,
donde
es un nmero racional, es decir, un nmero que no tiene races.
1 x
2
(1 xt)
2
1 x
2
t
2
x
2
2tx + 1
(
1 + t
2
)
x
2

2tx
(
1 + t
2
)
x
2t
Resulta para x
2t
1 + t
2
2
y para
2t
2
2t
2
t
2
+ 1 1 t
2
y 1 tx 1

t
2
+ 1
t
2
+
1
.
t
2
+
1
Si es un nmero racional, entonces O tambin es racional. De este modo,
las races racionales
de la ecuacin x
2
+ y
2
1, son
x
2t
e y
1 t
.
1 + t
2
t
2
+ 1
+
2

+
2
2
2 2
Conociendo la solucin de la ecuacin x
2
+ y
2
1, se puede obtener la
solucin dada por los
babilonios para x
2
+ y
2
z
2
.
Supongamos que , 5, 7 son nmeros
naturales y que
a
2
+ b
2

c
2
.
{
3
|
3
Si z }
z }
|
~
= 1,
en-
tonce
s
{
,
|
|
~
es una solucin de la
ecuacin
x
2
+ y
2
1. Si t es una fraccin
irreducible, diga-
mos =

, donde ' > , entonces
`
m _

2
1


m
2 2
a

2t

n ,

2mn
y
b

1
t

n

m n
b
t
2
+ 1
m
+
1
n
2
m
2
+
n
2
c
t
2
+ 1
m
+
1
n
2
m
2
+ n
2
{
3
|
3
Puesto que z }
z }
|
~
= 1, tenemos
(2mn
)
2 (n
2
m
2
)
2
1 y
(n
2
+ m
2
)
2
(n
2
+ m
2
)
2
(2mn)
2
+ (n
2
m
2
)
2
(n
2
+ m
2
)
2
es decir, para la ecuacin x
2
+ y
2
z
2
obtenemos como solucin
x
2mn,
y n
2

m
2
,
z n
2
+ m
2
.
Este desarrollo se le atribuye a Euclides de Alejandra (324-265).
3.3 Otras soluciones a la ecuacin u
v
+ w
v
= x
v
.
Durante generaciones los pitagricos buscaron vidamente el camino para
obtener ternas de
nmeros x, y, z que cumplieran x
2
+ y
2
z
2
.
Los pitagricos aportaron la formula
x n(a
2
b
2
),
y
n(2ab),
z n(a
2
+ b
2
),
donde debe ser entero y a > b.
Otra de las formulas atribuida a los pitagricos es
x m,
y 1 2
(
m
2
1
)
y z 1 2
(
m
2
+ 1
)
,
para ' impar.
Los hindes confeccionaron, a partir de la terna 3, 4 y 5, unos manuales que
llamaron shulva-
sutra y que se conoce como el triangulo indio. Las ternas pitagricas
generadas tienen la parti-
cularidad de
que
z y 1,2,3. Las shulvasutras han sido fechadas por algunos
historiadores
de una manera muy variada dentro de un intervalo de casi dos mil aos, que
se extiende desde el siglo VIII a.C. al siglo II de nuestra era.
Algunas de las ternas se recogen en la siguiente tabla:
z y
1
z y
2
z y 3
x y
z
x y
z
x y
z 5 12
13
7 24
25
9 40
4 3
5
6 8
10
8 15
9 12
15
15 36
39
21 72
A finales del siglo IV a.C., Platn (428-347), ferviente seguidor de la
filosofa de Pitgoras, en- contr una ley tal que
x
2m,
y (m
2
1) y z (m
2
+ 1)
con las que se conseguan ternas pitagricas. Se cuenta que en
la fachada de la
?7 ' haba una inscripcin que rezaba: (
( ' .
Los chinos Liu Hui (aprox.263), Zu Chongzhi (429-501) y Wang Xiaotong
(aprox.625), entre
otros, aportaron
x ab,
y 1 2
(
a
2
b
2
)
y z 1 2
(
a
2
+ b
2
)
,
que permita calcular ternas pitagricas. Zu Chongzhi calcul W como
H f f
por
considerar que el
bbH
valor dado por
Arqumedes de
33
era inexacto
i
Euclides de Alejandra (324-265), en la proposicin 47 del libro primero de
sus Elementos, dice,
En los tringulos rectngulos el cuadrado del lado que subtiende
el ngulo recto es igual a los cuadrados de los lados que
comprenden el ngulo recto. Sigue una demostracin geomtrica de
lo que es la ecuacin x
2
+ y
2
z
2
.
A lo largo de la historia han sido famosas las demostraciones de Pappus
(hacia 300 a.C.), Thabit Inb Qurra (826-901), Bhaskara (1114-1185),
Leonardo da Vinci (1452-1519), Vieta (1540-1603), Fermat (1601-1665),
Euler (1707-1783), Garfield (hacia 1879) y muchos ms.
3.4 Diofanto y la ecuacin u
v
+ w
v
= x
v
.
Diofanto de Alejandra (sobre 250 d.C.), fue un antiguo matemtico griego al
que se le conside-
ra, junto con el rabe Mohammet ibn Mose Al-Khwarizmi (780 -835), los
padres del lgebra. Nacido en Alejandra, nada se conoce con seguridad
sobre su vida salvo la edad a la que falle- ci, gracias a este epitafio
redactado en forma de problema y conservado en la antologa grie- ga:
"Transente, esta es la tumba de Diofanto: es l quien con esta
sorprendente distribucin te dice el nmero de aos que vivi. Su niez
ocup la sexta parte de su vida; despus, durante la doceava parte su
mejilla se cubri con el primer bozo. Pas an una sptima parte de su
vida antes de tomar esposa y, cinco aos despus, tuvo un precioso nio
que, una vez alcanzada la mitad de la edad de su padre, pereci de una
muerte desgraciada. Su padre tuvo que sobrevi- virle, llorndole, durante
cuatro aos. De todo esto se deduce su edad." Planteado en forma de
ecuaci
n

+

+

o b3
i
+ 5 +

3
+ 4 = O , resulta para O = 84 aos.
Este matemtico alejandrino debe su renombre a su ? ' 7 , obra
que constaba de trece
libros de los que slo se han hallado seis. Los libros faltantes parece que se
perdieron tempra-
namente ya que no hay razones para suponer que los traductores y
comentaristas rabes dis- pusieran de otros manuscritos adems de los que
an se conservan. En esta obra realiza sus estudios de ecuaciones con
variables que tienen un valor racional, ecuaciones diofnticas, aunque no es
una obra de carcter terico sino una coleccin de problemas. En 1621 vio
la luz
una edicin comentada de % 7 ] 7(1587 1638), edicin
reimpresa con poste-
rioridad en 1670 por el hijo de Pierre Fermat incluyendo los comentarios
que el clebre ma-
.
3
=

g
segundo |' 4| =
n
temtico francs haba realizado en los mrgenes de un ejemplar de la
edicin de % 7 que
posea. En una de dichas anotaciones se expona, sin demostracin, el
ltimo teorema de Fer-
ma
t.
Don Rafael Rodrguez Vidal, Catedrtico de la Facultad de Ciencias de la
Universidad de Zara- goza, en su libro Enjambre Matemtico dice,
refirindose a la obra de Diofanto, es un libro de difcil lectura y
entendimiento pero, sigue siendo la fuente donde todo el que disfrute de los
nmeros le gustara beber.
La solucin a la ecuacin x
2
+ y
2
z
2
, Diofanto la plantea desde varios
ngulos. Veamos:
Dividir el nmero a en dos cuadrados perfectos. Sea O
3
uno de los
cuadrados y O
3
el otro. Tomemos un cuadrado de la forma ('O )3
, donde ' es un
entero cualquiera y la
raz de O. Igualando ambos lados, resulta ('O )3
= O
3
.
Ejemplo. Supongamos que O
3
es el primer cuadrado y 25 O
3
el segundo.
Tomemos un cua-
drado de la forma (4O 5)
3
donde ' = 4, un entero cualquiera, y
= 5, la raz de 25.
Despejando O de la ecuacin (4O 5)
3
= 25 O
3
, re
sul
ta
O
=
n
bi
n
3
Como 5 z
}
bi
if
3
z }
,
bi
2 2
40 _
tenemos una terna de
+

75

5
2
.


17 ,

17,
2 2
Si (6O 7)
3
= 49 O
3
, resultara
para O =
m n

84
_
y una terna de
+
245

_
7
2
.
,


Hi

37 ,

37 ,
En el problema nmero 8 del libro II de su ? ' 7 , Diofanto plantea
Dividir un nmero cuadrado dado en dos cuadrados. Nmero
cuadrado dado el 16.
Diofanto plantea la solucin como:
O
3
es uno de los cuadrados buscados, por lo tanto, 16 O
3
debe ser igual a
un cuadrado. To- memos un cuadrado de la forma ('O 4)
3
, siendo m cualquier entero y 4 el nmero que es
la raz cuadrada de 16; tomemos (2O 4)3 , e igualemos con 16 O3 , por
tanto 4O3 16O +
16 = 16 O
3
, o 5O
3
= 16O, y O =
b o
.
f
2 2
b o
3
b n n b 3
3
12_

16 _


2
Como 4
3

z
} =
z
} =
z
} , la terna generada
resulta



4 .
f 3f
f

,
Referente a este problema, % 7 comenta su identificacin de la
equivalencia entre 16
3
y (' 4)
3
y asegura que para ' 1, resulta =
m 
el lado del primer
cuadrado y para el
 ab
g

g
ab
, que puede ser cero. En general O
3
=
3

3
es
g
g
equivalente a
16
3

3
(' 4)
3
con ' arbitrarios, resulta =
m 
y en el
lado del segundo
 a`
cuadrado ;
=
n
g
y`
g

. En resumen, la solucin que plantea


 a`
x
a(2mn)
,
m
2
+
n
2
a(m
2
n
2
)
y


m
2
+
n
2
con a >
0
y m n
2
2 2
2
Para =
m 
=

m 3
=
bo
,
x
16 /
5(22 4)
64 _


,
y
16 /
5(2
4 )
=
48



g
ab 3
g
ab
f
2
2
+
4
2
25
,

2
2
+
4
2

25

,
De donde, la terna resulta
2 2 2
64 _

48
_

16

_
.


25 ,


25 ,

5 ,
Dividir un nmero cuadrado dado en dos partes tales que, si a una parte se
suma m y a la otra
n, resultan dos cuadrados cuya diferencia es el nmero dado. Nmero dado
3
.

Sea ( + ')
3
( + )
3
=
3
donde
z
2
(m + n)(m
n)
a


2(m
n)
11
2
(7 + 3)(7 3) 81
Sea 11
3
el nmero dado, ' = 7 y
= 3. Como
a
2(7 3)

8
,
resulta
(81 / 8 + 7)
2
(137 / 8)
2
, (81 / 8 + 3)
2
(105 / 8)
2
y por tanto, la terna
pitagrica,
2 2

105

_ 11
2

137


8

+

C (1170 1240), ms conocido como 5 77 , en


su obra Liber Qua-
dratorum, estudia una serie de cuestiones entre las que se encuentran las
propiedades de los
nmeros de la forma 4' ('3 3 ), con ', naturales y que le sirvi
para plantear la solu-
cin de la ecuacin x
2
+ y
2
z
2
como
x (m
2
+ n
2
)
2
,
y 4mn(m
2

n
2
),
z (m
2
n
2
t n
2
)
2
de donde
(m
2
+ n
2
)
2
t (4mn(m
2
n
2
)) (m
2
n
2
t 2mn)
2
Ejemplo:
x
(10
2
+ 6
2
)
136
2

18496

33856 184
2
y 4 10 6(10
2
6
2
) 15360

z ((10
2
6
2
) + 210 6)
2
184
2
1. 4. Nmeros figurados.
4.1 Nmeros
poligonales.
En su obra Pitgoras El Filsofo del Nmero, el
profesor Pedro Miguel Gonzlez Urbaneja, nos
cuenta que los pi- tagricos solan representar
los nmeros mediante pun- tos en un
pergamino o piedrecillas en la arena y los
clasi- ficaban segn las formas poligonales de
estas distribu- ciones de puntos, es decir,
asociaban los nmeros a figu- ras
geomtricas obtenidas por la disposicin
regular de puntos, cuya suma determina el
nmero representado. As obtenan los
diversos tipos de nmeros poligonales o
figurados:
: , , , , , . . .
: , , , , v, . ..
: , , v, vv, , .
20
20
Los nmeros poligonales aparecieron en
los albo- res de la Escuela Pitagrica
como un elemento esencial de su
misticismo numrico: no slo las cosas
son en esencia nmeros sino que los
nme- ros son concebidos como cosas,
de modo que las expresiones nmeros
triangulares o nmeros cuadrados no
son meras metforas sino que esos
nmeros son, efectivamente, ante el
espritu y ante los ojos, tringulos y
cuadrados.
La asociacin del nmero con la imagen
geomtrica
permiti a los pitagricos la
representacin visual de los nmeros
combinando las dos esencias con
que tiene que ver la Matemtica: el nmero y la forma, confiriendo a los
nmeros propiedades y relaciones entre ellos que son completamente
independientes de todo simbolismo introdu- cido para representarlos,
otorgndoles de este modo un carcter universal e inmutable.
La consideracin de los nmeros poligonales y su representacin
geomtrico-visual permita, por una parte, constatar que ciertos nmeros
tienen caractersticas diferentes que otros a te- nor de las diferentes
configuraciones geomtricas a que dan lugar, y por otra, el descubrimien- to
de forma geomtrico-emprica, casi corprea, de importantes propiedades
de los nmeros y la obtencin de interesantes relaciones entre ellos. La poli
figuracin numrica llevaba a ex- tender conceptos de la Aritmtica como
generalizacin de la experiencia prctica, desarrollan- do un atomismo
numrico bellamente ilustrado en una geometra de nmeros figurados.
stos, que son las primeras y las ms simples estructuras de la Geometra
numrica estn en el corazn de las Matemticas y constituyen la matriz del
desarrollo ulterior de la Teora de los Nmeros.
A partir de las distribuciones geomtricas de puntos que hicieron los
pitagricos con los nme- ros poligonales, aparecan, como evidencia
empricovisual, numerosas propiedades de los nmeros enteros, al
considerar la relacin entre rdenes consecutivos de nmeros de un de-
terminado tipo y relaciones entre nmeros poligonales de tipos diferentes.
As por ejemplo, si
llamamos k( ), ( ), C( ), ( ) al n-simo nmero triangular, cuadrado,
pentagonal y hexa-
gonal, respectivamente, los esquemas grficos nos proporcionan
importantes propiedades
aritmticas de los nmeros
enteros:
Los nmeros poligonales han sido uno de los tpicos ms atractivos de la
Historia de la Aritm- tica tratado por matemticos de la talla de Nicmaco
de Gerasa, Diofanto de Alejandra, Mer- senne, Euler, Gauss, Lagrange,
Legendre y Cauchy. Forman parte de las races histricas de la Teora de
Nmeros, apareciendo en numerosos mbitos como por ejemplo en el
Tringulo de Pascal. Juegan un importante papel en el Anlisis Combinatorio,
intervienen en el Binomio de Newton y en el Clculo de Probabilidades y
fueron ampliamente utilizados por Fermat, Pascal, Wallis y Roberval para la
obtencin de sus resultados sobre cuadraturas. En la actualidad el estudio
de los nmeros poligonales ha alcanzado un valor prctico en una incipiente
21
21
aplicacin criptogrfica a la seguridad en las comunicaciones, de modo que,
como en otros muchos otros aspectos, Pitgoras se sita en el umbral del
pensamiento matemtico.
La formacin de los nmeros figurados se lleva a cabo mediante las
siguientes frmulas:
Triangula
r :
n(n + 1)
1,3,6,10,15,21,28,36, 45,
2
Cuadrado : n
2
1, 4 ,9,16 ,25, 36, 49, 64 ,81,
Pentagon
al :
n(3n 1)
1, 5,12,22,35, 51,70,92,117,
2
Hexagonal : n(2n-1) 1,6,15,28, 45,66,91,120,153,
Heptagon
al :
n(5n 3)
1,7,18,34, 55,81,112,148,189,
2
.

2
2
Octagonal : n(3n-2) 1, 8,21, 40, 65,96,133,176,225,
Nonagon
al :
n(7n 5)
1,9,24,46,75,111,154,204,261,
2
Decagonal : n(4n-3) 1,10,27, 52,85,126,175,232,297,
En la teora analtica de los nmeros, los nmeros figurados tienen un importante
papel a jugar, dada su relacin con la funcin Zeta de Bernhard Riemann (1826-
1866). Esta funcin que se denota como z, es

de variable compleja y definida como z(s) =



1
ns1
n
Para probar la relacin de los nmeros figurados con la funcin zeta, operamos con
las siguientes igual- dades:
Triangula
r :

n(n + 1) / 2 z (s 1) + z (s 2)
s
n1
n
2

n
2
Cuadrado :
s
z (s
2)
n1
n

Pentagona
l :
n(3n 1) / 2 3z (s 2) z (s 1)
s
n1
n
2

Hexagona
l :
Heptagona
l :

n1

n(2n 1)
2z (s 2) z (s 1)
n
s
n(5n 3) / 2


5z (s 2) 3z (s 1)
s
n1
n

Octagona
l :
Nonagona
l :

n
1

n(3n 2)
3z (s 2) 2z (s 1)
n
s
n(7n 5) / 2


7z (s 2) 5z (s 1)
s
n1
n

Decagona
l :

n
1
n(4n 3)
4z (s 2) 3z (s 1)
n
s
Este tema sera tratado en captulos posteriores, cuando tengamos un concepto
ms claro de los nme- ros.
Damos a continuacin la tabla de los diez primeros nmeros poligonales:
NMEROS POLIGONALES
NMER
O
1 2 3 4 5 6 7 8

9 10
Triangular 1 3 6 10 15 21 28 36 45 55
Cuadrado 1 4 9 16 25 36 49 64 81 100
Pentagonal 1 5 12 22 35 51 70 92 117 145
Hexagonal 1 6 15 28 45 66 91 120 153 190
Heptagonal 1 7 18 34 55 81 112 148 189 235
Octagonal 1 8 21 40 65 96 133 176 225 280
Nonagonal 1 9 24 46 75 111 154 204 261 325
Decagonal 1 10 27 52 85 126 175 232 297 370
1. 5. Sistemas de Numeracin.
Un sistema de numeracin es el conjunto de reglas y convenios mediante
los cuales pueden representarse todas las cantidades utilizando signos
diversos. Sistemas conocidos son, entre otros, el romano y el decimal. El
sistema decimal emplea el principio del valor relativo de cada cifra dentro
de una cantidad: una cifra representa uno u otro valor segn el lugar que
ocupe.
El sistema decimal fue ideado en la India y trado a Europa por los rabes
en la Edad Media. Recibe el nombre de decimal por estar fundamentado en
el nmero diez, es el ms utilizado en la vida cotidiana. Sistemas ms
modernos deben su importancia y utilizacin a la aparicin de la
computadora. En particular los ordenadores utilizan notacin binaria para
realizar clculos aritmticos y octal o hexadecimal para expresar caracteres
o dgitos.
Sean m y b dos nmeros naturales. Recibe el nombre de sistema de
representacin posicional del nmero m en base b, la sucesin de smbolos
d
n
.d
n 1
, d
n 2
,...., d
1
, d
o
, tales que 0 c d < b, y de forma que sea
n
n1 n2 1 0
m d
n

b
+ d
n1

b
+ d
n2

b
+.... + d
1
b
+ d
0
b .
El nmero b recibe los nombres de base, raz o mdulo.
La base b puede ser cualquier nmero, sin embargo, los principales son,
Sistem
a
b Notaci
n
Decimal
Binario
Octal
Hexadeci
mal
10
2
8
16
0, 1, 2, 3, 4, 5, 6, 7, 8, 9
0, 1
0, 1, 2, 3, 4, 5, 6, 7, 8
0, 1, 2, 3, 4, 5, 6, 7, 8, 9, A,
B, C, D, E, F.
5 .1 . S I S T E M A
D E CI M A L
El sistema decimal de base 10 emplea 10 caracteres o dgitos diferentes
para indicar una de- terminada cantidad 1,2, 3, 4 , 5,6, 7, 8,9. Esto es as
debido al hecho de que los humanos tienen diez dedos. El valor de cada
smbolo depende de su posicin dentro de la cantidad a la que pertenece.
La presentacin general de cualquier nmero se representa como
Las cifras a la izquierda de la coma decimal
representadas por
d
0
, d
1
y d
2
etctera toman
el
valor correspondiente a las potencias positivas de la base 5 (en decimal,
10) en funcin de la
posicin que ocupan en el nmero y representan respectivamente la cifra
de las unidades
(10
0
=1), las decenas (10
1
=10), las centenas (10
2
=100), etc., ya que como
se indica, estn colo-
cadas en las posiciones primera, segunda, tercera y siguientes, a la
izquierda de la coma. Las
cifras a la derecha de la coma
decimal
d
1
y d
2
representan, respectivamente, a la
cifra de
las dcimas (10
-1
=0,1), las centsimas (10
-2
=0,01), etc. El valor total del
nmero ser la suma de cada cifra multiplicada por la potencia de la base
que representa.
Veamos la representacin de 2.579,426 en base decimal 10.
3 2 1 0 1 2 3
2579,426
10

210
+
510
+
710
+ 910 ,4
10
+
210
+ 610
5 .2 . S I S T E M A
BI NA R I O
Es el sistema digital por excelencia, aunque no el nico, debido a su
sencillez. Su base es 2 y emplea 2 caracteres: 0 y 1. Estos valores reciben el
nombre de bits (dgitos binarios). As, po- demos decir que la cantidad
10011 est formada por 5 bits. Veamos con un ejemplo como se representa
este nmero teniendo en cuenta que el resultado de la expresin
polinmica dar su equivalente en el sistema decimal:
N b q r
59 2 29 1
29 2 14 1
14 2 7 0
7 2 3 1
3 2 2 1
2 2 0 1
4 3 2 1 0
10011
2

12
+
02
+
02
+12 +1
2
19
10
5 .3 . S I S T E M A O C T A L
Posee ocho smbolos: 0, 1, 2, 3, 4, 5, 6, 7. Su base es 8. Este sistema tiene
una peculiaridad que
lo hace muy interesante y es que la conversin al sistema binario resulta
muy sencilla ya que,
8 2
3
.
3 2 1 0
2237
8

2 8
+ 2
8
+ 3
8
+ 7
8
1183
10
5 .4 . S I S T E M A H E XA D E C I M A L.
Est compuesto por 16 smbolos: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, ?, %, , B, K, .
Su base es 16. Es uno
de los sistemas ms utilizados en electrnica, ya que adems de simplificar
la escritura de los
nmeros binarios, todos los nmeros del sistema se pueden expresar en
cuatro bits binarios al
ser 16
2
4
,
binarios.
lo que permite una conversin sencilla entre nmeros
hexadecimales y nmeros
4 3 2 1 0
2A93D
16

216
+101
6
+
916
+
316
+131
6
174397
10
5 .5 . C O N V E R S I O N E S :
5 .5 .1 . CO N V E R S I N E N T RE BI N A RI O Y D EC IM A L
Si la conversin es de binario a decimal, aplicaremos la siguiente regla:
Se toma la cantidad binaria y se suman las potencias de 2 correspondientes
a las posiciones de todos sus dgitos cuyo valor sea 1. Veamos dos
ejemplos:
4 3 2 1 0
11011
2

12
+12 + 0
2
+
12
+12 27
10
5 4 3 2 1 0
111011
2

12
+12 +12 +
02
+12
+12
59
10
Si la conversin es de decimal a binario, aplicaremos la siguiente regla:
Se toma la cantidad decimal dada y se divide sucesivamente entre 2. Los
restos obtenidos en
cada divisin (0, 1), forman la cantidad binaria pedida, leda desde el ltimo
cociente al primer
resto.
N b q r
27 2 13 1
13 2 6 1
6 2 3 0
3 2 1 1
1 2 1 1
En la conversin de base podemos describir un algoritmo para obtener la
expresin en base a
b de un entero N. Primero, se divide N por b para obtener el cociente q y el
resto r, esto es,
N bq
0
+ r
o
, 0 c
r
o
<b.
El
resto
r
o
,
es el dgito situado ms a la derecha en la
expresin de en
base b de N. Luego, se
divide q
0
por b para
obtener
q
0
bq
1
+ r
1
, 0 c r
1
<b.
Vemos que r
1
es el
segundo dgito por la derecha de la expresin de N en base b. Este proceso
contina dividiendo sucesivamente el cociente por b, obteniendo como
restos los dgitos de la representacin en base b, proceso que concluye
cuando obtenemos un cociente igual a cero.
5 .5 .2 . CO N V E R S I N E N T RE OC T A L Y BI NA RIO
Si la conversin es de octal a binario cada cifra se sustituir por su
equivalente binario. Ten-
dremos en cuenta la siguiente tabla para hacer la conversin de un modo
ms rpido:
Decimal 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Octal 0 1 2 3 4 5 6 7 10 11 12 13 14 15 16 17
Hexadecim
al
0 1 2 3 4 5 6 7 8 9 A B C D E F
Binario 0 1 10 11 100 101 110 111 1000 1001 1010 1011 1100 1101 1110 1111
Si la conversin es de binario a octal se realiza de modo contrario a la
anterior conversin, agrupando los bits enteros y los fraccionarios en grupos
de 3. Si no se consiguen todos los gru- pos de tres, se aadirn los ceros
que sean necesarios al ltimo grupo.
Para convertir 73, 54
8
a binario, procedemos
como sigue:
Octal Binario
Para 73,
54
8
:
7 111
3
011
5
73, 54
8

111011,101100
2
0 000
1 001
2 010
3 011,
4 100
5 101
6 110
7 111
Para convertir
1010011,100101
2
a octal, procedemos:
Agrupaci
n
Octal
1010011,100101
2

123, 45
8
001 1
010 2
011 3,
100 4
101 5
5 .5 .3 . CO N V E R S I N E N T RE OC T A L Y D EC IM A L
Si la conversin es de octal a decimal se puede utilizar la Regla de
Ruffini. Sabemos que
6753
8
3563
10
. Lo que demostramos como sigue:
6 7 5 3
8 48 440
3560
6 55 445 3563
Si la conversin es de decimal a octal se proceder de modo similar a la
conversin de decimal a binario, pero dividiendo entre 8.
N b q r
3563 8 445 3
445 8 55 5 6753
8

3563
10
.
55 8 6 7
6 8 0 6
5 .5 .4 . CO N V E R S I N E N T RE BI N A RI O Y H E XAD EC IM A L
Si la conversin entre hexadecimales y binarios es igual al de la conversin
octal y binario, pero
teniendo en cuenta los caracteres hexadecimales, ya que se deben agrupar
de 4 en 4. Para ello utilizaremos la tabla de conversin, descrita
anteriormente.
Comprobar que 11001110001
2
671
16
.
Agrupacin 0110 0111
0001 Hexadecimal 6
7 1
1. 6. Problemas antiguos resueltos.
6.1 Si a la suma de dos nmeros se le aade su producto el
resultado es 91.
De qu nmeros hablamos?
Sea x y + x + y 91.
Despejamos O:
x y + x + y
91,
Despejamos y:
x y + x + y
91,
x(y + 1) + y 91, x
91

y
y
+1
y(x + 1) + x 91, y
91

x
x
+ 1
Dando valores a cualquiera de las variables, despejamos la otra. Como
sistema indeterminado puede tener infinitas soluciones, como
x
1 3 22 -5 -47 0 -2

-3
y
45 22 3 -24 -3 91 -93 -47
6.2 Si a la diferencia de dos nmeros se le aade su producto el
resultado es 61.
Cules son los nmeros?
Sea x y +(x y) 61.
Despejamos O:
x y + (x y)
61,
Despejamos y:
x y + (x y)
61,
x(y 1) y 61, x
61
+
y
y
1
y(x 1) x 61, y
61
+
x
x 1
Sistema indeterminado que puede tener infinitas soluciones, como
x
2 3 4 5 6 7 11 -59
y
59 29 19 14 11 9 5

-2
6.3 Cierta cantidad de monedas se quiere repartir entre cierta
cantidad de personas. Si se entregan 12 monedas a cada una,
sobran 7, si se entregan 13 monedas, faltan 6. Qu cantidad y
cuntas personas?
Sean la cantidad de monedas y ) el nmero de personas. Los dos
intentos de reparto han
sido C 12p
+ 7,
C 13p
6,
12p + 7 13p 6 C
Donde p 13 es el nmero de personas y 13 12 + 7 13 13 6 163
es la cantidad solici- tada.
6.4 Cierta cantidad de monedas se quiere repartir entre cierta
cantidad de personas. Se establece que la primera reciba una
moneda ms un sptimo del resto; la segunda dos monedas y
un sptimo del resto y, as sucesivamente hasta la ltima
persona que reci- bir un nmero de monedas igual a su
nmero de orden, pero ya no quedar sptimo alguno.
Cuntas personas y cuntas monedas?
Dado que el nmero de orden es infinito, el nmero de personas
tambin lo ser. Si un nmero se divide por siete pueden ocurrir
dos cosas:
El cociente es exacto, lo que indica que la cantidad a repartir es siete o
mltiplo de sie-
te, es de la forma 7..
Se produce algn resto, en este caso la cantidad es de la forma 7. +
donde r puede
tomar los valores de 1,2,3,4,5,6. En este caso el orden es finito.
La cantidad a recibir cada persona est compuesta por la suma de los
trminos de una progre-
sin aritmtica creciente y otra decreciente. Para la primera el nmero de
trminos no puede
ser superior a seis,
luego
S
n(t
1
+ t
n
)

6(1 + 6)
21.
t
2 2
Para la segunda progresin
con un
trmino menos,
tendremos
S
n(t
n
+ t
1
)

5(5 + 1)
15.
t
2 2
La suma 21 + 15 = 36
sera la
cantidad y 6 el nmero de personas que se repartiran 6 monedas cada uno.
Observar que si la fraccin es ', el nmero de personas ser ) = ' 1 =
7 1 = 6 y la can- tidad a repartir = (' 1)
3
= )
3
= 6
3
= 36.
Nota:
Este problema se le atribuye a % ' ( ) y fue recogido por % . en su
obra Lilavati.
6.5 Cierta cantidad de monedas deba ser repartida entre siete
personas, tres adultos y
cuatro nios, de tal forma que los adultos recibieran una cuarta
parte cada uno y los nios el resto, que deban repartirse en
partes iguales. El reparto se llev a cabo de acuerdo con lo
estipulado pero, de una forma individualizada.
El primer adulto recibi una cuarta parte ms una moneda
sobrante. El segundo adulto recibi una cuarta parte de lo que
quedaba ms una moneda sobrante. Al tercer adulto se le
aplic el mismo procedimiento que al segundo. Los nios
recibieron, cada uno, la cuarta parte de las monedas que
sobraron. De esta manera quedaron repartidas la to- talidad de
las monedas que no excedan de 100.
Cuntas monedas haba? Cuntas recibi cada uno? Cuntas
deberan haber recibi- do de haberse hecho el reparto normal?
En todo el proceso de reparto se han estado haciendo operaciones para
dividir cierta cantidad entre cuatro que producan resto de uno.
Si dividimos un nmero entre cuatro pueden ocurrir dos cosas:
El cociente es exacto, lo que indica que la cantidad a repartir es
cuatro o mltiplo de
cuatro, es de la forma 4..
Se produce algn resto, en este caso la cantidad es de la forma 4. +
donde r puede
tomar los valores de 1,2,3.
El cuatro no es primo, 4 = 23 esto hace que cuando se produce un resto de
dos, se modifique
el concepto del divisor, ya que el '7 (2,4) = 2 1 luego, para mantener
el divisor deben
considerarse como restos 1,3.
Buscamos un nmero de la forma 4. 3 que sea equivalente a otro de la
forma 4. + 1 y que
no sea mayor de 100. Veamos:
k 4k 3 4k + 1
1
4
1
3 1
4 0 + 1
1
2
4
2
3 13
4 3 + 1
13
3
4
3
3 61
4 15 + 1
61
4
4
4
3
253
4 63 + 1
253
La cantidad que ms se aproxima a 100, sin sobrepasarlo, es 61. Veamos el
reparto:

A
1
61 1

15
15 + 1
16
3 15
45
A
2
45 1

11
11 + 1
12
3 13
33
A
3
33 1

8
8 + 1 9 3 8
24
N
4
24
6
4
6 cada
uno
0
De haberse producido un reparto
normal,
obyb
n
= 15 que recibira cada uno de los
adultos,
o b y nf
= 4 que recibira cada uno de los nios.
n
6.6 Dividir una cantidad en tres partes iguales. Tomar la mitad
de la primera parte y su- marla a la segunda parte; tomar la
mitad de esta segunda parte y sumarla a la tercera parte,
despus, tomar la mitad de esta tercera parte y sumarla a la
cantidad actual de la primera parte. Si sabemos que la cantidad
es 100 s N , de qu cantidad o cantidades estamos hablando?
Sea N la cantidad que se divide en tres
partes iguales man las distintas estructuras
al manipular los valores
A,
B,C ,
A,B,
C.
y sean x , y , z los valores
que to- Sin embargo,
partimos de una
igualdad en donde A B C x
y z
y desembocamos en que A + B + C N x +
y + z N.
Si A=x
x

x
entonces, B=y +
x

x + 2y
y , por tanto
x + 2y _

/ 2
x +
2y
2 2
2 2
2 , 4
Si C=z
x + 2y
=
x + 2y + 4 z
, como
x +
2y + 4 z _

x + 2y + 4 z
_


/ 2
x + 2y +
4 z ahora,
+
4 4


4



8
resulta para A=
x
+
x + 2y + 4 z

5x + 2y + 4 z
.
2 8 8
En
resumen:


x

5x + 2y +
4z
8
N

A
+
B
+
C

x + 2y con N 3(8k) 24k.


Para N 24 4
96,
'

4
x + 2y +
4z
8
N
5 32 + 2 32 + 4 32
+
32 + 2 32
+
32 + 2 32 + 4 32
44 + 24 + 28
96
8 4 8

6.7 Referente al supuesto anterior, cules habran sido los


valores de x , y , z y la cantidad mnima si la cesin hubiera sido
de
1
5
?
Sea N A +B +C , que inicialmente sern A B C.
Si x
x

5x
x
entonces, y +
x

x
+ 5y
;

x + 5y

_
/ 5

x
+ 5y
y
x + 5y

x + 5y

4 x +
20y
.
5 5
5 5

5 ,
25
5 25 25
Si z +
x + 5y

x + 5y
+ 25z
entonce
s,

x + 5y + 25z
_

/ 5
x + 5y +
25z
y la diferencia
es,
25
25
4 x + 20y +
100z
.
12
5


25
,
125
Ahora
'

4 x
+
x + 5y + 25z

101x + 5y + 25z
5 125 125
En resumen:

101x + 5y +
25z
12
5
N A + B + C

y
4 x +
20y
25
con N 3(125k) 375k.

z
4 x + 20y + 100z


125
La cantidad mnima es N 3125 375 y su distribucin,
N
101125 + 5125 + 25125
+
4 125 + 20 125
+
4 125 + 20 125 + 100 125

131 + 120 + 124 375
125 25 125
Observar que la cantidad mnima es el cubo del denominador de la
fraccin cedida. Si llama- mos k a dicho nmero, tenemos N k
3
.
No ta: Este tipo de problemas-juegos se encuentran recogidos en recopilaciones de Nicolas
Chuquet (1484), Estien-
ne de la Roche, conocido como Villefranche (1520) Marin Mersenne (1588-1648), entre
otros. Este ltimo, bien
conocido por los nmeros primos que llevan su nombre, los recoge en su obra Questions
Inouyes, ou Rcration des
Savans.
6.8 Hallar dos nmeros tales que al sumar el cuadrado de
cualquiera de ellos con el otro, se obtenga un cuadrado
perfecto.
Sea ' el primer nmero y 2m+1 el segundo. La suma de ambos
cuadrados es (' + 1)
3
=
'3 + 2' + 1.
La suma del cuadrado del segundo nmero y el primero, tambin debe ser
cuadrado, es decir
(2m + 1)
2
+ m 4m
2
+ 5m + 1 t
2
.
Tomemos
t 2m
2,
entonc
es
t
2
4m
2
8m +
4,
expresin que es igual a 4m
2
+ 5m +1, de manera que 4m
2
+ 5m +1
4m
2
8m + 4.
Unificand
o,
4(m 1)
2
(m +1)
(m 1)
que resulta
para
m 3 /
13,
esto significa
que


3 _
2
19 16
_
2
19
_
2
3 20 _
2
2m + 1

6
+
1


19
entonces,



.
13
13
13

,
13

13

,
13

,
13
13

,
N o ta: Problema nmero 20 del II libro de la Aritmtica de Diofanto.
6.9 En cierta ocasin preguntaron a Ramanujan si
sabra resolver la ecuacin
x + y 7 ,
4
4 4 2

y + x 11.
Ramanu
jan dio la respuesta inmediatamente.
Puedes
hacer lo
mismo?
u+ v
2
=7
Hagamos
que
x
u,
y v
donde
.
v+u
2
=11
Restamos una ecuacin de la otra
y obte-
nemo
s
(v + u
2
11) (u + v
2
7) (u
2
u)
(v
2
v) 4.
Si sumamos y restamos
1
al
primer
miembro,
(u
2
4 +
1
) (v
2
v +
1
) (u
2

1
) (v
2

1
)
4 1 4.
Aplicando la
re-
gla de sumas y diferencias de
cuadrados,
u + v 1 4, u v
1,
que nos
queda
u + v
5

;
u v
1

u=
3
v=
2
de donde, x 9 e y 4.
' [ , ? ; ( (1 88 7 19 20 ). El matemtico indio ms
sobresaliente de este siglo. Siendo
oficinista en Madrs comenz a estudiar y trabajar en matemticas sin ninguna ayuda. A raz
de su correspondencia
con G.H.Hardy fue invitado a visitar Gran Bretaa en 1914, donde colabor con este ltimo
en trabajos sobre parti-
ciones y otros temas, principalmente teora de nmeros. Se consideraba un genio por su
inexplicable habilidad en el manejo, por ejemplo, de series y fracciones continuas. Debido a
su mala salud tuvo que regresar a la India, donde muri un ao ms tarde.

' ;;
/ m

6.10 El contenido de una bolsa est compuesto por un tercio en


monedas de oro, un tercio en monedas de plata y, un tercio en
monedas de plstico, sin valor alguno. Con el to- tal se
quieren formar grupos de siete piezas que sean de igual
valor, teniendo en cuenta que el valor de las monedas de oro
y plata est en una relacin de 2 a 1. Averiguar cuntas piezas
hay en la bolsa y cul ser el nmero y composicin de los
grupos.
Razonemos:
El contenido de la bolsa debe ser un nmero igual o
mltiplo de tres. Los grupos tienen que ser de contenido
igual o mltiplo de siete, luego,
El total de piezas debe ser un nmero igual o mltiplo de 21 = (3 7).
Supongamos que el contenido de la bolsa es de 21
piezas, entonces
Piezas de oro : 1 / 3 21 7

Piezas de plata : 1 / 321 7


21
Piezas de plstico : 1 / 3 21 7

3b
Con 21 piezas se pueden
forma
i
mismos ser:
= 3 grupos de 7, por tanto, el nmero y
composicin de los
PIEZAS
I II III
VALORES
I II III
Piezas de
oro:
3 2 2 Valor del oro: 6 4 4
Piezas de
plata:
1 3 3 Valor de la
plata:
1 3 3
4 5 5 7 7 7
Piezas de
plstico
3 2 2 Valor del
plstico:
0 0 0
Total piezas 7 7 7 Total valor 7 7 7
6.11 Dividir un nmero en cuatro partes de tal forma que, si se
suman, restan, multiplican o dividen por un nmero dado,
resulta un nmero que es mltiplo de dicho nmero dado.
Sea O el nmero a dividir, ?, %, , B los nmeros divididos y ' ; . el
nmero dado y el multi- plicador de dicho nmero, entonces ? + % + + B
= O.

A + m

A mk m m(k 1)

mk
+
m

m(k
+
1)
Tenemos
que
B m

mk, de donde
'

C m

C mk / m k


D
mmk
m
2
k
Si x A + B + C + D m(k 1) + m(k + 1) + k + m
2
k k(m
2
+ 2m +
1), resulta
x k(m + 1)
2
N o ta: Este problema est recogido por ( ) O. 263 ) en la refundicin de los Nueve
Captulos o Jiuzhang Suanshu, que recoga los conocimientos matemticos en China, hasta
aquella fecha. Los ) eran continuacin del C , un recopilador de
leyendas referidas a los nmeros y a la astronoma, que se remonta- ba, segn algunos, hasta el 2750 a.C., segn otros,
hasta el 1000 a.C.
6.12 Dividir un nmero en cuatro partes de tal forma que, si se
suman, restan, multiplican o dividen por un nmero dado,
resulta un nmero que es mltiplo de dicho nmero dado.
Nmero dado el 13 y mltiplo el 5.
Sabemos
que
x=(m+1)
2
k (13 + 1)
2
5 980 y, por tanto
30
30

2
_
.
A mk m m(k 1)
13(5 1)
52

B mk + m m(k + 1)
13(5 + 1)
78

C mk / m
k
k 5

980
' ;

D
mmk
m
2
k m
2
k 13
2
5 845

6.13 En cierta ocasin, Ramanujan recibi en el hospital la visita


de su protector y amigo Hardy. ste le coment que haba
venido en un coche con matrcula 1729, nmero que
consideraba anodino y nada especial. Nada especial? Vers,
tiene la particulari- dad de que es el menor nmero que puede
ponerse como suma de dos cubos de dos formas distintas.
Sabes cmo?
El nmero 1729 es igual a 12
H
+ 1
H
= 10
H
+
9
H
= 1729.
Hardy, a continuacin, le pregunt si conoca la respuesta para las cuartas
potencias. Ramanujan con-
test, tras pensarlo un momento, que no poda ver la respuesta, pero que pensaba
deba ser un nmero extremadamente grande. Esta respuesta tuvo
contestacin, obtenida mediante clculos con or- denador, es 635.318.657
134
4
+ 133
4
158
4
+ 59
4
. De una generalizacin de esta propiedad
surgen los llamados nmeros
O 7 5.
Se dice que un nmero es el ensimo nmero O 7 5 si es el menor
nmero que se puede
descomponer como sumas de dos cubos positivos. Veamos
algn ejemplo:
2
1
3
+ 1
3
1729
1
3
+ 12
3
9
3
+ 10
3
8753931
9
167
3
+ 436
3
228
3
+ 423
3
69634723092
48
2421
3
+ 19083
3
5436
3
+
Puestos a demostrar sobre el nmero 1729:
2
2

1729 + 1
_
Es diferencia de dos cuadrados

1729
1

_

865
2

864
2

1729

No es suma de dos cuadrados, a pesar de que 1729 4 432 + 1 4k +


1, ya que de los fac- tores primos que lo componen, 7 13 19 1729 slo
el 13 es de la forma 4k +1.

1729
2
Es una terna pitagrica,

1729
2
+ 1729
2

2
+ 1

,
2

,
Es suma de tres
cuadrados, 6
2
18
2
37
2
1729.
31
31
Se puede escribir como, 206
H
+ 318
H
215
H
314
H
= 1729
Es un nmero Harshad, 1729 : (1 + 7 +2 + 9) 91, porque es divisible por la
suma de sus cifras.
Si sumamos todos los nmeros primos comprendidos entre 2 y 130,
obtenemos 1807. La dife-
rencia con 1729 es de 78, que podemos factorizar como 78
2 313 6 13.
La suma
de
6 + 13 = 19 y la diferencia con 78, 78 19 = 59, dos nmeros primos que
sobran dentro de
la suma inicial luego, el nmero 1729 es suma de los nmeros primos,
2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53
59 61 67 71 73 79 83 89 97 101 103 107 109 113 127
N o ta: Esta ltima demostracin se la dedicamos a = 5 7 (1670 1764), por sus paradojas en las que afirma que todo entero par 4 es suma de dos nmeros primos,
y que todo entero par 9 es la suma de tres nmeros primos. A pesar de los importantes
progresos debidos especialmente a > ]. ( (1891
1983), ( (1933) o 5 ( (1945 ), estas
paradojas siguen abiertas.
6.14 Dos amigos que hace tiempo no se ven deciden, para
celebrarlo, disfrutar de una ce- na acompaados de sus
respectivas parejas. A los postres entran en una discusin ya
que, cada uno de ellos quiere invitar al otro. La discusin se
termina cuando ven la cuenta: cerca de 100 euros y ninguno
lleva dinero suficiente para liquidarla por s slo. Uno le pide
al otro un tercio de lo que lleva que junto a lo que lleva l,
atender la cuenta; el otro le dice que no puede aceptarlo, y le
propone que le entregue una quinta parte de lo que lleva ya
que junto a lo que lleva l pagar la minuta. Como no se
ponen de acuerdo, finalmente deciden juntar todo el dinero
que llevan, pagar la cuenta ms dos euros de propina y, el
dinero sobrante dividirlo en dos partes iguales. Calcular el
dinero que llevaba cada pareja, el importe de la cuenta, la
aportacin de cada uno a su liquidacin y, el dinero que
llevaba cada uno a la salida.
Aunque tiene solucin mediante la aplicacin de ecuaciones, vamos a
utilizar el razonamiento y la lgica para resolverlo.
Sean ? ; % los sujetos que intervienen en forma de parejas. Razonemos:
Si el sujeto % puede desprenderse de una tercera parte del dinero que
lleva, sta ser de la
forma 3..
Si el sujeto ? puede desprenderse de una quinta parte del dinero que
lleva, sta ser de la
forma 5..
Dado que, de dos quebrados que tienen el mismo numerador es mayor el
que tiene menor
denominador, la cantidad de % es superior a la de ?, esto es % > ?.
Supongamos que ? lleva 5 euros: Si ? lleva 5 euros, % debe llevar 6,
entonces 5
+
6 / 3

7 que
debe ser igual a 6 + 5 / 5 7. Como 7=7 luego, las proporciones son
correctas.
La cuenta es 100. El mltiplo ms cercano de 7 es 7 14 = 98, que ser el
importe de la mi-
nuta, y el importe a pagar 100 euros, contando la propina.
Las parejas entraron con 5 14 = 70 y 6 14 = 84 euros, respectivamente.
La suma de ambas
cifras fue de 154 de las que pagaron 100. El resto de 54 lo dividieron en dos
partes de 27 euros
cada una. En resumen,
Parej
as
Llega
da
Salid
a
Cen
a
A 70 27 43
B 84 27 57
Tota
l
154 54 100
6.15 Cuenta una vieja leyenda que un rabe al morir dej una
reata de camellos que de ban repartirse sus tres hijos a razn
de, uno de cada dos para el mayor; uno de cada tres para el
mediano y, uno de cada nueve para el menor. La cosa no
tendra mayor importancia si no fuera porque el nmero de
camellos era de 17. Por mucho que lo intentaron no
encontraron la forma de hacer el reparto sin que alguno de los
came- llos saliera mal parado. Consultado al sabio de la aldea,
ste les recomend pedir prestado un camello y hacer el
reparto, luego devolveran el camello a su legtimo dueo.
Cmo lo habras hecho t?
Siguiendo las instrucciones del ulema o sabio de la aldea, los herederos
pidieron un camello
prestado que sumaron a los 17. Los 18 camellos los
repartieron 18 1 / 2 9
para el
hermano
mayor, 18 1 / 3
6
para el mediano y 18 1
/ 9 2
para el menor, 9 + 6 +
2 17
camello
s
distribuidos y el sobrante devuelto a su dueo.
El razonamiento actual sera que, si la suma de
1
+
1
+
1

17
,
2 3 9 18
bastara
sumarle
1
18
para
obtener la unidad luego, no tendra ms inters que la solucin de un
problema algebraico.
N o ta : El profesor Rafael Rodrguez Vidal, en su obra K [ '5 ] ' 7 , cita haber ledo
este problema en el libro de ] 7 ? (1552), Libro Primero de Aritmtica Algebraica.
Tambin es citado este problema por el pro-
fesor de Tubingen (Alemania) ) K ' en su obra Historia de la
Matemtica desde el co- mienzo hasta la Revolucin Francesa, atribuyendo la fuente a ]
7 ? (1552). Finalmente, en su obra A Primer of Analytic Number Theory, from
Pythagoras to Riemann, el profesor ; )) de la Universidad de Santa Barbara en California, atribuye esta leyenda a algn hecho acaecido a Pitgoras
durante su estancia en Babi-
lonia, donde fue retenido por Cambises II de Persia. Se basa, para tal afirmacin, en la forma
de resolucin utilizan- do fracciones unitarias, propias de los papiros de Rhind o de Mosc, y
stos fueron descifrados hace poco ms de
cien aos. De las civilizaciones antiguas slo conocamos el llamado k ' C (
, divulgado por Pitgo-
ras a su regreso de Egipto all por el ao 532 a.C. La secta creada por Pitgoras en Crotona
prohiba la divulgacin
de sus descubrimientos, sin embargo, algunos pitagricos pudieron quebrantar esa norma y
dar a conocer conoci- mientos manejados por los miembros de la secta desde sus comienzo.
Veamos cmo habra sido solucionado este problema en sus inicios
utilizando fracciones unita-
rias
:
Planteamos:
1
+
1
+
1

2 3
9
Q
Q +
1
donde
17

18
Q
Q +
1
18Q 17(Q + 1) 17Q + 17.
Despejamos: 18Q 17Q 17 Q 17.
Supongamos que los denominadores son , 5, 7. si tomamos sus inversos,
1
+
1
+
1

Q
,
Q
ab + ac + bc

2(3 + 9) +
3 9

51
17
a b c
Q + 1
abc (ab + ac + bc) 2 3 9 (2(3 + 9) + 3 9))
3
donde volvemos a obtener el mismo resultado.
Si recordamos
que
x
3
(a + b + c)x
2
+ (ab + ac + bc)x abc (x a)
(x b)(x c)
es la
estructura de una ecuacin cbica, y si ahora sustituimos por sus valores,
que no son otros que
divisores de un nmero, tenemos x
3
14 x
2
+ 51
x 54 0 , x
2,
x
3,
x
9.
1 2 3
No cabe duda de que los babilonios conocan ya las ecuaciones de grado.
6.16 Encontrar un nmero, si existe, que al ser divido por 3, 5
7 d como restos 2, 3 y 5, respectivamente.
Si O es el nmero a buscar, entonces O = 2 + 3 , O = 3 + 5 y O = 5 + 7 ,
donde , , son
nmeros enteros cualquieras.
Supongamos que 2 + 3s 3 + 5t. Unificando el coeficiente independiente,
3s 1 + 5t.
Si multiplicamos por 2 y sacamos restos respecto a 5, 2(3s 1) + 5t ,
resulta, s 2 + 5t.
Conociendo
,
x 2 + 3(2 + 5t) 8 +15t. Podemos comprobar que 8 es el
nmero ms pe-
queo que al ser dividido por 3 ; 5 da como resto 2 ; 3, respectivamente.
Supongamos que 8 + 15t 5 + 7u. Unificando el coeficiente independiente,
t 4 + 7u.
Conociendo
t,
x 8 +15(4 + 7u) 68
+105u.
Por tanto, 68 es el entero positivo
ms pe-
queo que es solucin simultnea, ya que al dividirlo por 3, 5 ; 7, se
obtienen los restos res- pectivos de 2, 3 ; 5 .
No ta: Este tipo de problemas se encuentran en las obras de k ( ( >>> . . ), que
a
fueron publicados en
1247 por . Tambin fueron estudiados por y %
' ( ) y aparecen en
el Liber Abaci de 5 77 (1202). Su versatilidad y desarrollo es conocido en la teora de
los nmeros como
k ' .
6.17
Sea m un nmero entero y positivo.
Si m x + y + z
m 100 .
y x +
y
y +
x
z ,
calcular
3 5
Supongamos que 3 ; 5 los sustituimos por, ; 5, entonces x +
y
y +
x
z. Esta expresin
a 1
a1
se puede representar en forma de matriz como
1
de la que, aplicando la
diagonaliza-

1 b
b
cin de Gauss-Jordan, resulta para x
ab b,
y ab
a,
z ab 1.
3
3
a b
3
Conocida la estructura,
resulta para
x 3 5 5
10,
y 3 5 3
12,
z 3 5 1
14.
Com
o
mcd(10,12,14)
2,
x
5,
y
6,
z
7
y m x + y + z 5t + 6t + 7t
18t ,
donde t es un entero cualquiera. Comprobamos que 5 +
6
6 +
5
7.
Segn el enunciado ' 100, por lo que tendremos que buscar un
mltiplo de 18 cercano a
100, que en nuestro caso es ' = 90, 100 = 18 5 + 10 y el valor de = 5.
Con los datos anteriores, obtendremos:
Valor de la ecuacin: m x + y + z 25 +
30 + 35 90.
Estructura de la ecuacin: 25 +
30
30 +
25
35.
No ta: Este tipo de problemas se encuentran en la obra Liber Abaci de 5 77 (1202).
6.18 Sea m un nmero entero y positivo. Si m x + y + z + u y
x +
y
+ z
y
+
x +
z
5
z
+
x +
y
7
u , calcular m 150 .
Supongamos que sustituimos 3,
5, 7 por
a , b, c de
donde,
x +
y + z
y +
x + z
z +
x +
y
u.
Mediante diagonalizacin de matrices, obtenemos:
x abc 2(bc) + b + c a

y abc 2(ac) + a + c b


u abc (a + b + c) + 2
z abc 2(ab) + a + b c

x 3 5 7 2(5 7) + 5 + 7 3 44

y 3 5 7 2(3 7) + 3 + 7 5 68


u 3 5 7 (3 + 5 + 7) +
2 92
z 3 5 7 2(3 5) + 3 + 5 7 76

Como mcd(44,68,76,92) 4 resulta que


m x + y + z + u 11t + 17t + 19t + 23t 70t , t es un entero
cualquiera.
Como m debe ser ' 150, podemos situar su valor en 140 y el valor de t
en = 2 entonces,
m x + y + z + u 22 + 34 + 38 + 46 140
y la estructura de sus variables
34+38 22+38 22+34
22 +
3
34 +
5
38 +
7
46.
6.19 Encontrar un nmero cuyo cuadrado, al sumarle o restarle 5,
d otros cuadrados.
Si pudiramos encontrar dos nmeros ' ; tales que 4mn(m
2
n
2
) 5,
el problema tendr
solucin entera en la forma (m
2
+ n
2
) t 4mn(m
2
n
2
) (m
2
n
2
t 2mn)
2
,
pero no
existen
tales nmeros, lo que implica una solucin con nmeros racionales. Si
dividimos la ecuacin
2 2 2 2 2 2 2
por )
3
,
(m
+ n ) t
4mn(m
n ) (m
n
p
2
t
2mn)
obtenemos

m
2
n
2
_
2

4mn(m
2
n
2
)
_
m
2
n
2
2mn
_
2


+
t

p
p
,
p
2


p p p
,
Si hacemos que 4mn(m
2
n
2
)
5p
2
,
necesariamente )
3
es mltiplo de 4, por
tanto ) = 2L
y la ltima identidad se transforma en mn(m
2
n
2
) 5q
2
, donde uno de
los tres factores del
primer miembro debe ser mltiplo de 5. Supongamos que ' = 5,
entonces n(25

n
2
)

q
2
.
El primer valor de n que convierte a n(25

n
2
) en cuadrado es = 4, luego
4mn(m
2
n
2
) 5p
2
4 5 4(5
2
4
2
) 5p
2
p 12
mn(m
2
n
2
) 5q
2
5 4(5
2
4
2
) 5p
2
q 6
Y en consecuencia, el nmero buscado es
m
2
n
2
5
2
4
2
41
+ +
p
p
Comprobamo
s:
12 12 12

41_
2
101_
2

41_
2
19 _
2

12

+ 5


12
,

12

12

,

,

,
No ta: Se trata del primer problema resuelto por 5 77 en el llamado ' ' 7
planteado por Fede-
rico II (1194-1250), emperador germano de la dinasta de los Hoenstaufen, en su visita a Pisa
en el ao 1225. El em-
perador quera probar si la fama de Fibonacci era cierta.
6.20 Tres hombres cuentan cada uno con una misma cantidad de
dinero. Encuentran una bolsa llena de monedas y la reparten
de tal modo que la cantidad final del primero (lo que llevaba
ms lo que le toc) es triple de lo que obtuvieron el segundo y
el tercero en el reparto, la del segundo el cudruplo de que
obtuvieron el primero y tercero y el tercero el quntuplo de lo
que obtuvieron el primero y segundo.
Se trata de saber el capital inicial y lo que les toc a cada uno
en el reparto de la bolsa hallada.
Sea c la cantidad inicial y x , y , z lo que le toc a cada uno en el reparto,
tenemos las siguien- tes ecuaciones:
c + x 3(y
+ z);
c + y 4(x
+ z);
c + z 5(x + y)
Si en cada una de las ecuaciones despejamos c, resulta
x + 3y + 3z c; 4 x y + 4 z c; 5x + 5y z c
Un sistema de ecuaciones que tiene como solucin,
x
7c
;
y
13c
;
z
17c
83 83 83
Un sistema indeterminado que tendr tantas soluciones como valores se le
asignen a c.
Para c 83,

x
7;
y
13;
z 17
No ta: Se trata de una adaptacin del cuarto problema resuelto por 5 77 en el llamado
' ' 7
planteado por Federico II (1194-1250). Estos problemas estn recogidos en la obra de
Fibonacci Liber Quadratorum.
6.21 Despus de un naufragio, tres marineros dan con sus
huesos en una isla desierta. En la isla slo hay cocoteros y
monos y, ninguno est al alcance de los recin llegados. Como
el hambre agudiza el ingenio, pronto se dan cuenta de que,
lanzando piedras a los monos, stos les devuelven la agresin
lanzndoles cocos. Consiguen una cosecha de ms o menos un
centenar. Cansados y cercana la noche, se van a dormir con la
promesa de que, a la maana siguiente, los cocos sern
distribuidos a partes iguales entre los tres. Al cabo de cierto
tiempo, uno de los marineros despert y, pensando en comer,
tom un tercio de los cocos, pero como sobraba uno, se lo
comi y guard el tercio, dejando los restantes dos tercios
para sus compaeros. Los otros dos actua- ron de la misma
manera.
Cuntos cocos haba al inicio y cuntos cocos guardaron para
ser repartidos cuando despertaran?
Supongamos que al inicio haba O cocos y quedaron ; cocos al final.
Despus del primer naufrago, quedaron
2
3
(x 1) ; despus del segundo
marinero, quedaron
2
3
(
2
3
(x 1)1), finalmente, despus del
tercero, quedaron
Operamos de la siguiente forma,
2
3
(
2
3
(
2
3
(x 1) 1) 1)
y.
2
(
x
1
)

2x 5
,
2
2x 5

_
1
4 x 19
,
2

4 x 19
_


1
8x 38
3

3
3



9
3


27
Escribimos la ltima igualdad como, 8 x 27y 38.
Utilizando el ? ( ' K 7
8x 27y
38
8 x 38 + 27t
4 x 19 + 27t
7(4 x 19) + 27t x 25 + 27t
donde t es un entero
cualquiera.
Como la cosecha es de
t100,
para = 2, resulta O = 25 + 27 2 = 79 cocos
repartidos y
8 x 38

8 79 38
22 cocos sin repartir, en total 79 + 22 = 101
cocos recolectados.
27 27
Veamos el reparto:
t 0 1 2 3
Cocos
repartidos:
25 52 79 106
Cocos
pendientes:
6 14 22 30
Total 31 66 101 136
Podemos llegar al mismo resultado si aplicamos las propiedades
de los nmeros. Si un nmero es dividido por tres pueden ocurrir
dos cosas:
Que tenga cociente exacto, lo que demuestra que el nmero es tres o
mltiplo de tres,
esto es, es de la forma 3..
Que no tenga cociente exacto, luego no es divisible por tres y, por
tanto, produce un
resto r, con lo que el nmero es de la forma 3. .
Que el resto r ser positivo o negativo depender si la divisin se
hace por defecto o
por exceso, con lo que produce nmeros de la forma 3. + 1 o 3.
2, ambos equiva-
lente.
Pues bien, la cantidad de cocos inicial es de la forma 3. 2 y la que se
reparte es su equiva- lente de la forma 3. + 1. Veamos cmo evolucionan:
3k 2 3k +1
3
1
2 1
3 0 + 1 1
3
2
2 7
3 2 + 1 7
3
3
2
25
3 8 + 1
25
3
4
2
79
3 26 + 1
79
3
5
2
241
3 80 + 1
241
No ta: El da 9 de octubre de 1926, en el peridico de Nueva York, k ; K (
C , el reportero Ben
Ames Williams publicaba la fascinante historia de cinco nufragos que haban sido
ayudados por monos. Ver
K ' ; '5 k ; ?)) 7 , de Thomas Koshy o Elementary
Number Theory in Nine Chap-
ters, de James J.Tattersall. Los profesores Manuel Castellet Solanas e Irene Llerena Rodrguez,
de la Universidad de
Barcelona, tambin hacen referencia a este problema en su obra ( 5 ; = '
. Todas estas fuen-
tes citan el artculo de Ben Ames Williams y el problema con tres o cinco marineros.
Bhaskara (1114-1185) en Lilavati, un libro de poemas sobre nmeros que dedic a su hija,
recoge un problema pa-
recido a este sobre tres marineros que en el mar de Ceylan salvaron, con riesgo de sus
vidas, un cargamento de especias y el dueo les recompens con una cantidad de ms
de 200 monedas pero menos de 300. Michael
(1487 1567), en su obra ? ' 7 > ( , recoge este problema con tres
galeotes que arriesgaron
sus vidas para salvar un barco. La accin la sita en el Mar Egeo sobre el ao 600 a.C. y el
barco sera propiedad de
una familia fenicia emparentada, nada menos, que con Tales de Mileto. Sea verdad o mentira
la historia, este pro-
blema es muy anterior a la fecha de publicacin de 1926. Referente a Stifel,
Hofmann en su obra
] ' 7 , dice que este matemtico alemn tena mucho talento para
el lgebra, pero al mismo
tiempo era muy supersticioso para los nmeros.
6.22 Un profesor diserta sobre el ms prolfico y fuera de toda
comparacin de los ma- temticos del siglo XVIII. Un alumno
le interpela en el sentido de considerarle muy joven para
conocer tan a fondo al personaje. No lo creas, le dijo, nac a
mediados de los aos cuarenta, un ltimo da del mes. Si
tomas la diferencia entre el ao de mi na- cimiento y el del
fallecimiento de quien hablamos y lo multiplicas por su edad y
el da de mi nacimiento, obtendrs un resultado de 354844,
cifra que te servir para cono- cer la fecha exacta de mi
nacimiento y el ao de nacimiento y fallecimiento de nues- tro
personaje.
De quin estamos hablando?
La descomposicin en factores primos de 354844 = 2
3
7
19 23 29.
El profesor pudo nacer el 29 o 28, (23 7). Si consideramos el da 28 nos
quedaran 19,23,29
que podramos combinar, 29 para la edad del matemtico y 437 (19 23)
para la diferencia
entre aos de nacimiento y defuncin, pero esto nos llevara al siglo XVI,
1503 = 1940 437.
Nuestro personaje es del
siglo XVIII.
Si el profesor hubiera nacido el da 29, sera el 29 2 1944, nico ao
bisiesto a mediados
de los aos
cuarenta.
Nos quedan 2,2,7,19,23 que podran corresponder a 38, (2 19) o 46, (2
23) aos para la edad del personaje y 266, (2 7 19) o 322, (2 7 23)
para la diferencia de aos de nuestro profesor y el personaje. Pero ambas
diferencias nos llevan al siglo XVII (1622 ; 1678), por lo que debemos
desecharlas.
Slo nos queda 76, (2 2 19) para la edad del matemtico y 161, (7
23) para la diferencia
de aos,
luego
El profesor haba nacido el 29 de
febrero de 1944.
El personaje muri el ao 1783, (1944 161) a los 76 aos, naci en 1707,
(1783 76). En cualquier enciclopedia podremos comprobar que se trata de
K (1707 1783).
No ta: Este problema quiero dedicarlo a la memoria de Don Jos Lbez Urqua, catedrtico
de la Escuela de Altos
Estudios Mercantiles y profesor de matemticas del Instituto Bancario, que me ense a
comprender y querer a los nmeros.
6.23 En mi escalera vivimos tres vecinos que tenemos en comn
el pertenecer a la profe- sin de banca. Dos ya estn jubilados
y el otro espera hacerlo cuando cumpla los 60 aos, ya que
pudo hacerlo cuando cumpli los 50. Mi compaero se jubil a
los 65 y est a punto de cumplir los 70 aos. Como somos
gentes habituadas a los nmeros, uno me deca que si
multiplicaba la edad del otro jubilado por el nmero de su piso
sala la misma cantidad que si multiplicaba su edad por el
nmero del piso del otro. El otro, que no quera ser menos,
dijo que la suma de los nmeros de sus respectivos pisos daba
como resultado un nmero primo no superior a diez. Puestos a
facilitar datos, les coment que la diferencia entre sus edades
tambin era un nmero primo.
Qu edad tiene cada uno y en qu piso viven?
Sean A y B las edades de cada uno y C
{
y C
|
los pisos en que viven. El
enunciado dice que
A P
b
BP
a
luego,
nor a 60.
A > B y P
a
<P
b
.
A es menor a 70 y mayor a 65, y B es mayor
a 50 y me-
La diferencia de edades es un nmero
primo, esto es,
A B 70 50
20.
Los nmeros
pri-
mos hasta 20 son, 2, 3, 5, 7,11,13,17 y 19, pero slo nos interesan aqullos
que sumados a la
edad del menor, (aos 51 al 59) de un resultado comprendido entre
66 y 69, o sea,
13 + 52
65,
17 + 51
68
o 19 + 50
69.
Quedan descartados el 65 y el 69 luego,
las eda-
des son 68 y 51 aos.
Por otra parte, la suma de los nmeros de los pisos es un primo menor a 10,
o sea, 2, 3, 5 7.
Descartado el 2, las combinaciones que podemos hacer son,
Con el 3: 1 + 2. Con el 5: 1 + 4 2 + 3. Con el 7: 1 + 6, 2 + 5 3 + 4.

De estas combinaciones, 1 + 2, 1 + 4 ,
1 + 6 y 2 + 5
tomamos pues, 2 + 3 y 3 + 4.
presentan una considerable
dispersin,
El producto de 68 2
136
es menor que 51 3 153, luego 68 3 51 4 204.
Por tanto, vi-
ven en los pisos 3 y 4 y tienen 51 y 68 aos, respectivamente.
6.24 Tres hombres se reparten al azar un capital. A
continuacin, el primero aporta a un fondo comn la mitad de
su porcin, el segundo un tercio y el tercero un sexto. Des-
pus hacen con el fondo tres partes iguales y cada cual
toma una parte para s.
Cunto tuvo cada uno en el primer reparto, si la cantidad
final fue, para el primero, la mitad del capital inicial, para el
segundo la tercera parte y para el tercero la sexta parte?
Sea u una de las tres partes en que se ha dividido el fondo formado por
las fracciones de las partes tomadas al azar y c el total, entonces x + y + z
c.
Tenemos,
u

x x

_
c
u

y
y

_ c
u

z
z

_ c
+ ,
2 2
+ ,
3
3
+ .
6 6


,


,

,
Despejando las variables principales,


x
2

c
u

c
2u,
y
3 2
c
u


c
3u
,
z
6 5
c
u


c
6u
.

2 ,

3 ,

2

6 ,

5
Sumando todos los miembros,
c 2u +
c 3u
+
c 6u

17c 47u
c
2 5 10
Si resolvemos la ecuacin
17c 47u
c
10
17c 47u
c c
47u
y u
7c
7
2
c 47
2
u.
10 7
47
Esta ecuacin, que podemos
escribir como
c 47
2
t y u
7
2
t ,
ya que se trata de un
sistema
indeterminado, tendr tantas soluciones como valores se le asignen a t .
Para t 1 tenemos,
c _
x 2

2
u


c 2u 2209 2 49 2111


,

c
y 3 2
u

c 3u 2209 3 49
1031

, 2 2

z
6 5


c
u


c
6u


2209 6 49

383

6 , 5 5
u
+

49
+
(2111

2111 / 2)


2209


2 , 2 2
u
+


y
_

49
+
(1031

1031 / 3)


2209


3 , 3 3
u
+


z
_

49
+
(383

383 / 6)


2209


6 , 3 6
N o ta : Se trata del tercer problema planteado por Federico II (1194-1250), resuelto por
Fibonacci y recogido en su obra Lber Quadratorum.
B IB L I O G RA F IA
BERLINSKI, David, Ascenso Infinito, Breve Historia de las Matemticas, ISNB:
84-8306-676-9
BOYER, Carl B., Historia de la Matemtica, ISBN: 84-206-8186-5
DEPMAN, Ivn. I., Del lgebra Clsica al lgebra Moderna, ISBN: 978-5-484-
01047-9
DIOFANTO, La Arithmtica, ISNB: 978-84-96566-73-6
GEORGES, Ifrah, Historia Universal de las Cifras, ISBN: 84-239-9730-8
GOBERNA, JORNET, PUENTE y RODRIGUEZ, lgebra y Fundamentos, ISNB: 84-
344-8026-3
GONZALEZ URBANEJA, P.M. Pitgoras el filsofo del nmero, ISBN: 84-95599-
08-2
HAWKING, Stephen, Dios Cre los Nmeros, ISNB: 978-84-8432-753-1
HOFMANN, Joseph E., Historia de la Matemtica, ISBN: 968-18-6286-4
MANKIEWICZ, Richard, Historia de las Matemticas, ISNB: 84-493-1787-8
MILLA GASCA, Ana, Euclides la fuerza del razonamiento matemtico, ISBN:
84-955599-85-6
PLA CARRERA, Josep, Liu Hui Nueve Captulos de la Matemtica China, ISBN: 978-
84-92493-43-2
REY PASTOR, Julio, Historia de la Matemtica, ISBN: 84-7432-807-1
SANCHEZ FERNANDEZ, C., y otro, Las Funciones, un paseo por la Historia,
ISBN: 978-84-96566-
57-6
TATTERSALL, James, Elementary Number Theory in Nine Chapters, ISBN: 0-
521-61524-0
WALKER, J.M., Antiguas Civilizaciones Mesopotmicas, ISNB: 84-8403-310-4
A PO Y O I N T E R N ET h tt p : //e s .w ik ip e d ia .o r g/ w ik i/ N
% C 3% B A m e ro h tt p : //e s .w ik ip e d ia .o r g/ w ik i/ N
% C 3% B A m e r o _ n at u ral
h tt p : // w ww .s e c to r m at e m a tica .cl / h is to ria .h tm
h tt p : // w ww .sli d e s h ar e .n e t/ acs a /m at e m at icas-c h in a- e -i nd ia-
p r e s e n tati o n h tt p : //e s .w ik ip e d ia .o r g/ w ik i/P ita g
% C 3% B 3 ri c o s
h tt p : // w ww .g oo g le .e s / # h l=es&source=hp&q=origen+de+los+numeros&aq
=f&aqi=g10&aql=&o q=&gs_rfai=&fp=6215056f63dbb911
h tt p : // h tm l.ri n c o nd e lv a g o .c o m /o ri g e n -y -si gn ifica d o- d e -l o s- num e r o s .h tm l
h tt p : //e s .w ik ili ngu e .c o m / p t/M at e m % C 3 % A 1 tica _ g ri e g a
h tt p : //e s .w ik ip e d ia .o r g/ w ik i/ H is to ria _ d e _ la _ m a te m % C3% A 1 tica
h tt p : //e s .w ik ip e d ia .o r g/ w ik i/M at e m % C 3 % A 1 ticas _ e n _e l_ A n ti guo _ E g ip to
h tt p : // m aral b o ra n .o r g/ w ik ip e d ia / ind e x .php / Las_matem
%C3%A1ticas_en_la_China_antigua_y
_cl%C3%A1sica_(c._550_a.C.-1300_d.C)
h tt p : //e s .w ik ip e d ia .o r g/ w ik i/M at e m % C 3 % A 1 tica _ h e l% C 3 % A 9 n ica

Potrebbero piacerti anche