Premios del Departamento de Matemticas

de la Universidad Autnoma de Madrid

para Estudiantes de Secundaria
Tercera Edicin, 2008/2009

TRABAJO: Un geoplano algo irracional

GANADOR EN LA CATEGORA DE E.S.O.
AUTORES:
o Germn Garca Butenegro
o Olmo Fernndez Garca
TUTORES:
o Carlos Usn Villalba
CENTRO: IES Batalla de Clavijo (La Rioja)

Un geoplano algo irracional.

Introduccin y antecedentes:

Desconocemos que existan antecedentes. El problema de partida pareca algo simple: Cuntas cuerdas de distinta longitud se pueden trazar en una trama cuadrada 4x4? Y no parece que, si alguien intent resolverlo en algn momento su
solucin haya pasado a la historia de las matemticas. Y
perviva en algn sitio.
Pero cuidado porque pronto lleg la generalizacin y, a
partir de ah las preguntas se amontonaron a nuestro alrededor y de hecho todava nos persiguen De forma que, despus de intentar responder a algunas llegamos a la conclusin de que nuestro verdadero primer problema era ste:

Existe alguna trama de puntos en

la que sea posible trazar las races cuadradas de todos los nmeros
enteros?
Es decir, podemos encontrar un entramado de puntos en el
que sea posible representar, mediante un lnea que una dos
de ellos, todos y cada uno de los radicales cuadrticos? En
un principio intentamos organizarlo como un proceso tal como fueron apareciendo los resultados en clase, aunque despus nos dimos cuenta de que el sistema que vamos a mostrar
ahora es mucho ms prctico.

Resultados:

A lo largo del desarrollo del problema, los resultados obtenidos aparecen destacados en color naranja.

1.- Trama cuadrada en 2D:

-Cuntas longitudes distintas se pueden crear en
una trama cuadrada de dimensiones NxN?
Empezamos por el proceso ms lgico, es decir, comprobndolos uno a uno y remarcando en verde las distancias nuevas
que bamos obteniendo:
1x1= 2 distancias.
2x2= 5 distancias.
3x3= 9 distancias.
4X4= 14 distancias
5x5= 20 distancias
Los resultados forman una progresin
Fig. 1
aritmtica de orden
dos, ya que, partiendo de un vrtice y unindolo con los
puntos del lado opuesto, se obtienen todas las posibilidades que no estaban en la trama anterior (Fig. 1).

Mac_Mac

Un geoplano algo irracional.

Existen garantas de esto?

S, porque las lneas que terminan en el interior venan ya

dadas por geoplanos anteriores, y las que empiezan y terminan en los lados son producto de las que salen del vrtice.
Con cada cuadrado de lado n se aaden (n+1) longitudes nuevas. Es decir, el nmero de longitudes de un cuadrado de
lado n viene dado por la progresin [2, 2+3, 2+3+4,,
2+3+4++(n+1)]
Ahora slo queda dar una frmula:
CNxN= (n+1) sumorial -1
u, homlogamente,
2
n(n + 3) n + 3n
CN x N =
=
= n+1-1 ya que, si nos fijamos bien se
2
2
corresponde con los nmeros triangulares menos una unidad.
Ahora bien, cmo sabemos que en esas tramas hemos trazado TODAS las
distancias posibles?
Porque el cuadrado es una figura simtrica; si cogemos solo
medio geoplano usando como eje la diagonal y trazamos todas
las distancias posibles, al hacer despus la simetra axial
con la diagonal como eje obtenemos TODAS las distancias por
duplicado.(Fig. 1,5)

Fig 1,5

Planteamiento 2, qu longitudes pueden aparecer en un

geoplano?
Los nmeros naturales: 1, 2, 3
Unas races concretas: 2, 5, 10, 17
Vale, salen unas cuantas races. Pero, pueden
salir todas?
No. Sin ir ms lejos,
3 no puede salir,
Fig. 2
ya que para
obtenerlo necesitaramos un tringulo rectngulo de catetos 1 y 2. Y,
uniendo dos puntos de la trama, no
sale.
Vale. O sea, que slo salen unas
cuantas races veamos qu tienen en
comn
Son las races de la suma de dos
cuadrados perfectos
Ah, son las races de los Nmeros
Mac_Mac

Un geoplano algo irracional.

Pitagricos, es decir, las races de aqullos que se

pueden expresar como la suma de dos cuadrados perfectos.
Lo que da pie a una primera hiptesis:
H1: En una trama cuadrada aparecen slo las distancias
diagonales de rectngulos de lados enteros (nmeros pitagricos)
Demostracin:
Cualquier segmento en un geoplano puede ser, o bien paralela a un eje, o bien determinado por las coordenadas enteras
de sus vrtices, es decir, puede ser la hipotenusa de un
tringulo rectngulo de catetos enteros (Fig. 2).
Un momento, tambin
tagricos?
Comprobmoslo en un
2
2=
(4 2)=
8
Ah, pues s, pero
hecho arriba? Es
pertenece a ?

salen los mltiplos de 2. Son Picaso concreto:

podemos generalizar eso que hemos
decir, para todo P pitagrico, KP

Demostracin grfica: Cada mltiplo

se construye en base a la repeticin del tringulo que ha generado el pitagrico de partida.
Es decir, KP pertenece a P, luego: Los mltiplos de los nmeros Pitagricos tambin son
Pitagricos.
Pues tenemos un problema, ya que no podemos alcanzar todas las races cuadradas de un nmeros naturales mediante este procedimiento, o dicho de otra forma: No todos
los irracionales cuadrticos son expresin de una distancia en una trama cuadrada
Existir una trama de otro tipo en la que figuren como distancias entre sus
puntos todos los irracionales cuadrticos? En el plano, puesto que
los nicos polgonos regulares que lo teselan son cuadrados, tringulos y hexgonos, y estos ltimos se pueden descomponer en tringulos, la nica trama regular
que nos queda por revisar es la triangular. A ello:

Trama isomtrica en 2D:

Introduccin:
Como se puede apreciar, la nica diferencia
es
el
motivo de la trama,
que
es
diferente.
Igual que en el cuadrado, usamos medio
geoplano.

Mac_Mac

Un geoplano algo irracional.

En un principio lo intentamos con rombos (derecha) por

