🔢 mathematics

Matrices with integer eigenvalues for all permutations of coefficients (thanks to Pythagoras!)

El artículo demuestra que las ternas pitagóricas permiten generar matrices cuyas permutaciones de coeficientes siempre producen autovalores enteros, utilizando fórmulas sencillas que generan infinitas matrices no triviales con esta propiedad.

Autores originales: Michael J. W. Hall

Publicado 2026-02-24

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Michael J. W. Hall

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

¡Hola! Vamos a desmenuzar este artículo matemático de una forma divertida, como si estuviéramos contando un secreto de magia en lugar de hablando de álgebra avanzada.

Imagina que las matemáticas son como una cocina. Normalmente, si mezclas ingredientes al azar (números), obtienes un resultado impredecible. Pero el autor, Michael Hall, nos enseña una receta secreta para hacer "matrices" (que son simplemente cuadritos con números) que tienen una propiedad mágica: no importa cómo mezcles los ingredientes, el resultado siempre será un número entero perfecto.

Aquí tienes la explicación paso a paso:

1. El Problema: La clase de matemáticas de Miss Thornley

El artículo empieza con una historia. La profesora de matemáticas de Hall, Miss Thornley, era increíble. Podía inventar problemas al vuelo y sus respuestas siempre eran números enteros (1, 2, 3...).
Hall se pregunta: "¿Qué pasaría si ella hubiera enseñado matrices?". Una matriz es como una caja de herramientas que transforma líneas rectas. Cada matriz tiene unos "números mágicos" dentro llamados eigenvalores.

El reto: Crear una matriz donde los números de adentro sean enteros, y sus números mágicos (eigenvalores) también sean enteros.
El truco de Hall: Si logras esto, puedes tomar esos mismos 4 números y cambiarlos de lugar (permutarlos) tantas veces como quieras. ¡Cada nueva caja seguirá teniendo números mágicos enteros!

2. La Solución Mágica: Los Triángulos de Pitágoras

¿Cómo se hace esto? Hall usa una herramienta antigua pero poderosa: los triángulos rectángulos con lados enteros (como el famoso 3-4-5). A estos se les llama "ternas pitagóricas".

Imagina que tienes un triángulo con lados $r$ , $s$ y $t$ (donde $r^2 + s^2 = t^2$ ).
Hall descubre que si tomas esos tres números y los metes en una "máquina" especial (una fórmula sencilla), te devuelve 4 números ( $a, b, c, d$ ) que forman una matriz perfecta.

La analogía de la receta:
Piensa en la terna pitagórica (3, 4, 5) como los ingredientes base.

Si usas la "receta canónica" (la forma más sencilla), te da los números: 5, 3, 2, 0.
Si los pones en una caja de 2x2 así:
$\begin{pmatrix} 5 & 3 \\ 2 & 0 \end{pmatrix}$
¡Tus números mágicos serán enteros!
La parte genial: Ahora toma esos mismos números y desordénalos. Ponlos así:
$\begin{pmatrix} 0 & 5 \\ 3 & 2 \end{pmatrix}$
o así:
$\begin{pmatrix} 2 & 0 \\ 5 & 3 \end{pmatrix}$
¡Sigue funcionando! Todos los 24 arreglos posibles de esos 4 números tendrán números mágicos enteros.

3. ¿Por qué funciona? (Sin dolor de cabeza)

El autor explica que hay una condición especial: la suma de dos números debe ser igual a la suma de los otros dos ( $a+d = b+c$ ).
Cuando esto sucede, la matemática se simplifica y se conecta directamente con la famosa ecuación del triángulo rectángulo ( $a^2 + b^2 = c^2$ ).
Es como si el triángulo de Pitágoras fuera el "guardián" que asegura que, sin importar cómo gires la caja, los números mágicos nunca se rompan en decimales feos.

4. Más allá de lo básico: Infinitas variaciones

El artículo no se queda solo en la receta básica. Hall dice: "¡Espera, hay más!".

