🔢 mathematics

On a problem on a generalization of Euler's totient function

Este artigo prova a conjectura de Büyükaşık et al. de que o conjunto de inteiros $k \geq 1$ para os quais $\varphi_1(n)$ divide $\varphi_k(n)$ para todo $n$ é exatamente $\{1, 3, 15\}$ , utilizando uma estratégia de prova desenvolvida por meio de interações extensas com o GPT-5.5 Pro.

Autores originais: John M. Campbell

Publicado 2026-06-02

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: John M. Campbell

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 caixa gigante e infinita de azulejos numerados, de 1 a $n$ . Alguns desses azulejos são "especiais" porque não compartilham nenhum fator comum com o número $n$ (além de 1). Matemáticos chamam esses números de "coprimos".

O nome desses números é "coprimos".

A Função Totiente de Euler ( $\phi$ ) é uma regra famosa que existe há séculos. Ela simplesmente conta quantos azulejos especiais estão na caixa. Se você tiver 10 azulejos, os especiais são 1, 3, 7 e 9, então a resposta é 4.

O Novo Jogo: Somando Potências

Neste artigo, o autor (John Campbell) e alguns colegas estão jogando um jogo mais complexo com esses mesmos azulejos especiais. Em vez de apenas contá-los, eles perguntam: "O que acontece se elevarmos cada azulejo especial a uma potência $k$ e somarmos todos eles?"

Se $k=0$ , estamos apenas contando (a regra original).
Se $k=1$ , somamos os números: $1 + 3 + 7 + 9$ .
Se $k=2$ , elevamos ao quadrado: $1^2 + 3^2 + 7^2 + 9^2$ .

Essa soma é chamada de $\phi_k(n)$ .

A Grande Pergunta: O "Clube da Divisibilidade"

Os pesquisadores fizeram uma pergunta muito específica sobre essas somas. Eles queriam encontrar um "clube" especial de números (vamos chamá-lo de clube $D_1$ ).

A Regra para o Clube:
Um número $k$ entra no clube se, para cada um dos possíveis tamanhos de caixa $n$ , a soma dos azulejos especiais elevados à potência 1 ( $\phi_1$ ) sempre dividir exatamente a soma dos azulejos especiais elevados à potência $k$ ( $\phi_k$ ).

Pense nisso como se fosse assim: Se você tem um monte de biscoitos ( $\phi_1$ ), você sempre consegue dividir um monte maior de biscoitos ( $\phi_k$ ) em grupos exatos de números inteiros do primeiro monte, não importa quantos biscoitos haja no monte original?

O Mistério

Matemáticos anteriores (Büyükaşık et al.) fizeram um trabalho pesado. Eles provaram que o clube é finito (ele não continua para sempre) e realizaram alguns cálculos computacionais que sugeriram que o clube tem apenas três membros: 1, 3 e 15.

Eles disseram: "Temos 99% de certeza de que estes são os únicos, mas não podemos provar".

A Solução: Uma Parceria Humano-IA

John Campbell interveio para resolver o mistério. Ele usou uma mistura de ferramentas matemáticas profundas (como os números de Bernoulli, que são como códigos secretos escondidos em padrões numéricos) e um parceiro muito peculiar: o GPT-5.5 Pro, uma IA avançada.

Como eles resolveram:

O Trabalho de Detetive: Campbell não apenas adivinhou. Ele usou uma "armadilha" lógica. Ele mostrou que, se um número $k$ está no clube, ele deve seguir regras muito estritas.
O Requisito "Ímpar": Primeiro, ele provou que qualquer número no clube deve ser um número ímpar. Os números pares foram expulsos imediatamente.
O Filtro "Primo": Ele então usou uma série de testes lógicos envolvendo números primos (números divisíveis apenas por 1 e por eles mesmos). Ele mostrou que, se um número for grande demais ou tiver a "forma" errada, ele falha no teste de divisibilidade para algum tamanho de caixa $n$ específico.
A Eliminação:
- Ele provou que, se $k$ está no clube, $k+1$ deve ser uma potência de 2 (como 2, 4, 8, 16, 32...).
- Isso reduziu a lista para números como 3, 7, 15, 31, 63, etc.
- Depois, ele usou padrões mais complexos para mostrar que 7, 31, 63 e todos os números maiores falham no teste.
- Apenas 1, 3 e 15 sobreviveram ao processo de eliminação.

O Resultado

O artigo conclui que o "Clube da Divisibilidade" ( $D_1$ ) contém exatamente os números {1, 3, 15}. Nem mais, nem menos.

Uma Nota sobre a "IA"

O autor é muito transparente sobre como fez isso. Ele admite que teve conversas extensas com uma IA (GPT-5.5 Pro) para ajudar a planejar as etapas da prova. No entanto, ele enfatiza que a IA foi apenas uma ferramenta. O autor fez todo o trabalho pesado de checar, corrigir e verificar cada etapa individualmente. Ele assume total responsabilidade pela matemática, garantindo que a prova final seja sólida e verificada por humanos.

Em resumo: O artigo resolve um enigma de longa data sobre um tipo específico de padrão numérico, provando que apenas três números específicos possuem um "superpoder de divisibilidade" único, utilizando uma mistura de matemática tradicional e assistência de IA moderna.

Resumo Técnico de "Sobre um problema sobre uma generalização da função totiente de Euler"

