Note on sums of four squares. (Q2620141)

Es seien \(a_0,b_0,a_i,b_i,a'_i,b'_i,w_i,x_i,y_i,x'_i,y'_i \;(i = 1,2,3,4)\) ganze rationale Zahlen und \[ \sum a_i = 2a_0, \sum b_i = 2b_0, a_i + a'_i = a_0, b_i + b'_i + b_0, \] \[ \sum x_i \equiv 0, \;\sum y_i \equiv 1 \^^M(\mod 2), \] \[ \sum x_i = x'_j + 2x_j,\;\sum y_i = y'_j + 2y_j \;(i,j = 1,2,3,4). \] Es sei \(f(z_1,z_2,z_3,z_4)(=f(z))\) eine für ganzzahlige Werte den Veränderlichen definierte Funktion. Dann ist \[ \sum (-1)^{\sum b_iw_i} f(2w + a) = \sum (-1)^{\sum b'_ix_i} f(x' + a) + (-1)^{b_0} \sum (-1)^{\sum b'_i y_i} f(y' + a + 1), \] wo die Summen erstreckt werden müssen über sämtliche Lösungen von \[ n = \sum (2w_i + a_i)^2 = \sum (2x_i + a'_i)^2 = \sum (2y_i + a'_i + 1)^2 \;(i = 1,2,3,4), \] wo \(n\) eine natürliche Zahl ist. Diese arithmetische Formel ist ``äquivalent'' mit den bekannten \textit{Jacobis}chen Formeln (Werke I, 505) für die Produkte von vier Thetafunktionen. Verf. behauptet weiter: Die von \textit{Basoco} erhaltenen Identitäten zwischen Thetakonstanten (Note on certain theta constants, Tôhoku Math. Journ. 35 (1932), 60-63; F. d. M. 58) sind ``äquivalent'' mit der folgenden Aussage: falls \[ \sum _{i=1}^n x_i^s = \sum _{i=1}^n y_i^s \] (\(x_i\) und \(y_i\) ganz rational) für unendlich viele \(s\) (positiv, ganz), so stimmen die \(x_i\) mit den \(y_i\) überein.