Sur l'equation indéterminée \(a^m+b^m=c^m\) en nombres entiers différents de zéro, quand \(m\) est fractionnaire et sur une équation analogue puls générale. (Q1470157)

Der Verf. untersucht in dieser Arbeit die \textit{Fermat}sche Gleichung \[ (1)\quad a^m+b^m=c^m \] für den Fall, daß \(m=\frac{n}{p}, (n,p)=1\) eine gebrochene rationale Zahl ist, und zeigt in besonderen Fällen, daß ihre Auflösung äquivalent ist derjenigen der gewöhnlichen \textit{Fermat}schen Gleichung mit ganzzahligen Exponenten. Von Gleichung (1) läßt sich zunächst nachweisen, daß ihre Auflösung äquivalent ist derjenigen der Gleichung \[ (2)\quad a_2^ma_1^n+b_2^mb_1^n=c_2^mc_1^n, \] wobei \(a_1, b_1, c_1\) zu je zweien und zu \(p\) teilerfremd sind und die zu je zwei teilerfremden \(a_2, b_2, c_2\) nur durch Primteiler von \(p\) teilbar sind. Weiter gelangt der Verf. zu dem wichtigen Resultat, daß die Auflösung von (2) mit der einer anderen Gleichung derselben Form äquivalent ist, bei der in den Zahlen \(a_2, b_2, c_2\) nur solche Primfaktoren \(\lambda\) von \(p\) enthalten sind, die der Bedingung \[ m\leqq \frac{1}{\lambda-1} \] genügen. Daraus folgt, daß, wenn \[ m> \frac{1}{\mu-1}, \] unter \(\mu\) der kleinsten Primfaktor von \(p\) verstanden, die Auflösung der Gl. (1) äquivalent ist derjenigen der Gleichung \[ (3) \quad a_1^n+b_1^n=c_1^n, \] da dann \(a_2=l_2=c_2=1\) zu setzen ist. Wenn in der Gl. (2) eine der drei Zahlen \(a_2, b_2, c_2\) die \(p\)-te Potenz einer ganzen rationalen Zahl ist, so ist (2) äquivalent mit (3). Insbesondere muß dies eintreten, wenn \(p\) nur zwei verschiedene Primfaktoren enthält. Als Folgerung ergibt sich weiter, daß (1) und (2) äquivalent sind mit (3), wenn \(p\) mindestens drei verschiedene Primfaktoren enthält, von denen die kleinsten \[ \mu_1<\mu_2<\mu_3 \] sind, und wenn \[ m> \frac{1}{\mu_3-1} \] ist. Ganz analoge Sätze gelten nun auch für die Gl. \[ a^{m_1}+b^{m_2}=c^{m_3}, \] wo \(m_1=\frac{N_1}{P_1}, m_2=\frac{N_2}{P_2}, m_3=\frac{N_3}{P_3}\) drei irreduzible gebrochene Zahlen sind. Es ist sehr wahrscheinlich, daß die Auflösung dieser Gleichung äquivalent ist der der Gleichung \[ a_1^{N_1}+b_1^{N_2}=c_1^{N_3} \] in ganzen Zahlen, was für besondere Fälle vom Verf. bewiesen wird. Zum Schluß wird gezeigt, daß die Auflösung der Gl. (1) mit negativen gebrochenen Exponenenten -- \(m_1\) äquivalent ist der Auflösung der Gl. \( a_1^{m_1}+b_1^{m_2}=c_1^{m_1}\). Zum Beweise dieser Sätze wird der Körper eingeführt, der aus den ganzen rationalen Zahlen und ihren \(p\)-ten Wurzeln gebildet ist.