English
Related papers

Related papers: A Concise and Direct Proof of "Fermat's Last Theor…

200 papers

Most of the assertions in the theory of well ordered sets are quite simple. However, one of its central statements, Zermelo's theorem, stands out of this rule, for its well-known proofs are rather complicated. The aim of the current paper…

General Topology · Mathematics 2011-12-02 V. V. Filippov , E. Yu. Mychka

`Fermat's Last Theorem for the exponent 3 has received numerous proofs, the most common of which being either in Euler's or in Gauss' style. This latter works entirely in the ring of integers of the quadratic field generated by the square…

Number Theory · Mathematics 2016-02-29 Roy Barbara

One shows that the Last Fermat Theorem is equivalent to the statement that all rational solutions of the famous equation are provided by an orbit of rationally parametrized subgroup of a group preserving k-ubic form. This very group…

General Mathematics · Mathematics 2007-05-23 A. K. Kwasniewski , W. Bajguz

We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an important 19th century result that motivated the development…

Logic in Computer Science · Computer Science 2023-05-23 Alex J. Best , Christopher Birkbeck , Riccardo Brasca , Eric Rodriguez Boidi

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…

General Mathematics · Mathematics 2024-03-12 Andrea Ossicini

We give a proof of Fermat's little theorem which does not use nor arithmetic(Euclidean algorithm) neither algebra (group theory), but it rather employs the field of the formal power series Q((x)). The note is an example of a mathematical…

Number Theory · Mathematics 2009-11-03 Giedrius Alkauskas

The ABC conjecture implies many conjectures and theorems in number theory, including the celebrated Fermat's Last Theorem. Mason-Stothers Theorem is a function field analogue of the ABC conjecture that admits a much more elementary proof…

Logic in Computer Science · Computer Science 2025-09-29 Jineon Baek , Seewoo Lee

In this paper two conjectures are proposed based on which we can prove the first case of Fermat's Last Theorem(FLT) for all primes $p \equiv -1 (\bmod~6)$. With Pollaczek's result {\bf [1]} and the conjectures the first case of FLT can be…

History and Overview · Mathematics 2007-05-23 Joseph Amal Nathan

Mathematical proofs are often said to justify their conclusions by indicating the existence of a corresponding formal derivation. We argue that this widespread view relies on an under-examined notion of correspondence, or what it means for…

History and Overview · Mathematics 2026-03-20 Simon DeDeo , Eamon Duede

In this paper we present an elementary proof for a special case of Fermat's last theorem for specific category of a, b and c. In fact, we assume that $n$ is prime and $4\rvert (n+1),$ then for $a,b$ and $c$ that $ n\nmid abc$ the equation…

General Mathematics · Mathematics 2022-12-21 Alireza Sharifi

This research focuses on the Numerical approach for Fermat's Last theorem. We can induce an Alternative form of Fermat's last theorem by using particular geometric mapping $\mathcal{M}$ on a Cartesian plane to a Torus. It transforms the…

General Mathematics · Mathematics 2019-12-10 Youngik Lee

Assuming a deep but standard conjecture in the Langlands programme, we prove Fermat's Last Theorem over $\mathbb Q(i)$. Under the same assumption, we also prove that, for all prime exponents $p \geq 5$, Fermat's equation $a^p+b^p+c^p=0$…

Number Theory · Mathematics 2018-05-15 George Turcas

We give a new sufficient condition which allows to test primality of Fermat's numbers. This characterization uses uniquely values at most equal to tested Fermat number. The robustness of this result is due to a strict use of elementary…

Number Theory · Mathematics 2021-04-13 Ahmed Bouzalmat , Ahmed Sani

We study Fermat's Last Theorem and Catalan's conjecture in the context of weak arithmetics with exponentiation. We deal with expansions (B,e) of models of arithmetical theories (in the language L=(0,1,+,x,<)) by a binary (partial or total)…

Logic · Mathematics 2018-12-17 Petr Glivický , Vítězslav Kala

Fermat's statement is equivalent to say that if $x$, $y$, $z$, $n$ are integers and $n>2$, then $z^{n}\gtrless x^{n}+y^{n}$. This is proved with the aid of numbers $\lambda $'s, of the form $\lambda =z/\rho $, with $1<\rho<z$, named…

General Mathematics · Mathematics 2015-07-28 José Cayolla

We give again the proof of several classical results concerning the cyclotomic approach to Fermat's last theorem using exclusively class field theory (essentially the reflection theorems), without any calculations. The fact that this is…

Number Theory · Mathematics 2011-03-24 Georges Gras

A study of Sophie Germain's extensive manuscripts on Fermat's Last Theorem calls for a reassessment of her work in number theory. There is much in these manuscripts beyond the single theorem for Case 1 for which she is known from a…

History and Overview · Mathematics 2019-12-20 Reinhard Laubenbacher , David Pengelley

Mathematical proofs are both paradigms of certainty and some of the most explicitly-justified arguments that we have in the cultural record. Their very explicitness, however, leads to a paradox, because the probability of error grows…

Symbolic Computation · Computer Science 2022-04-13 Scott Viteri , Simon DeDeo

We show that Fermat's last theorem and a combinatorial theorem of Schur on monochromatic solutions of $a+b=c$ implies that there exist infinitely many primes. In particular, for small exponents such as $n=3$ or $4$ this gives a new proof of…

Number Theory · Mathematics 2023-05-03 Christian Elsholtz

The aim of this short note is to present an elementary, self-contained, and direct proof for the classical Lebesgue decomposition theorem.

Functional Analysis · Mathematics 2014-04-08 Tamás Titkos