A class of arithmetical identities. (Q572046)

Verf. knüpft an Ergebnisse von \textit{J. V. Uspensky} (Bulletin A. M. S. 36 (1930), 743-754; F. d. M. \(56_{\text{II}}\), 873) an. Er beweist: Es seien \(\mu\) und \(\nu\) beliebig reell, \(F\) und \(\varphi\) beliebige Funktionen von \(x, y, z\) mit \[ \begin{matrix} F(X,Y,Z) + F(X, -Y, -Z) + F(-X,Y,Z) + F(-X, -Y, -Z)= 0, \\ \varphi(X, -Y, -Z) = \varphi(X,Y,Z), \quad \varphi(-X,Y,Z) = \varphi(X,Y,Z). \end{matrix} \] Ferner sei \[ S = \sum F(y + z, \, z-y, \, x), \] wobei die Summe zu erstrecken ist über alle ganzen \(x\), \(y\), \(z\) mit \[ \varphi(x+y, z-y, x) = n, \quad \nu x + \mu y - \mu z \neq 0, \quad y >0, \quad z >0 \] bei gegebenem \(n\), und \[ S^\prime = \sum \{F(\xi, \eta, \zeta) + F(\xi, -\eta, -\zeta)\}, \] wobei über alle ganzen \(\xi\), \(\eta\), \(\zeta\) mit \[ \varphi(\xi, \eta, \zeta) = n, \quad \xi\equiv \eta \;(\text{mod } 2), \quad \xi > \eta, \quad \mu \eta > \nu \zeta, \quad \xi + \eta \neq 0 \] zu summieren ist. Dann ist \(S = S^\prime\).