Sur la généralisation d'un théorème de St. Smith. (Q1462384)

Es sei \((i, k)\) der größte gemeinschaftliche Divisor von \(i\) und \(k\), \(f ((i, k))\) eine beliebige arithmetische Funktion, definiert für jeden Wert des ganzen Argumentes \((i, k)\). Nach dem Prinzip von Liouville-Dedekind läßt sich eine andere Funktion \(F(x)\) finden, so daß \(\sum F(d) = f (n)\) ist, die Summe erstreckt über alle Divisoren \(d\) von \(n\). Weiter wird eine neue Funktion \(\sigma(n, N)\) definiert in folgender Weise: \(\sigma(n,N)=F(n)\), falls \(n\) Teiler von \(N\) ist, \(\text{sonst} =0\). Dann ist \(\sum\sigma(d, N)=f((n, N))\). Mit Hilfe des vorhin erwähnten Prinzips folgt \(\sigma (n, N) = f((n, N)) \sum f\left(\left(\dfrac n{p_1},N\right)\right) +\sum f\left(\left( \dfrac n{p_1p_2}\right)\right)-\cdot\cdot\), wo \(p_1\), \(p_2\), \(\ldots\) die Primfaktoren von \(n\) sind. Dann ist \(K_n = |f((i, k))| =\prod\limits_1^n F(k)\), eine Formel, deren Spezialfall die von S. Smith ist.