Related papers: New Proofs of Triangle Inequalities
We discuss several classical and recent proofs of the isoperimetric inequality and the Sobolev inequality.
A triangulation of a surface is irreducible if no edge can be contracted to produce a triangulation of the same surface. In this paper, we investigate irreducible triangulations of surfaces with boundary. We prove that the number of…
We prove that for a given flat surface with conical singularities, any pair of geometric triangulations can be connected by a chain of flips.
Some new reverses for the generalised triangle inequality in inner product spaces and applications are given. Applications in connection to the Schwarz inequality are provided as well.
In this paper we propose a new perspective on the evolution and history of the idea of mathematical proof. Proofs will be studied at three levels: syntactical, semantical and pragmatical. Computer-assisted proofs will be give a special…
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…
We prove various new trigonometric and hyperbolic inequalities of Jordan, Wilker, Huygens or Cusa-Huygens type. Connections with bivariate means, as well as monotonicity and convexity properties are pointed out, too.
Normed spaces appear to have very little going for them: aside from the hackneyed linear structure, you get a norm whose only virtue, aside from separating points, is the Triangle Inequality. What could you possibly prove with that? As it…
The recent non-calculus proof of Kepler's first law succeeds because of an obscure, but valid property of the ellipse.
The geometry of closed surfaces equipped with a Euclidean metric with finitely many conical points of arbitrary angle is studied. The main result is that the image of a non-closed geodesic has 0 distance from the set of conical points.…
The purpose of this short note is to demonstrate how some techniques from additive combinatorics recently developed by Peluse and Peluse-Prendiville can be applied to give an alternative proof for a trilinear smoothing inequality originally…
The incircle of a triangle touches the sides of the triangle in three points. It is well known that the lines from these points to the opposite vertices meet at a point known as the Gergonne point of the triangle. We use a computer to…
This paper presents some new inequalities, the most important of which is the inequality given in Theorem 2.1. It can solve a class of inequalities by a unified method. An important application of the inequality given in Theorem 2.1 is to…
We present a natural proof of Kepler's law of ellipses in the spirit of Euclidean geometry. Moreover we discuss two existing Euclidean geometric proofs, one by Feynman in hist Lost Lecture from 1964 and the other by Newton in the Principia…
We revisit constructions based on triads of conics with foci at pairs of vertices of a reference triangle. We find that their 6 vertices lie on well-known conics, whose type we analyze. We give conditions for these to be circles and/or…
The aim of the current paper is to introduce a new class of contractive mappings, which are contracting (a feature of) triangles. We prove that maps contracting triangles are continuous and give the fixed point result for such mappings. We…
This article discusses two versions of elliptic equations obtained from a system of equations describing a rational cuboid. Analysis of elliptic equations shows that they are equivalent, and that there are rational points on the elliptic…
Two triples of triangles having pairwise disjoint outlines in 3-space are called combinatorially isotopic if one triple can be obtained from the other by a continuous motion during which the outlines of the triangles remain pairwise…
We give a new proof of the $k$-fold convolution of the Catalan numbers. This is done by enumerating a certain class of polygonal dissections called $k$-in-$n$ dissections. Furthermore, we give a formula for the average number of cycles in a…
Quantum coherence and entanglement are two key features in quantum mechanics and play important roles in quantum information processing and quantum computation. We provide a general triangle-like inequality satisfied by the $l_1$-norm…