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

Este artigo estende o Teorema de Midy para bases numéricas não inteiras introduzidas por Rényi, definindo a propriedade de Midy para bases reais gerais, derivando condições necessárias para sua validade e caracterizando os denominadores primos que satisfazem essa propriedade quando a base é a razão áurea.

O essencial

Imagine que você está jogando com números, mas em vez de usar a régua comum (o sistema decimal, base 10), você está usando uma régua mágica feita de "números de ouro".

Este artigo de pesquisa é como um mapa de tesouro que descobre um padrão escondido e divertido que acontece quando dividimos números nessas réguas especiais. Vamos desvendar isso juntos, passo a passo, usando analogias simples.

1. O Mistério Original: O Truque do Nove

Para entender o novo, precisamos lembrar do velho. No nosso sistema normal (base 10), se você dividir 1 por 7, você obtém um número decimal que se repete para sempre:
$1/7 = 0,142857142857...$

O padrão é 142857.
Aqui está a mágica antiga (o Teorema de Midy): Se você dividir esse padrão ao meio (142 e 857) e somá-los:
$142 + 857 = 999$.

É como se as duas metades do número se completassem para formar "noves" infinitos. Os matemáticos descobriram que isso acontece com muitos números primos. É um truque de mágica que diverte matemáticos há séculos.

2. A Nova Régua: O "Número de Ouro"

Os autores deste artigo, Zuzana e Edita, perguntaram: "E se usarmos uma régua diferente? E se a base não for 10, mas sim o Número de Ouro (aproximadamente 1,618)?"

O Número de Ouro ($\tau$) é famoso na natureza (nas conchas de caracóis, nas pétalas de flores). Ele tem uma propriedade estranha: $1,618^2 = 1,618 + 1$.
Neste sistema, só podemos usar os dígitos 0 e 1 (como um código binário, mas com uma lógica diferente).

A pergunta deles foi: "Se dividirmos um número por 7 usando essa régua de ouro, as duas metades do padrão repetitivo ainda vão somar algo especial?"

3. A Descoberta: O "Espelho" Perfeito

A resposta é sim! E é ainda mais bonito.

Quando eles dividiram $3/7$ no sistema de ouro, o padrão repetitivo tinha 16 dígitos.

• A primeira metade era: 01000010
• A segunda metade era: 01010010

Se você "somar" essas duas metades (usando as regras de adição desse sistema especial), o resultado é uma sequência que se parece com o "nove" do sistema de ouro: 10101010.

A Analogia do Espelho:
Imagine que o padrão repetitivo é um espelho.

• No sistema decimal (base 10), as duas metades do espelho somam para criar um espelho cheio de "noves" (999...).
• No sistema de ouro (base $\tau$), as duas metades somam para criar um espelho cheio de "dezes e uns" alternados (101010...), que é o equivalente ao "nove" nesse mundo.

4. O Segredo: Os Números de Fibonacci

Como eles descobriram quais números funcionam? Eles usaram os Números de Fibonacci (0, 1, 1, 2, 3, 5, 8, 13, 21...).

Pense nos números de Fibonacci como uma "chave mestra".

• O artigo mostra que, para o sistema de ouro, um número $q$ (o denominador da fração) tem esse truque mágico se ele estiver "casado" com os números de Fibonacci de uma maneira específica.
• Se você pegar um número primo e ele "resonar" com a sequência de Fibonacci de um jeito certo, o truque do espelho funciona.
• Eles criaram regras para dizer: "Se o seu número for primo e deixar um resto de 2 ou 3 quando dividido por 5, o truque sempre funciona!"

5. Por que isso importa?

Pode parecer apenas um jogo de matemática, mas é assim que a ciência funciona:

1. Curiosidade: Começa com "será que isso acontece em outros lugares?".
2. Padrões: Descobrir que a natureza (o Número de Ouro) e a matemática (Fibonacci) estão conectadas de formas inesperadas.
3. Generalização: Eles provaram que esse truque não é só para o 10, mas pode existir em qualquer sistema numérico, desde que você saiba as regras do jogo.

