Über die additive Darstellung einiger zahlentheoretischer Funktionen. (Q1476299)

Der Verf. will eine Darstellung gewisser elementarer zahlentheoretischer Funktionen geben, die die Zerlegung des Argumentes in Primfaktoren nicht erfordert. Ist z. B. \(\varphi(n)\) die Anzahl der zu \(n\) teilerfremden Zahlen \(\leqq n, \varphi(n)\) die Summe dieser Zahlen, \(S(n)\) die Anzahl der Teiler von \(n,\sum(n)\) die Summe derselben, so wird \[ \begin{aligned} & \varphi(n)=\sum_{k=1}^n a_n(k),\;\psi(n)=\sum_{k=1}^n k a_n(k),\\ & S(n)=\sum_{k=1}^n b_n(k),\;\sum(n)=\sum_{k=1}^n k b_n(k).\end{aligned} \] Dabei ist \(a_n(k)=1\), wenn \((k,n)=1\); \(a_n(k)=0\), wenn \((k,n)>1;\;b_n(k)=1\), wenn \((n, k) = k (k<n)\). Es müssen also bloß \(a_n(k), b_n(k)\) explizit berechnet werden, ohne die Primzahlzerlegung von \(n\) zu kennen. Ist \(R_{\alpha,\beta}\) die \textit{Sylvester}sche Resultante der Binome \((x^a-1)\) und \((x^\beta-1)\) und \(R_{\alpha,\beta}^{(\gamma)}\) ihr Hauptminor nach Abtrennung der letzten \(\gamma\) Zeilen und letzten \(\gamma\) Spalten, so findet der Verf. \[ a_n(k)=| R_{k,n}^{(1)}|,\;b_n(k)=1-| R_{k,n}^{(k-1)}|, \] wo \(| |\) den absoluten Betrag bedeutet.