🔢 mathematics

Binary Trees and Sum of Two Squares

Este artigo introduz uma árvore binária baseada em matrizes que unifica as árvores de Stern–Brocot e Calkin–Wilf, explora sua conexão com frações contínuas e utiliza este arcabouço para fornecer uma representação baseada em caminhos da prova de Brillhart para a soma de dois quadrados.

Autores originais: Hongshen Chua

Publicado 2026-06-25

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Hongshen Chua

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ê tem uma árvore genealógica mágica, mas em vez de pessoas, cada ramo contém uma fração (um número como 1/2 ou 3/4). Durante muito tempo, os matemáticos conheceram duas versões famosas dessa árvore: a árvore de Stern–Brocot e a árvore de Calkin–Wilf. Elas são muito parecidas, como gêmeas, mas crescem seus ramos usando regras ligeiramente diferentes.

Este artigo apresenta uma "árvore mestre" que se situa abaixo de ambas, atuando como um ancestral comum. Ele também usa essa árvore para resolver um enigma antigo e famoso sobre números: Todo número primo que é um mais que um múltiplo de 4 (como 5, 13, 17) pode ser escrito como a soma de dois quadrados perfeitos? (Por exemplo, $5 = 1^2 + 2^2$ ).

Aqui está a história do artigo, dividida em etapas simples:

1. A Árvore Mestre: Um Jogo de Movimentos de Matriz

Em vez de apenas escrever frações, o autor constrói uma árvore usando grades 2x2 de números (chamadas matrizes).

O Ponto de Partida: Você começa com uma tela em branco (a matriz identidade).
Os Movimentos: Para fazer a árvore crescer, você só pode fazer dois tipos de movimentos:
- O Movimento para a "Direita" (R): Você pega a coluna esquerda de números e a adiciona à coluna da direita.
- O Movimento para a "Esquerda" (L): Você pega a coluna da direita e a adiciona à coluna da esquerda.
O Resultado: Ao repetir esses movimentos, você cria uma árvore genealógica gigante de grades.

A Conexão Mágica:
Se você pegar qualquer grade nesta árvore e realizar um truque simples de "soma", você obtém instantaneamente a árvore de Stern–Brocot. Se você realizar um truque de "soma" ligeiramente diferente (trocando linhas e colunas), você obtém a árvore de Calkin–Wilf. Assim, esta "Árvore de Matrizes" é o motor secreto que impulsiona ambas as árvores famosas.

2. O Mapa: Lendo Frações Contínuas

Matemáticos frequentemente escrevem frações complexas como "frações contínuas" (uma forma sofisticada de escrever um número como uma cadeia de adições e divisões, como $1 + \frac{1}{2 + \frac{1}{3...}}$ ).

O artigo mostra que essas frações contínuas são, na verdade, mapas ou instruções para caminhar através da Árvore de Matrizes.

Se o seu mapa diz "vá para a Direita 3 vezes, depois para a Esquerda 2 vezes", você segue esse caminho na árvore.
O artigo prova que a grade onde você chega ao final do caminho contém a resposta exata (o "convergente") para essa fração. É como uma caça ao tesouro onde o caminho que você percorre revela o tesouro ao final.

3. Resolvendo o Enigma da "Soma de Dois Quadrados"

A parte final do artigo aborda o famoso teorema de Fermat: Qualquer número primo que seja 1 mais que um múltiulo de 4 pode ser dividido em dois quadrados.

Aqui está como o autor resolve isso usando sua árvore:

A Configuração: Pegue um número primo (como 13). Encontre um número especial relacionado a ele (chamado de $x_0$ ) que ajude a configurar uma fração específica.
O Truque do Espelho: Quando você transforma essa fração em um mapa de fração contínua, algo mágico acontece: o mapa é simétrico (um palíndromo). Ele parece um reflexo em um espelho (por exemplo, Direita, Esquerda, Direita, Direita, Esquerda, Direita).
A Caminhada: Você percorre este caminho simétrico na Árvore de Matrizes. Como o caminho é simétrico, a matemática funciona de modo que a grade final onde você chega possui uma propriedade muito especial.
A Revelação: Quando você olha para os números nessa grade final, o número primo (13) aparece como a soma de dois quadrados escondida dentro da matemática.
- O autor mostra que os dois números que você precisa elevar ao quadrado são, na verdade, o resultado de um caminho específico na árvore.
- Em nosso exemplo, o caminho revela que $13 = 2^2 + 3^2$ .

A Grande Conclusão

O artigo não apenas prova que esses números podem ser escritos como somas de quadrados; ele fornece uma receita para encontrar exatamente quais são esses quadrados.

A Analogia: Pense na Árvore de Matrizes como um labirinto gigante e mágico. O problema da "Soma de Dois Quadrados" é uma porta trancada. O autor descobriu que, se você seguir um caminho específico e simétrico através do labirinto (baseado nas propriedades do número primo), a porta se abre, e os dois números que você precisa para desbloquear o segredo estão esperando por você ali mesmo, no chão.

