Related papers: The altitudes of a triangle
It is well known that several classical geometry problems (e.g., angle trisection) are unsolvable by compass and straightedge constructions. But what kind of object is proven to be non-existing by usual arguments? These arguments refer to…
{\bf In the fourth extended version of this article, we provide a comprehensive historical survey of 200 different proofs of famous Euclid's theorem on the infinitude of prime numbers (300 {\small B.C.}--2022)}. The author is trying to…
The "cosmic triangle" is introduced as a way of representing the past, present, and future status of the universe. Our current location within the cosmic triangle is determined by the answers to three questions: How much matter is in the…
In Euclidean geometry, the Pythagorean theorem is presented as an equation involving three squares. This paper explores how analogous expressions may be identified in spherical and hyperbolic geometries.
The Erd\H{o}s-Anning theorem states that every point set in the Euclidean plane with integer distances must be either collinear or finite. More strongly, for any (non-degenerate) triangle of diameter~$\delta$, at most $O(\delta^2)$ points…
If we label the vertices of a triangle with 1, 2 and 4, and the orthocentre with 7, then any of the four numbers 1, 2, 4, 7 is the nim-sum of the other three and is their orthocentre. Regard the triangle as an orthocentric quadrangle.…
The Apollonius theorem gives the length of a median of a triangle in terms of the lengths of its sides. The straightforward generalization of this theorem obtained for m-simplices in the n-dimensional Euclidean space for n greater than or…
A slight modification to one of Tarski's axioms of plane Euclidean geometry is proposed. This modification allows another of the axioms to be omitted from the set of axioms and proven as a theorem. This change to the system of axioms…
We prove that subsets of ${\Bbb R}^d$, $d \ge 4$ of large enough Hausdorff dimensions contain vertices of an equilateral triangle. It is known that additional hypotheses are needed to assure the existence of equilateral triangles in two…
We investigate vertices for plane curves with singular points. As plane curves with singular points, we consider Legendre curves (respectively, Legendre immersions) in the unit tangent bundle over the Euclidean plane and frontals…
This paper concentrates on the homogeneous (conformal) model of Euclidean space (Horosphere) with subspaces that intuitively correspond to Euclidean geometric objects in three dimensions. Mathematical details of the construction and…
Gradients of the perimeter and area of a polygon have straightforward geometric interpretations. The use of optimality conditions for constrained problems and basic ideas in triangle geometry show that polygons with prescribed area…
This paper proposes a totally constructive approach for the proof of Hilbert's theorem on ternary quartic forms. The main contribution is the ladder technique, with which the Hilbert's theorem is proved vividly.
We study a boundary value elliptic problem having a lower order nonlinear term with subquadratic growth in the gradient of the solution and possibly singular when the solution vanishes. If the singularity is mild enough (and even in the…
As an example of empirical metamathematics, we present a detailed study of the dependency structure of the 465 theorems in Euclid's Elements, finding empirical signatures of concepts such as the power of a theorem. We apply similar methods…
A proof of the isometric embedding of a given two-metric in E^3 of class C^1. The method uses the theory of first order partial differential equations. The curvature of the metric plays no role in the proof.
Let $P$ be a set of $N$ points in the Euclidean plane, where a positive proportion of points lies off a single straight line. This note points out two facts concerning the number of equivalence classes of triangles that $P$ determines,…
As is well-known, numerical experiments show that Napoleon's Theorem for planar triangles does not extend to a similar statement for triangles on the unit sphere $S^2$. Spherical triangles for which an extension of Napoleon's Theorem holds…
Even though it has been almost a century since quantum mechanics planted roots, the field has its share of unresolved problems. It could be the result of a wrong mathematical structure providing inadequate understanding of the quantum…
We analyse the axioms of Euclidean geometry according to standard object-oriented software development methodology. We find a perfect match: the main undefined concepts of the axioms translate to object classes. The result is a suite of C++…