Documentos de Académico
Documentos de Profesional
Documentos de Cultura
El gato de Schrödinger
En cierto sentido, recuerda a la paradoja del gato de Schrödinger, también encerrado en una
caja, de la mecánica cuántica. Mientras no abramos la caja, el gato se encuentra en un estado
indeterminado, entre vivo y muerto. Aquí sucede algo similar. Mientras no demostremos la
existencia o inexistencia de esta caja, permanece en un limbo indeterminado, en algún lugar
de la esfera del "desconocimiento humano".
EL BRICK DE EULER
Conjetura: No existe la "caja perfecta".
Eso sí que es un enunciado breve. Cinco palabras. Ahora tendré que averiguar a qué se refiere.
Una caja perfecta, también llamada cuboide perfecto, es un brick de Euler... Eh, un momento,
¿qué es eso de un "brick de Euler"?
L. Euler
Se conoce como brick de Euler a cualquier cuboide (también llamado prisma rectangular u ortoedro;
una caja, vamos) en donde las aristas y las diagonales de las caras son números naturales.
El brik
Basta un vistazo al brick para darse cuenta que las relaciones existentes entre diagonales y
aristas se pueden fácilmente traducir a ecuaciones haciendo entrar en escena a uno de los
teoremas más famosos de todos los tiempos.
Teorema de Pitágoras. Dado un triángulo rectángulo, el cuadrado de la hipotenusa es igual a
la suma de los cuadrados de los catetos.
Por lo tanto, algebraicamente, las aristas y diagonales de un brick de Euler deben ser solución
del siguiente sistema de ecuaciones diofánticas (se buscan sólo las soluciones naturales) de
segundo grado:
Existen infinitas cajas con estas características, la menor de las cuales tiene como aristas 44,
240 y 117:
El brick de Euler
Dado un brick de Euler en el que sus aristas tienen algún divisor común, dividiendo por este,
encontraríamos un brick menor. Nos interesan pues solamente los bricks primitivos, es decir,
aquellos cuyas aristas tienen máximo común divisor igual a 1. Esto implica que al menos una
arista ha de ser impar.
Ahora bien, si hubiera dos aristas impares, la diagonal de la cara correspondiente sería par, y
su cuadrado también. Pero es fácil demostrar, por reducción al absurdo, que un cuadrado par
no puede ser suma de dos cuadrados impares.
Así que, en todo brick primitivo, dos de sus aristas (pongamos x e y) deben ser pares, y la otra impar.
LA CAJA PERFECTA
Una caja perfecta, también llamada cuboide perfecto, es un brick de Euler en el cual la dia-
gonal principal también es un número natural. Podemos añadir que sólo nos interesa saber si
existe una caja perfecta que corresponda a un brick primitivo.
Traduciendo al álgebra, de nuevo gracias al teorema de Pitágoras, esto significa que sus aristas
y diagonales deben ser solución del siguiente sistema de ecuaciones diofánticas:
Busto de Pitágoras
b2 + c2 = a2
Ejemplo 1: la más simple de las ternas pitagóricas es la formada por los números (3, 4, 5).
Ejemplo 2: el cuadrado más pequeño que se puede poner de dos formas diferentes como suma
de dos cuadrados(1) es 625 (el cuadrado de 25): 152 + 202 = 72 + 242 = 252
Nota: a partir de ahora, cuando hable de cuadrados me referiré a cuadrados de enteros positi-
vos. Además, usaré la expresión triángulos enteros para aquellos cuyos lados son enteros.
CRITERIO DE PARIDAD
Una consecuencia de la anterior relación es que uno de los catetos de un triángulo entero
siempre tiene que ser par (esto es fácil de demostrar por reducción al absurdo). En adelante,
suponemos c ese cateto par.
PARAMETRIZACIONES
Está claro que podemos empezar a ensayar con los números naturales y sus cuadrados a ver
cuáles cumplen esa relación pitagórica. Pero sería mucho mejor si dispusiésemos de algún
tipo de "fórmula" que nos ofrezca directamente los valores de todas las posibles ternas pitagó-
ricas, sin necesidad de ensayos.
En definitiva, desearíamos encontrar expresiones que, al variar el valor de uno o más paráme-
tros, nos ofreciesen directamente (y únicamente) todas y cada una de las ternas pitagóricas.
b = K (B2 - C2)
c = K (2BC)
a = K (B2 + C2)
Y recíprocamente: cualquier terna pitagórica se puede representar con las relaciones anteriores
para ciertos parámetros K, B y C(2).
Cuando a, b y c no comparten divisores comunes (MCD(b, c, a) = K = 1) la terna pitagórica se
llama primaria o primitiva. Otros valores de K dan lugar a triángulos semejantes (y mayores) al
formado por la terna primaria.
Dada su importancia, a los parámetros B y C les llamaremos, en adelante, generadores.
ALGUNOS EJEMPLOS
La terna (3, 4, 5) es primaria, mientras que la terna (6, 8, 10) no lo es, como vemos a continuación.
3 = 22 – 12 6 = 2 (22 + 12)
4 = 2 · 2 · 1 8 = 2 (2 · 2 · 1)
2 2
5=2 +1 10 = 2 (22 + 12)
Es importante observar el caso especial de las ternas primarias. De la parametrización de la
hipotenusa, se deduce que si la terna es primaria, la hipotenusa debe ser suma de dos cuadra-
dos para que su cuadrado también lo sea. En el ejemplo, 5 debe ser suma de dos cuadrados
(12 y 22) para que 25 también lo sea (32 y 42).
Por otra parte, si (b, c, a) forman una terna primaria, serán primos dos a dos (ya que si dos
lados tuvieran un divisor primo común, el tercero también lo tendría). En particular, sólo un
lado (el cateto c) será par.
Imagen de Eratóstenes
Pero si nos dan un número compuesto no tenemos más remedio que ensayar con los posibles
divisores primos para factorizarlo. Similarmente, si nos dan la hipotenusa (p.e. 41) tenemos
que ensayar con los generadores B y C (con K no hace falta, pues 41 es primo) hasta encontrar
que B = 5 y C = 4 cumplen que 41 es la suma de estos dos cuadrados. Ahora podemos, apli-
cando la parametrización, encontrar los catetos buscados que son 9 y 40.
Esta analogía, entre descomponer en suma de dos cuadrados y factorizar un número, es más
que una simple similitud. Si fuésemos capaces de factorizar un compuesto sin ensayar, también
seríamos capaces de encontrar rápidamente los valores K, B y C de la parametrización, pues
los tres son divisores de c.
P. Fermat
Así que sabemos que cualquier número primo de la forma 4n+1 se puede expresar, de forma
única, como suma de dos cuadrados, pero la demostración no nos facilita en nada el encontrar
los generadores.
Ejemplo. El número 41 es un primo de la forma 4·10 + 1, así que es suma de dos cuadrados, y
por lo tanto es hipotenusa (como hemos visto). El número 43 es un primo de la forma 4·11 – 1,
así que no existen dos cuadrados cuya suma sea 43.
APLICACIONES
Aplicación para la representación de raíces cuadradas. Si queremos representar rápidamente
√41, basta construir sobre la recta real un triángulo rectángulo de catetos 5 y 4.
Para representar √43 primero construimos √41, tomando esta como cateto y la unidad como
el otro cateto construimos √42 y repitiendo el proceso, √43.
Interpretación en geometría clásica. En todo semicírculo cuyo diámetro sea un primo de la
forma 4n + 1 sólo se pueden inscribir dos triángulos rectángulos (simétricos) de catetos enteros.
Ejemplos:
a. Los números 2, 3, 4, 6, 7, 8, 9, 11 y 12 no tienen divisores de la forma 4n + 1, por lo
tanto no pueden ser hipotenusas de ningún triángulo entero, es decir, sus cuadrados no
se pueden descomponer en suma de dos cuadrados.
b. El número 5 tiene un único divisor primo (5) de esa forma, así que es hipotenusa de un
único triángulo entero: 52 = 32 + 42
c. El número 1.729, la matrícula del taxi ya mencionada, tiene tres divisores primos, 7, 13 y
19. Sólo el 13 es de la forma 4n + 1, así 1.729 que es hipotenusa de un único triángulo
entero:
1.7292 = 6652 + 1.5962
d. El número 50 tiene un único divisor primo (5) de esa forma, y además este divisor apa-
rece, en la factorización de 50, con potencia 2. Por lo tanto, 50 es hipotenusa de dos
triángulos enteros:
502 = 302 + 402 502 = 142 + 482
e. El número 65 tiene dos divisores primos (5 y 13) de esa forma. Por lo tanto, 65 es hipo-
tenusa de cuatro triángulos enteros:
652 = 252 + 602 652 = 392 + 522 652 = 632 + 162 652 = 332 + 562
f. El número 32.045 tiene cuatro divisores primos (5, 13, 17 y 29) de esa forma. Por lo
tanto, 32.045 es hipotenusa de cuarenta triángulos enteros distintos.
5 = 12 + 22 = (1 + 2i) (1 – 2i).
13 = 22 + 32 = (2 + 3i) (2 – 3i).
Podemos realizar dos agrupaciones diferentes en productos de cuadrados, que dan lugar a las
distintas soluciones:
502 = 2 · 52 (1 + 2i)2 (1 – 2i)2 = 2 · 52 (-3 + 4i) (-3 – 4i) = 22 · 52 (32 + 42) = 302 + 402
502 = 22 (1 + 2i)4 (1 – 2i)4 = 22 (-7 – 24i) (-7 + 24i) = 22 (72 + 242) = 142 + 482
Ejemplo 5. Los generadores de 5 son 1 y 2, mientras que los de 13 son 3 y 2. Por lo tanto:
Ahora podemos realizar cuatro agrupaciones diferentes, que dan lugar a las distintas soluciones:
Ejemplo 6. Ahora hay 4 pares de generadores. Por cada par B, C, el cuadrado del primo corres-
pondiente será de la forma (B2 + C2)2 = (B + Ci)2 (B – Ci)2. Esta expresión se puede separar en
dos cuadrados diferentes: (B + Ci)2 y (B – Ci)2, a los que hay que añadir el propio (B 2 + C 2)2.
Al combinar estos tres cuadrados con los otros 3 de cada uno de los otros pares de genera-
dores, obtenemos 34 = 81 agrupaciones diferentes. Uno de ellas tendrá parte imaginaria nula
(corresponderá a 32.0452 + 02) por lo que debemos rechazarla. Las 80 restantes darán todas
las soluciones con sus conjugadas (que son esencialmente las mismas) así que obtendremos 40
soluciones realmente diferentes. (Un razonamiento similar lleva a la fórmula del teorema B).
x, y pares, z impar
Observemos que el anterior sistema es equivalente al siguiente:
BigInteger(n): declara que n se debe tratar como una cadena de dígitos, un entero gigante,
prácticamente tan grande como queramos.
BigDecimal(n): declara que n se debe tratar como una cadena de dígitos con una coma, un
decimal gigante.
add: suma dos enteros gigantes, descomponiéndolos en subcadenas y reorganizando el resultado.
Veamos una simulación. Para comprender mejor el ejemplo, suponemos que trabajamos con
un ordenador que no permite enteros mayores que 999.999. Ahora, queremos obtener el resul-
tado exacto de 888.777 más 666.555.
1. Declaramos 888.777 y 666.555 como enteros gigantes.
2. Usamos add para sumar los dos valores. Para ello, el ordenador descompone 888.777
en dos subcadenas: 888 y 777. Igualmente, descompone 666.555 en 666 y 555. Ahora
suma de forma normal 777 y 555, obteniendo 1.332. Conserva las últimas tres cifras y
añade 1 a la suma de las subcadenas 888 y 666. Resultado: 1.555.332.
multiply: multiplica dos enteros gigantes, descomponiéndolos en subcadenas, aplicando la
propiedad distributiva y reorganizando el resultado.
Por ejemplo, ahora queremos obtener el resultado exacto de 888.777 por 666.555.
1. Declaramos 888.777 y 666.555 como enteros gigantes.
2. Usamos multiply para multiplicar los dos valores. Para ello, el ordenador descompone
888.777 en dos subcadenas: 888 y 777. Igualmente, descompone 666.555 en 666 y 555.
Realiza el producto basándose en la igualdad:
888.777 · 666.555 = (888.000 + 777)(666.000 + 555)
Hasta aquí, todo es sencillo. Pero necesitamos comprobar, además, si el resultado obtenido es
o no es un cuadrado perfecto. Esto significa que debemos buscar una forma de extraer la raíz
cuadrada.
I. Newton
Como se aprecia, este valor coincide con el que figura en el proceso iterativo mostrado
antes.
NOTAS
(1) Cómo no recordar aquí la famosa anécdota de Hardy y Ramanujan, el comentario sobre la matrícula de un taxi (1.729) como
número curioso por ser el más pequeño expresable como suma de dos cubos de dos formas diferentes (cubos de 1 y 12, y de 9
y 10).
(2) Demostremos que cualquier terna pitagórica primitiva (b, c, a) se puede representar con las siguientes relaciones, con B > C
primos entre sí: b = B2 – C2, c = 2BC, a = B2 + C2
Veamos primero que a ha de ser impar. Si no lo fuese (a = 2s), lo serían b e c, es decir, b = 2m + 1, c = 2n + 1.
Por lo tanto, 4s2 = 4(m2 + m + n2 + n) + 2, pero esto es absurdo pues 2 no es múltiplo de 4.
Podemos suponer, por lo tanto, que el único par es c.
Como a y b son impares, su suma y su diferencia serán pares. Así que podemos escribir:
donde B y C son primos entre sí. Sustituyendo, obtenemos las expresiones buscadas de a, b y c.