Puedes usar la misma terna pitagórica (3, 4, 5) y hacer variaciones no estándar para obtener números negativos o más grandes.
Incluso puedes usar fracciones intermedias y luego multiplicar todo para volver a tener enteros.
El resultado: ¡Un solo triángulo (3, 4, 5) puede generar una cantidad infinita de matrices diferentes que cumplen la regla!

5. ¿Para qué sirve esto?

El autor sugiere que esto es perfecto para profesores.
Imagina que eres un maestro y tienes 24 alumnos.

Tomas una terna pitagórica (por ejemplo, 5, 12, 13).
Generas 4 números: 12, 6, 7, 1.
Le das al alumno 1 la matriz con esos números en un orden.
Le das al alumno 2 la misma matriz pero con los números cambiados de lugar.
¡Todos tienen un problema diferente, pero todos pueden resolverlo y obtener una respuesta entera limpia!

En resumen

Este artículo es como un manual de instrucciones para crear cajas de números indestructibles.

La herramienta: Triángulos rectángulos (Pitágoras).
La magia: Si construyes la caja con la receta correcta, puedes barajar los números como si fueran cartas de un mazo, y la magia (los números enteros) nunca se perderá.
El mensaje: Las matemáticas antiguas (como los triángulos) siguen siendo la clave para resolver problemas modernos y divertidos.

¡Es una forma brillante de ver cómo la geometría y el álgebra bailan juntas para crear orden en el caos de los números!

A continuación presento un resumen técnico detallado del artículo "Matrices with integer eigenvalues for all permutations of coefficients" de Michael J.W. Hall, traducido y estructurado en español.

Resumen Técnico: Matrices con Valores Propios Enteros para Todas las Permutaciones de Coeficientes

1. Planteamiento del Problema

El artículo aborda un problema de teoría de matrices y álgebra lineal elemental: encontrar conjuntos de cuatro coeficientes enteros $\{a, b, c, d\}$ tales que cualquier matriz $2 \times 2$ formada permutando estos coeficientes (existen $4! = 24$ permutaciones posibles) posea valores propios (autovalores) enteros.

El autor destaca la utilidad pedagógica de tal método, permitiendo a un docente generar múltiples ejercicios distintos (matrices diferentes) a partir de un mismo conjunto de números, garantizando que todas las soluciones sean enteras, lo cual facilita la corrección y el aprendizaje en contextos educativos.

2. Metodología y Derivación Matemática

A. Condición Fundamental para Valores Propios Enteros
Para una matriz $2 \times 2$ genérica $M = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$ , los valores propios $\lambda$ son raíces de la ecuación característica:
$\lambda^2 - (a+d)\lambda + (ad-bc) = 0$
Las soluciones son:
$\lambda_{\pm} = \frac{(a+d) \pm \sqrt{(a+d)^2 - 4(ad-bc)}}{2} = \frac{(a+d) \pm \sqrt{(a-d)^2 + 4bc}}{2}$
Para que $\lambda_{\pm}$ sean enteros, el término bajo la raíz cuadrada debe ser un cuadrado perfecto de un entero $u$ , y la paridad de $u$ debe coincidir con la de $(a+d)$ . Esto conduce a la condición:
$u^2 = (a-d)^2 + 4bc$
Para que todas las 24 permutaciones de $\{a, b, c, d\}$ generen matrices con valores propios enteros, deben satisfacerse simultáneamente seis ecuaciones diofánticas (una para cada tipo de permutación de los coeficientes en las posiciones de la matriz):

$u^2 = (a-d)^2 + 4bc$
$v^2 = (b-c)^2 + 4ad$
$w^2 = (a-b)^2 + 4cd$
$x^2 = (c-d)^2 + 4ab$
$y^2 = (a-c)^2 + 4bd$
$z^2 = (b-d)^2 + 4ac$

B. La Ansatz (Hipótesis de Trabajo)
El autor propone una solución simplificada asumiendo que la suma de dos coeficientes es igual a la suma de los otros dos:
$a + d = b + c = t$
Bajo esta suposición:

Las condiciones (3) a (6) se satisfacen automáticamente.
Las condiciones (1) y (2) se reducen a un sistema de dos ecuaciones que involucran a $t$ y a las diferencias de los coeficientes.

