A proof of Spence's formula using the reciprocity law for Dedekind sums
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.21034
curl -X POST /api/v1/records/arxiv/2601.21034/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.21034/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'