Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers

Este artículo extiende el Teorema de Midy a sistemas de numeración con bases no enteras introducidos por Rényi, estableciendo una condición necesaria para su validez y caracterizando los denominadores primos que satisfacen esta propiedad cuando la base es el número áureo.

Lo esencial

¡Hola! Vamos a desmenuzar este artículo matemático como si estuviéramos contando un cuento fascinante alrededor de una fogata, sin necesidad de usar fórmulas complicadas.

Imagina que los números son como canciones y las bases numéricas (como el sistema decimal que usamos todos los días) son como instrumentos musicales.

1. El Misterio Original: La "Propiedad del Nueve"

En nuestra vida cotidiana, usamos la base 10 (dígitos del 0 al 9). Si tomas una fracción especial, como 3/7, y la conviertes a decimal, obtienes una canción que se repite infinitamente:
0.428571 428571...

Los matemáticos descubrieron algo curioso hace mucho tiempo (llamado el Teorema de Midy): si tomas la mitad de esa canción (428) y la sumas con la otra mitad (571), ¡el resultado es 999!
Es como si la canción tuviera un "eco" perfecto. Si divides la melodía en dos partes iguales, al sumarlas obtienes el sonido máximo de tu instrumento (nueve veces el nueve).

2. El Cambio de Instrumento: Bases No Enteras

Hasta ahora, todos pensaban que esto solo funcionaba en instrumentos "normales" (bases enteras como 10, 12, 20). Pero estas dos autoras, Zuzana y Edita, se preguntaron: ¿Qué pasa si cambiamos el instrumento por uno "raro"?

Imagina un instrumento donde el "10" no es un número entero, sino el Número Áureo (la proporción divina, aproximadamente 1.618), que llamaremos Tau (τ).
En este mundo, los únicos "números" (dígitos) que existen son el 0 y el 1. Es como si solo pudieras tocar notas de "silencio" y "golpe".

El artículo pregunta: ¿Funciona la magia de la suma perfecta (el "nueve") en este instrumento extraño?

3. La Gran Descubierta: Sí, ¡Funciona!

Las autoras demostraron que sí, la magia existe incluso en este mundo extraño.

• Si tomas una fracción como 3/7 y la escribes en la base "Tau", obtienes una secuencia de ceros y unos que se repite.
• Si divides esa secuencia en dos mitades y las sumas, el resultado es una secuencia especial que representa el número τⁿ - 1.
• En términos simples: La suma de las dos mitades es el "máximo sonido" posible en ese instrumento, igual que 999 lo es en el nuestro.

4. El Secreto de los Números Primos y los Números de Fibonacci

Aquí es donde la historia se pone aún más interesante. Las autoras se dieron cuenta de que para que esta magia funcione en la base "Tau", el denominador de la fracción (el número de abajo, como el 7 en 3/7) debe tener una relación especial con una secuencia famosa: Los Números de Fibonacci (0, 1, 1, 2, 3, 5, 8, 13, 21...).

Piensa en los números de Fibonacci como una escalera mágica.

• Si el número de abajo de tu fracción es un número primo (como 3, 7, 11, 13), la magia funciona o no dependiendo de cómo se relaciona ese primo con la escalera de Fibonacci.
• Las autoras crearon un "mapa" (una regla matemática) para saber exactamente qué números primos permiten esta magia y cuáles no.

La analogía de la llave:
Imagina que cada número primo es una llave.

• Algunas llaves abren la puerta de la "Magia de Midy" en la base Tau.
• Otras llaves no funcionan.
• El artículo nos dice que las llaves que funcionan son aquellas que tienen una "forma" específica relacionada con la escalera de Fibonacci. Por ejemplo, el número 7 es una llave maestra, pero el número 11 no lo es en este contexto.

5. ¿Por qué nos importa esto?

Puedes pensar que esto es solo un juego de lógica para matemáticos aburridos, pero el artículo sugiere que es más profundo:

• Juguetear con la realidad: Nos muestra que las reglas que creemos fijas (como que el 10 es el rey de los números) son solo una opción. En otros universos matemáticos, las reglas cambian, pero la belleza y la simetría (como la suma perfecta de las mitades) siguen existiendo.
• Conexiones ocultas: Revela que los números primos y la secuencia de Fibonacci están bailando juntos en un ritmo que no habíamos visto antes.

