English
Related papers

Related papers: Fermat's Last Theorem for regular primes

200 papers

We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstruction to Fermat's Last Theorem for regular primes. Rather…

Formal Languages and Automata Theory · Computer Science 2025-06-16 Alex Best , Christopher Birkbeck , Riccardo Brasca , Eric Rodriguez Boidi , Ruben van De Velde , Andrew Yang

We study Kummer's approach towards proving the Fermat's last Theorem for regular primes. Some basic algebraic prerequisites are also discussed in this report, and also a brief history of the problem is mentioned. We review among other…

History and Overview · Mathematics 2013-07-15 Manjil P. Saikia

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

The first case of Fermat's Last Theorem for a prime exponent $p$ can sometimes be proved using the existence of local obstructions. In 1823, Sophie Germain has obtained an important result in this direction by establishing that, if $2p+1$…

Number Theory · Mathematics 2014-10-03 Alain Kraus

We show that an elementary proof of Fermat's Last Theorem (FLT) exists. Our paper also extends the scope of FLT from integers to all rational numbers.

General Mathematics · Mathematics 2020-10-09 Yuri Arenberg

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

In our work we give the examples using Fermat's Last Theorem for solving some problems from algebra and number theory.

Number Theory · Mathematics 2016-07-05 Felix Sidokhine

In our work we give the examples using Fermat's Last Theorem for solving some problems from algebra, geometry and number theory

History and Overview · Mathematics 2016-07-22 Felix Sidokhine

We announce here that Fermat's Last theorem was solved, but there is an easy proof of it on the basis of elemetary undergraduate mathematics. We shall disclose such an easy proof.

General Mathematics · Mathematics 2021-10-13 YangGon Kim , SooGon Kim , BumSeok Jeon , SeungKon Kim , ChangKon Kim

We take the perspective of an advanced high school student trying to understand the proof of Fermat's Last Theorem for the first time. We collect definitions and statements needed to summarise how Fermat's Last Theorem was first proved in…

General Mathematics · Mathematics 2025-08-15 Alex Qiu , Tanish Sarathy , Spencer Nicklin , Michael Sun

In this essay, we see how prime cyclotomic fields (cyclotomic fields obtained by adjoining a primitive p-th root of unity to Q, where p is an odd prime) can lead to elegant proofs of number theoretical concepts. We namely develop the notion…

Number Theory · Mathematics 2012-05-30 Kabalan Gaspard

We present an elementary proof of Fermat's Last Theorem. No ancillary results are used, not even the most basic ones. The proof directly leads to a contradiction of the Fermat equation in the set of integers.

General Mathematics · Mathematics 2020-07-22 Miguel Antonio Marano Calzolari

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

Let $K$ be a number field and $p$ a prime number $\geq 5$. Let us denote by $\mu_p$ the group of the $p$th roots of unity. We define $p$ to be $K$-regular if $p$ does not divide the class number of the field $K(\mu_p)$. Under the assumption…

Number Theory · Mathematics 2014-12-01 Alain Kraus

Let $p$ be an odd prime number. Using modular arguments, we give an easy testable condition which allows often to prove Fermat's Last Theorem over the quadratic field ${\bf Q}(\sqrt{5})$ for the exponent $p$. It is related to the Wendt's…

Number Theory · Mathematics 2014-10-10 Alain Kraus

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

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

We propose a new approach at Fermat's Last Theorem (FLT) solution: for each FLT equation we associate a polynomial of the same degree. The study of the roots of the polynomial allows us to investigate the FLT validity. This technique,…

General Mathematics · Mathematics 2012-11-12 D. De Pedis

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
‹ Prev 1 2 3 10 Next ›