🔢 mathematics

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

O artigo demonstra que é possível utilizar ternos pitagóricos para gerar matrizes cujos coeficientes, em qualquer permutação, resultam em autovalores inteiros, criando assim uma infinidade contável de matrizes não triviais com essa propriedade.

Autores originais: Michael J. W. Hall

Publicado 2026-02-24

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Michael J. W. Hall

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você é um professor de matemática e quer dar um desafio rápido para 24 alunos diferentes. Você quer que cada um receba um "código" (uma matriz de números) diferente, mas que todos eles tenham uma propriedade mágica em comum: quando você faz uma conta especial com esses números (chamada de encontrar "autovalores"), o resultado deve ser sempre um número inteiro, sem vírgulas.

O problema é: como criar 24 códigos diferentes que funcionem perfeitamente, sem ter que inventar 24 fórmulas complexas?

Este artigo, escrito por Michael Hall, conta como ele descobriu um truque genial baseado em triângulos retângulos (os famosos triângulos de Pitágoras) para resolver esse problema.

Aqui está a explicação simplificada, passo a passo:

1. O Que é essa "Matriz" e o que são "Autovalores"?

Pense em uma matriz 2x2 como uma pequena caixa com 4 números dentro:
$\begin{pmatrix} a & b \\ c & d \end{pmatrix}$
Essa caixa funciona como uma máquina que transforma linhas retas em outras linhas retas (pode girar, esticar ou refletir).

Os autovalores são como os "números de estiramento" dessa máquina. Se você aplicar a máquina em uma linha, ela pode ficar 3 vezes maior ou 5 vezes menor. O artigo quer garantir que esses números de estiramento sejam sempre inteiros (1, 2, 3...) e não frações estranhas (como 1,5 ou 2,33).

2. O Grande Desafio: A Permutação

O truque do professor Hall é o seguinte: ele quer pegar 4 números (digamos: 1, 6, 7, 12) e colocá-los dentro da caixa de 4 formas diferentes.

Aluno A recebe: $\begin{pmatrix} 1 & 6 \\ 7 & 12 \end{pmatrix}$
Aluno B recebe: $\begin{pmatrix} 6 & 1 \\ 12 & 7 \end{pmatrix}$
Aluno C recebe: $\begin{pmatrix} 7 & 12 \\ 1 & 6 \end{pmatrix}$
...e assim por diante.

A regra é: Não importa como você misture esses 4 números na caixa, o resultado da conta mágica (os autovalores) deve sempre ser um número inteiro.

Normalmente, isso é muito difícil de conseguir. Se você mudar a posição de um número, a conta geralmente "quebra" e gera números com vírgula.

3. A Solução Mágica: Os Triângulos de Pitágoras

Aqui entra a parte divertida. O autor descobriu que você pode usar os lados de um triângulo retângulo com lados inteiros (os trios pitagóricos) para criar esses números mágicos.

Um exemplo clássico de triângulo pitagórico é o (3, 4, 5), onde $3^2 + 4^2 = 5^2$ .
Outro é o (5, 12, 13).

O método do autor é como uma receita de bolo:

Pegue um triângulo pitagórico, por exemplo, (5, 12, 13).
Use uma fórmula simples para transformar esses 3 números em 4 números para a sua caixa.
Se você usar o trio (5, 12, 13), você consegue gerar os números: 1, 6, 7, 12.

A mágica acontece porque, graças às propriedades matemáticas desses triângulos, qualquer ordem que você colocar os números 1, 6, 7 e 12 na caixa, os autovalores resultantes serão sempre inteiros!

4. Por que isso é útil?

Imagine a cena na sala de aula descrita no início do texto:

A professora pode dar 24 cartões diferentes para 24 alunos.
Cada cartão tem os mesmos 4 números, mas em ordens diferentes.
Todos os alunos podem resolver o problema rapidamente e obter respostas inteiras.
Isso torna a aula divertida, rápida e evita que os alunos fiquem presos em cálculos com frações complicadas.

5. O "Segredo" por trás da Cortina

O artigo explica que, matematicamente, isso funciona porque o autor encontrou uma maneira de "enganar" a equação. Ele impôs uma regra simples: a soma de dois números deve ser igual à soma dos outros dois ( $a+d = b+c$ ).

Quando você faz isso e usa números que vêm de triângulos pitagóricos, as "partes difíceis" da equação (aquelas que normalmente gerariam raízes quadradas estranhas) se cancelam perfeitamente, deixando apenas números inteiros limpos.

Resumo em uma Analogia

Pense nos números como peças de um quebra-cabeça.

O problema comum: Se você tentar encaixar peças aleatórias, o quebra-cabeça não fecha (os números ficam com vírgula).
A descoberta do autor: Ele descobriu que, se você escolher as peças baseadas em um "molde" específico (os triângulos de Pitágoras), o quebra-cabeça fecha perfeitamente, não importa em qual ordem você tente encaixar as peças.

Conclusão

Este artigo é uma celebração da beleza da matemática. Ele mostra que, às vezes, problemas que parecem complicados (como garantir que números inteiros funcionem em qualquer ordem) podem ser resolvidos com ideias simples e antigas (como os triângulos de Pitágoras). É um presente para professores e amantes de puzzles, permitindo criar infinitos desafios matemáticos elegantes e fáceis de corrigir.

1. O Problema

O artigo aborda um problema de álgebra linear e teoria dos números: como gerar sistematicamente matrizes $2 \times 2$ com coeficientes inteiros ( $a, b, c, d$ ) tais que todas as 24 permutações possíveis desses coeficientes resultem em matrizes que possuem autovalores inteiros.