En resumen

Este artículo es como un viaje de exploración. Los autores tomaron un viejo truco de magia (sumar mitades de fracciones para obtener nueves), lo llevaron a un mundo donde los números son extraños (base 1.618), y descubrieron que el truco sigue funcionando, pero solo si eliges a los "números primos" correctos, que actúan como las llaves mágicas de un tesoro oculto en la secuencia de Fibonacci.

¡Es una prueba de que las matemáticas, incluso en sus rincones más extraños, siempre tienen una melodía oculta esperando a ser escuchada!

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Midy's Theorem in non-integer bases and divisibility of Fibonacci numbers" (El teorema de Midy en bases no enteras y la divisibilidad de los números de Fibonacci), escrito por Zuzana Masáková y Edita Pelantová.

1. Planteamiento del Problema

El Teorema de Midy es un resultado clásico en teoría de números que describe una propiedad curiosa de las expansiones decimales de fracciones $p/q$ donde $q$ es un número primo. Si el periodo de la expansión decimal es de longitud par ($2n$), la suma de la primera mitad del periodo y la segunda mitad es igual a$10^n - 1$ (una secuencia de dígitos 9).

El objetivo principal de este trabajo es generalizar este fenómeno a sistemas de numeración con bases no enteras ($\beta > 1$), específicamente introducidos por Rényi. Los autores se preguntan:

• ¿Existe una propiedad análoga a la de Midy en bases reales no enteras?
• ¿Bajo qué condiciones un denominador $q$ satisface esta propiedad en una base $\beta$?
• ¿Cómo se caracteriza este comportamiento para la base del número áureo $\tau = \frac{1+\sqrt{5}}{2}$, dado su estrecho vínculo con los números de Fibonacci?

2. Metodología

Los autores emplean una combinación de teoría de números algebraicos, sistemas dinámicos (transformación $\beta$) y propiedades de matrices de compañeros.

• Definición de la Propiedad de Midy en Base $\beta$:
  Se define que un entero $q$ tiene la propiedad de Midy en base $\beta$ si existe una fracción $p/q$ con expansión puramente periódica de longitud par $2n$, tal que la suma de los dos "β-enteros" formados por la primera y segunda mitad del periodo es igual a$\beta^n - 1$.

• Transformación $\beta$ y Periodicidad:
  Utilizan la transformación $T_\beta(x) = \beta x - \lfloor \beta x \rfloor$ para generar las expansiones. Analizan las condiciones bajo las cuales las fracciones racionales tienen expansiones puramente periódicas, vinculando esto con los números de Pisot y unidades algebraicas.

• Condición Matricial Necesaria:
  Derivan una condición necesaria basada en la matriz de compañeros $C$ del polinomio minimal de $\beta$. Demuestran que si $q$ tiene la propiedad de Midy, debe existir un entero $N$ tal que:
  $$C^N \equiv -I \pmod q$$
  donde $I$ es la matriz identidad.

• Análisis Específico para $\tau$ (Número Áureo):
  Para la base $\tau$, la matriz de compañeros es $C = \begin{pmatrix} 0 & 1 \\ 1 & 1 \end{pmatrix}$. Las potencias de esta matriz se expresan directamente en términos de la secuencia de Fibonacci $(F_n)$. Esto permite traducir la condición matricial a propiedades de divisibilidad de los números de Fibonacci.

• Teoría de Cuerpos Finitos:
  Para caracterizar los primos que satisfacen la propiedad, trabajan en el cuerpo finito $\mathbb{Z}_q$, utilizando símbolos de Legendre, la ley de reciprocidad cuadrática y el análisis de las raíces del polinomio característico $X^2 - X - 1$ módulo $q$.

3. Contribuciones Clave y Resultados

A. Condiciones Generales y Necesarias

• Teorema 3.2: Establecen que para que $q$ tenga la propiedad de Midy en una base $\beta$ (raíz de un polinomio minimal), la matriz de compañeros $C$ debe satisfacer $C^N \equiv -I \pmod q$ para algún $N$.
• Restricción de Grado: Si $\beta$ es un número algebraico de grado impar con norma $N(\beta)=1$, ningún entero $q > 2$ satisface la propiedad de Midy (debido a que $\det(-I) = -1$ mientras que $\det(C^N) = 1$).

