On a Conjecture about Sums Involving Farey Fractions

In this paper, we prove a conjecture by Daniele Mundici on the sum of squared distances between consecutive elements in the $Q$-th Farey sequence for $Q\in \mathbb{Z}$ and $Q\ge 2$.