On the numerical factors of the arithmetic forms \(\alpha^n\pm \beta^n\). (Q5909786)

Es seien \(\alpha +\beta\) und \(\alpha \beta\) teilerfremde ganze Zahlen. Der Verf. stellt sich die Aufgabe, die arithmetische Natur von \[ D_n=\frac {\alpha^n-\beta^n}{\alpha-\beta} \text{ und }S_n=\alpha^n+\beta^n \] zu untersuchen. Nachdem in den zwei ersten Paragraphen die elementaren Teilbarkeitseigenschaften dieser Ausdrücke vorausgeschickt sind, wird im \S 3 die Aufgabe behandelt, zu entscheiden, ob eine gegebene Primzahl in den Zahlen \(D_1, D_2, D_3, \dots,\) aufgeht oder nicht. Für ein hierhergehöriges \textit{Lucas}sches Theorem [\textit{E. Lucas}, Am. J. Math. 1, 184--196 (1878); 1, 197--240 (1878); 1, 289--321 (1878; JFM 10.0134.05)] wird ein neuer Beweis gegeben. Außerdem werden mit Hilfe gewisser ``Charaktere'' Ausdrücke \(\lambda (n)\) angegeben von der Beschaffenheit, daß\ \(D_\lambda\) stets durch \(n\) teilbar ist, sobald \(n\) und \(\alpha \beta\) teilerfremd sind. \S 4 enthält eine eingehende Untersuchung von \[ F_k(\alpha, \beta)=\beta^{\varphi(k)}Q_k\left(\frac\alpha\beta \right), \] wobei \(Q_k (x) = 0\) die Gleichung vom Grade \(\varphi(k)\) bezeichnet, der die primitiven \(k\)-ten Einheitswurzeln genügen. In \S 5 werden die Primfaktoren von \(F_n (\alpha, \beta)\) entwickelt. Darauf folgen in \S 6 Anwendungen, insbesondere Beweise des \textit{Dirichlet}schen Satzes über arithmetische Progressionen in manchen Spezialfällen. Der letzte Paragraph bringt u. a. den folgenden Satz: Die Zahl \(2^{2^n} +1\) \((n > 1)\) ist dann und nur dann eine Primzahl, wenn \[ 3^{2^{2^n-1}} +1 \equiv 0\pmod {2^{2^n} +1} \] ist.