Eine Eigenschaft gewisser Summen. (Q1449908)

Verf. zeigt, daß Summen der Form \[ S=\frac1m+\frac1{m+n}+\frac1{m+2n}+\cdots+\frac1{m+xn} \] niemals ganze Zahlen sind, wenn \(n\), \(m\) und \(x\) ganz und positiv sind. Es genügt, sich beim Beweis gleichzeitig zu beschränken auf: \(m>1\), \((n, m)=1\) und \(x\geqq m\). Die Annahme des Gegenteils wird widerlegt, indem man beachtet, daß eine Primzahl oder Primzahlpotenz dann nicht nur in einem Nenner auftreten dürfte. Bei ungeradem \(n\) tut das aber schon eine Potenz von 2. Für gerades \(n\) muß man eine große Primzahl verwenden. Sie wird durch den Satz von \textit{Tschebyscheff} geliefert. Es bedarf hier einiger einfacher, aber sorgfältiger und vorsichtiger Fallunterscheidungen. Eine einfache Folgerung ist dann der Satz: Sind \(a\), \(b\) und \(c\) ganze Zahlen, so ist die Summe \[ \frac cb+\frac c{b+a}+\frac c{b+2a}+\cdots+\frac c{b+xa} \] nur für endlich viele \(x\) eine ganze Zahl. Es wird dann noch eine zweite Anwendung hergeleitet: Es seien \(a\), \(b\), \(c\) und \(d\) ganze Zahlen, \(a>0\), \(c^2 + d^2>0\), \(a\cdot b\) kein Quadrat. Dann ist die Summe \[ S=\sum_{k=1}^x \frac{ck+d}{ak^3+b} \] nur für endlich viele \(x\) ganzzahlig. (Verf. denkt dabei an die allgemeine Aufgabe, Ausdrücke \(\sum\limits_1^x \dfrac{f(k)}{g(k)}\) mit ganzzahligen Polynomen \(f\) und \(g\) zu untersuchen.) Er benutzt hier die aus einem von ihm bewiesenen Satz sich ergebende Folgerung: Für alle hinreichend großen \(x\) ist der größte Primteiler \(P_x\) des Produktes \(\prod\limits_{k=1}^x(ak^2+b)\) größer als \(2x\).