Einige formules aangaande de getallen kleiner dan \(n\) en ondeelbaar met \(n\). (Q1496817)

Der Verf. wendet die \textit{Kronecker}sche Relation an: \[ \sum {}_{\nu}\,f(\nu )=\sum {}_d\,\mu (d)\sum_1^{\frac nd} {}_k\,f(kd), \] wo \(\mu (d)\) die bekannte zahlentheoretische Funktion ist, \(\nu\) alle zu \(n\) teilerfremden Zahlen und \(d\) alle Teiler der ganzen rationalen Zahl \(n\) durchläuft. Nimmt man zunächst \(f(\nu )=e^{\nu .x}\), resp. \(e^{2\pi i\nu x}\), so ergeben sich verschiedene Relationen; z. B.: \[ \mu (n)=\sum {}_{\nu}\,\cos\frac {2\pi\nu}n . \] Setzt man dagegen \[ f(\nu )=\log\left( e^{\frac {2\pi ix}n}-e^{\frac {2\pi i\nu}n}\right) , \] so ergibt sich durch Differentiation und Spezialisation von \(x\): \[ \varphi (n)=\sum {}_d\,\mu (d)\frac nd. \] Differenziert man ein zweites Mal, so ergibt sich für die Funktion \(\gamma (n)=-\sum {}_d\,\mu (d)\frac nd\) die Relation von Kronecker: \[ \varPi_{(\nu )}2\sin\frac {\pi\nu}n=e^{\gamma (n)}. \]