aquello de que se parecan ms al cuadrado y quizs
hubiese alguna analoga, pero intuimos que con tringulos era un poco ms prctico. Y en efecto lo era, ya que
nos permita sacar distancias aplicando el teorema de
Pitgoras de forma sencilla.
Ahora, en naranja y verde sealamos las distancias nuevas por cada nivel, desde el 0. Con lo que obtenemos:
K3/2

N/2

Esto parece una sucesin de recurrencia, de la que se

puede obtener con relativa facilidad un trmino general.
O, mejor dicho, dos:
N
-SI N Nivel- es par





+1
2
N +1
-Si N es impar









2
Un ejemplo:
Nivel 6. Distancias NUEVAS:
6/2+1 = 4
Otro:
Nivel 5. Distancias NUEVAS: 5+1/2 =3
Bien, funciona!
Tras crear un par de distancias, con 6 niveles, camos en la cuenta de que, para
calcular las distancias del punto superior
al resto de puntos, usando el Teorema de
Pitgoras, se mostraban dos regularidades:
El cateto mayor, la lnea verde, es un
3
mltiplo de 2
El cateto menor, la lnea azul, es un
1
mltiplo de
2
Significa que, por ejemplo, en el nivel 3, el cateto mayor
es 3(3/2) y el cateto menor puede ser
3/2; en el nivel 4, el cateto
mayor es 4(3/2) y el menor, 2/2
4/2.
A raz de estos clculos, nos dimos
cuenta de que, para toas las distan-

Mac_Mac

Un geoplano algo irracional.

cias, estbamos usando la misma frmula.
La misma frmula? Ah! Es verdad.
2

K 3 + N
2 2

Esta frmula, en la que K es el nivel y N el numerador del

cateto menor, tiene un par de condiciones o trabas:
K y N son ambos pares o impares.
K es SIEMPRE mayor o igual que N.
Dada la primera condicin, empezaremos cuando K y N son pares.
Pensndolo bien, al ser K par, se simplifica con el 2, y N
tambin, quedando:

(P 3)

+M =

3P + M

, siendo P = K/2

y M = N/2.
Emitimos ahora un trocito del dilogo inmediatamente posterior al descubrimiento
O sea, que hemos saltado la barrera de los Pitagricos
y menudo salto. Habr que ponerles nombre, no?
Vale. Qu nombre se te ocurre?
Pueslos Nmeros de Apoyo, porque los descubrimos en clase de apoyo.
No es mala idea.
Pues, all vamos con los Nmeros de Apoyo:
2

+ 0 = 12

+2 = 4

+ 2 = 52

+2 =8

32
32
34
34
36

2
2

+ 2 = 112
Tras estos intentos, nos dimos cuenta de que habamos cometido un error de dimensiones ionosfricas: estaba contando
P y M como K y N.
El otro da, nos dimos cuenta del error, re-ampliamos el
trmino general y desarrollamos el inicial, obtenien2

N
3
(K ) + ( )
2
2

3K + N
4

do:
, que, por cierto, evita liarnos
con P y M, ya que con K y N basta.
Ahora, la sucesin completa de los Nmeros de Apoyo, ya que
antes, slo salan la mitad de trminos:

Mac_Mac

Un geoplano algo irracional.

2

32 + 0
4
34 + 2
4
2

13

32 + 2 =
2
4
34 + 4 = 4
4

34 + 0
4

12

Que no salen todos es obvio: 7 no sale. Pero Cules salen?

Dejamos de momento la pregunta en el aire y seguimos buscando una trama ms dispuesta a permitir nuestro objetivo.
Podramos tomar tramas arbitrarias, pero nos decantamos por
subir de dimensin.

Evolucionemos a la tercera dimensin: los

cubos
Trama cuadrada en 3D (Cbica)
Cuntas distancias aparecen?

Fig. 3

Comprobemos los primeros casos (Fig. 3):

Siguiendo
el
mismo
modelo,
la
precipitacin hizo que al principio nos
dejramos algunas longitudes, concretamente las que van hacia los puntos
interiores de la base
en azul- pero
nos dimos cuenta y lo cambiamos.
1x1x1: 3 longitudes
2x2x2: 9 longitudes
3x3x3: 19 longitudes
Vamos incorporando 6, 10, 15 Lo que da pie a otra primera
hiptesis:
H1: Cada paso aade el nmero triangular de orden n+1 de
nuevas distancias, con lo que se obtienen los nmeros tetradricos de orden n+1 a los que hay que restarles una
unidad.
Demostracin: Si nos fijamos y vamos colocando un cubo dentro
de otro de arista dos y este dentro de otro de arista tres,
etc. las nuevas distancias van formando tetraedros (nmeros
tetradricos) que son la suma de nmeros triangulares, luego cada vez vamos aadiendo un nmero triangular.
Esto nos da pie a pensar que en cuatro dimensiones sumaremos cada vez un nmero tetradrico de distancias nuevas.
Pero eso habra que ver si se cumple, de momento nos enfrentamos a una progresin aritmtica de orden tres cuyo
trmino de lugar n , por tanto, es la suma de los n-1
anteriores de una aritmtica de orden dos.
1
les
28

2
1

36

5
3

45

7
6

10

10
15
55.Tiangulares

Natura21

Mac_Mac

Un geoplano algo irracional.

1
4
tradricos

10

20

35

56

84

120

Te-

Disposicin que se puede ver por diagonales en un tringulo

de Pascal.
1
1

1
1

1
4

Con lo que resulta muy fcil encontrar el trmino general:

n(n + 1)(n + 2 )
Tn=n-1+Tn-1 es decir Tn= C 3n+ 2 =
3 2
Qu distancias aparecen?
Primero intentamos comprobar las que iban surgiendo en cada
cubo, pero despus nos dimos cuenta de que as no bamos a
llegar a ningn lado. El profesor nos recomend que buscsemos una especie de teorema de Pitgoras para 3 dimensiones, porque estos segmentos tambin estn delimitados por
coordenadas enteras. Comenzamos por comprobar algunos casos:
1x1x1: 3
1x1x2: 6
1x2x2: 9
2x2x2: 12
Fig. 4
7 , estamos como antes, no es una
No sale
trama completa . Salen: Las races de los mltiplos de
3? No parece lgico, tratndose de sumar cuadradoso igual
s. Un momento, puede ser sencillamente eso, la raz de la
suma de los cuadrados de las coordenadas, igual que en 2D!

