Resumo Técnico: Progressões Aritméticas de Inteiros Relativamente Primos às suas Somas Digitais

1. O Problema

O artigo investiga uma propriedade aritmética relacionada à representação de números em diferentes bases. Define-se um número inteiro positivo $n$ como $b$-anti-Niven se ele for relativamente primo à soma de seus dígitos na base $b$ (ou seja, $\gcd(n, s_b(n)) = 1$, onde $s_b(n)$ é a soma dos dígitos de $n$ na base $b$).

O objetivo central da pesquisa é determinar o comprimento máximo de Progressões Aritméticas (PAs) compostas exclusivamente por números $b$-anti-Niven. O estudo foca em PAs de razão $d$ (denotadas como $d$-APs) e analisa como o comprimento dessas sequências é limitado pelo valor da base $b$ e pela razão $d$.

2. Metodologia

Os autores utilizam uma combinação de teoria dos números elementar, análise de densidade e construções combinatórias. A metodologia baseia-se em:

• Lemas de Congruência: Utilização de propriedades de divisibilidade relacionadas à soma dos dígitos (ex: $n \equiv s_b(n) \pmod{\delta}$ se $\delta | (b-1)$).
• Teoremas de Existência: Aplicação de resultados prévios sobre a densidade de conjuntos de números anti-Niven e a existência de números Niven em progressões infinitas.
• Construções de Sequências: Uso do Teorema de Euler e do Lema de Dirichlet para construir infinitas sequências de comprimentos específicos que satisfaçam as condições de coprimalidade exigidas.
• Análise de Intervalos: Para estabelecer limites superiores, os autores analisam a distribuição de termos de uma PA dentro de intervalos de potência da base $b$ ($[ab, (a+1)b-1]$), utilizando argumentos de paridade e divisibilidade por primos pequenos.

3. Principais Contribuições e Resultados

O artigo apresenta resultados fundamentais divididos em três categorias:

A. Existência e Limites Gerais

• Inexistência de PAs Infinitas: Demonstram que não existe nenhuma progressão aritmética de comprimento infinito composta apenas por números $b$-anti-Niven (Teorema 2.3).
• Comprimentos Arbitrários: Provam que, para qualquer comprimento $t$ desejado, existem valores de $n$ e $d$ que formam uma $d$-AP de comprimento $t$ composta apenas por números $b$-anti-Niven (Teorema 2.4).
• Limite Superior por Primos: Estabelecem que, se $p$ é o menor primo tal que $p | (b-1)$ e $p \nmid d$, então o comprimento máximo de uma $d$-AP de números $b$-anti-Niven é $p-1$ (Teorema 2.5).

B. Casos Específicos de Razão $d$

• PAs de Razão 1 (Consecutivos): Para $b > 2$, o comprimento máximo de uma sequência de números $b$-anti-Niven consecutivos é $p-1$, onde $p$ é o menor primo divisor de $b-1$. Eles provam que essas sequências ocorrem infinitas vezes (Teorema 3.2).
• PAs de Razão 2: Investigam o caso onde a razão é 2, estabelecendo limites e garantindo a existência infinita de tais sequências sob certas condições de paridade da base (Teorema 3.3).
• PAs de Razão $(b-1)$: Para bases pares, o comprimento máximo é $2b+1$, e este limite é alcançado infinitas vezes (Teorema 3.5).

C. Limites Superiores e Conjecturas

• Limites para Bases Pares: Para bases pares $b \geq 6$ e razões ímpares $3 \leq d \leq b/2$, o comprimento máximo é limitado por $\lceil 2b/d \rceil + 2$ (Teorema 3.4).
• Conjecturas: Os autores propõem que certos limites superiores são alcançáveis para infinitos pares $(b, d)$ e que o limite de $p-1$ se aplica a razões pares em bases ímpares.

4. Significância

Este trabalho expande o conhecimento sobre a distribuição de números com propriedades digitais específicas. Enquanto a literatura clássica foca em números Niven (onde a soma dos dígitos divide o número), este artigo inverte o problema para o caso de coprimalidade (anti-Niven).

A pesquisa é significativa por:

1. Fornecer uma caracterização completa da existência de PAs infinitas (provando que elas não existem).
2. Estabelecer uma ponte entre a estrutura aditiva (progressões aritméticas) e a estrutura digital (soma de dígitos).
3. Oferecer limites precisos que dependem da estrutura de divisores da base $b$, o que é crucial para a teoria analítica dos números e para o estudo de propriedades digitais de inteiros.