Hinge Theorem
   HOME

TheInfoList



OR:

In
geometry Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
, the hinge theorem (sometimes called the open mouth theorem) states that if two sides of one
triangle A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called ''vertices'', are zero-dimensional points while the sides connecting them, also called ''edges'', are one-dimension ...
are
congruent Congruence may refer to: Mathematics * Congruence (geometry), being the same size and shape * Congruence or congruence relation, in abstract algebra, an equivalence relation on an algebraic structure that is compatible with the structure * In modu ...
to two sides of another triangle, and the included angle of the first is larger than the included angle of the second, then the third side of the first triangle is longer than the third side of the second triangle. This theorem is given as Proposition 24 in Book I of Euclid's ''Elements''.


Proof from the law of cosines

The theorem is an immediate corollary of the
law of cosines In trigonometry, the law of cosines (also known as the cosine formula or cosine rule) relates the lengths of the sides of a triangle to the cosine of one of its angles. For a triangle with sides , , and , opposite respective angles , , and (see ...
. For two triangles with sides \ and \ with angles \gamma and \hat \gamma opposite the respective sides c and \hat c, the law of cosines states: \begin c^2 &= a^2 + b^2 - 2ab\cos \gamma, \\ \hat^2 &= a^2 + b^2 - 2ab\cos \hat \gamma. \end The
cosine In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side opposite that ...
function is
monotonically decreasing In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order. This concept first arose in calculus, and was later generalized to the more abstract setting of orde ...
for angles between 0 and \pi
radian The radian, denoted by the symbol rad, is the unit of angle in the International System of Units (SI) and is the standard unit of angular measure used in many areas of mathematics. It is defined such that one radian is the angle subtended at ...
s, so \hat\gamma > \gamma implies \hat c > c (and the converse as well).


Scope and generalizations

The hinge theorem holds in
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
s and more generally in simply connected non-positively curved
space form In mathematics, a space form is a complete Riemannian manifold ''M'' of constant sectional curvature ''K''. The three most fundamental examples are Euclidean ''n''-space, the ''n''-dimensional sphere, and hyperbolic space, although a space form n ...
s. It can be also extended from plane Euclidean geometry to higher dimension Euclidean spaces (e.g., to
tetrahedra In geometry, a tetrahedron (: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular Face (geometry), faces, six straight Edge (geometry), edges, and four vertex (geometry), vertices. The tet ...
and more generally to
simplices In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
), as has been done for orthocentric tetrahedra (i.e., tetrahedra in which altitudes are concurrent) and more generally for orthocentric simplices (i.e., simplices in which altitudes are concurrent).


Converse

The converse of the hinge theorem is also true: If the two sides of one triangle are congruent to two sides of another triangle, and the third side of the first triangle is greater than the third side of the second triangle, then the included angle of the first triangle is larger than the included angle of the second triangle. In some textbooks, the theorem and its converse are written as the SAS Inequality Theorem and the AAS Inequality Theorem respectively.


References

{{Ancient Greek mathematics Elementary geometry Theorems about triangles