Sur l'équation \(x^5 + y^5 = z^5\) (Q771182)

From a general theorem of Kummer, it follows that the equation \(x^5 + y^5 = z^5\) \((xyz \neq 0)\) is insoluble in the field \(K(\sqrt 5)\). A simple proof of this fact is given, using descent on the number of prime factors of \(z\) in the equation \(x^5 - y^5 = E (\sqrt 5)^{5+\mu} z^5\), where \(E\) is a unit of \(K(\sqrt 5)\).