English
Related papers

Related papers: The Cartesian method and Fermat's Last Theorem

200 papers

The main result of the present article is a proof of Fermat's Last Theorem for sufficiently large prime exponents $p$ with $p \equiv 2 \pmod{3}$ over certain number fields. A particular case of these fields are the maximal real subfields of…

Number Theory · Mathematics 2025-07-24 Luis Dieulefait , Franco Golfieri Madriaga

Two centuries ago, Sophie Germain began to work on her grand plan to prove the theorem of Fermat, the famous conjecture that $x^n + y^n = z^n$ is impossible for nonzero integral values of $x$, $y$, and $z$, when $n > 2$. At that time, this…

History and Overview · Mathematics 2020-06-29 Dora Musielak

A elementary proof of Fermat"s Last Theorem[1] is presented for the case of even exponents n=2q, where q is any integer, including 2. For even exponents, the proof of the theorem reduces to showing that solutions of the Pythagorean equation…

General Mathematics · Mathematics 2017-07-11 Anatoly A. Grinberg

This paper presents a novel direct elementary proof for Fermat's Last Theorem. We use algebra, modular math, and binomial series to develop inherent mathematical relationships hidden within Fermat's Last Theorem. With these derived…

General Mathematics · Mathematics 2020-07-31 Hua Jiang

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

We present the only proof of Pierre Fermat by descente infinie that is known to exist today. As the text of its Latin original requires active mathematical interpretation, it is more a proof sketch than a proper mathematical proof. We…

Artificial Intelligence · Computer Science 2010-12-15 Claus-Peter Wirth

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

The divisibility restrictions in the famous equation a n+bn=cn in Fermat Last Theorem (FLT, 1637) is analyzed how it selects out many triples to be Fermat triple (i.e. solutions) if n greater than 2, decreasing the cardinality of Fermat…

General Mathematics · Mathematics 2024-07-09 Sandor Kristyan

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

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 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

Assuming two deep but standard conjectures from the Langlands Programme, we prove that the asymptotic Fermat's Last Theorem holds for imaginary quadratic fields Q(\sqrt{-d}) with -d=2, 3 mod 4. For a general number field K, again assuming…

Number Theory · Mathematics 2016-11-01 Mehmet Haluk Sengun , Samir Siksek

Let $K$ be a totally real number field. For all prime number $p\geq 5$, let us denote by $F_p$ the Fermat curve of equation $x^p+y^p+z^p=0$. Under the assumption that $2$ is totally ramified in $K$, we establish some results about the set…

Number Theory · Mathematics 2019-03-27 Alain Kraus

In the paper one proves a necessary condition for divisibility of integral elements by the powers of prime divisor of unramifed prime ideal and gives its application to a simple proof of Fermat's Last Theorem.

General Mathematics · Mathematics 2024-03-13 Ilgar Sh. Jabbarov , Seymur A. Meshaik

Recent results of Freitas, Kraus, Sengun and Siksek, give sufficient criteria for the asymptotic Fermat's Last Theorem to hold over a specific number field. Those works in turn build on many deep theorems in arithmetic geometry. In this…

Number Theory · Mathematics 2019-02-22 Nuno Freitas , Alain Kraus , Samir Siksek

We present the proof of Diophantus' 20th problem (book VI of Diophantus' Arithmetica), which consists in wondering if there exist right triangles whose sides may be measured as integers and whose surface may be a square. This problem was…

Logic in Computer Science · Computer Science 2007-05-23 David Delahaye , Micaela Mayero

Sophie Germain (1776-1831) was the first woman we know who did important original research in mathematics, specifically in elasticity theory and number theory. Celebrating her semiquincentennial year, we outline Germain's recently unearthed…

History and Overview · Mathematics 2026-05-15 David Pengelley

In this short article we do not prove Fermat's last theorem. We show that the number 2 is an exceptional number in this theorem.

Combinatorics · Mathematics 2021-09-16 Ivan Deriyenko

Let $K$ be a totally real field. By the asymptotic Fermat's Last Theorem over $K$ we mean the statement that there is a constant $B_K$ such that for prime exponents $p>B_K$ the only solutions to the Fermat equation $a^p + b^p + c^p = 0$…

Number Theory · Mathematics 2015-08-19 Nuno Freitas , Samir Siksek

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