Related papers: Euler, Goldbach, and "Fermat's Theorem"

Short-time existence for the Einstein-Euler and the vacuum Einstein equations is proven using a Friedrich inspired formulation due to Choquet-Bruhat and York, where the system is cast into a symmetric hyperbolic form and the Riemann tensor…

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…

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…

In the 1770s, Euler wrote a series of papers (E563, E691 and E692) about finding the ellipse with minimal area or perimeter in the family of all ellipses passing through a fixed set of points. This is a translation of all three papers from…

These lecture notes provide a self-contained introduction to Euler integrals, which are frequently encountered in applications. In particle physics, they arise as Feynman integrals or string amplitudes. Our four selected topics demonstrate…

Beginning from the formal resolution of Riemann Zeta function, by using the formula of inner product between two infinite-dimensional vectors in the complex space, the author proved the world's baffling problem -- Riemann hypothesis raised…

This paper treats about one of the most remarkable achievements by Riemann, that is the symmetric form of the functional equation for {\zeta}(s). We present here, after showing the first proof of Riemann, a new, simple and direct proof of…

In the present paper we study, in a mathematically non-formal way, the validity of the Fermat's Last Theorem (FLT) by generalizing the usual procedure of extracting the square root of non convenient objects initially introduced by P. A. M.…

This is an English translation of E579 in which the introductory remarks are in French, while Euler's original text is in Latin. By considering the balance of forces acting on a raising balloon on an isothermal atmosphere, namely the weight…

This paper, commissioned as a survey of the Riemann Hypothesis, provides a comprehensive overview of 165 years of mathematical approaches to this fundamental problem, while introducing a new perspective that emerged during its preparation.…

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…

We prove an Euler-Maclaurin formula for double polygonal sums and, as a corollary, we obtain approximate quadrature formulas for integrals of smooth functions over polygons with integer vertices. Our Euler-Maclaurin formula is in the spirit…

In 1750, Gabriel Cramer famously stated, without proof, his eponymous rule for solving a system of linear equations with as many equations as unknowns. We give a purely combinatorial, and purely self-contained, proof of this old chestnut,…

The use of Cauchy's method to prove Euler's well-known formula is an object of many controversies. The purpose of this paper is to prove that Cauchy's method applies for convex polyhedra and not only for them, but also for surfaces such as…

Comments about the paper by Elsholz, Fermat's last theorem implies Euclid's infinitude of primes, (2021), and simplification.

A mathematical conjecture is successfully identified, which is used for relativistic analysis of dielectric Einstein-box thought experiment in a Letter (Ramos, Rubilar, and Obukhov, Phys. Lett. A 375, 1703 (2011)), where the authors…

This is the translation from Latin of E547 'Determinatio facilis orbitae cometae, cuius transitum per eclipticam bis observare licuit', in which Euler addresses the determination of a comet's parabolic orbit, with the Sun at the focus, from…

We use Taylor's formula with Lagrange remainder to make a modern adaptation of Poisson's proof of a version of the fundamental theorem of calculus in the case when the integral is defined by Euler sums, that is Riemann sums with left (or…

The Goldbach conjecture states that every even integer greater than 2 can be expressed as the sum of two prime numbers. This conjecture was first proposed by German mathematician Christian Goldbach in 1742 and, despite being obviously true,…

During a first St. Petersburg period Leonhard Euler, in his early twenties, became interested in the Basel problem: summing the series of inverse squares (posed by Pietro Mengoli in mid 17th century). In the words of Andre Weil (1989) "as…