Related papers: Dia t\=on gramm\=on: Euclidean geometry to solve t…
We re-derive Thales, Pythagoras, Apollonius, Stewart, Heron, al Kashi, de Gua, Terquem, Ptolemy, Brahmagupta and Euler's theorems as well as the inscribed angle theorem, the law of sines, the circumradius, inradius and some angle bisector…
Pythagoras' theorem, the area of a triangle as one half the base times the height, and Heron's formula are amongst the most important and useful results of ancient Greek geometry. Here we look at all three in a new and improved light, using…
This is a translation from Latin of E348 'Methodus facilis motus corporum coelestium utcunque perturbatos ad rationem calculi astronomici revocandi', in which Euler develops a method to alleviate the astronomical computations in a typical…
The Pythagorean Theorem has been proved in hundreds of ways, yet it inspires fresh insights through geometry and trigonometry. In this paper, we offer a new proof based on three circles that circumscribe the sides of a right triangle.…
When people mention the mathematical achievements of Euclid, his geometrical achievements always spring to mind. But, his Number-Theoretical achievements (See Books 7, 8 and 9 in his magnum opus \emph{Elements} [1]) are rarely spoken. The…
In this paper, we reconstruct Euclid's theory of similar triangles, as developed in Book VI of the \textit{Elements}, along with its 20th-century counterparts, formulated within the systems of Hilbert, Birkhoff, Borsuk and Szmielew, Millman…
Any stretching of Ringel's non-Pappus pseudoline arrangement when projected into the Euclidean plane, implicitly contains a particular arrangement of nine triangles. This arrangement has a complex constraint involving the sines of its…
We review and comment on some works of Euler and his followers on spherical geometry. We start by presenting some memoirs of Euler on spherical trigonometry. We comment on Euler's use of the methods of the calculus of variations in…
We examine connections between the mathematics behind methods of drawing geographical maps due, on the one hand to Marinos and Ptolemy (1st-2nd c. CE) and on the other hand to Delisle and Euler (18th century). A recent work by the first two…
The initial techniques developed in Euclid's Elements, well before the use of the parallel postulate, are reexamined in order to clarify even the most obscure details, particularly those related to equality, superposition and angle…
If one wants to translate the heliocentric picture of planets moving uniformly on circular orbits about the sun to the perspective of a terrestrial observer, using classical (ancient) geometric means only, one is naturally led to the…
We review Euler's work on spherical geometry. After an introduction concerning the general place that trigonometric formulae occupy in geometry, we start by the two memoirs of Euler on spherical trigonometry, in which he establishes the…
Diagrammatic techniques to compute perturbatively the spectral properties of Euclidean Random Matrices in the high-density regime are introduced and discussed in detail. Such techniques are developed in two alternative and very different…
Hipparchus is considered the greatest astronomer of antiquity. However, his fame is due, more than to what he has done, or said, or written, to what the scientists of some generation or of a few cen-turies later have written of him: above…
This is an English translation from the Latin original of Leonhard Euler's ``Solutio facilior problematis Diophantei circa triangulum, in quo rectae ex angulis latera opposita bisecantes rationaliter exprimantur''. In this paper, Euler…
In February 1700, Isaac Newton needed a precise tropical year to design a new universal calendar that would supersede the Gregorian one. However, 17th-Century astronomers were uncertain of the long-term variation in the inclination of the…
Euclid uses an undefined notion of "equal figures", to which he applies the common notions about equals added to equals or subtracted from equals. When (in previous work) we formalized Euclid Book~I for computer proof-checking, we had to…
The great development of astrometric accuracy since the observations by the Greek astronomer Hipparchus about 150 BC has often been displayed in diagrams showing the accuracy versus time. Two new diagrams are provided here, one for…
Major advancements in space science and detector technology brought about a revolution in global astrometry, the science of measuring distances and motions of stars in the Milky Way and in the local universe. From the first ESA astrometric…
This paper provides explicit justification for a method of canonical scalings of tilings of euclidean spaces. We present a new combinatorially-geometrical approach for constructing a generatriss of a tiling. The approach is based on an…