🔢 mathematics

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

Este artículo presenta una nueva demostración de la fórmula de Spence de 1963 para la suma de productos de enteros coprimos menores que $n$ y sus índices, utilizando la ley de reciprocidad para las sumas de Dedekind como una alternativa a los métodos previos que involucran la función totiente de Nagell o el análisis de Fourier.

Autores originales: Steven Brown

Publicado 2026-01-30

📖 3 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Steven Brown

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

La visión general: Una nueva forma de contar

Imagina que tienes un número grande, llamémoslo $n$ . Ahora, imagina un club de "números especiales" que son menores que $n$ y tienen una relación muy específica con él: no comparten ningún factor común con $n$ (los matemáticos llaman a esto "coprimos").

Si haces una lista de estos números especiales en orden, del más pequeño al más grande, obtienes una secuencia: $a_1, a_2, a_3, \dots$ .

En 1963, un matemático llamado Edward Spence descubrió una fórmula mágica. Esta fórmula te permite calcular la suma de estos números, pero con un giro: multiplicas cada número por su posición en la fila.

Toma el primer número ( $a_1$ ) y multiplícalo por 1.
Toma el segundo número ( $a_2$ ) y multiplícalo por 2.
Haz esto con toda la lista y súmalos todos.

Spence descubrió que esta suma total no es aleatoria; sigue un patrón preciso basado en el tamaño de $n$ y en cuántos factores primos tiene.

El Problema: Spence demostró esto en 1963, y otro matemático (Lucien Van Hamme) lo demostró de nuevo en 1971 utilizando un método diferente (análisis de Fourier, que es como descomponer una onda sonora en sus notas).

El Objetivo de este Artículo: Steven Brown quiere demostrar esta misma fórmula por tercera vez, pero utilizando una herramienta completamente diferente: las sumas de Dedekind y su "Ley de Reciprocidad".

Las herramientas del oficio

Para entender la demostración de Brown, necesitamos entender las tres herramientas principales que utiliza, las cuales trata como ingredientes en una receta.

1. El "Filtro" (El Club de los Coprimos)

Brown comienza analizando la lista de números especiales ( $a_1$ a $a_{\phi(n)}$ ). En lugar de intentar forzarlos en un orden inmediatamente, utiliza un "filtro" matemático (llamado la función $\theta_n$ ).

Analogía: Imagina que tienes un cubo de canicas mezcladas. Quieres contar solo las rojas. En lugar de clasificarlas una por una, pasas el cubo a través de un tamiz que solo deja pasar las canicas rojas. Esta función $\theta_n$ actúa como ese tamiz, contando cuántos números válidos existen hasta cierto punto sin preocuparse todavía por su orden específico.

2. La "Parte Fraccionaria" (Las Migajas Sobrantes)

En matemáticas, cuando divides un número, obtienes un número entero y una "parte fraccionaria" (lo que sobra). Por ejemplo, $7 \div 3 = 2$ con un sobrante de $1/3$ .
Brown se centra intensamente en estos "sobrantes". Utiliza una notación especial, $((x))$ , que mide qué tan lejos está un número del medio entero más cercano.

Analogía: Piensa en un reloj. La "parte fraccionaria" es dónde se encuentra la manecilla entre los números. Brown está interesado en la simetría de estas posiciones. Él usa una

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

Planteamiento del Problema
El artículo aborda la evaluación de la suma ponderada de enteros coprimos con un entero dado $n$ . Específicamente, sea $n > 1$ un entero, y sean $0 < a_1 < a_2 < \dots < a_{\phi(n)} < n$ los enteros positivos menores que $n$ que son coprimos con $n$ , dispuestos en orden ascendente. El objetivo es calcular la suma:
$\sum_{j=1}^{\phi(n)} j a_j$
Esta fórmula fue establecida originalmente por Edward Spence en 1963 y posteriormente demostrada de nuevo por Lucien Van Hamme en 1971 utilizando análisis de Fourier. El artículo tiene como objetivo proporcionar una tercera demostración distinta utilizando la teoría de las sumas de Dedekind.

Metodología
El autor, Steven Brown, emplea un método basado en la teoría analítica de números, específicamente aprovechando las propiedades de las sumas de Dedekind y la fórmula de inversión de Möbius. La demostración procede a través de los siguientes pasos lógicos:

Reformulación mediante Funciones de Conteo:
En lugar de sumar sobre los índices ordenados $j$ , el autor reescribe la suma objetivo utilizando la función $\theta_n(x)$ , que cuenta el número de enteros coprimos con $n$ menores o iguales a $x$ . Esto permite expresar la suma sobre el conjunto $U(n)$ de enteros coprimos sin referencia explícita a su ordenación:
$\sum_{j=1}^{\phi(n)} j a_j = \sum_{a \in U(n)} \theta_n(a) a$
Descomposición mediante Partes Fraccionarias:
Utilizando la identidad $\theta_n(x) + \nu_n(x) = x\phi(n)/n$ , donde $\nu_n(x)$ involucra partes fraccionarias $\{x/d\}$ , el problema se descompone. El término que involucra a $\nu_n(a)$ se aísla. El autor expresa la parte fraccionaria $\{a/d\}$ en términos de la función de diente de sierra $((x)) = \{x\} - 1/2$ (para no enteros) y utiliza la propiedad de que $\sum_{a \in U(n)} ((a/d)) = 0$ .
Introducción de las Sumas de Dedekind:
El término restante involucra una doble suma sobre divisores $d_1, d_2$ de $n$ que contienen productos de funciones de diente de sierra. Esta estructura se identifica como una combinación lineal de sumas de Dedekind clásicas, denotadas como $s(b, a)$ . La expresión se transforma en:
$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)$
Aplicación de la Ley de Reciprocidad:
El núcleo de la demostración utiliza la simetría de la suma y la ley de reciprocidad de Dedekind. Al agrupar los términos $s(b, a)$ y $s(a, b)$ , el autor aplica la fórmula de reciprocidad:
$$ s

La visión general: Una nueva forma de contar

Las herramientas del oficio

1. El "Filtro" (El Club de los Coprimos)

2. La "Parte Fraccionaria" (Las Migajas Sobrantes)

Más como este