Search arXivSearch

arXiv · 1704.06335

The lost proof of Fermat's last theorem

Abstract

This work contains two papers: the first published in 2022 and entitled "On the nature of some Euler's double equations equivalent to Fermat's last theorem" provides a marvellous proof through the so-called discordant forms of appropriate Euler's double equations, which could have entered in a not very narrow margin and the second instead published in 2024 and entitled "Some Diophantus-Fermat double equations equivalent to Frey's elliptic curve" provides the possible proof, which Fermat has not published in detail, but which uses the characteristic of all right-angled triangles with sides equal to whole numbers, or the famous Pythagorean identity. Some explanations in session(III) are provided: the first makes evident the nature of the "proof a' la Fermat" and the subsequent sessions clarify the direct and interesting connection of the two elementary proofs and it is necessary if you want to understand how two different elementary proofs of Fermat's Last Theorem are possible. It must be observed that those proofs must in no way be interpreted as a sort of absurd revenge of elementary number theory over more modern analytic and algebraic treatments.The author himself has added a section in which he connects his concepts with some of those used by Wiles in his complex demonstration.This implies that, to a certain extent, Wiles' demonstration inspired the author of those works. Ultimately in this paper we will illustrate how only thanks to some of Euler's discoveries was it possible to shed light on the so-called too narrow margin never written by Fermat. For this reason we will also provide some details on an article that was the real inspiration for achieving these results (see Last Conclusions).

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andrea Ossicini. 2024-03-09. The lost proof of Fermat's last theorem. https://doi.org/10.3390/math10234471

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM