Verallgemeinerung einer Beziehung zwischen vier Dedekindsummen (Q2531329)

Für die durch \[ s(a,c) = \sum_{\nu=1}^{\vert c\vert} \left(\left(\frac{\nu}{c}\right)\right) \left(\left(\frac{a\nu}{c}\right)\right); \quad ((x)) = \begin{cases} \qquad 0 &; \quad x \text{ ganz-rational}, \\ x- [x] - \tfrac12 &; \quad\text{sonst} \end{cases} \] für beliebige ganz-rationale Zahlenpaare \(a,c\) mit \(c\ne 0\) definierten Dedekindsummen gilt ganz allgemein die Beziehung \[ 3s(a,c) = s(2a,c) + s(a,2c) + s(a + c,2c); \quad c\ne 0, \] die in der Literatur unter verschiedenen einschränkenden Bedingungen zu finden ist.