On the unsolvability of the Diophantine equation \(x^{np}+y^{np}=p^m\cdot z^{np}\) in integers \(x,y,z,m,n\), if \(p\) is a regular prime and \(p>3\) (Q2648528)

Diese Note besteht in weiterer Ausschöpfung klassischer Ansätze. Es sei \(p > 3\) eine reguläre Primzahl, \(\zeta\) eine primitive \(p\)-te Einheitswurzel, und \(k\) der rationale Zahlkörper. \(\varepsilon_1, \varepsilon_2, \varepsilon_3\) bezeichnen Einheiten, \(\xi, \eta, \psi\) ganze zu \(p\) prime Zahlen. Es wird bewiesen: die Gleichung \[ \varepsilon_1\xi^p + \varepsilon_2\eta^p + \varepsilon_3 (1-\zeta)^s \psi^p = 0 \quad\text{in } k(\zeta) \] ist unlösbar für \(2p-2\le s\le 2p\); die Gleichung \[ \varepsilon_1\xi^p + \varepsilon_2\eta^p + \varepsilon_3 ((1-\zeta)(1-\zeta^{-1}))^s \psi^p = 0 \quad\text{in } k(\zeta+\zeta^{-1}) \] ist unlösbar für \(s > p\); für beliebige ganze Zahlen \(m, n\) ist die Gleichung \[ \xi^{pn} + \eta^{pn} + p^m \psi^{pn}= 0 \] in \(k\) unlösbar. Die letztere Aussage gilt auch für \(p = 3\) und \(m \not\equiv 2 \bmod 3\), dagegen gibt es unendlich viele Lösungen der letzteren Gleichung für \(m\equiv 2 \bmod 3\).