Resumo em uma frase

Os autores descobriram que o truque matemático antigo de somar metades de números para obter "noves" também funciona no sistema do Número de Ouro, e que a chave para saber quais números fazem isso está escondida na famosa sequência de Fibonacci.

É como se o universo tivesse dito: "Não importa qual régua você use, se você olhar com atenção, encontrará padrões de beleza e simetria."

Resumo técnico

1. Problema e Contexto

O Teorema de Midy clássico descreve uma propriedade curiosa das frações $p/q$ (onde $q$ é primo) na representação decimal (base 10). Se o período da expansão decimal for de comprimento par $2n$, a soma das duas metades do período resulta em um número composto apenas pelo dígito 9 repetido$n$vezes (ou seja,$10^n - 1$).

O objetivo deste trabalho é generalizar esse fenômeno para sistemas de numeração com bases não inteiras ($\beta > 1$), especificamente introduzidos por Rényi. O foco principal é investigar se uma propriedade análoga ao Teorema de Midy existe para o número áureo $\tau = \frac{1+\sqrt{5}}{2} \approx 1.618$, onde os dígitos permitidos são apenas 0 e 1.

O problema central é:

1. Definir formalmente a "propriedade de Midy" para uma base real arbitrária $\beta$.
2. Estabelecer condições necessárias e suficientes para que um denominador $q$ satisfaça essa propriedade em base $\tau$.
3. Caracterizar quais números primos $q$ possuem essa propriedade, explorando a conexão com a divisibilidade dos números de Fibonacci.

2. Metodologia

Os autores utilizam uma abordagem que combina teoria dos números, sistemas dinâmicos e álgebra linear:

• Expansões $\beta$: Utilizam o algoritmo ganancioso (greedy algorithm) para gerar expansões $\beta$ de números racionais. Para o caso de $\tau$, a expansão é puramente periódica para qualquer racional em $(0,1)$.
• Transformação $\beta$: Definem a transformação $T_\beta(x) = \beta x - \lfloor \beta x \rfloor$ para analisar o comportamento periódico das frações.
• Matrizes Companheiras: Aproveitam a estrutura algébrica de $\tau$ (raiz de $X^2 - X - 1$) para representar a iteração da transformação $T_\tau$ através de potências da matriz companheira $C = \begin{pmatrix} 0 & 1 \\ 1 & 1 \end{pmatrix}$.
• Teoria de Campos Finitos: Para caracterizar primos, analisam o comportamento da matriz $C$ módulo $q$ no campo finito $\mathbb{Z}_q$, utilizando símbolos de Legendre e a Lei da Reciprocidade Quadrática.
• Propriedades de Fibonacci: Conectam as potências da matriz $C$ à sequência de Fibonacci ($F_n$), já que $C^n = \begin{pmatrix} F_{n-1} & F_n \\ F_n & F_{n+1} \end{pmatrix}$.

3. Definição da Propriedade de Midy em Base $\beta$

O artigo define formalmente que um inteiro $q$ possui a propriedade de Midy na base $\beta$ se existir um numerador $p$ (coprimo com $q$) tal que:

1. A expansão $\beta$ de $p/q$ é puramente periódica com período mínimo de comprimento par $2n$.
2. Se dividirmos o período em duas metades, interpretadas como números inteiros em base $\beta$ ($x$ e $y$), a soma satisfaz:
   $$x + y = \beta^n - 1$$
   No caso de $\tau$, isso significa que a soma das metades é uma potência de $\tau$ menos 1, cuja expansão em base $\tau$ é uma sequência de "10" repetidos (prefixo da expansão quase-gananciosa de 1).

4. Resultados Principais

A. Condição Necessária (Teorema 3.2)

Para que $q$ tenha a propriedade de Midy em uma base algébrica $\beta$ de grau $d$, deve existir um inteiro positivo $N$ tal que:
$$C^N \equiv -I \pmod q$$
Onde $C$ é a matriz companheira de $\beta$ e $I$ é a matriz identidade.