Vamos a intentar comprobarlo:

2

c 2 + b 2 + a 2 = d 2 (Fig. 4), es decir a + b + c = d

Es as de sencillo! Un procedimiento similar podra servir

para calcular distancias cualesquiera en un geoplano de N
dimensiones. De esa forma podemos pensar en una trama hipercbica. Con lo que solo nos quedara averiguar cul es
el menor nmero de cuadrados perfectos en los que se puede
dividir un nmero cualquiera. Si ese nmero es finito hemos
acabado y si no lo es hay que buscar otro tipo de tramas.
Probemos con cuatro.

Mac_Mac

Un geoplano algo irracional.

Llegamos as hasta el 64; aparecan todos los nmeros, aunque nos podamos morir de hambre antes de poder generalizarlo. Entonces, El profesor nos recomend usar el lgebra
para ver si era posible demostrar que, tal como creamos,
era posible expresar cualquier nmero como suma de cuatro
cuadrados perfectos, o, lo que es lo mismo, que todos los
nmeros naturales son Pitagricos en cuatro dimensiones.
Y esto nos lleva a otra reflexin, cuando menos curiosa si
se mantuviera esa relacin que hemos encontrado, las nuevas
distancias obtenidas en una trama hipercbica en cuatro dimensiones seguiran la sucesin de los nmeros tetradricos
en 4D, que aparece en el tringulo de Pascal, despus de
restarles una unidad. Si eso es as, la suma de todos esos
nmeros nos dara infinito, pero un infinito igual al que
resulta de contar todos los nmeros naturales, Cosa que
no sucedera con los tetradricos en 3D, ni con los triangulares. Pero tampoco con los tetradricos en cinco, seis o
ms dimensiones (que tambin aparecen en el Tringulo de
Pascal). En este caso sobraran distancias, lo que querra
decir que esas distancias que sobran son nmeros naturales
que se repiten, es como si la proyeccin en cuatro dimensiones de un poliedro en cinco no dejase ms huella que los
puntos que ya tena en esa proyeccin. Dicho de otro modo:
es como si un tetraedro se proyectase en el plano de su base slo con tres puntos. Porque, si no es as, qu otros
irracional no cuadrticos aparecen?
Pero volvamos a ver si efectivamente se cubren todos los
irracionales cuadrticos. Independientemente del orden en
que se coloquen puede suceder que uno de ellos sea par, que
lo sean dos, tres o los cuatro:

Mac_Mac

Un geoplano algo irracional.

a p
b p
c p

( 2e ) 2 + ( 2 f ) 2 + ( 2 g ) 2 + ( 2 h ) 2 = 4e 2 + 4 f 2 + 4 g 2 + 4 h 2 = 4( e 2 + f 2 + g 2 + h 2 )
Con cuatro pares aparecen los mltiplos de cuatro n 0 mod( 4)

dp
a p
b p
c p

(2e) 2 + (2 f ) 2 + (2 g ) 2 + (2 h + 1) 2 = 4e 2 + 4 f 2 + 4 g 2 + 4h 2 + 4h + 1 = 4(e 2 + f 2 + g 2 + h 2 + h) + 1
Con tres pares surgen los n 1 mod( 4)

dp

a p

(2e) 2 + (2 f ) 2 + (2 g + 1) 2 + (2h + 1) 2 = 4e 2 + 4 f 2 + 4 g 2 + 4 g + 1 + 4h 2 + 4h + 1 =

b p

= 4( e 2 + f 2 + g 2 + g + h 2 + h ) + 2

c p

Con dos pares aparecen los n 2 mod( 4)

dp
a p

(2e) 2 + ( 2 f + 1) 2 + ( 2 g + 1) 2 + ( 2h + 1) 2 = 4e 2 + 4 f 2 + 4 f + 1 + 4 g 2 + 4 g + 1 + 4h 2 + 4 h + 1 =

b p

= 4( e 2 + f 2 + g 2 + g + h 2 + h ) + 3

c p
dp

Con un nmero par surgen los n 3 mod( 4)

Se observa claramente que da igual el orden en el que se

coloquen dichos cuadrados, puede ser que sea par uno, dos,
tres o los cuatro, lo que nos lleva a que TODOS, absolutamente TODOS los nmeros naturales se pueden expresar a
priori como la suma de cuatro cuadrados perfectos, no hay
ninguno que quede excluido. Lo que no significa que sea posible.
No hace falta comprobar ms casos, porque ya hemos comprobado que podran aparecer todos. Lo que faltara por probar
es lo contrario, es decir si podra descomponerse un nmero
N en la suma de cuatro cuadrados perfectos en funcin de su
resto al ser dividido entre cuatro. Es evidente que si ese
nmero es un mltiplo de cuatro se tendra que descomponer
como suma de cuatro cuadrados de nmeros pares y que si el
resto al dividirlo por cuatro fuese 3 con un par y tres impares y as sucesivamente pero, de momento, no se nos ocurre un mtodo de hacer esa descomposicin.
En este punto decidimos volver a los Pitagricos y tratar
de saber ms de ellos: Cules son?, es la suma de dos de
ellos un pitagrico?... A esta ltima pregunta es fcil dar
respuesta. Resulta obvio que no ya que 5 y 10 son pitagricos pero 15 no lo es ya que 15= 15+0 = 14+1 = 13+2 =12+3 =
11+4 = 10 + 5 = 9+6 = 8+7. A la otra no tanto

Estudio de los pitagricos en dos dimensiones.

Si la tomamos de la misma manera que la anterior, nos damos
cuenta de que, al haber slo tres posibilidades, es imposible que cubra las cuatro necesarias no van a poder salir
los que dan resto tres al dividirlos entre cuatro, ya que
no se conseguiran con dos pares (n0mod(4)), ni con dos
impares (n2mod(4)), ni con uno par y otro impar
(n1mod(4)).
Mac_Mac

10

Un geoplano algo irracional.

Los 4x + 3 no pueden ser pitagricos porque es imposible

