Related papers: Understanding Fermat's Last Theorem's Proofs
We give an overview of Darmon's program for resolving families of generalized Fermat equations with one varying exponent and survey what is currently known about this approach based on recent work of Billerey-Chen-Dieulefait-Freitas and…
A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into…
Here, we give a self-contained and elementary proof of a minimax theorem due to Fan in a simplified setting that can be taught in an advanced undergraduate course. Our proof follows Nikaido's argument with some simplifications.
We present a short elementary proof of the well-known criterion for a cubic polynomial to have three real roots. The proof is based on Fermat's approach to calculus for polynomials. This approach illustrates the idea of a derivative…
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…
Here we have discussed on Fermi-Dirac statistics, in particular, on its brief historical progress, derivation, consequences, applications, etc. Importance of Fermi-Dirac statistics has been discussed even in connection with the current…
Feferman proved in 1962 that any arithmetical theorem is a consequence of a suitable transfinite iteration of full uniform reflection of $\mathsf{PA}$. This result is commonly known as Feferman's completeness theorem. The purpose of this…
It is nowadays common to consider that proof must be part of the learning of mathematics from Kindergarten to University1. As it is easy to observe, looking back to the history of mathematical curricula, this has not always been the case…
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…
This is a 20-year old review on singularities and singularity theorems. The main reason to submit it now is -apart from increasing its availability- to correct a very strange error that appears in the journal's online version: it contains…
New formulas for the construction of Pythagorean triples and generalizations to equations of higher powers. Application of formulas to some problems, in particular Fermat's equation with n=4.
Fermi helped establish a new framework for understanding matter, based on quantum theory. This framework refines and improves traditional atomism in two crucial respects. First, the elementary constituents of matter belong to a very small…
This paper presents a generalized flux-corrected transport (FCT) algorithm, which is shown to be total variation diminishing under some conditions. The new algorithm has improved properties from the standpoint of use and analysis. Results…
We comment on two formal proofs of Fermat's sum of two squares theorem, written using the Mathematical Components libraries of the Coq proof assistant. The first one follows Zagier's celebrated one-sentence proof; the second follows David…
In 2008 I thought I found a proof of the Riemann Hypothesis, but there was an error. In the Spring 2020 I believed to have fixed the error, but it cannot be fixed. I describe here where the error was. It took me several days to find the…
This paper aims to introduce high school students to the intriguing world of continued fractions, a mathematical concept that provides a unique representation of numbers. The study focuses on the exploration and development of the…
This article deals with a conjecture, introduced in [GQ] (hereinafter $SFLT2$), which generalizes the second case of Fermat's Last Theorem: {\it Let $p>3$ be a prime. The diophantine equation $\frac{u^p+v^p}{u+v}=w_1^p$ with $u,v,u+v,…
In this paper we study the Fermat equation $x^n+y^n=z^n$ over quadratic fields $\mathbb{Q}(\sqrt{d})$ for squarefree $d$ with $26 \leq d \leq 97$. By studying quadratic points on the modular curves $X_0(N)$, $d$-regular primes, and working…
In this note, we combine ideas of several previous proofs in order to obtain a quite short proof of Gr\"otzsch theorem.
Euler presents a third proof of the Fermat theorem, the one that lets us call it the Euler-Fermat theorem. This seems to be the proof that Euler likes best. He also proves that the smallest power x^n that, when divided by a numer N, prime…