🔢 mathematics

A proof of Spence's formula using the reciprocity law for Dedekind sums

Este artigo apresenta uma nova prova da fórmula de Spence de 1963 para a soma dos produtos de inteiros coprimos menores que $n$ e seus índices, utilizando a lei de reciprocidade para somas de Dedekind como uma alternativa aos métodos anteriores envolvendo a função totiente de Nagell ou análise de Fourier.

Autores originais: Steven Brown

Publicado 2026-01-30

📖 3 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Steven Brown

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

A Visão Geral: Uma Nova Maneira de Contar

Imagine que você tem um número grande, vamos chamá-lo de $n$ . Agora, imagine um clube de "números especiais" que são menores que $n$ e têm uma relação muito específica com ele: eles não compartilham nenhum fator comum com $n$ (matemáticos chamam isso de "coprimos").

Se você listar esses números especiais em ordem, do menor para o maior, você obtém uma sequência: $a_1, a_2, a_3, \dots$ .

Em 1963, um matemático chamado Edward Spence descobriu uma fórmula mágica. Essa fórmula permite calcular a soma desses números, mas com um toque: você multiplica cada número pela sua posição na fila.

Pegue o primeiro número ( $a_1$ ) e multiplique por 1.
Pegue o segundo número ( $a_2$ ) e multiplifique por 2.
Faça isso para toda a lista e some todos eles.

Spence descobriu que essa soma total não é aleatória; ela segue um padrão preciso baseado no tamanho de $n$ e em quantos fatores primos ele possui.

O Problema: Spence provou isso em 1963, e outro matemático (Lucien Van Hamme) provou novamente em 1971 usando um método diferente (análise de Fourier, que é como decompor uma onda sonora em suas notas).

O Objetivo Deste Artigo: Steven Brown quer provar essa mesma fórmula uma terceira vez, mas usando uma ferramenta completamente diferente: as somas de Dedekind e sua "Lei de Reciprocidade".

As Ferramentas do Ofício

Para entender a prova de Brown, precisamos entender as três principais ferramentas que ele utiliza, as quais ele trata como ingredientes de uma receita.

1. O "Filtro" (O Clube dos Coprimos)

Brown começa analisando a lista de números especiais ( $a_1$ a $a_{\phi(n)}$ ). Em vez de tentar forçá-los à ordem imediatamente, ele usa um "filtro" matemático (chamado de função $\theta_n$ ).

Analogia: Imagine que você tem um balde de mármores misturados. Você quer contar apenas os vermelhos. Em vez de separá-los um por um, você despeja o balde através de uma peneira que só deixa passar os mármores vermelhos. Esta função $\theta_n$ atua como essa peneira, contando quantos números válidos existem até um certo ponto sem se preocupar com sua ordem específica ainda.

2. A "Parte Fracionária" (As Migalhas Restantes)

Na matemática, quando você divide um número, você obtém um número inteiro e uma "parte fracionária" (as sobras). Por exemplo, $7 \div 3 = 2$ com uma sobra de $1/3$ .
Brown foca intensamente nessas "sobras". Ele usa uma notação especial, $((x))$ , que mede o quão longe um número está do meio-inteiro mais próximo.

Analogia: Pense em um relógio. A "parte fracionária" é onde o ponteiro está entre os números. Brown está interessado na simetria dessas posições. Ele usa um

Resumo Técnico de "A proof of Spence's formula using the reciprocity law for Dedekind sums"

Enunciado do Problema
O artigo aborda a avaliação da soma ponderada de inteiros coprimos a um determinado inteiro $n$ . Especificamente, seja $n > 1$ um inteiro, e sejam $0 < a_1 < a_2 < \dots < a_{\phi(n)} < n$ os inteiros positivos menores que $n$ que são coprimos a $n$ , dispostos em ordem crescente. O objetivo é calcular a soma:
$\sum_{j=1}^{\phi(n)} j a_j$
Esta fórmula foi originalmente estabelecida por Edward Spence em 1963 e posteriormente comprovada por Lucien Van Hamme em 1971 usando análise de Fourier. O artigo visa fornecer uma terceira prova distinta utilizando a teoria das somas de Dedekind.

Metodologia
O autor, Steven Brown, emprega um método fundamentado na teoria analítica dos números, especificamente alavancando as propriedades das somas de Dedekind e a fórmula de inversão de Möbius. A prova procede através dos seguintes passos lógicos:

Reformulação via Funções de Contagem:
Em vez de somar sobre os índices ordenados $j$ , o autor reescreve a soma alvo usando a função $\theta_n(x)$ , que conta o número de inteiros coprimos a $n$ menores ou iguais a $x$ . Isso permite que a soma seja expressa sobre o conjunto $U(n)$ de inteiros coprimos sem referência explícita à sua ordenação:
$\sum_{j=1}^{\phi(n)} j a_j = \sum_{a \in U(n)} \theta_n(a) a$
Decomposição via Partes Fracionárias:
Usando a identidade $\theta_n(x) + \nu_n(x) = x\phi(n)/n$ , onde $\nu_n(x)$ envolve partes fracionárias $\{x/d\}$ , o problema é decomposto. O termo envolvendo $\nu_n(a)$ é isolado. O autor expressa a parte fracionária $\{a/d\}$ em termos da função dente-de-serra $((x)) = \{x\} - 1/2$ (para não inteiros) e utiliza a propriedade de que $\sum_{a \in U(n)} ((a/d)) = 0$ .
Introdução de Somas de Dedekind:
O termo restante envolve uma soma dupla sobre divisores $d_1, d_2$ de $n$ contendo produtos de funções dente-de-serra. Esta estrutura é identificada como uma combinação linear de somas de Dedekind clássicas, denotadas por $s(b, a)$ . A expressão é transformada em:
$S(n) = n \sum_{d_1|n} \sum_{d_2|n} \mu(d_1)\mu(d_2) s\left(\frac{n}{d_1}, \frac{n}{d_2}\right)$
Aplicação da Lei de Reciprocidade:
O núcleo da prova utiliza a simetria da soma e a lei de reciprocidade de Dedekind. Ao agrupar termos $s(b, a)$ e $s(a, b)$ , o autor aplica a fórmula de reciprocidade:
$$ s

A Visão Geral: Uma Nova Maneira de Contar

As Ferramentas do Ofício

1. O "Filtro" (O Clube dos Coprimos)

2. A "Parte Fracionária" (As Migalhas Restantes)

Mais como este