Related papers: The altitudes of a triangle

We give three new proofs of the triangle inequality in Euclidean Geometry. There seems to be only one known proof at the moment. It is due to properties of triangles, but our proofs are due to circles or ellipses. We aim to prove the…

In the article we prove some inequalities that contain relations between altitudes and medians in triangle. At least one of these inequalities has not been considered in the literature before and the main theorem has also not been proved…

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…

This paper deals with the celebrated Euclidean theorem about isosceles triangles, comparing different proofs.

We provide a new formulation and proof of the triangle altitudes theorem in hyperbolic plane geometry, together with an easily computed discriminant to distinguish between different basic configurations of the altitudes of such a triangle.

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 exposition in Euclid's Elements contains an obvious gap (seemingly unnoticed by most commentators): he often compares not just angles, but *groups* of angles, and at the same time he avoids summing angles (and considering angles greater…

An elementary proof of Bertrand's theorem is given by examining the radial orbit equation, without needing to solve complicated equations or integrals.

We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a…

It is well known that the three altitudes of a triangle are concurrent at the so-called orthocenter of the triangle. So one might expect that the altitudes of a tetrahedron also meet at a point. However, it was already pointed out in 1827…

For any three nonzero vectors $a,b,c$ in $\mathbb R^2$, we obtain a necessary and sufficient condition for the sum of the three pairwise angles between these vectors to equal $2\pi$. As an easy consequence of this, a proof of Euclid's…

We provide an alternative, simpler proof of the existence of thick triangulations for noncompact $\mathcal{C}^1$ manifolds. Moreover, this proof is simpler than the original one given in \cite{pe}, since it mainly uses tools of elementary…

Given a triangle, what is the equation of the line which bisects its area and has a given slope? The set of all lines bisecting the area of a triangle has been elegantly determined as a certain 'deltoid' envelope and this gives an indirect…

We define the simplest log-euclidean geometry. This geometry exposes a difficulty hidden in Hilbert's list of axioms presented in his "Grundlagen der Geometrie". The list of axioms appears to be incomplete if the foundations of geometry are…

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…

The conditions determining that two triangles are congruent play a basic role in planimetry. By comparing not congruent triangles with respect to given sets of corresponding elements it is important to discover if they have any common…

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.…

In this pedagogical note we present a short proof of the following main result of arxiv.org/abs/0911.5319, and clarify its relation to the isoperimetric problem. On the hyperbolic plane consider triangles ABC with fixed lengths of AB and…

The goal of this paper is to give a purely geometric proof of a theorem by Branko Gr\"unbaum concerning configuration of triangles coming from the classical Napoleon's theorem in planar Euclidean geometry.

We trace the development of arguments for the consistency of non-Euclidean geometries and for the independence of the parallel postulate, showing how the arguments become more rigorous as a formal conception of geometry is introduced. We…