🔢 mathematics

Binary Trees and Sum of Two Squares

Este artículo introduce un árbol binario basado en matrices que unifica los árboles de Stern–Brocot y Calkin–Wilf, explora su conexión con las fracciones continuas y utiliza este marco para proporcionar una representación basada en trayectorias de la demostración de Brillhart para la suma de dos cuadrados.

Autores originales: Hongshen Chua

Publicado 2026-06-25

📖 4 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Hongshen Chua

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

Imagina que tienes un árbol genealógico mágico, pero en lugar de personas, cada rama sostiene una fracción (un número como 1/2 o 3/4). Durante mucho tiempo, los matemáticos conocieron dos versiones famosas de este árbol: el árbol de Stern–Brocot y el árbol de Calkin–Wilf. Se parecen mucho, como gemelos, pero cultivan sus ramas usando reglas ligeramente diferentes.

Este artículo presenta un "árbol maestro" que se sitúa debajo de ambos, actuando como un ancestro común. También utiliza este árbol para resolver un acertijo muy antiguo y famoso sobre los números: ¿Puede todo número primo que es uno más que un múltiplo de 4 (como 5, 13, 17) escribirse como la suma de dos cuadrados perfectos? (Por ejemplo, $5 = 1^2 + 2^2$ ).

Aquí está la historia del artículo, desglosada en pasos sencillos:

1. El Árbol Maestro: Un Juego de Movimientos de Matrices

En lugar de solo escribir fracciones, el autor construye un árbol utilizando rejillas de 2x2 números (llamadas matrices).

El Punto de Partida: Comienzas con una hoja en blanco (la matriz identidad).
Los Movimientos: Para cultivar el árbol, solo puedes realizar dos tipos de movimientos:
- El Movimiento a la "Derecha" (R): Tomas la columna izquierda de números y se la sumas a la columna derecha.
- El Movimiento a la "Izquierda" (L): Tomas la columna derecha y se la sumas a la izquierda.
El Resultado: Al repetir estos movimientos, creas un gigantesco árbol genealógico de rejillas.

La Conexión Mágica:
Si tomas cualquier rejilla en este árbol y realizas un truco de "suma" simple, obtienes instantáneamente el árbol de Stern–Brocot. Si realizas un truco de "suma" ligeramente diferente (intercambiando filas y columnas), obtienes el árbol de Calkin–Wilf. Así, este único "Árbol de Matrices" es el motor secreto que impulsa a ambos árboles famosos.

2. El Mapa: Leyendo Fracciones Continuadas

Los matemáticos a menudo escriben números complejos como "fracciones continuadas" (una forma elegante de escribir un número como una cadena de sumas y divisiones, como $1 + \frac{1}{2 + \frac{1}{3...}}$ ).

El artículo muestra que estas fracciones continuadas son en realidad mapas o instrucciones para caminar a través del Árbol de Matrices.

Si tu mapa dice "ve a la Derecha 3 veces, luego a la Izquierda 2 veces", sigues ese camino en el árbol.
El artículo demuestra que la rejilla en la que aterrizas al final de tu caminata contiene la respuesta exacta (el "convergente") para esa fracción. Es como una búsqueda del tesoro donde el camino que tomas revela el tesoro al final.

3. Resolviendo el Acertijo de la "Suma de Dos Cuadrados"

La parte final del artículo aborda el famoso teorema de Fermat: Cualquier número primo que es 1 más que un múltiplo de 4 puede dividirse en dos cuadrados.

Así es como el autor resuelve esto usando su árbol:

La Configuración: Toma un número primo (como el 13). Encuentra un número especial relacionado con él (llamado $x_0$ ) que ayude a configurar una fracción específica.
El Truco del Espejo: Cuando conviertes esta fracción en un mapa de fracción continuada, algo mágico sucede: el mapa es simétrico (un palíndromo). Se ve como un reflejo en un espejo (por ejemplo, Derecha, Izquierda, Derecha, Derecha, Izquierda, Derecha).
La Caminata: Caminas este camino simétrico en el Árbol de Matrices. Debido a que el camino es simétrico, las matemáticas funcionan de tal manera que la rejilla final en la que aterrizas tiene una propiedad muy especial.
La Revelación: Cuando observas los números en esa rejilla final, el número primo (13) aparece como la suma de dos cuadrados ocultos dentro de las matemáticas.
- El autor muestra que los dos números que necesitas elevar al cuadrado son en realidad el resultado de un camino específico en el árbol.
- En nuestro ejemplo, el camino revela que $13 = 2^2 + 3^2$ .

La Gran Conclusión

El artículo no solo demuestra que estos números pueden escribirse como sumas de cuadrados; te da una receta para encontrar exactamente cuáles son esos cuadrados.

La Analogía: Piensa en el Árbol de Matrices como un laberinto gigante y mágico. El problema de la "Suma de Dos Cuadrados" es una puerta cerrada. El autor descubrió que si sigues un camino específico y simétrico a través del laberinto (basado en las propiedades del número primo), la puerta se abre, y los dos números que necesitas para desbloquear el secreto están esperando por ti allí mismo, en el suelo.

