{"id":"arxiv/2601.21034","url":"https://arxiv.org/abs/2601.21034","tags":["math.NT"],"score":0,"title":"A proof of Spence's formula using the reciprocity law for Dedekind sums","domain":"math.NT","source":"arxiv","authors":["Steven Brown"],"reviews":0,"subject":"math.NT","summary":"In 1963, Edward Spence published a proof of the following With $φ$ being Euler totient function, if $n>1$ is an integer, and if \\begin{equation*} 0<a_1<\\cdots<a_{φ(n)}<n, \\end{equation*} are the positive integers less than $n$, coprime with $n$, then \\begin{equation*} \\sum_{j=1}^{φ(n)}ja_j = \\frac{φ(n)}{24}\\left(8nφ(n)+6n+2φ(m)(-1)^{ω(m)}-2^{ω(m)}\\right), \\end{equation*} where $m$ is the square-free part of $n$ and $ω(m)$ is the number of prime factors of $m$. Spence's proof relies on an ingenious observation considering Nagell's totient function. Later in 1971, Lucien Van Hamme provided an…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-28","reactions":{}}