• Consequência: Se $\beta$ tem grau ímpar e norma 1, nenhum $q$ satisfaz a propriedade (pois $\det(-I) = -1$ enquanto $\det(C^N)=1$). Isso elimina, por exemplo, a base Tribonacci.

B. Condição Suficiente para o Número Áureo $\tau$ (Teorema 4.1)

Para a base $\tau$, a condição necessária acima é também suficiente. Se $C^N \equiv -I \pmod q$, então todo $p \in \{1, \dots, q-1\}$ testemunha a propriedade de Midy para $q$.

• Isso implica que o período mínimo $d$ é divisível por 4 e a soma das metades é $\tau^{d/2} - 1$.

C. Caracterização via Números de Fibonacci (Corolário 4.5)

A propriedade de Midy para $q$ em base $\tau$ está diretamente ligada à divisibilidade de números de Fibonacci:

• Se $q$ divide $F_{2n-1}$ (para $n \ge 3$), então $q$ tem a propriedade de Midy.
• Se $q$ é múltiplo de $F_{2n}$ (para $n \ge 3$), então $q$ não tem a propriedade de Midy.

D. Caracterização de Números Primos (Seção 5)

Os autores classificam os primos $q$ baseados no símbolo de Legendre $\left(\frac{5}{q}\right)$:

1. Caso $q \equiv \pm 2 \pmod 5$:
   • Nestes casos, $q$ sempre possui a propriedade de Midy.
   • Exemplos: $q=2, 3, 7, 13, 17, 23, \dots$ (incluindo primos de Mersenne onde o expoente $s \equiv 3 \pmod 4$).
2. Caso $q \equiv \pm 1 \pmod 5$:
   • A propriedade depende da estrutura do grupo multiplicativo de $\mathbb{Z}_q$.
   • Se $q-1 = 2^k \cdot \ell$ (com $\ell$ ímpar), $q$ tem a propriedade se e somente se alguma matriz na sequência $C^{2\ell}, C^{4\ell}, \dots, C^{2^{k-1}\ell}$ for congruente a $-I \pmod q$.
   • Contra-exemplo: Primos como 101 e 29 não possuem a propriedade, enquanto 41 e 109 possuem.
   • Primos de Mersenne com expoente $s \equiv 1 \pmod 4$ (resultando em $q \equiv -1 \pmod{20}$) não possuem a propriedade.

5. Contribuições e Significância

• Generalização Teórica: O trabalho estabelece a primeira extensão rigorosa do Teorema de Midy para bases não inteiras, demonstrando que o fenômeno não é exclusivo de bases inteiras como 10.
• Conexão Algébrica: Revela uma ligação profunda entre a propriedade de Midy em base $\tau$ e a teoria dos números de Fibonacci, transformando um problema de expansão de dígitos em um problema de ordem de matrizes e divisibilidade de sequências recursivas.
• Classificação Completa de Primos: Fornece um critério algorítmico e teórico para determinar quais primos satisfazem a propriedade em base $\tau$, distinguindo claramente entre classes de congruência módulo 5 e 20.
• Aplicações em Sistemas Dinâmicos: O uso da transformação de Rényi e da análise de campos finitos oferece novas ferramentas para estudar a periodicidade de expansões em bases irracionais.

6. Conclusão

O artigo demonstra que a "propriedade dos noves" (ou sua análoga em base $\tau$) é um fenômeno robusto que pode ser caracterizado puramente através de propriedades algébricas da base e da aritmética modular do denominador. Para o número áureo, a existência da propriedade de Midy para um primo $q$ é garantida se $q \equiv \pm 2 \pmod 5$, enquanto para $q \equiv \pm 1 \pmod 5$, a existência depende de condições mais sutis relacionadas à ordem dos elementos no grupo multiplicativo de $\mathbb{Z}_q$. O trabalho abre caminho para investigações similares em outras bases de Pisot.