Enunciado do Problema
Este artigo aborda uma conjectura relativa a uma família de generalizações da função totiente de Euler, $\phi(n)$ , introduzida por B¨uy¨uka¸sik et al. (2024). A função generalizada é definida como:
$\phi_k(n) = \sum_{\substack{1 \le a \le n \\ (a,n)=1}} a^k$
onde $\phi_0(n) = \phi(n)$ . Os autores definem o conjunto $D_s$ para um inteiro não negativo $s$ fixo como:
$D_s = \{k \ge s : \forall n \ge 1, \phi_s(n) \mid \phi_k(n)\}$
B¨uy¨uka¸sik et al. provaram que $D_s$ é finito para qualquer $s \ge 0$ e conjecturaram que $D_1 = \{1, 3, 15\}$ . Embora tenham fornecido evidências computacionais, a conjectura permanecia em aberto. O objetivo primário deste trabalho é fornecer uma prova rigorosa de que $D_1 = \{1, 3, 15\}$ .

Metodologia
A prova procede estabelecendo a inclusão reversa $D_1 \subseteq \{1, 3, 15\}$ , visto que a inclusão $\{1, 3, 15\} \subseteq D_1$ já havia sido estabelecida por B¨uy¨uka¸sik et al. A metodologia baseia-se em uma síntese de ferramentas clássicas da teoria dos números e um argumento estrutural novel envolvendo números e polinômios de Bernoulli.

Redução a Inteiros Ímpares: Os autores demonstram primeiro que, se $k \in D_1$ e $k > 1$ , então $k$ deve ser um número inteiro ímpar. Isso é derivado da condição $\phi_1(3) \mid \phi_k(3)$ , o que implica $3 \mid (1 + 2^k)$ , forçando $k$ a ser ímpar.
Somas de Bernoulli e Integralidade: O núcleo do argumento envolve a sequência $C_k(v)$ , definida via números de Bernoulli $B_{2j}$ :
$C_k(v) = \frac{2}{k+1} \sum_{j=0}^{(k-1)/2} \binom{k+1}{2j} B_{2j} (1-2j)^v$
Os autores provam um lema fundamental: se $C_k(v)$ é um inteiro para todo $v \ge 1$ , então para cada inteiro par $h \in [2, k-1]$ , a quantidade $\frac{2k!}{h!}B_h$ deve ser um inteiro.
Construção de Inteiros Livres de Quadrados: Para estabelecer que $C_k(v) \in \mathbb{Z}$ para todo $v$ , os autores utilizam o teorema de Dirichlet sobre primos em progressões aritméticas. Eles constroem inteiros livres de quadrados $n$ compostos por primos congruentes a $1 \pmod L$ (onde $L$ é o mínimo múltiplo comum dos denominadores de termos específicos de Bernoulli). Ao analisar a divisibilidade de $\phi_k(n)/\phi_1(n)$ para esses $n$ específicos, eles deduzem que $C_k(\omega(n))$ deve ser um inteiro, onde $\omega(n)$ é o número de fatores primos distintos de $n$ . Como $\omega(n)$ pode ser qualquer inteiro $v \ge 1$ , $C_k(v)$ é um inteiro para todo $v$ .
Aplicação do Teorema de von Staudt–Clausen: Utilizando a condição de integralidade derivada no passo anterior, os autores aplicam o teorema de von Staudt–Clausen, que caracteriza os denominadores dos números de Bernoulli. Isso leva a uma propriedade crítica: para qualquer par $h \in [2, k-1]$ e qualquer primo ímpar $p$ tal que $(p-1) \mid h$ , deve existir um múltiplo de $p$ no conjunto $\{h+1, \dots, k\}$ .
Contradições Modulares: Os autores traduzem essa propriedade em uma desigualdade estrita envolvendo resíduos modulares: para cada primo ímpar $p \le k$ $p \leq k$ ,
$k \pmod p < k \pmod{p-1}$
Ao testar primos específicos e analisar a estrutura de $k+1$ $k + 1$ , eles eliminam sistematicamente as possibilidades para $k$ $k$ :
- Eles provam que $k+1$ não pode ter divisores primos ímpares, implicando $k+1 = 2^a$ .
- Eles mostram que $a$ deve ser par, levando a $k = 2^{2\lambda} - 1$ .
- Através de aritmética modular com os primos $p=7, 11, 29$ , eles demonstram que $\lambda \ge 3$ leva a contradições com a desigualdade estrita derivada acima.

Principais Contribuições e Resultados

Prova da Conjectura: O artigo prova com sucesso que $D_1 = \{1, 3, 15\}$ .
Lema sobre Somas de Bernoulli: Os autores estabelecem uma nova conexão entre a integralidade de somas de Bernoulli específicas $C_k(v)$ e as propriedades de divisibilidade de fatoriais e números de Bernoulli.
Caracterização Estrutural: O trabalho fornece uma caracterização detalhada dos inteiros $k$ para os quais $\phi_1(n)$ divide $\phi_k(n)$ , reduzindo o problema a um conjunto finito de restrições modulares.

Significância e Alegações
O artigo afirma resolver uma conjectura de literatura recente (B¨uy¨uka¸sik et al., 2024). Os autores declaram explicitamente que a conjectura permanecia em aberto antes de seu trabalho. Uma característica distintiva da metodologia do artigo é sua dependência de "extensas interações com o GPT-5.5 Pro" durante as etapas exploratórias e de desenvolvimento da prova. O autor observa que, embora sugestões de IA tenham sido utilizadas, todo o conteúdo matemático foi substancialmente revisado, corrigido e verificado independentemente pelo autor humano, que assume total responsabilidade.

O artigo conclui modestamente, sugerindo que estender estas técnicas para avaliar $D_s$ para $s > 1$ representa uma direção natural para pesquisas futuras, sem propor aplicações experimentais específicas ou implicações mais amplas além do escopo deste problema aritmético.