O autor motiva o problema com um contexto pedagógico: a necessidade de professores de matemática gerarem rapidamente múltiplos exemplos de matrizes com propriedades específicas (autovalores inteiros) para exercícios em sala de aula, onde a permutação dos coeficientes não deve alterar a natureza inteira dos autovalores.

2. Metodologia e Derivação Matemática

O método baseia-se na condição necessária e suficiente para que os autovalores de uma matriz $2 \times 2$ sejam inteiros. Para uma matriz $M = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$ , os autovalores são dados por:
$\lambda_{\pm} = \frac{(a+d) \pm \sqrt{(a+d)^2 - 4(ad-bc)}}{2}$
Para que $\lambda_{\pm}$ sejam inteiros, o termo sob a raiz quadrada (o discriminante) deve ser um quadrado perfeito de um inteiro $u$ , e $a+d$ deve ter a mesma paridade que $u$ . Isso leva à condição:
$u^2 = (a-d)^2 + 4bc$

Para garantir que todas as 24 permutações dos coeficientes $\{a, b, c, d\}$ satisfaçam essa condição, o autor impõe um conjunto de seis equações (uma para cada tipo de permutação estrutural), exigindo que existam inteiros $u, v, w, x, y, z$ satisfazendo:

$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$

A Abordagem Simplificadora (Ansatz):
O autor propõe uma suposição simplificada (ansatz) para resolver esse sistema complexo:
$a + d = b + c = t$
onde $t$ é um inteiro.

Sob essa hipótese:

As condições (3) a (6) são automaticamente satisfeitas.
As condições (1) e (2) reduzem-se a um sistema que envolve a diferença entre os coeficientes.
Ao manipular as equações resultantes, define-se $k = b-d$ e $l = a-b$ .
O problema é então mapeado para a identidade pitagórica:
$r^2 + s^2 = t^2$
onde $r$ e $s$ são inteiros relacionados a $k$ e $l$ por $rs = 2kl$.

3. Contribuições Principais

O artigo apresenta uma construção direta e eficiente baseada em Triplos Pitagóricos $(r, s, t)$ para gerar os coeficientes da matriz.

A. Solução Canônica

Para qualquer triplo pitagórico $(r, s, t)$ , os coeficientes da matriz podem ser gerados pela fórmula:
$\{a, b, c, d\} = \left\{ \frac{t \pm r \pm \frac{s}{2}}{2} \right\}$
Nota: O autor demonstra que, devido às propriedades de paridade dos triplos pitagóricos (um par, um ímpar, e o par sendo divisível por 4), é sempre possível escolher $k$ e $l$ de modo que $a, b, c, d$ sejam inteiros.

Uma forma alternativa e fácil de memorizar (para inteiros coprimos $m, n$ com $n$ ímpar) é:
$\{a, b, c, d\} = \{4m^2 \pm mn, n^2 \pm mn\}$
(excluindo um fator comum arbitrário).

B. Soluções Não Canônicas e Infinitas

O artigo vai além da solução canônica, mostrando que:

Existem outras escolhas de fatores $k$ e $l$ que geram soluções inteiras diferentes para o mesmo triplo pitagórico.
É possível utilizar escolhas racionais para $k$ e $l$ e, subsequentemente, multiplicar por um fator comum para obter soluções inteiras.
Conclusão Teórica: Um único triplo pitagórico pode gerar uma infinitude enumerável de matrizes não triviais distintas que satisfazem a propriedade de permutação.

4. Resultados e Exemplos

O autor fornece exemplos concretos gerados por triplos pitagóricos famosos:

Triplo (3, 4, 5):
- Solução Canônica: $\{5, 3, 2, 0\}$
- Matriz Exemplo: $\begin{pmatrix} 5 & 3 \\ 2 & 0 \end{pmatrix}$ (e suas permutações).
- Solução Não Canônica: $\{6, 5, 0, -1\}$ .
Triplo (5, 12, 13):
- Solução Canônica: $\{12, 6, 7, 1\}$
- Matriz Exemplo: $\begin{pmatrix} 12 & 6 \\ 7 & 1 \end{pmatrix}$ .
- O autor destaca que qualquer permutação destes números (ex: $\begin{pmatrix} 6 & 1 \\ 7 & 12 \end{pmatrix}$ ) resultará em autovalores inteiros.

Autovalores Gerados:
Para as matrizes geradas por este método, os autovalores assumem formas simples dependentes de $t, r, s, k, l$ . Por exemplo, para certas permutações, os autovalores são $\{t \pm (r+s)/2\}$ e $\{t \pm (r-s)/2\}$ , garantindo a integridade.

5. Significado e Relevância

Pedagógico: Oferece uma ferramenta poderosa para educadores matemáticos. Um professor pode pegar um único conjunto de 4 números (derivados de um triplo pitagórico) e distribuir 24 permutações diferentes para 24 alunos, garantindo que todos os exercícios tenham soluções inteiras, facilitando a correção e o aprendizado.
Matemático: Estabelece uma ligação elegante e não trivial entre a teoria dos números (triplos pitagóricos) e a álgebra linear (espectro de matrizes). O método é mais eficiente que abordagens anteriores conhecidas na literatura, pois uma única escolha de parâmetros gera múltiplas matrizes válidas.
Generalização: O artigo sugere que a condição $a+d=b+c$ é suficiente, mas levanta a questão (deixada em aberto) se ela é necessária, e propõe a investigação de matrizes $3 \times 3$ como um desafio futuro.

Em resumo, o trabalho demonstra que a estrutura dos triplos pitagóricos fornece um "algoritmo" robusto para a geração de famílias de matrizes com propriedades espectrais invariantes sob permutação de coeficientes.