On Fermat's Last Theorem (Q5968022): Difference between revisions

Setzt man \(s_1 = x + y + z\), \(s_2=xy+xz+yz\), \(s_3=xyz\), so kann man die Bedingung \[ (1)\qquad x^l+ y^l+ z^l=0 \] ersetzen durch eine Beziehung \[ (2)\qquad \varphi(s_1,s_2,s_3) = 0, \] und \(x, y, z\) sind dann die Lösungen der kubischen Gleichung \[ (3)\qquad t^3 s_1t^2 + s_2t- s_3 = 0. \] Die \textit{Fermat}sche Gleichung (1) hat somit nur dann eine rationale Lösung, wenn (3) unter der Nebenbedingung (2) rationale Lösungen hat. Der Verf. faßt (1), (2), (3) als Kongruenzen (mod.\,\(l\)) auf und wendet die \textit{Cailler}schen Resultate (siehe F. d. M. 39, 257, 1908, JFM 39.0257.01) über kubische Kongruenzen an. Er beweist so z. B. einfach die Unmöglichkeit des \textit{Fermat}schen Satzes für \(l = 17\).