Application of a theorem of \textit{Tchebycheff.}. (Q1507010)

Es wird ein mekrwürdiger Satz von \textit{Tschebyscheff} über den größten Primzahldivisor des Produktes \[ (1+2^2)(1+4^2)(1+6^2)\dots(1+4n^2) \] verwertet, um folgenden Satz zu beweisen: Wenn \(a_1, a_2, a_3, \dots, a_n\) \textit{ganze positive Zahlen sind, so kann das Produkt} \[ \pm i(i\pm 1)^{\alpha_1}(i\pm 2)^{\alpha_2}(i\pm 3)^{\alpha_3}\dotsm (i\pm n)^{\alpha_n} \] \textit{wo} \(i=\sqrt{-1}\) \textit{ist, niemals reell oder rein imaginär sein, wenn \(n\) größer als 3 ist.} Um dieses Resultat zu erhalten, wird zuerst der Satz bewiesen: Wenn \(a_1, a_2, a_3, \dots, a_n\) positive ganze Zahlen und \(x_1, x_2, x_3, \dots, x_n\) solche ganzen Zahlen sind, daß\ \(|x_1|<|x_2|<|x_3|<\dots <|x_n|\), wenn ferner das Produkt \((x-1+i)^{\alpha_1}\cdot(x_2+i)^{\alpha_2}\dotsm (x_n+i)^{\alpha_n}\) reell oder rein imaginär ist, so ist jeder Primzahldivisor des Produktes \[ (1+x_1^2)(1+x_2^2)\dots (1+x_n^2) \] kleiner als \(|x_n|+|x_{n-1}|+1\). Daraus folgt, daß\ jeder Primzahldivisor des Produkts \[ (1+1^2)(1+2^2)\dots (1+n^2) \] kleiner als \(2n\) sein muß, wenn \(i(i\pm 1)^{\alpha_1}\cdot (i\pm 2)^{\alpha_2}\dotsm (i\pm n)^{a_n}\) reell oder rein imaginär sein soll. Indem nun der Verf. den \textit{Markoff}schen Beweis für den obengenanten Satz von \textit{Tschebyscheff} weiter verfolgt und die Untersuchungen von \textit{Ch. de la Vallée Poussin} über die Primzahlen verwertet, gelangt er zur folgenden Verschärfung des \textit{Tschebyscheff}schen Satzes: Es sei \(\mu_n\) der \textit{größte Primzahldivisor des Produktes} \[ (1+1^2)(1+2^2)(1+3^2)\dots (1+n^2) \] \textit{und es sei \(k\) eine beliebige positive Zahl \(>1\); wenn \(\nu\) dann ein Wert von \(n\) ist derart, daß} \[ \mu_{\nu}> k^2\cdot e^{3k+6} \] \textit{ist, so ist \(\mu_n>kn\) für jeden Wert \(n>\nu\).} Daraus folgt für \(k=2\), daß\ \(\mu_n>2n\) für \(\mu_n>651019\), und es ist hinreichend, \(n>815\) zu wählen, um diese Forderung zu erfüllen. Für Werte \(n<815\) findet man leicht, daß\ \(n=3\) der einzige Wert ist, für welchen \(\mu_n<2n\). Der erst zitierte Satz folgt direkt aus dieser Tatsache.