On Euler's \(\varPhi\)-function \(^*)\). (Q1532898)

Der Verfasser beweist zunächst folgendes Theorem über die Umkehrung endlicher Reihen: Wenn \(f(a_1,a_2,\dots,a_k)\) irgend eine symmetrische Function der in beliebiger Anzahl vorhandenen Argumente \(a_1,a_2,\dots,a_k\) und \[ \begin{multlined} F(a_1,a_2,\dots,a_k)=f(a_1,a_2,\dots,a_k)+\sum_1f(a_2,a_3,\dots,a_k) +\sum_2f(a_3,a_4,\dots,a_k)\\ +\cdots+\sum_{n-1}f(a_1)+f(0)\end{multlined} \] ist, worin \(\sum\) eine auf jede Auswahl von \(n-r\) der Argumente \(a_1,a_2,\dots,a_k\) sich erstreckende Summation bedeutet, so ist umgekehrt \[ F(a_1,a_2,\dots,a_n)-\sum_1F(a_2,\dots,a_n)+\sum_2F(a_3,\dots,a_n) \] \[ -\dots+(-1)^{n-1}\sum_{n-1}F(a_1)+(-1)^nF(0)=f(a_1,a_2,\dots,a_k). \] Durch Specialisirung von \(f(a_1,a_2,\dots,a_k)\) ergiebt sich hieraus erstens der von Herrn R. W. D. Christie (Lond. M. S. Proc. XX, F. d. M. XXI. 1889. 200, JFM 21.0200.03) aufgestellte Satz: \[ (a_1+a_2+\cdots+a_n)^m-\sum_1(a_2+a_3+\cdots+a_n)^m+ \sum_2(a_3+a_4+\cdots a_n)^m \] \[ -\cdots+(-1)^{m-1}.\sum_{n-1}a^m_1=0, \quad \text{wenn} \quad m<n \] \[ \text{(diese Summe ist gleich} \quad n!a_1a_2a_3\dots a_m, \quad \text{wenn} \quad m=n); \] zweitens die bekannte zahlentheoretische Formel \(N=\sum\varphi(d)\) und damit der von Dedekind im J. für Math. LIV. 25 gegebene Wert für \(\varphi(N)\). -- In Betreff der letzteren vergl. Bachmann: ``Die Lehre von der Kreisteilung und ihre Beziehungen zur Zahlentheorie'' (1872, JFM 04.0078.01), S. 10 u. 11. \(^*)\) Fussnote:Euler gebraucht \(\pi(n)\), nicht \(\varphi(n)\). (Opera arithmetica, Fuss, Petropoli 1849, II. p. 128.)