que de dos nmeros TRES sean impares.
Un poco ms abajo
est desarrollado este punto con ms detalle.
Por tanto, los nmeros de la forma 4x + 3 NUNCA JAMS pueden ser pitagricos.
Introducimos aqu un cambio en la orientacin del problema
y nos desviamos para comprobar las propiedades de los nmeros tramarios .
Qu tienen en comn los nmeros que aparecen en las sucesivas tramas?
Empecemos por la cuadrada. Recordemos:
Nmeros pitagricos, forma J = A2 + B 2
1.-All vamos. Primer caso: A y B son pares:

A = 2K
2
2
2
2
2
2
J = A + B = 4 K + 4 N = 4 K + N 4 J es un mltiplo de 4.
B = 2N

2.-Segundo caso: A y B son impares

A = 2 K + 1
2
2
2
2
2
2
J = (2 K + 1) + (2 N + 1) = 4 K + 4 K + 4 N + 4 N + 2 = 2 2 K + 2 K + 2 N + 2 N + 1 2
B = 2 N + 1
Es decir, J es un nmero par.

3.-Ahora, la coctelera: A par, B impar:

A = 2K
2
2
2
2
2
2
2
2
J = A + B = (2 K ) + (2 N + 1) = 4 K + 4 N + 4 N + 1 = 4 K + N + N + 1 1 mod(4 )
B = 2 N + 1
Esto quiere decir que, si lo divides entre cuatro, te da 1
de resto. Se lee: congruente con 1 mdulo 4.

En este momento nos damos cuenta de que si A, B y C forman

una
terna
pitagrica,
ya
que:
A2 + B 2 = C 2 (KA) + (KB ) = (KC ) cualquier mltiplo de ellos
tambin, por lo que debemos buscar ternas pitagricas que
no se puedan simplificar, lo que se llama ternas pitagricas primitivas.
2

Ahora que sabemos que A, B y J forman una terna pitagrica

primitiva, es decir, cuyos integrantes tienen 1 por MCD,
establecemos relaciones de sentido inverso fijndonos en
los desarrollos anteriores; es decir, al revs:
1.-Si J es mltiplo de 4, A y B han de ser pares.
2.- Si J es impar, A y B deben ser un par y un impar,
indistintamente.
3.-Si J es par no mltiplo de 4, A y B son impares.
Por tanto:

H1: Si p es primo e impar, p es pitagrico p 1 mod 4

H2: Si p primo, p 1 mod 4 se puede escribir como suma de dos
cuadrados perfectos de forma nica.

Mac_Mac

Un geoplano algo irracional.

11

H3: Todo nmero primo impar se puede expresar de una nica

forma como diferencia de dos cuadrados.
H4: Como trabajamos con ternas pitagricas, es decir con
ternas que no se pueden simplificar, podemos estudiar la
paridad de los elementos que la conforman:
a) Si a, b, c es una terna pitagrica primitiva a2+b2=c2 c
es impar.
b) Si a, b, c es una terna pitagrica primitiva a2+b2=c2 a
es par y b impar (o viceversa)
c) Si a, b, c es una terna pitagrica primitiva a2+b2=c2
c21mod4.
d) Si a, b, c es una terna pitagrica primitiva a2+b2=c2
a=m2-n2, b=2mn, c= m2+n2.
Demostracin de la H1:
)p2 p impar si a2+b2=p, a es impar y b par o al revs pues
de lo contrario la suma de dos pares o dos impares dara un nmero
par a=2k+1 y b=2n a2+b2=4k2+4k+4n2+1=4(k2+k+n2)+1=4m+1=p.
) En sentido contrario deberamos ver que se cumple que si
p=4m+1 entonces p es pitagrico. Sabemos que todos los nmeros primos son de la forma 4m+1 4m-1. Demostrar esto es
equivalente a probar que todos los del tipo 4m+1 son pitagricos lo que hacemos en H2.
Demostracin de la H2:
Veamos que si p=4m+1 entonces se puede expresar de una nica forma como suma de cuadrados. Es decir: Un primo de la
forma 4m+1 es la hipotenusa de uno y slo un tringulo rectngulo de lados enteros.
Si hay un primo de la forma 4m+1 que no posee dicha propiedad, entonces habr un primo menor de la forma 4m+1 que no
la posea. Luego, puesto que n es arbitrario, debe haber uno
an menor. Descendiendo a travs de todos los valores positivos de n uno debe alcanzar m=1 y as el primo 41+1
= 5.
1
Entonces 5 no puede cumplir la propiedad requerida . Pero
puesto que 5 se puede expresar como la suma de dos cuadrados y slo de una manera, as sucede con todo primo que es
de la forma 4m+1.

Esa es la idea en la que se basa el descenso infinito: Un

mtodo de demostracin ideado por Fermat (el del famoso
teorema) y que es una especie de mtodo de reduccin al absurdo aplicado a los nmeros naturales y a lo bestia: Si
queremos demostrar algo, suponemos que hay un nmero natural n para el que la afirmacin es falsa, y a partir de ah
tenemos que demostrar que esa falsedad se cumple para un
nmero natural menor que l. De esta forma, como n es un
nmero general, se puede continuar el razonamiento hasta
que se agoten los naturales, ya que vamos descendiendo, o
hasta encontrar un nmero concreto que para el que no es
falsa la propiedad que tratamos de demostrar y, aplicando
la reduccin al absurdo, obtenemos lo que queramos: que la
propiedad es cierta.

Ms abajo veremos una demostracin de cmo se encuentra ese proceso que a nosotros no nos sali.

Mac_Mac

Un geoplano algo irracional.

12

