Related papers: A Concise and Direct Proof of "Fermat's Last Theor…
Over one year ago, a very long preprint posted on arXiv [arXiv:1709.03771] and HAL announced a proof of Lehmer's Conjecture (and of other related results). Unfortunately, as was remarked by several specialists, this proof contains a (at…
The generally accepted wisdom in computational circles is that pure proof verification is a solved problem and that the computationally hard elements and fertile areas of study lie in proof discovery. This wisdom presumably does hold for…
It is an original method based on systems of prameters represented by reals which obey to an infinite descent (convergent sequences). We define calculus of quotients and they conduct quickly to a consequent result. Our own scepticism made…
A direct proof of the Steiner-Lehmus theorem has eluded geometers for over 170 years. The challenge has been that a proof is only considered direct if it does not rely on reductio ad absurdum. Thus, any proof that claims to be direct must…
Fermat's Last Theorem (FLT) implies that the Frey curves do not exist. A proof of FLT independent of proved Taniyama-Shimura-Weil conjecture is presented.
We comment on some apparently weak points in the novel strategies recently developed by various authors aiming at a proof of the Riemann hypothesis. After noting the existence of relevant previous papers where similar tools have been used,…
This paper has been withdrawn by the author [arXiv admin].
Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.
Since ancient times, mathematics has proven unreasonably effective in its description of physical phenomena. As humankind enters a period of advancement where the completion of the much coveted theory of quantum gravity is at hand, there is…
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…
We propose conjectural generalizations of the Fermat-Catalan conjecture, the Tijdeman-Zagier conjecture, and of the Fermat Last Theorem, in which powers are replaced by products of integers. We also formulate a new explicit version of the…
The original proof of the Sharkovsky theorem is presented in full detail. The proof should be accessible to readers with basic Real Analysis background. Although nowadays there are several alternative proofs of this classical result, we…
In this article, I discuss material which is related to the recent proof of Fermat's Last Theorem: elliptic curves, modular forms, Galois representations and their deformations, Frey's construction, and the conjectures of Serre and of…
Remarks on mathematical proof and the practice of mathematics.
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…
Even though flt is a number theoretic result we prove that the result depends on the topological as well as the field structure of the underlying space.
In this paper, we generalized the classical Fermat point, proved the sufficient and necessary condition for uniqueness and existence for the generalized Fermat point(GFP) theorem, and discuss some interesting geometric property of the…
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…
We give a remarkably elementary proof of the Brouwer fixed point theorem. The proof is verifiable for most of the mathematicians.
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…