Em resumo, o artigo conecta três coisas aparentemente diferentes — estruturas de árvores, mapas de frações e enigmas numéricos — ao mostrar que todos são visões diferentes de uma mesma máquina matemática subjacente.

Resumo Técnico: Árvores Binárias e Soma de Dois Quadrados

Enunciado do Problema
O artigo aborda a relação estrutural entre duas árvores binárias proeminentes de números racionais: a árvore de Stern–Brocot e a árvore de Calkin–Wilf. Além disso, busca fornecer uma nova interpretação do teorema de Fermat sobre a soma de dois quadrados (especificamente para primos da forma $4k+1$ ) ao alavancar a teoria de frações contínuas e representações de caminhos baseadas em matrizes dentro dessas árvores.

Metodologia
Os autores constroem um arcabouço unificador baseado em uma árvore binária de matrizes. Esta árvore é gerada a partir da matriz identidade $2 \times 2$ , onde um movimento "Direita" (R) corresponde à pós-multiplicação por $\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$ e um movimento "Esquerda" (L) corresponde à pós-multiplicação por $\begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}$ .

Recuperação de Árvores Conhecidas: A árvore de Stern–Brocot é recuperada pós-multiplicando cada matriz nesta estrutura pelo vetor coluna $\begin{pmatrix} 1 \\ 1 \end{pmatrix}$ (soma das colunas). A árvore de Calkin–Wilf é recuperada pré-multiplicando pelo vetor linha $\begin{pmatrix} 1 & 1 \end{pmatrix}$ (soma das linhas).
Conexão com Frações Contínuas: O artigo estabelece um mapeamento direto entre os convergentes de uma fração contínua $[q_0; q_1, q_2, \dots]$ e os caminhos através desta árvore de matrizes. Um caminho $W$ é definido por uma sequência de movimentos correspondente aos quocientes parciais ( $q_0$ movimentos R, $q_1$ movimentos L, etc.). O Teorema 1 prova que a matriz resultante de tal caminho contém os convergentes $A_n/B_n$ e seus predecessores em suas entradas.
Prova da Soma de Dois Quadrados: Para provar que um primo $p \equiv 1 \pmod 4$ é uma soma de dois quadrados, os autores utilizam a abordagem de Brillhart envolvendo a fração contínua de $p/x_0$ , onde $x_0^2 \equiv -1 \pmod p$ . Eles observam que esta fração contínua é palíndroma com um número par de termos. Em vez de utilizar continuantes, os autores constroem um caminho específico $W$ na árvore de matrizes que espelha essa estrutura palíndroma. Ao decompor este caminho em uma matriz $M$ e sua transposta $M^T$ , e analisar o produto de matrizes resultante, eles derivam a identidade da soma de quadrados.

Principais Resultados

Unificação de Árvores: O artigo demonstra que as árvores de Stern–Brocot e Calkin–Wilf não são entidades distintas, mas são derivadas de uma única árvore binária de matrizes subjacente através de operações lineares simples (soma de colunas ou linhas).
Correspondência Caminho-Convergente: O Teorema 1 fornece uma fórmula rigorosa ligando o produto de matrizes de um caminho definido pelos coeficientes da fração contínua aos convergentes desta fração.
Prova Construtiva do Teorema de Fermat: O artigo apresenta uma prova de que qualquer primo $p = 4k+1$ pode ser escrito como $p = x^2 + y^2$ . A prova baseia-se na natureza palíndroma da fração contínua de $p/x_0$ .
Identificação Explícita de Quadrados: Um resultado significativo é a capacidade de identificar explicitamente os inteiros $x$ e $y$ tais que $p = x^2 + y^2$ . O Teorema 5 afirma que, se uma fração $x/y$ corresponde ao caminho $M^T$ na árvore de Stern–Brocot (onde $M$ é derivada da primeira metade do caminho da fração contínua palíndroma), então $p = x^2 + y^2$ . Um resultado semelhante aplica-se à árvore de Calkin–Wilf usando o caminho $M$ .

Significância e Alegações
O artigo alega oferecer uma nova interpretação da prova de Brillhart para o teorema de Fermat sobre a soma de dois quadrados. Em vez de depender apenas das propriedades algébricas dos continuantes, os autores utilizam as propriedades geométricas e estruturais dos caminhos através da árvore de matrizes. A principal significância reside na construção explícita dos dois quadrados que somam a $p$ via a estrutura de caminho da árvore, fornecendo um elo algorítmico concreto entre frações contínuas, árvores binárias e identidades da teoria dos números. O trabalho integra a teoria de frações contínuas de forma fluida com a geração de árvores racionais baseadas em matrizes, oferecendo uma perspectiva unificada sobre esses objetos matemáticos.

1. A Árvore Mestre: Um Jogo de Movimentos de Matriz

2. O Mapa: Lendo Frações Contínuas

3. Resolvendo o Enigma da "Soma de Dois Quadrados"

A Grande Conclusão

Mais como este