En resumen, el artículo conecta tres cosas aparentemente diferentes —estructuras de árboles, mapas de fracciones y acertijos numéricos— al mostrar que todos son vistas distintas de la misma máquina matemática subyacente.

Resumen Técnico: Árboles Binarios y Suma de Dos Cuadrados

Planteamiento del Problema
El artículo aborda la relación estructural entre dos árboles binarios prominentes de números racionales: el árbol de Stern–Brocot y el árbol de Calkin–Wilf. Además, busca proporcionar una nueva interpretación del teorema de Fermat sobre la suma de dos cuadrados (específicamente para primos de la forma $4k+1$ ) aprovechando la teoría de las fracciones continuas y las representaciones de caminos basadas en matrices dentro de estos árboles.

Metodología
Los autores construyen un marco unificador basado en un árbol binario de matrices. Este árbol se genera partiendo de la matriz identidad de $2 \times 2$ , donde un movimiento a la "Derecha" (R) corresponde a la post-multiplicación por $\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}$ y un movimiento a la "Izquierda" (L) corresponde a la post-multiplicación por $\begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}$ .

Recuperación de Árboles Conocidos: El árbol de Stern–Brocot se recupera post-multiplicando cada matriz en esta estructura por el vector columna $\begin{pmatrix} 1 \\ 1 \end{pmatrix}$ (suma de columnas). El árbol de Calkin–Wilf se recupera pre-multiplicando por el vector fila $\begin{pmatrix} 1 & 1 \end{pmatrix}$ (suma de filas).
Conexión con Fracciones Continuas: El artículo establece una correspondencia directa entre los convergentes de una fracción continua $[q_0; q_1, q_2, \dots]$ y los caminos a través de este árbol de matrices. Se define un camino $W$ mediante una secuencia de movimientos correspondientes a los cocientes parciales ( $q_0$ movimientos R, $q_1$ movimientos L, etc.). El Teorema 1 demuestra que la matriz resultante de tal camino contiene los convergentes $A_n/B_n$ y sus predecesores en sus entradas.
Prueba de la Suma de Dos Cuadrados: Para probar que un primo $p \equiv 1 \pmod 4$ es una suma de dos cuadrados, los autores utilizan el enfoque de Brillhart que involucra la fracción continua de $p/x_0$ , donde $x_0^2 \equiv -1 \pmod p$ . Observan que esta fracción continua es palindrómica con un número par de términos. En lugar de utilizar continuantes, los autores construyen un camino específico $W$ en el árbol de matrices que refleja esta estructura palindrómica. Al descomponer este camino en una matriz $M$ y su transpuesta $M^T$ , y al analizar el producto de matrices resultante, derivan la identidad de la suma de cuadrados.

Resultados Clave

Unificación de Árboles: El artículo demuestra que los árboles de Stern–Brocot y Calkin–Wilf no son entidades distintas, sino que se derivan de un único árbol binario de matrices subyacente mediante operaciones lineales simples (suma de columnas o filas).
Correspondencia Camino-Convergente: El Teorema 1 proporciona una fórmula rigurosa que vincula el producto de matrices de un camino definido por los coeficientes de una fracción continua con los convergentes de dicha fracción.
Prueba Constructiva del Teorema de Fermat: El artículo presenta una prueba de que cualquier primo $p = 4k+1$ puede escribirse como $p = x^2 + y^2$ . La prueba se basa en la naturaleza palindrómica de la fracción continua de $p/x_0$ .
Identificación Explícita de Cuadrados: Un resultado significativo es la capacidad de identificar explícitamente los enteros $x$ e $y$ tales que $p = x^2 + y^2$ . El Teorema 5 establece que si una fracción $x/y$ corresponde al camino $M^T$ en el árbol de Stern–Brocot (donde $M$ se deriva de la primera mitad del camino de la fracción continua palindrómica), entonces $p = x^2 + y^2$ . Un resultado similar se cumple para el árbol de Calkin–Wilf utilizando el camino $M$ .

Significancia y Reivindicaciones
El artículo afirma ofrecer una nueva interpretación de la prueba de Brillhart del teorema de Fermat sobre la suma de dos cuadrados. En lugar de depender únicamente de las propiedades algebraicas de los continuantes, los autores utilizan las propiedades geométricas y estructurales de los caminos a través del árbol binario de matrices. La principal significancia radica en la construcción explícita de los dos cuadrados que suman a $p$ a través de la estructura del camino del árbol, proporcionando un vínculo algorítmico concreto entre las fracciones continuas, los árboles binarios y las identidades de la teoría de números. El trabajo integra la teoría de las fracciones continuas de manera fluida con la generación de árboles racionales basados en matrices, ofreciendo una perspectiva unificada sobre estos objetos matemáticos.

1. El Árbol Maestro: Un Juego de Movimientos de Matrices

2. El Mapa: Leyendo Fracciones Continuadas

3. Resolviendo el Acertijo de la "Suma de Dos Cuadrados"

La Gran Conclusión

Más como este