C. Conexión con Triples Pitagóricos
Al manipular las ecuaciones reducidas, el autor demuestra que el problema se transforma en la búsqueda de enteros $r, s, t$ tales que:
$r^2 + s^2 = t^2$
Es decir, $(r, s, t)$ debe formar un triple pitagórico.
A partir de este triple, los coeficientes de la matriz se pueden construir mediante la fórmula general:
$\{a, b, c, d\} = \left\{ \frac{t \pm k \pm l}{2} \right\}$
donde $k$ y $l$ son factores relacionados con $r$ y $s$ ($kl = rs/2$).

3. Contribuciones Clave y Resultados

A. Solución Canónica
El artículo presenta una solución "canónica" directa para cualquier triple pitagórico $(r, s, t)$ . Si se elige $k=r$ e $l=s/2$ (garantizando paridad adecuada), los coeficientes son:
$\{a, b, c, d\} = \left\{ \frac{t \pm r \pm s/2}{2} \right\}$

Ejemplo 1: Para el triple $(3, 4, 5)$ , se obtiene $\{5, 3, 2, 0\}$ .
Ejemplo 2: Para el triple $(5, 12, 13)$ , se obtiene $\{12, 6, 7, 1\}$ .
Cualquier permutación de estos números en una matriz $2 \times 2$ resultará en valores propios enteros.

B. Forma Paramétrica Alternativa
Utilizando la representación general de los triples pitagóricos ( $r = (f^2-g^2)h$ , etc.), el autor deriva una forma paramétrica simple y fácil de recordar para generar soluciones, utilizando enteros coprimos $m$ y $n$ (con $n$ impar):
$\{a, b, c, d\} = \{4m^2 \pm mn, n^2 \pm mn\}$
Esta fórmula permite generar infinitas familias de soluciones enteras positivas bajo ciertas restricciones ( $4|m| > |n| > |m|$ ).

C. Infinitas Soluciones No Canónicas
El artículo demuestra que un solo triple pitagórico no genera una única solución, sino una infinitud numerable de soluciones no triviales.

Se pueden elegir factores $k$ y $l$ racionales (no enteros) en la ecuación general, siempre que al multiplicar por un factor común adecuado se obtengan coeficientes enteros.
Esto se formaliza en la ecuación (22), mostrando que para cualquier triple $(r, s, t)$ y cualquier número racional $p/q$ , se puede generar una nueva matriz válida.

D. Determinación de los Valores Propios
El autor proporciona fórmulas explícitas para los valores propios generados por estas matrices. Dependiendo de la permutación específica de los coeficientes en la matriz, los valores propios toman formas simples como:
$\left\{ \frac{t \pm (r+s)}{2} \right\}, \quad \left\{ \frac{t \pm (r-s)}{2} \right\}, \quad \{t, k\}, \quad \{t, -k\}, \dots$
Esto confirma que los valores propios son enteros y dependen directamente de los parámetros del triple pitagórico.

4. Significado e Implicaciones

Pedagógico: Ofrece una herramienta robusta para la enseñanza de matrices y valores propios, permitiendo crear bancos de ejercicios ilimitados donde la respuesta siempre es un número entero, eliminando la complejidad de cálculos con radicales o fracciones en niveles educativos básicos (como el año 10 de secundaria).
Matemático: Establece un vínculo elegante y constructivo entre la teoría de números (triples pitagóricos) y el álgebra lineal (espectro de matrices). Muestra cómo una estructura aritmética simple puede garantizar propiedades espectrales complejas bajo simetrías de permutación.
Generalización: El método sugiere que existen clases amplias de soluciones más allá de la ansatz propuesta, aunque el autor deja abierta la cuestión de si la condición $a+d=b+c$ es necesaria o solo suficiente. También plantea el desafío de extender estos resultados a matrices $3 \times 3$ .

En conclusión, el artículo presenta un método eficiente, basado en triples pitagóricos, para generar familias de matrices $2 \times 2$ con coeficientes enteros que mantienen la propiedad de tener valores propios enteros independientemente de cómo se permuten sus elementos.