Demostracin H3:
Que se puede escribir como diferencia de cuadrados es fcil
puesto que
lo puede hacer cualquier nmero impar:
2
2
2n+1=(n+1) -n . Aplicando la ley del descenso infinito, si
hubiera un primo que no se pudiera escribir de forma nica,
querra decir que 2n+1=(n+1)2-n2= a2-b2 con bn entonces si
la n la reducimos en 8 unidades, por ejemplo, tendramos:
2
2
2
2
2
2n-15=(n-7) -(n-8) = = a -(b +8) y b +8 podra ser un cuadra2
2
2
2
do ya que b +8=p p -b =8 con lo que sirve con coger b y p
de forma que (p-b)(p+b)=42, eso es p=3 y b=1 con lo que
si existiese uno con dos soluciones distintas debera haber
uno menor an que tampoco lo cumpliera y as sucesivamente,
pero esto es imposible, porque llegamos al 3=4-1 que s lo
cumple.
Demostracin H4:
a) Si c2 fuera par 2c2 2c 4c2 a2+b2 = 4n a es par y
b es par # con ser terna primitiva.
b) Si a y b fueran ambas impares a=2k+1 y b=2n+1 a2+b2 =
4(k2+k+n2+n)+2 con lo que c no sera impar. Tampoco pueden ser ambas pares puesto que si a=2k y b=2n a2+b2 =
4(k2+n2) con lo que c no sera impar.
c) Como a=2k+1 y b=2n a2+b2 = 4(k2+4k+n2)+1.
d)) c2- b2 = a2 y suponemos a par y b impar (c siempre es impar).
(c-b)(c+b)=a2; (Impar-Impar)(Impar+Impar)=(Par)(Par)=4s es decir
mltiplo de 4 a2=4s=4k2 puesto que es un cuadrado, s es cuadrado perfecto a2=4k2=2n22m2 k2=n2m2 podemos tomar esos
factores como si fueran los anteriores.
2n 2 = c b
2(n 2 + m 2 ) = 2c
n 2 + m 2 = c
2
2
2 2
2 2 2
2 2

2
a =(n +m ) -(m -n ) =4n m .
2
2
2
2
2m = c + b
2(m n ) = 2b
m n = b
) a=m2-n2, b=2mn, c= m2+n2 y a2+b2=c2 (m2-n2)2+4n2m2=(m2+n2)2.

Tras examinar algunos casos concretos tambin formulamos,

algunas hiptesis sencillas acerca de los que se pueden expresar como suma de cuadrados, que se deducen de todo esto:
H1: No se pueden los de la forma x2 imposible, porque es lo mismo que
ximposible, si sacamos la x de la raz.
H2: Todos los de la forma 4x + 1 se pueden expresar como suma de 2 cuadrados.
H3: No se puede ninguno de la forma 4(2x + 1) +2, es decir, 8x +6 = 4x + 3.

Vamos a ver qu pasa con los de la forma a2+b2+c2=d2 (es decir,

cules son y no cules pueden ser, cosa que ya sabemos)

Algunos nmeros que no aparecen y podran aparecer tericamente son:
Los de la forma 8x+7
Los que resultan de multiplicarlos por 4

Mac_Mac

13

Un geoplano algo irracional.

Veamos por qu:
Los de la forma 8x+7 pertenecen al grupo 4x+3, es de-

( 2e ) 2 + ( 2 f ) 2 + ( 2 g ) 2 = 4e 2 + 4 f 2 + 4 g 2 = 4( e 2 + f 2 + g 2 )

a p
b p

Con tres pares aparecen los mltiplos de cuatro 0 mod( 4)

c p
a p
b p

(2e) 2 + ( 2 f ) 2 + ( 2 g + 1) 2 = 4e 2 + 4 f 2 + 4 g 2 + 4 g + 1 = 4(e 2 + f 2 + g 2 + g ) + 1
Con dos pares surgen los n 1 mod( 4)

c p
a p

a p
b p
c p

( 2e) 2 + ( 2 g + 1) 2 + (2h + 1) 2 = 4e 2 + 4 g 2 + 4 g + 1 + 4h 2 + 4h + 1 =

b p

= 4( e 2 + g 2 + g + h 2 + h ) + 2

c p

Con un par aparecen los n 2 mod( 4)

( 2 f + 1) 2 + ( 2 g + 1) 2 + (2h + 1) 2 = 4 f 2 + 4 f + 1 + 4 g 2 + 4 g + 1 + 4h 2 + 4h + 1 =