B. Caracterización para la Base Áurea ($\tau$)

• Condición Suficiente (Teorema 4.1): Para la base $\tau$, la condición $C^N \equiv -I \pmod q$ es suficiente para que $q$ tenga la propiedad de Midy. Además, si se cumple, todas las fracciones $p/q$ (con $0 < p < q$) testifican esta propiedad.
• Relación con Fibonacci (Corolario 4.5):
  • Si $q$ es un divisor de $F_{2n-1}$ (con $n \ge 3$), entonces $q$ tiene la propiedad de Midy.
  • Si $q$ es un múltiplo de $F_{2n}$ (con $n \ge 3$), entonces $q$ no tiene la propiedad.
• Criterio de Divisibilidad (Corolario 4.6): Si $a(q)$ (el índice de entrada de $q$ en la secuencia de Fibonacci) es impar, entonces $q$ tiene la propiedad de Midy.

C. Caracterización de Números Primos (Sección 5)

Los autores clasifican los primos $q$ según su residuo módulo 5:

1. Caso $q \equiv \pm 2 \pmod 5$:
   • Estos primos siempre tienen la propiedad de Midy en base $\tau$.
   • Esto incluye a los primos de Mersenne $2^s - 1$donde$s \equiv 3 \pmod 4$, y a todos los primos de Fermat conocidos.
2. Caso $q \equiv \pm 1 \pmod 5$:
   • La condición es más compleja. $q$ tiene la propiedad si y solo si en la lista de matrices $C^{2\ell}, C^{4\ell}, \dots, C^{2^{k-1}\ell}$ (donde $q-1 = 2^k \ell$), aparece la matriz $-I \pmod q$.
   • Si $q \equiv -1 \pmod{20}$ o $q \equiv 11 \pmod{20}$, no tienen la propiedad.
   • Se presentan contraejemplos donde primos con la misma congruencia módulo 20 se comportan de manera diferente (ej. 41 sí tiene la propiedad, 101 no).

D. Ejemplos Numéricos

• $q=7$: Tiene la propiedad. Su expansión en base $\tau$ es $0.(0100001001010010)_\tau$. La suma de las mitades es$\tau^8 - 1$.
• $q=3$ y $q=5$: También satisfacen la propiedad.
• Primis de Mersenne: De los 51 primos de Mersenne conocidos (a abril de 2024), exactamente 19 satisfacen la propiedad de Midy en base $\tau$.

4. Significado e Impacto

• Generalización de un Clásico: El trabajo extiende exitosamente el Teorema de Midy, tradicionalmente restringido a bases enteras, al dominio de las bases no enteras, demostrando que el fenómeno de "suma de mitades" es una propiedad estructural más profunda relacionada con la aritmética modular y la dinámica de la transformación $\beta$.
• Conexión con Números de Fibonacci: Proporciona una caracterización elegante y completa de qué denominadores primos exhiben esta propiedad en la base áurea, vinculando directamente la teoría de números (residuos cuadráticos, leyes de reciprocidad) con las propiedades de divisibilidad de la sucesión de Fibonacci.
• Herramientas Algebraicas: Introduce el uso de matrices de compañeros y sus potencias módulo $q$ como una herramienta poderosa para analizar la periodicidad y las propiedades de suma en sistemas de numeración no estándar.
• Apertura de Nuevas Líneas de Investigación: Los autores discuten la posibilidad de generalizar estos resultados a otras bases de Pisot cuadráticas (raíces de $X^2 - mX - 1$) y mencionan hallazgos preliminares en bases cúbicas y cuárticas, sugiriendo que la propiedad de Midy puede ser más común de lo que se pensaba en sistemas no enteros, siempre que se cumplan ciertas condiciones de norma y periodicidad.

En resumen, el artículo establece un puente sólido entre la teoría de números clásica, los sistemas de numeración no estándar y la teoría de matrices, ofreciendo una comprensión profunda de cómo la estructura algebraica de la base influye en las propiedades aritméticas de las fracciones racionales.