= 4(+ f 2 + f `+ g 2 + g + h 2 + h) + 3
Sin ningn nmero par surgen los n 3 mod( 4)

cir: 4( x 2 + y 2 + z 2 + x + y + z ) + 3
Para que fuera de la forma indicada, tendra que ser
4[2w + 1] + 3 , es decir, la primera parte debera ser impar.
Pero esto es imposible, ya que el cuadrado de un nmero no
puede tener factores primos que el inicial 2no tenga, por
tanto, es imposible que nos salga ya que: x +x es siempre
par y lo mismo sucede con y2+y, z2+z.
Los de la forma 4(8x+7) tampoco pueden debido
a que es un
mltiplo de 4 y sos son de la forma 4(y2+x2+z2), que se ha
comprobado arriba que no puede ser ya que 8x+7 no pueden
escribirse y la suma de slo dos cuadrados de nmeros impares genera mltiplos de 2, que no es el caso.
3k 2 + n 2
vamos a ver qu es lo que nos puede salir:
4
Si los dos son impares:
3(2 f + 1) 2 + (2m + 1) 2
12 f 2 + 12 f + 3 + 4m 2 + 4m + 1
=
= 3( f 2 + f ) + (m 2 + m) + 1
4
4
Que es un nmero par ya que en 3( f 2 + f ) + (m 2 + m) + 1 el primer
parntesis es impar y lo sigue siendo al multiplicar por
tres, el segundo es par, la suma de ambos impar y, al aadirle 1 se vuelve par. Veamos si podemos saber algo ms en
relacin a cuatro.
Si en esta ecuacin f y m son ambas impares:
2
2
3[2(2v +1) +1] + [2(2w +1) +1] 3(4v + 3)2 + (4w + 3)2 48v2 + 72v + 27 +16w2 + 24w + 9
=
=
=
4
4
4
= 12v2 +18v + 4w2 + 6w + 4
Que no aporta nada.
Si f es par y m impar:

Para la frmula

Mac_Mac

14

Un geoplano algo irracional.

3[2(2v) + 1] + [2(2 w + 1) + 1]
3(4v + 1) 2 + (4 w + 3) 2 48v 2 + 24v + 3 + 16 w 2 + 24 w + 9
=
=
=
4
4
4
= 12v 2 + 6v + 4 w 2 + 6 w + 3
Que tampoco muestra relacin con 4, al menos aparentemente.
Si f es impar y m es par:
2
2
3[2(2v + 1) + 1] + [2(2 w) + 1]
3(4v + 3) 2 + (4 w + 1) 2 48v 2 + 72v + 27 + 16 w 2 + 8w + 1
=
=
=
4
4
4
= 12v 2 + 18v + 4 w 2 + 2 w + 7 = 6(2 2 + 3 ) + 2(2 2 + + 3) + 1
Que tampoco da pistas nuevas.
Si f y m son ambas pares nos sale que:
2
2
3[2(2v) + 1] + [2(2 w) + 1]
3(4v + 1) 2 + ( 4 w + 1) 2 48v 2 + 24v + 3 + 16 w 2 + 8w + 1
=
=
=
4
4
4
= 12v 2 + 6v + 4 w 2 + 2 w + 1
Hemos visto que si K y N son ambos impares slo sabemos que
el resultado es impar. Si K y N pares.
K = 2 f 3(2 f )2 + (2m )2 12 f 2 + 4m 2
=
= 3 f 2 + m2 = p 2

4
4
N = 2m
Si p=2 tememos dos soluciones:
2

3 f 2 + m2 = 4
f =0m =2

y al contrario

3 f 2 + m2 = 4
m = 0 3f 2 = 4

tambin

3 f 2 + m2 = 4
f =1 m =1

Podemos discutir la paridad de f y m.

Caso 1: f es par, m es impar:
f = 2s
2
2
2
2
2
2
3(2 s ) + (2t + 1) = p 34 s + 4t + 4t + 1 = p 1 mod(4) p 1 mod(4)
m = 2t + 1
En resumen:
K = 2 f = 4s 0 mod(4)
2

p 1 mod(4) y p 1 mod(4)
N
=
2
m
=
4
t
+
2

2
mod(
4
)

Caso 2: f es impar, m es par:

f = 2 s + 1 2
2
2
2
2
2
p = 3(2 s + 1) + (2t ) = 34 s + 34 s + 4t + 3 = p 3 mod(4 ) No p
m = 2t
En resumen:
K = 2 f = 4s + 2 2 mod(4)
2

p 3 mod(4) y p no

N = 2m = 4t 0 mod(4)
Caso 3: f es par, m par:
f = 2s
p 0 mod(4)
2
2
2
2
2
2
3(2 s ) + (2t ) = p 34 s + 4t = p 0 mod(4)
m = 2t
p 2 mod(4)
En resumen:
K = 2 f = 4s 0 mod(4)
p 0 mod(4)
2

p 0 mod(4) y
p 2 mod(4)
N = 2m = 4t 0 mod(4)

Mac_Mac

15

Un geoplano algo irracional.

Caso 4: f es impar, m es impar:
f = 2 s + 1 2
2
2
2
2
2
p = 3(2 s + 1) + (2t + 1) = 34 s + 34 s + 4t + 4t + 1 + 3 p 0 mod(4 )
m = 2t + 1

p 0 mod(4)

p 2 mod(4)
En resumen:
K = 2 f = 4s + 2 2 mod(4)
p 0 mod(4)
2

p 0 mod(4) y
p 2 mod(4)
N = 2m = 4t + 2 2 mod(4)
Conclusiones:
Si f es par y m es impar, p2 es congruente con 1 mdulo 4.
Si f es impar y m es par, p2 es congruente con 3 mdulo 4.
En los dems casos, p2 sale mltiplo de 4.
Por tanto, con este modelo nunca podremos expresar los nmeros cuadrados congruentes con 4 mdulo 2, que son los pares que no son mltiplos de 4. Y como, cuando K y N son impares obtenamos nmeros impares, no es posible obtener
cuaternas pitagricas para nmeros pares.
En la trama isomtrica (triangular), NO se puede encontrar
la raz (recordemos que trabajamos con races) de ningn
par no mltiplo de 4.
Pero eso es lgico pues p2 nunca puede ser congruente con
cuatro mdulo dos puesto que p no existira. Si nos fijamos
en p la cosa es mucho ms interesante:
los nmeros p1mod(4) precisaran para ser obtenidos que
k0mod(4) y N2mod(4). Los p que son congruentes con
0mod(4) precisan que ambas (k y N) sean pares. Si ambas son
impares y pretendemos que nos salgan nmeros congruentes
con 3 mdulo 4:
3 f 2 + 3 f + m 2 + m + 1 = 3 + 4 s 3( f 2 + f 1) + m 2 + m + 1 0 mod(4)

{
{
{
{

{
{
{
{

f 2 + f 1 1 mod(4) y m 2 + m + 1 1 mod(4)
f 2 + f 2 mod(4) y m 2 + m 0 mod(4)
2
2
2
2
f + f 1 0 mod(4) y m + m + 1 0 mod(4)
f + f 1 mod(4) y m + m 3 mod(4)
2

2
2
2
f + f 1 2 mod(4) y m + m + 1 2 mod(4)
f + f 3 mod(4) y m + m 1 mod(4)
f 2 + f 1 3 mod(4) y m 2 + m + 1 3 mod(4)
f 2 + f 4 mod(4) y m 2 + m 2 mod(4)

2
2
2
2
3 f + 3 f + m + m + 1 = 3 + 4 s 3( f + f 1) + m + m + 1 0 mod(4)

{ f 1 mod(4) y m 0 mod(4)

{ f 0 mod(4) y m 1 mod(4)
{ f 3 mod(4) y m 1 mod(4)

Nada impide que puedan existir.

Faltara demostrar que: Todo entero positivo es una suma de

cuatro cuadrados perfectos. Los intentos no fueron muy eficaces y miramos en Internet a ver si alguien saba algo sobre el tema y vaya sorpresa! El teorema lleva el nombre

Mac_Mac

Un geoplano algo irracional.

16

de Lagrange lo que quiere decir que se conoce demostracin

desde tiempos de Napolen.
Esto nos result muy sorprendente porque, cuando iniciamos
el trabajo, el profesor nunca nos dijo que estos temas
haban sido estudiados con anterioridad y nada nos haca
pensar que as fuera puesto que nuestro problema de partida
era poco interesante para las Matemticas, o al menos, eso
nos pareca a nosotros. Ahora nos hemos dado cuenta de que
cualquier pregunta por aparentemente sencilla que parezca
puede resultar interesante desde el punto de vista de esta
ciencia.
Internet surge en nuestro apoyo. Y nos permite ofrecer una
demostracin, que al parecer, lleva el sello de Lagrange, y
que nosotros no supimos obtener por nosotros mismos. Despus de verla no cabe duda que no mereci la pena el tiempo
que perdimos en tratar de obtenerla, pero nos permiti sacar algunas conclusiones y plantearnos nuevas preguntas,
algunas de las cuales tambin haban obtenido respuesta de
otros matemticos famosos, como veremos al final.
Demostracin:
2
2
2
2
Antes
de
abordar
el problema
se demuestra que:
(a +b +c +d )
2
2
2
2
2
2
(A +B +C
+D ) = (aA+bB+cC+dD)
+ (aB-bA+cD-dC) + (aC-bD2
2
cA+dB) + (aD-dA+bC-cB)
De lo que obtenemos que el producto de dos nmeros que son
la suma de cuatro cuadrados es tambin suma de cuatro cuadrados.
Por tanto, slo hay que probarlo con primos impares puesto
que las potencias de dos son la suma de 4 cuadrados perfectos al2nser cada
potencia de dos o es un cuadrado o la suma
dos: 2 22n+1=22n+22n=(2n)2+(2n)2, por ejemplo: 32=16+16. Los
nmeros pares, a su vez se pueden descomponer en producto
de2 dos
y como
se2 cumple
que:
2
2
2
2
2
2
2
2
(a +b +c
+d
)(A
+B
+C
+D
)=(aA+bB+cC+dD)
+(Ab-bA+cD-dC) +(Ac-bD2
2
cA+dB) +(Ad-bA+cB-dC) cualquier producto de dos factores
primos ser posible descomponerlos usando esta propiedad.
Adems segn el pequeo teorema de Fermat ap+11mod(p)
Primos congruentes con 1 mod 4
Comenzaremos mostrando que si p es un primo y p1(mod 4),
entonces existe un nmero a tal que a2 (-1)mod(p) (p1)mod (p). Diremos que -1 es un residuo cuadrtico mod p.
Una forma de ver esto es lo siguiente:
Si a, b, y c son tres enteros y p no divide a a, entonces
abac(mod p) implica que b=c(mod p). La razn es que las
condiciones implican que p divide a ab-ac y p no divide a
a, as que p divide a b-c, que es la conclusin. Ahora para
cada a tal que 0<a<p los nmeros a, 2a,3 a,,(p-1)a son todos no congruentes entre s mod p, y por lo tanto debern
ser congruentes a 1,2,3,,p-1 en algn orden. Tomando el
producto
de todos los enteros en ambos conjuntos, vemos que
ap-1(p-1)!=(p-1)!(mod p). Como p no divide ningn factor de
(p-1)!, se pude cancelar para concluir que ap-11(mod p)
(pequeo teorema de Fermat).

Mac_Mac

Un geoplano algo irracional.

17

Luego si a no es divisible por p, si hacemos b=a(p-1)/2, en2

2
tonces b 1(mod p).Esto significa que p divide a (b -1)=(b1)(b+1), es decir, a(p-1)/2=b=1(mod p)
(p-1)/2
-1 puede tener como mximo (p-1)/2 races
El polinomio x
p-1
(p-1)/2
(p-1)/2
al igual que el otro factor de x -1 = (x
-1) (x
+1).
Como el polinomio tiene p-1 races (1, 2, ..., p-1), se
concluye que exactamente (p-1)/2 de los factores deben satisfacer la ecuacin x(p-1)/2 = -1 (mod p). Hasta ahora, este
argumento es vlido para todos los primos impares.
El siguiente paso est limitado a los primos p, para los
cuales 4 divide a p-1.
Si a(p-1)/2=-1(mod p) y hacemos b=a(p-1)/4, entonces b2=-1(mod p),
como queremos.
Ahora a2+12 es un mltiplo de p, digamos a2+12=kp. Como a<=p2
1, vemos que a +1<p as que k<p. Ahora describiremos un
procedimiento que contina produciendo soluciones de
a2+b2=kp, pero con valores menores de k hasta k=1 que es lo
que necesitamos. Asumiendo que tenemos un par a y b, sean
a y b los residuos menores absolutos a mod k y b mod k,
respectivamente. Esto significa que a y b son2 enteros
en
2
el rango
(-k/2,
k/2].
De
ellos
sigue
que
a2+b
<=k
/2.
Ade2
2
ms, a
+b
=a2+b2=0(mod k) porque a=a(mod k) y b=b(mod k).
2
2
As a +b =mk con m<k. Multiplicando, encontramos que
(a2+b2)(a2+b2)=mk2p.
Ahora
tenemos
la
identidad,
(a22+b2)(a'2+b'2)
=
2
2
2
(aa'+bb') +(ab'-ba') , como aa'+bb' = a +b = 0 (mod k) y
ab'-ba' = ab-ba = 0 (mod k) sigue que ambos trminos del
2
miembro derecho
son divisibles por k y as ((aa'+bb')/k) +
2
((ab'-ba')/k) = mp
Primos congruentes con 3 mod 4
En
este caso, comenzaremos buscando nmeros a y b tales que
a2+b2+1 = 0 (mod p). Esto es lo mismo que b2=-1-a2 (mod p).
No
es difcil probar que existe como mnimo una solucin a
y2=-1-x2 2(mod2 p). Para verlo,2 primero observe que los cuadrados 0 , 1 , ..., ((p-1)/2)
tienen todos distintos residuos mod p ya que a2 = b2 (mod p) implica que p divide a
(a2-b2)=(a+b)(a-b) y de aqu que a = b (mod p) o a = -b (mod
p), lo que es imposible para dos nmeros distintos en el
rango [0,(p-1)/2]. As aquellos cuadrados tienen (p+1)/2
residuos
distintos. Por razones similares, los nmeros -102, -1-12, ..., -1-((p-1)/2)2 tienen (p+1)/2 residuos distintos. Como hay p a lo sumo, los dos conjuntos
de residuos
se solapan y hay como mnimo una solucin a x2+y2+1 = 0 (mod
p). Para los primos que son congruentes a 3 mod 4, existe
una manera muy sencilla de construir una raz cuadrada de
cualquier nmero que sea un residuo cuadrtico. Considere-2
mos un nmero a, no divisible por p. Suponiendo que a = b
(mod p). Luego a(p+1)/2 = bp+1 = b2bp-1 = b2 a (mod p) de lo que
podemos ver que (a(p+1)/4)2 a (mod p) y entonces a(p+1)/4 es una
raz cuadrada de a mod p o de -a.
Una vez que tenemos x y y tales que x2+y2+1 = 0 (mod p), podremos reemplazarlos por residuos menores absolutos y podemos suponer que |x| < (p-1)/2 y |y| < (p-1)/2 de lo que se

Mac_Mac

18

Un geoplano algo irracional.

puede ver que x2+y2+1 < p2/2. As obtenemos valores inicia2

2
2
2
les de a,b,c,d para los cuales a +b +c +d = kp con k < p.
Si k > 1 debemos encontrar una nueva solucin con un valor
menor de k. Consideraremos el caso de k impar y par separadamente.
Supongamos que k es impar. En ese caso, sean a', b',c', y
d' los residuos absolutos menores de a, b, c, y d mod k.
Entonces cada
uno
de 2|a'|, |b'|,
|c'| y |d'| 2es <=
(k-1)/2
2
2
2
2
2
2
2
as
que
a'
+b'
+c'
+d'
<=
(k-1)
mientras:
a'
+b'
+c'
+d' =
2
2
2
2
a +b +c +d = 0 (mod k)
2

Luego a' +b' +c' +d' = mk con m < k. Entonces:

mk2p = (a2+b2+c2+d2) (a'2+b'2+c'2+d'2) = (aa'+bb'+cc'+dd')2 +
(ab'-ba'+dc'-cd')2 + (ac'-ca'+bd'-db')2 + (ad'-a'd+cb'-bc')2
y, de una manera similar al primer caso, cada trmino es
divisible por k, de lo que concluimos que
2

+ ((ab'-ba'+dc'-cd')/k))
+
mp = ((aa'+bb'+cc'+dd')/k)
((ac'-ca'+bd'-db')/k)2 + ((ad'-a'd+cb'-bc')/k)2 lo que completa la construccin.
Cuando k es par, el argumento anterior falla especficamente en el caso a'=b'=c'=d'=k/2 ya que entonces a'2+b'2+c'2+d'2
= k2. Como a2+b2+c2+d2 = kp es par ninguno o dos o los cuatro
valores de a, b, c y d son pares. En cualquier caso podemos
intercambiar los valores de forma que ab y cd sean pares
y entonces:
((a+b)/2)2 + ((a-b)/2)2 + ((c+d)/2)2 + ((c-d)/2)2 = (k/2)p lo
que completa la prueba.
Curiosidades:
Como decamos antes, algunas dudas que nos iban surgiendo ya estaban demostradas por matemticos importantes. Lo cual nos sorprendi porque estas cosas parecan bastante sencillas y poco trascendentes.

As, por ejemplo, Legendre demostr que un nmero entero positivo puede expresarse como suma de tres cuadrados
si y slo si ese nmero no es de la forma
4k(8m+7). Aunque en principio la prueba estaba incompleta, Gauss la complet poco despus.
En 1834 Jacobi encontr el nmero exacto de formas en
las que se puede expresar un nmero entero positivo n
como suma de cuatro cuadrados. Este nmero es 8 veces
la suma de los divisores de n si n es impar y 24 veces
la suma de los divisores impares de n si n es par.
Todo nmero entero positivo puede ser expresando como
suma de, como mucho, 3 nmeros triangulares, 4 nmeros
cuadrados, 5 nmeros pentagonales, etc. Gauss demostr
el resultado para nmeros triangulares y Cauchy demostr el resto.

Mac_Mac

19

Un geoplano algo irracional.

Otra de las generalizaciones es la siguiente: dados

nmeros naturales a, b, c podemos resolver la ecuacin
n = ax12 + bx22 + cx32 + dx42 para cualquier n siendo las x enteras. Es ms, hay 54 elecciones de a, b, c , d para
cada n. Suponiendo que a b c d.
Como puede verse el teorema de los cuatro cuadrados es
un caso particular cuando a=b=c=d=1. La solucin general de este problema fue dada por Ramanujan, aunque en
realidad l dio una eleccin ms, pero en este caso la
ecuacin no tiene solucin para n=15.

Hemos elegido los ms sorprendentes y, despus de ver la

demostracin de los cuatro cuadrados, nos desanimamos a seguir buscando en esta direccin y dimos por concluido el
trabajo.

Conclusiones:
Hemos remarcado en naranja los diferentes teoremas que hemos ido encontrando pero si tenemos que elegir a modo de resumen algunos de ellos nos
quedamos con los siguientes:

En el plano, y usando tramas regulares, tenemos dos situaciones: Si la

trama es cuadrada no se pueden encontrar distancias entre dos puntos
que sean la raz cuadrada de un mltiplo de 4 ms 3. Por eso no obtenamos

3 , ni

7.

En trama isomtrica las cosas son ms complicadas y, en cualquier caso

no salen las races de los nmeros pares que no sean mltiplos de cuatro.

En trama cbica no pueden aparecer los de la forma 8x+7=4(2x+1)+3,

por eso, por ejemplo, no sala

7.

En trama hipercbica se obtienen todos porque todo nmero natural es

pitagrico en la cuarta dimensin.

Bibliografa:
No es que podamos presumir de haber usado mucha bibliografa puesto que no
encontramos libro alguno que tratara del tema tal como estaba planteado, pues
no vimos libros de tramas ni nada parecido. Slo al final del trabajo recurrimos
a Internet. Entre las pginas visitadas, las ms interesantes fueron:

http://gaussianos.com/descenso-infinito-un-metodo-de-demostracionpoco-conocido/
http://gaussianos.com/el-teorema-de-los-cuatro-cuadrados/
http://www.iesmurgi.org/matematicas/materiales/numeros/node8.html
Mac_Mac

Un geoplano algo irracional.

20

http://es.wikipedia.org/wiki/Descenso_infinito
www.pedagogica.edu.co/proyectos/geometria/docs/XVI/descenso_infinit
o.pdf
http://www.alpertron.com.ar/4CUADR.HTM#primo14an.

Mac_Mac