A triangle is a polygon with three edges and three vertices. It is one of the basic shapes in geometry. A triangle with vertices ''A'', ''B'', and ''C'' is denoted $\backslash triangle\; ABC$.
In Euclidean geometry, any three points, when non-collinear, determine a unique triangle and simultaneously, a unique plane (i.e. a two-dimensional Euclidean space). In other words, there is only one plane that contains that triangle, and every triangle is contained in some plane. If the entire geometry is only the Euclidean plane, there is only one plane and all triangles are contained in it; however, in higher-dimensional Euclidean spaces, this is no longer true. This article is about triangles in Euclidean geometry, and in particular, the Euclidean plane, except where otherwise noted.

Types of triangle

By lengths of sides

Triangles can be classified according to the lengths of their sides: * An ''equilateral triangle'' has three sides of the same length. An equilateral triangle is also a regular polygon with all angles measuring 60°. * An ''isosceles triangle'' has two sides of equal length.Euclid defines isosceles triangles based on the number of equal sides, i.e. ''only two equal sides''. An alternative approach defines isosceles triangles based on shared properties, i.e. ''equilateral triangles are a special case of isosceles triangles''. wikt:Isosceles triangle An isosceles triangle also has two angles of the same measure, namely the angles opposite to the two sides of the same length. This fact is the content of the isosceles triangle theorem, which was known by Euclid. Some mathematicians define an isosceles triangle to have exactly two equal sides, whereas others define an isosceles triangle as one with ''at least'' two equal sides. The latter definition would make all equilateral triangles isosceles triangles. The 45–45–90 right triangle, which appears in the tetrakis square tiling, is isosceles. * A ''scalene triangle'' has all its sides of different lengths. Equivalently, it has all angles of different measure.
Triangle.Equilateral.svg|Equilateral Triangle
Triangle.Isosceles.svg|Isosceles triangle
Triangle.Scalene.svg|Scalene triangle
Hatch marks, also called tick marks, are used in diagrams of triangles and other geometric figures to identify sides of equal lengths. A side can be marked with a pattern of "ticks", short line segments in the form of tally marks; two sides have equal lengths if they are both marked with the same pattern. In a triangle, the pattern is usually no more than 3 ticks. An equilateral triangle has the same pattern on all 3 sides, an isosceles triangle has the same pattern on just 2 sides, and a scalene triangle has different patterns on all sides since no sides are equal.
Similarly, patterns of 1, 2, or 3 concentric arcs inside the angles are used to indicate equal angles: an equilateral triangle has the same pattern on all 3 angles, an isosceles triangle has the same pattern on just 2 angles, and a scalene triangle has different patterns on all angles, since no angles are equal.

By internal angles

Triangles can also be classified according to their internal angles, measured here in degrees. * A ''right triangle'' (or ''right-angled triangle'', formerly called a ''rectangled triangle'') has one of its interior angles measuring 90° (a right angle). The side opposite to the right angle is the hypotenuse, the longest side of the triangle. The other two sides are called the ''legs'' or ''catheti'' (singular: ''cathetus'') of the triangle. Right triangles obey the Pythagorean theorem: the sum of the squares of the lengths of the two legs is equal to the square of the length of the hypotenuse: , where ''a'' and ''b'' are the lengths of the legs and ''c'' is the length of the hypotenuse. Special right triangles are right triangles with additional properties that make calculations involving them easier. One of the two most famous is the 3–4–5 right triangle, where . In this situation, 3, 4, and 5 are a Pythagorean triple. The other one is an isosceles triangle that has 2 angles measuring 45 degrees (45–45–90 triangle). * Triangles that do not have an angle measuring 90° are called oblique triangles. * A triangle with all interior angles measuring less than 90° is an acute triangle or ''acute-angled triangle''. If ''c'' is the length of the longest side, then , where ''a'' and ''b'' are the lengths of the other sides. * A triangle with one interior angle measuring more than 90° is an obtuse triangle or ''obtuse-angled triangle''. If ''c'' is the length of the longest side, then , where ''a'' and ''b'' are the lengths of the other sides. * A triangle with an interior angle of 180° (and collinear vertices) is degenerate. * A right degenerate triangle has collinear vertices, two of which are coincident. A triangle that has two angles with the same measure also has two sides with the same length, and therefore it is an isosceles triangle. It follows that in a triangle where all angles have the same measure, all three sides have the same length, and therefore is equilateral.

Basic facts

Triangles are assumed to be two-dimensional plane figures, unless the context provides otherwise (see Non-planar triangles, below). In rigorous treatments, a triangle is therefore called a ''2-simplex'' (see also Polytope). Elementary facts about triangles were presented by Euclid, in books 1–4 of his ''Elements'', written around 300 BC. The sum of the measures of the interior angles of a triangle in Euclidean space is always 180 degrees. This fact is equivalent to Euclid's parallel postulate. This allows determination of the measure of the third angle of any triangle, given the measure of two angles. An ''exterior angle'' of a triangle is an angle that is a linear pair (and hence supplementary) to an interior angle. The measure of an exterior angle of a triangle is equal to the sum of the measures of the two interior angles that are not adjacent to it; this is the exterior angle theorem. The sum of the measures of the three exterior angles (one for each vertex) of any triangle is 360 degrees.The ''n'' external angles of any ''n''-sided convex polygon add up to 360 degrees.

Similarity and congruence

Two triangles are said to be ''similar'', if every angle of one triangle has the same measure as the corresponding angle in the other triangle. The corresponding sides of similar triangles have lengths that are in the same proportion, and this property is also sufficient to establish similarity. Some basic theorems about similar triangles are: * If and only if one pair of internal angles of two triangles have the same measure as each other, and another pair also have the same measure as each other, the triangles are similar. * If and only if one pair of corresponding sides of two triangles are in the same proportion as are another pair of corresponding sides, and their included angles have the same measure, then the triangles are similar. (The ''included angle'' for any two sides of a polygon is the internal angle between those two sides.) * If and only if three pairs of corresponding sides of two triangles are all in the same proportion, then the triangles are similar.Again, in all cases "mirror images" are also similar. Two triangles that are congruent have exactly the same size and shape:All pairs of congruent triangles are also similar; but not all pairs of similar triangles are congruent. all pairs of corresponding interior angles are equal in measure, and all pairs of corresponding sides have the same length. (This is a total of six equalities, but three are often sufficient to prove congruence.) Some individually necessary and sufficient conditions for a pair of triangles to be congruent are: * SAS Postulate: Two sides in a triangle have the same length as two sides in the other triangle, and the included angles have the same measure. * ASA: Two interior angles and the included side in a triangle have the same measure and length, respectively, as those in the other triangle. (The ''included side'' for a pair of angles is the side that is common to them.) * SSS: Each side of a triangle has the same length as a corresponding side of the other triangle. * AAS: Two angles and a corresponding (non-included) side in a triangle have the same measure and length, respectively, as those in the other triangle. (This is sometimes referred to as ''AAcorrS'' and then includes ASA above.) Some individually sufficient conditions are: * Hypotenuse-Leg (HL) Theorem: The hypotenuse and a leg in a right triangle have the same length as those in another right triangle. This is also called RHS (right-angle, hypotenuse, side). * Hypotenuse-Angle Theorem: The hypotenuse and an acute angle in one right triangle have the same length and measure, respectively, as those in the other right triangle. This is just a particular case of the AAS theorem. An important condition is: * Side-Side-Angle (or Angle-Side-Side) condition: If two sides and a corresponding non-included angle of a triangle have the same length and measure, respectively, as those in another triangle, then this is ''not'' sufficient to prove congruence; but if the angle given is opposite to the longer side of the two sides, then the triangles are congruent. The Hypotenuse-Leg Theorem is a particular case of this criterion. The Side-Side-Angle condition does not by itself guarantee that the triangles are congruent because one triangle could be obtuse-angled and the other acute-angled. Using right triangles and the concept of similarity, the trigonometric functions sine and cosine can be defined. These are functions of an angle which are investigated in trigonometry.

Right triangles

A central theorem is the Pythagorean theorem, which states in any right triangle, the square of the length of the hypotenuse equals the sum of the squares of the lengths of the two other sides. If the hypotenuse has length ''c'', and the legs have lengths ''a'' and ''b'', then the theorem states that :$a^2\; +\; b^2\; =\; c^2.$ The converse is true: if the lengths of the sides of a triangle satisfy the above equation, then the triangle has a right angle opposite side ''c''. Some other facts about right triangles: * The acute angles of a right triangle are complementary. :: $a\; +\; b\; +\; 90^\backslash circ\; =\; 180^\backslash circ\; \backslash Rightarrow\; a\; +\; b\; =\; 90^\backslash circ\; \backslash Rightarrow\; a\; =\; 90^\backslash circ\; -\; b.$ * If the legs of a right triangle have the same length, then the angles opposite those legs have the same measure. Since these angles are complementary, it follows that each measures 45 degrees. By the Pythagorean theorem, the length of the hypotenuse is the length of a leg times . * In a right triangle with acute angles measuring 30 and 60 degrees, the hypotenuse is twice the length of the shorter side, and the longer side is equal to the length of the shorter side times : ::$c\; =\; 2a\backslash ,$ ::$b\; =\; a\backslash times\backslash sqrt.$ For all triangles, angles and sides are related by the law of cosines and law of sines (also called the ''cosine rule'' and ''sine rule'').

Existence of a triangle

Condition on the sides

The triangle inequality states that the sum of the lengths of any two sides of a triangle must be greater than or equal to the length of the third side. That sum can equal the length of the third side only in the case of a degenerate triangle, one with collinear vertices. It is not possible for that sum to be less than the length of the third side. A triangle with three given positive side lengths exists if and only if those side lengths satisfy the triangle inequality.

Conditions on the angles

Three given angles form a non-degenerate triangle (and indeed an infinitude of them) if and only if both of these conditions hold: (a) each of the angles is positive, and (b) the angles sum to 180°. If degenerate triangles are permitted, angles of 0° are permitted.

Trigonometric conditions

Three positive angles ''α'', ''β'', and ''γ'', each of them less than 180°, are the angles of a triangle if and only if any one of the following conditions holds: :$\backslash tan\backslash tan+\backslash tan\backslash tan+\backslash tan\backslash tan=1,$Vardan Verdiyan & Daniel Campos Salas, "Simple trigonometric substitutions with broad results", ''Mathematical Reflections'' no 6, 2007. :$\backslash sin^2+\backslash sin^2+\backslash sin^2+2\backslash sin\backslash sin\backslash sin=1,$ :$\backslash sin(2\backslash alpha)\; +\; \backslash sin(2\backslash beta)\; +\; \backslash sin(2\backslash gamma)\; =\; 4\backslash sin(\backslash alpha)\backslash sin(\backslash beta)\backslash sin(\backslash gamma),$ :$\backslash cos^2\backslash alpha+\backslash cos^2\backslash beta+\backslash cos^2\backslash gamma+2\backslash cos(\backslash alpha)\backslash cos(\backslash beta)\backslash cos(\backslash gamma)=1,$ :$\backslash tan(\backslash alpha)\; +\; \backslash tan(\backslash beta)\; +\; \backslash tan(\backslash gamma)\; =\; \backslash tan(\backslash alpha)\backslash tan(\backslash beta)\backslash tan(\backslash gamma),$ the last equality applying only if none of the angles is 90° (so the tangent function's value is always finite).

Points, lines, and circles associated with a triangle

There are thousands of different constructions that find a special point associated with (and often inside) a triangle, satisfying some unique property: see the article Encyclopedia of Triangle Centers for a catalogue of them. Often they are constructed by finding three lines associated in a symmetrical way with the three sides (or vertices) and then proving that the three lines meet in a single point: an important tool for proving the existence of these is Ceva's theorem, which gives a criterion for determining when three such lines are concurrent. Similarly, lines associated with a triangle are often constructed by proving that three symmetrically constructed points are collinear: here Menelaus' theorem gives a useful general criterion. In this section just a few of the most commonly encountered constructions are explained. A perpendicular bisector of a side of a triangle is a straight line passing through the midpoint of the side and being perpendicular to it, i.e. forming a right angle with it. The three perpendicular bisectors meet in a single point, the triangle's circumcenter, usually denoted by O; this point is the center of the circumcircle, the circle passing through all three vertices. The diameter of this circle, called the ''circumdiameter'', can be found from the law of sines stated above. The circumcircle's radius is called the ''circumradius''. Thales' theorem implies that if the circumcenter is located on a side of the triangle, then the opposite angle is a right one. If the circumcenter is located inside the triangle, then the triangle is acute; if the circumcenter is located outside the triangle, then the triangle is obtuse. An altitude of a triangle is a straight line through a vertex and perpendicular to (i.e. forming a right angle with) the opposite side. This opposite side is called the ''base'' of the altitude, and the point where the altitude intersects the base (or its extension) is called the ''foot'' of the altitude. The length of the altitude is the distance between the base and the vertex. The three altitudes intersect in a single point, called the orthocenter of the triangle, usually denoted by H. The orthocenter lies inside the triangle if and only if the triangle is acute. An angle bisector of a triangle is a straight line through a vertex which cuts the corresponding angle in half. The three angle bisectors intersect in a single point, the incenter, usually denoted by I, the center of the triangle's incircle. The incircle is the circle which lies inside the triangle and touches all three sides. Its radius is called the ''inradius''. There are three other important circles, the excircles; they lie outside the triangle and touch one side as well as the extensions of the other two. The centers of the in- and excircles form an orthocentric system. A median of a triangle is a straight line through a vertex and the midpoint of the opposite side, and divides the triangle into two equal areas. The three medians intersect in a single point, the triangle's centroid or geometric barycenter, usually denoted by G. The centroid of a rigid triangular object (cut out of a thin sheet of uniform density) is also its center of mass: the object can be balanced on its centroid in a uniform gravitational field. The centroid cuts every median in the ratio 2:1, i.e. the distance between a vertex and the centroid is twice the distance between the centroid and the midpoint of the opposite side. The midpoints of the three sides and the feet of the three altitudes all lie on a single circle, the triangle's nine-point circle. The remaining three points for which it is named are the midpoints of the portion of altitude between the vertices and the orthocenter. The radius of the nine-point circle is half that of the circumcircle. It touches the incircle (at the Feuerbach point) and the three excircles. The orthocenter (blue point), center of the nine-point circle (red), centroid (orange), and circumcenter (green) all lie on a single line, known as Euler's line (red line). The center of the nine-point circle lies at the midpoint between the orthocenter and the circumcenter, and the distance between the centroid and the circumcenter is half that between the centroid and the orthocenter. The center of the incircle is not in general located on Euler's line. If one reflects a median in the angle bisector that passes through the same vertex, one obtains a symmedian. The three symmedians intersect in a single point, the symmedian point of the triangle.

Computing the sides and angles

There are various standard methods for calculating the length of a side or the measure of an angle. Certain methods are suited to calculating values in a right-angled triangle; more complex methods may be required in other situations.

Trigonometric ratios in right triangles

In right triangles, the trigonometric ratios of sine, cosine and tangent can be used to find unknown angles and the lengths of unknown sides. The sides of the triangle are known as follows: * The ''hypotenuse'' is the side opposite the right angle, or defined as the longest side of a right-angled triangle, in this case ''h''. * The ''opposite side'' is the side opposite to the angle we are interested in, in this case ''a''. * The ''adjacent side'' is the side that is in contact with the angle we are interested in and the right angle, hence its name. In this case the adjacent side is ''b''.

Sine, cosine and tangent

The ''sine'' of an angle is the ratio of the length of the opposite side to the length of the hypotenuse. In our case :$\backslash sin\; A\; =\; \backslash frac\; =\; \backslash frac\; \backslash ,.$ This ratio does not depend on the particular right triangle chosen, as long as it contains the angle ''A'', since all those triangles are similar. The ''cosine'' of an angle is the ratio of the length of the adjacent side to the length of the hypotenuse. In our case :$\backslash cos\; A\; =\; \backslash frac\; =\; \backslash frac\; \backslash ,.$ The ''tangent'' of an angle is the ratio of the length of the opposite side to the length of the adjacent side. In our case :$\backslash tan\; A\; =\; \backslash frac\; =\; \backslash frac\; =\backslash frac\; \backslash ,.$ The acronym "SOH-CAH-TOA" is a useful mnemonic for these ratios.

Inverse functions

The inverse trigonometric functions can be used to calculate the internal angles for a right angled triangle with the length of any two sides. Arcsin can be used to calculate an angle from the length of the opposite side and the length of the hypotenuse. :$\backslash theta\; =\; \backslash arcsin\; \backslash left(\; \backslash frac\; \backslash right)$ Arccos can be used to calculate an angle from the length of the adjacent side and the length of the hypotenuse. :$\backslash theta\; =\; \backslash arccos\; \backslash left(\; \backslash frac\; \backslash right)$ Arctan can be used to calculate an angle from the length of the opposite side and the length of the adjacent side. :$\backslash theta\; =\; \backslash arctan\; \backslash left(\; \backslash frac\; \backslash right)$ In introductory geometry and trigonometry courses, the notation sin^{−1}, cos^{−1}, etc., are often used in place of arcsin, arccos, etc. However, the arcsin, arccos, etc., notation is standard in higher mathematics where trigonometric functions are commonly raised to powers, as this avoids confusion between multiplicative inverse and compositional inverse.

Sine, cosine and tangent rules

The law of sines, or sine rule, states that the ratio of the length of a side to the sine of its corresponding opposite angle is constant, that is :$\backslash frac\; =\; \backslash frac\; =\; \backslash frac.$ This ratio is equal to the diameter of the circumscribed circle of the given triangle. Another interpretation of this theorem is that every triangle with angles α, β and γ is similar to a triangle with side lengths equal to sin α, sin β and sin γ. This triangle can be constructed by first constructing a circle of diameter 1, and inscribing in it two of the angles of the triangle. The length of the sides of that triangle will be sin α, sin β and sin γ. The side whose length is sin α is opposite to the angle whose measure is α, etc. The law of cosines, or cosine rule, connects the length of an unknown side of a triangle to the length of the other sides and the angle opposite to the unknown side. As per the law: For a triangle with length of sides ''a'', ''b'', ''c'' and angles of α, β, γ respectively, given two known lengths of a triangle ''a'' and ''b'', and the angle between the two known sides γ (or the angle opposite to the unknown side ''c''), to calculate the third side ''c'', the following formula can be used: :$c^2\backslash \; =\; a^2\; +\; b^2\; -\; 2ab\backslash cos(\backslash gamma)$ :$b^2\backslash \; =\; a^2\; +\; c^2\; -\; 2ac\backslash cos(\backslash beta)$ :$a^2\backslash \; =\; b^2\; +\; c^2\; -\; 2bc\backslash cos(\backslash alpha)$ If the lengths of all three sides of any triangle are known the three angles can be calculated: :$\backslash alpha=\backslash arccos\backslash left(\backslash frac\backslash right)$ :$\backslash beta=\backslash arccos\backslash left(\backslash frac\backslash right)$ :$\backslash gamma=\backslash arccos\backslash left(\backslash frac\backslash right)$ The law of tangents, or tangent rule, can be used to find a side or an angle when two sides and an angle or two angles and a side are known. It states that: :$\backslash frac\; =\; \backslash frac.$

** Solution of triangles **

"Solution of triangles" is the main trigonometric problem: to find missing characteristics of a triangle (three angles, the lengths of the three sides etc.) when at least three of these characteristics are given. The triangle can be located on a plane or on a sphere. This problem often occurs in various trigonometric applications, such as geodesy, astronomy, construction, navigation etc.

Computing the area of a triangle

300px|A graphic derivation of the formula $T=\backslash fracb$ that avoids the usual procedure of doubling the area of the triangle and then halving it. Calculating the area ''T'' of a triangle is an elementary problem encountered often in many different situations. The best known and simplest formula is: :$T=\backslash fracbh,$ where ''b'' is the length of the base of the triangle, and ''h'' is the height or altitude of the triangle. The term "base" denotes any side, and "height" denotes the length of a perpendicular from the vertex opposite the base onto the line containing the base. In 499 CE Aryabhata, used this illustrated method in the ''Aryabhatiya'' (section 2.6). Although simple, this formula is only useful if the height can be readily found, which is not always the case. For example, the surveyor of a triangular field might find it relatively easy to measure the length of each side, but relatively difficult to construct a 'height'. Various methods may be used in practice, depending on what is known about the triangle. The following is a selection of frequently used formulae for the area of a triangle.

Using trigonometry

The height of a triangle can be found through the application of trigonometry. ''Knowing SAS'': Using the labels in the image on the right, the altitude is . Substituting this in the formula $T=\backslash fracbh$ derived above, the area of the triangle can be expressed as: :$T\; =\; \backslash fracab\backslash sin\; \backslash gamma\; =\; \backslash fracbc\backslash sin\; \backslash alpha\; =\; \backslash fracca\backslash sin\; \backslash beta$ (where α is the interior angle at ''A'', β is the interior angle at ''B'', $\backslash gamma$ is the interior angle at ''C'' and ''c'' is the line AB). Furthermore, since sin α = sin (''π'' − α) = sin (β + $\backslash gamma$), and similarly for the other two angles: :$T\; =\; \backslash fracab\backslash sin\; (\backslash alpha+\backslash beta)\; =\; \backslash fracbc\backslash sin\; (\backslash beta+\backslash gamma)\; =\; \backslash fracca\backslash sin\; (\backslash gamma+\backslash alpha).$ ''Knowing AAS'': :$T\; =\; \backslash frac\; ,$ and analogously if the known side is ''a'' or ''c''. ''Knowing ASA'': :$T\; =\; \backslash frac\; =\; \backslash frac,$ and analogously if the known side is ''b'' or ''c''.

Using Heron's formula

The shape of the triangle is determined by the lengths of the sides. Therefore, the area can also be derived from the lengths of the sides. By Heron's formula: :$T\; =\; \backslash sqrt$ where $s=\; \backslash tfrac$ is the semiperimeter, or half of the triangle's perimeter. Three other equivalent ways of writing Heron's formula are :$T\; =\; \backslash frac\; \backslash sqrt$ :$T\; =\; \backslash frac\; \backslash sqrt$ :$T\; =\; \backslash frac\; \backslash sqrt.$

Using vectors

The area of a parallelogram embedded in a three-dimensional Euclidean space can be calculated using vectors. Let vectors AB and AC point respectively from ''A'' to ''B'' and from ''A'' to ''C''. The area of parallelogram ''ABDC'' is then :$|\backslash mathbf\backslash times\backslash mathbf|,$ which is the magnitude of the cross product of vectors AB and AC. The area of triangle ABC is half of this, :$\backslash frac|\backslash mathbf\backslash times\backslash mathbf|.$ The area of triangle ''ABC'' can also be expressed in terms of dot products as follows: :$\backslash frac\; \backslash sqrt\; =\backslash frac\; \backslash sqrt.\backslash ,$ In two-dimensional Euclidean space, expressing vector AB as a free vector in Cartesian space equal to (''x''_{1},''y''_{1}) and AC as (''x''_{2},''y''_{2}), this can be rewritten as:
:$\backslash frac\backslash ,|x\_1\; y\_2\; -\; x\_2\; y\_1|.\backslash ,$

Using coordinates

If vertex ''A'' is located at the origin (0, 0) of a Cartesian coordinate system and the coordinates of the other two vertices are given by and , then the area can be computed as times the absolute value of the determinant :$T\; =\; \backslash frac\backslash left|\backslash det\backslash beginx\_B\; \&\; x\_C\; \backslash \backslash \; y\_B\; \&\; y\_C\; \backslash end\backslash \; =\; \backslash frac|x\_B\; y\_C\; -\; x\_C\; y\_B|.$ For three general vertices, the equation is: :$T\; =\; \backslash frac\; \backslash left|\; \backslash det\backslash beginx\_A\; \&\; x\_B\; \&\; x\_C\; \backslash \backslash \; y\_A\; \&\; y\_B\; \&\; y\_C\; \backslash \backslash \; 1\; \&\; 1\; \&\; 1\backslash end\; \backslash \; =\; \backslash frac\; \backslash big|\; x\_A\; y\_B\; -\; x\_A\; y\_C\; +\; x\_B\; y\_C\; -\; x\_B\; y\_A\; +\; x\_C\; y\_A\; -\; x\_C\; y\_B\; \backslash big|,$ which can be written as :$T\; =\; \backslash frac\; \backslash big|\; (x\_A\; -\; x\_C)\; (y\_B\; -\; y\_A)\; -\; (x\_A\; -\; x\_B)\; (y\_C\; -\; y\_A)\; \backslash big|.$ If the points are labeled sequentially in the counterclockwise direction, the above determinant expressions are positive and the absolute value signs can be omitted. The above formula is known as the shoelace formula or the surveyor's formula. If we locate the vertices in the complex plane and denote them in counterclockwise sequence as , , and , and denote their complex conjugates as $\backslash bar\; a$, $\backslash bar\; b$, and $\backslash bar\; c$, then the formula :$T=\backslash frac\backslash begina\; \&\; \backslash bar\; a\; \&\; 1\; \backslash \backslash \; b\; \&\; \backslash bar\; b\; \&\; 1\; \backslash \backslash \; c\; \&\; \backslash bar\; c\; \&\; 1\; \backslash end$ is equivalent to the shoelace formula. In three dimensions, the area of a general triangle , and ) is the Pythagorean sum of the areas of the respective projections on the three principal planes (i.e. ''x'' = 0, ''y'' = 0 and ''z'' = 0): :$T\; =\; \backslash frac\; \backslash sqrt.$

Using line integrals

The area within any closed curve, such as a triangle, is given by the line integral around the curve of the algebraic or signed distance of a point on the curve from an arbitrary oriented straight line ''L''. Points to the right of ''L'' as oriented are taken to be at negative distance from ''L'', while the weight for the integral is taken to be the component of arc length parallel to ''L'' rather than arc length itself. This method is well suited to computation of the area of an arbitrary polygon. Taking ''L'' to be the ''x''-axis, the line integral between consecutive vertices (''x_{i}'',''y_{i}'') and (''x''_{''i''+1},''y''_{''i''+1}) is given by the base times the mean height, namely . The sign of the area is an overall indicator of the direction of traversal, with negative area indicating counterclockwise traversal. The area of a triangle then falls out as the case of a polygon with three sides.
While the line integral method has in common with other coordinate-based methods the arbitrary choice of a coordinate system, unlike the others it makes no arbitrary choice of vertex of the triangle as origin or of side as base. Furthermore, the choice of coordinate system defined by ''L'' commits to only two degrees of freedom rather than the usual three, since the weight is a local distance (e.g. in the above) whence the method does not require choosing an axis normal to ''L''.
When working in polar coordinates it is not necessary to convert to Cartesian coordinates to use line integration, since the line integral between consecutive vertices (''r_{i}'',θ_{''i''}) and (''r''_{''i''+1},θ_{''i''+1}) of a polygon is given directly by . This is valid for all values of θ, with some decrease in numerical accuracy when |θ| is many orders of magnitude greater than π. With this formulation negative area indicates clockwise traversal, which should be kept in mind when mixing polar and cartesian coordinates. Just as the choice of ''y''-axis () is immaterial for line integration in cartesian coordinates, so is the choice of zero heading () immaterial here.

Formulas resembling Heron's formula

Three formulas have the same structure as Heron's formula but are expressed in terms of different variables. First, denoting the medians from sides ''a'', ''b'', and ''c'' respectively as ''m_{a}'', ''m_{b}'', and ''m_{c}'' and their semi-sum as σ, we have
:$T\; =\; \backslash frac\; \backslash sqrt.$
Next, denoting the altitudes from sides ''a'', ''b'', and ''c'' respectively as ''h_{a}'', ''h_{b}'', and ''h_{c}'', and denoting the semi-sum of the reciprocals of the altitudes as $H\; =\; (h\_a^\; +\; h\_b^\; +\; h\_c^)/2$ we have
:$T^\; =\; 4\; \backslash sqrt.$
And denoting the semi-sum of the angles' sines as , we have
:$T\; =\; D^\; \backslash sqrt$
where ''D'' is the diameter of the circumcircle: $D=\backslash tfrac\; =\; \backslash tfrac\; =\; \backslash tfrac.$

Using Pick's theorem

See Pick's theorem for a technique for finding the area of any arbitrary lattice polygon (one drawn on a grid with vertically and horizontally adjacent lattice points at equal distances, and with vertices on lattice points). The theorem states: :$T\; =\; I\; +\; \backslash fracB\; -\; 1$ where ''$I$'' is the number of internal lattice points and ''B'' is the number of lattice points lying on the border of the polygon.

Other area formulas

Numerous other area formulas exist, such as :$T\; =\; r\; \backslash cdot\; s,$ where ''r'' is the inradius, and ''s'' is the semiperimeter (in fact, this formula holds for ''all'' tangential polygons), andSa ́ndor Nagydobai Kiss, "A Distance Property of the Feuerbach Point and Its Extension", ''Forum Geometricorum'' 16, 2016, 283–290.

/ref> :$T=r\_a(s-a)=r\_b(s-b)=r\_c(s-c)$ where $r\_a,\; \backslash ,\; r\_b,\backslash ,\; r\_c$ are the radii of the excircles tangent to sides ''a, b, c'' respectively. We also have :$T\; =\; \backslash fracD^(\backslash sin\; \backslash alpha)(\backslash sin\; \backslash beta)(\backslash sin\; \backslash gamma)$ and :$T\; =\; \backslash frac\; =\; \backslash frac$ for circumdiameter ''D''; and :$T\; =\; \backslash frac(b^+c^-a^)$ for angle α ≠ 90°. The area can also be expressed as :$T\; =\; \backslash sqrt.$ In 1885, Baker gave a collection of over a hundred distinct area formulas for the triangle. These include: :$T\; =\; \backslash fracbch\_ah\_bh\_c,$ :$T\; =\; \backslash frac\; \backslash sqrt,$ :$T\; =\; \backslash frac,$ :$T\; =\; \backslash frac$ for circumradius (radius of the circumcircle) ''R'', and :$T\; =\; \backslash frac.$

Upper bound on the area

The area ''T'' of any triangle with perimeter ''p'' satisfies :$T\backslash le\; \backslash tfrac,$ with equality holding if and only if the triangle is equilateral. Other upper bounds on the area ''T'' are given by :$4\backslash sqrtT\; \backslash leq\; a^2+b^2+c^2$ and :$4\backslash sqrtT\; \backslash leq\; \backslash frac,$ both again holding if and only if the triangle is equilateral.

Bisecting the area

There are infinitely many lines that bisect the area of a triangle.Dunn, J.A., and Pretty, J.E., "Halving a triangle," ''Mathematical Gazette'' 56, May 1972, 105–108. Three of them are the medians, which are the only area bisectors that go through the centroid. Three other area bisectors are parallel to the triangle's sides. Any line through a triangle that splits both the triangle's area and its perimeter in half goes through the triangle's incenter. There can be one, two, or three of these for any given triangle.

Further formulas for general Euclidean triangles

The formulas in this section are true for all Euclidean triangles.

Medians, angle bisectors, perpendicular side bisectors, and altitudes

The medians and the sides are related by :$\backslash frac(a^+b^+c^)=m\_a^+m\_b^+m\_c^$ and :$m\_a=\backslash frac\; \backslash sqrt=\; \backslash sqrt$, and equivalently for ''m_{b}'' and ''m_{c}''.
For angle A opposite side ''a'', the length of the internal angle bisector is given by
:$w\_A\; =\; \backslash frac\; =\; \backslash sqrt\; =\; \backslash frac\backslash cos\; \backslash frac,$
for semiperimeter ''s'', where the bisector length is measured from the vertex to where it meets the opposite side.
The interior perpendicular bisectors are given by
:$p\_a=\backslash frac,$
:$p\_b=\backslash frac,$
:$p\_c=\backslash frac,$
where the sides are $a\; \backslash ge\; b\; \backslash ge\; c$ and the area is $T.$
The altitude from, for example, the side of length ''a'' is
:$h\_a\; =\; \backslash frac.$

Circumradius and inradius

The following formulas involve the circumradius ''R'' and the inradius ''r'': :$R\; =\; \backslash sqrt;$ :$r\; =\; \backslash sqrt;$ :$\backslash frac\; =\; \backslash frac\; +\; \backslash frac\; +\; \backslash frac$ where ''h_{a}'' etc. are the altitudes to the subscripted sides;
:$\backslash frac\; =\; \backslash frac\; =\; \backslash cos\; \backslash alpha\; +\; \backslash cos\; \backslash beta\; +\; \backslash cos\; \backslash gamma\; -1;$Longuet-Higgins, Michael S., "On the ratio of the inradius to the circumradius of a triangle", ''Mathematical Gazette'' 87, March 2003, 119–120.
and
:$2Rr\; =\; \backslash frac$.
The product of two sides of a triangle equals the altitude to the third side times the diameter ''D'' of the circumcircle:Altshiller-Court, Nathan, ''College Geometry'', Dover, 2007.
:$ab=h\_cD,\; \backslash quad\; \backslash quad\; bc=h\_aD,\; \backslash quad\; ca=h\_bD.$

Adjacent triangles

Suppose two adjacent but non-overlapping triangles share the same side of length ''f'' and share the same circumcircle, so that the side of length ''f'' is a chord of the circumcircle and the triangles have side lengths (''a'', ''b'', ''f'') and (''c'', ''d'', ''f''), with the two triangles together forming a cyclic quadrilateral with side lengths in sequence (''a'', ''b'', ''c'', ''d''). ThenJohnson, Roger A., ''Advanced Euclidean Geometry'', Dover Publ. Co., 2007 :$f^2\; =\; \backslash frac.\; \backslash ,$

Centroid

Let ''G'' be the centroid of a triangle with vertices ''A'', ''B'', and ''C'', and let ''P'' be any interior point. Then the distances between the points are related by :$(PA)^2\; +\; (PB)^2\; +(PC)^2\; =(GA)^2\; +\; (GB)^2\; +\; (GC)^2\; +3(PG)^2.\; \backslash ,$ The sum of the squares of the triangle's sides equals three times the sum of the squared distances of the centroid from the vertices: :$AB^2+BC^2+CA^2=3(GA^2+GB^2+GC^2).$ Let ''q_{a}'', ''q_{b}'', and ''q_{c}'' be the distances from the centroid to the sides of lengths ''a'', ''b'', and ''c''. Then
:$\backslash frac\; =\; \backslash frac,\; \backslash quad\; \backslash quad\; \backslash frac\; =\; \backslash frac,\; \backslash quad\; \backslash quad\; \backslash frac\; =\; \backslash frac\; \backslash ,$
and
:$q\_a\; \backslash cdot\; a\; =\; q\_b\; \backslash cdot\; b\; =\; q\_c\; \backslash cdot\; c\; =\; \backslash frac\; T\; \backslash ,$
for area ''T''.

Circumcenter, incenter, and orthocenter

Carnot's theorem states that the sum of the distances from the circumcenter to the three sides equals the sum of the circumradius and the inradius. Here a segment's length is considered to be negative if and only if the segment lies entirely outside the triangle. This method is especially useful for deducing the properties of more abstract forms of triangles, such as the ones induced by Lie algebras, that otherwise have the same properties as usual triangles. Euler's theorem states that the distance ''d'' between the circumcenter and the incenter is given by :$\backslash displaystyle\; d^2=R(R-2r)$ or equivalently :$\backslash frac\; +\; \backslash frac\; =\; \backslash frac,$ where ''R'' is the circumradius and ''r'' is the inradius. Thus for all triangles ''R'' ≥ 2''r'', with equality holding for equilateral triangles. If we denote that the orthocenter divides one altitude into segments of lengths ''u'' and ''v'', another altitude into segment lengths ''w'' and ''x'', and the third altitude into segment lengths ''y'' and ''z'', then ''uv'' = ''wx'' = ''yz''. The distance from a side to the circumcenter equals half the distance from the opposite vertex to the orthocenter. The sum of the squares of the distances from the vertices to the orthocenter ''H'' plus the sum of the squares of the sides equals twelve times the square of the circumradius: :$AH^2+BH^2+CH^2+a^2+b^2+c^2=12R^2.$

Angles

In addition to the law of sines, the law of cosines, the law of tangents, and the trigonometric existence conditions given earlier, for any triangle :$a=b\backslash cos\; C+c\backslash cos\; B,\; \backslash quad\; b=c\backslash cos\; A+a\backslash cos\; C,\; \backslash quad\; c=a\backslash cos\; B+b\backslash cos\; A.$

Morley's trisector theorem

Morley's trisector theorem states that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, called the Morley triangle.

Figures inscribed in a triangle

Conics

As discussed above, every triangle has a unique inscribed circle (incircle) that is interior to the triangle and tangent to all three sides. Every triangle has a unique Steiner inellipse which is interior to the triangle and tangent at the midpoints of the sides. Marden's theorem shows how to find the foci of this ellipse. This ellipse has the greatest area of any ellipse tangent to all three sides of the triangle. The Mandart inellipse of a triangle is the ellipse inscribed within the triangle tangent to its sides at the contact points of its excircles. For any ellipse inscribed in a triangle ''ABC'', let the foci be ''P'' and ''Q''. Then :$\backslash frac\; +\; \backslash frac\; +\; \backslash frac\; =\; 1.$

Convex polygon

Every convex polygon with area ''T'' can be inscribed in a triangle of area at most equal to 2''T''. Equality holds (exclusively) for a parallelogram.

Hexagon

The Lemoine hexagon is a cyclic hexagon with vertices given by the six intersections of the sides of a triangle with the three lines that are parallel to the sides and that pass through its symmedian point. In either its simple form or its self-intersecting form, the Lemoine hexagon is interior to the triangle with two vertices on each side of the triangle.

Squares

Every acute triangle has three inscribed squares (squares in its interior such that all four of a square's vertices lie on a side of the triangle, so two of them lie on the same side and hence one side of the square coincides with part of a side of the triangle). In a right triangle two of the squares coincide and have a vertex at the triangle's right angle, so a right triangle has only two ''distinct'' inscribed squares. An obtuse triangle has only one inscribed square, with a side coinciding with part of the triangle's longest side. Within a given triangle, a longer common side is associated with a smaller inscribed square. If an inscribed square has side of length ''q''_{''a''} and the triangle has a side of length ''a'', part of which side coincides with a side of the square, then ''q''_{''a''}, ''a'', the altitude ''h''_{''a''} from the side ''a'', and the triangle's area ''T'' are related according to
:$q\_a=\backslash frac=\backslash frac.$
The largest possible ratio of the area of the inscribed square to the area of the triangle is 1/2, which occurs when , , and the altitude of the triangle from the base of length ''a'' is equal to ''a''. The smallest possible ratio of the side of one inscribed square to the side of another in the same non-obtuse triangle is $2\backslash sqrt/3\; =\; 0.94....$Victor Oxman and Moshe Stupel, "Why Are the Side Lengths of the Squares Inscribed in a Triangle so Close to Each Other?", ''Forum Geometricorum'' 13 (2013) 113–115.

/ref> Both of these extreme cases occur for the isosceles right triangle.

Triangles

From an interior point in a reference triangle, the nearest points on the three sides serve as the vertices of the pedal triangle of that point. If the interior point is the circumcenter of the reference triangle, the vertices of the pedal triangle are the midpoints of the reference triangle's sides, and so the pedal triangle is called the midpoint triangle or medial triangle. The midpoint triangle subdivides the reference triangle into four congruent triangles which are similar to the reference triangle. The Gergonne triangle or intouch triangle of a reference triangle has its vertices at the three points of tangency of the reference triangle's sides with its incircle. The extouch triangle of a reference triangle has its vertices at the points of tangency of the reference triangle's excircles with its sides (not extended).

Figures circumscribed about a triangle

The tangential triangle of a reference triangle (other than a right triangle) is the triangle whose sides are on the tangent lines to the reference triangle's circumcircle at its vertices. As mentioned above, every triangle has a unique circumcircle, a circle passing through all three vertices, whose center is the intersection of the perpendicular bisectors of the triangle's sides. Further, every triangle has a unique Steiner circumellipse, which passes through the triangle's vertices and has its center at the triangle's centroid. Of all ellipses going through the triangle's vertices, it has the smallest area. The Kiepert hyperbola is the unique conic which passes through the triangle's three vertices, its centroid, and its circumcenter. Of all triangles contained in a given convex polygon, there exists a triangle with maximal area whose vertices are all vertices of the given polygon.

Specifying the location of a point in a triangle

One way to identify locations of points in (or outside) a triangle is to place the triangle in an arbitrary location and orientation in the Cartesian plane, and to use Cartesian coordinates. While convenient for many purposes, this approach has the disadvantage of all points' coordinate values being dependent on the arbitrary placement in the plane. Two systems avoid that feature, so that the coordinates of a point are not affected by moving the triangle, rotating it, or reflecting it as in a mirror, any of which give a congruent triangle, or even by rescaling it to give a similar triangle: * Trilinear coordinates specify the relative distances of a point from the sides, so that coordinates $x\; :\; y\; :\; z$ indicate that the ratio of the distance of the point from the first side to its distance from the second side is $x\; :\; y$ , etc. * Barycentric coordinates of the form $\backslash alpha\; :\backslash beta\; :\backslash gamma$ specify the point's location by the relative weights that would have to be put on the three vertices in order to balance the otherwise weightless triangle on the given point.

Non-planar triangles

A non-planar triangle is a triangle which is not contained in a (flat) plane. Some examples of non-planar triangles in non-Euclidean geometries are spherical triangles in spherical geometry and hyperbolic triangles in hyperbolic geometry. While the measures of the internal angles in planar triangles always sum to 180°, a hyperbolic triangle has measures of angles that sum to less than 180°, and a spherical triangle has measures of angles that sum to more than 180°. A hyperbolic triangle can be obtained by drawing on a negatively curved surface, such as a saddle surface, and a spherical triangle can be obtained by drawing on a positively curved surface such as a sphere. Thus, if one draws a giant triangle on the surface of the Earth, one will find that the sum of the measures of its angles is greater than 180°; in fact it will be between 180° and 540°.Watkins, Matthew, ''Useful Mathematical and Physical Formulae'', Walker and Co., 2000. In particular it is possible to draw a triangle on a sphere such that the measure of each of its internal angles is equal to 90°, adding up to a total of 270°. Specifically, on a sphere the sum of the angles of a triangle is :180° × (1 + 4''f''), where ''f'' is the fraction of the sphere's area which is enclosed by the triangle. For example, suppose that we draw a triangle on the Earth's surface with vertices at the North Pole, at a point on the equator at 0° longitude, and a point on the equator at 90° West longitude. The great circle line between the latter two points is the equator, and the great circle line between either of those points and the North Pole is a line of longitude; so there are right angles at the two points on the equator. Moreover, the angle at the North Pole is also 90° because the other two vertices differ by 90° of longitude. So the sum of the angles in this triangle is . The triangle encloses 1/4 of the northern hemisphere (90°/360° as viewed from the North Pole) and therefore 1/8 of the Earth's surface, so in the formula ; thus the formula correctly gives the sum of the triangle's angles as 270°. From the above angle sum formula we can also see that the Earth's surface is locally flat: If we draw an arbitrarily small triangle in the neighborhood of one point on the Earth's surface, the fraction ''f'' of the Earth's surface which is enclosed by the triangle will be arbitrarily close to zero. In this case the angle sum formula simplifies to 180°, which we know is what Euclidean geometry tells us for triangles on a flat surface.

Triangles in construction

Rectangles have been the most popular and common geometric form for buildings since the shape is easy to stack and organize; as a standard, it is easy to design furniture and fixtures to fit inside rectangularly shaped buildings. But triangles, while more difficult to use conceptually, provide a great deal of strength. As computer technology helps architects design creative new buildings, triangular shapes are becoming increasingly prevalent as parts of buildings and as the primary shape for some types of skyscrapers as well as building materials. In Tokyo in 1989, architects had wondered whether it was possible to build a 500-story tower to provide affordable office space for this densely packed city, but with the danger to buildings from earthquakes, architects considered that a triangular shape would be necessary if such a building were to be built. In New York City, as Broadway crisscrosses major avenues, the resulting blocks are cut like triangles, and buildings have been built on these shapes; one such building is the triangularly shaped Flatiron Building which real estate people admit has a "warren of awkward spaces that do not easily accommodate modern office furniture" but that has not prevented the structure from becoming a landmark icon. Designers have made houses in Norway using triangular themes. Triangle shapes have appeared in churches as well as public buildings including colleges as well as supports for innovative home designs. Triangles are sturdy; while a rectangle can collapse into a parallelogram from pressure to one of its points, triangles have a natural strength which supports structures against lateral pressures. A triangle will not change shape unless its sides are bent or extended or broken or if its joints break; in essence, each of the three sides supports the other two. A rectangle, in contrast, is more dependent on the strength of its joints in a structural sense. Some innovative designers have proposed making bricks not out of rectangles, but with triangular shapes which can be combined in three dimensions. It is likely that triangles will be used increasingly in new ways as architecture increases in complexity. It is important to remember that triangles are strong in terms of rigidity, but while packed in a tessellating arrangement triangles are not as strong as hexagons under compression (hence the prevalence of hexagonal forms in nature). Tessellated triangles still maintain superior strength for cantilevering however, and this is the basis for one of the strongest man made structures, the tetrahedral truss.

See also

* Apollonius' theorem * Congruence (geometry) * Desargues' theorem * Dragon's Eye (symbol) * Fermat point * Hadwiger–Finsler inequality * Heronian triangle * Integer triangle * Law of cosines * Law of sines * Law of tangents * Lester's theorem * List of triangle inequalities * List of triangle topics * Ono's inequality * Pedal triangle * Pedoe's inequality * Pythagorean theorem * Special right triangles * Triangle center * Triangular number * Triangulated category * Triangulation (topology)

Notes

References

External links

* * Clark Kimberling

Encyclopedia of triangle centers

Lists some 5200 interesting points associated with any triangle. {{Polygons

Types of triangle

By lengths of sides

Triangles can be classified according to the lengths of their sides: * An ''equilateral triangle'' has three sides of the same length. An equilateral triangle is also a regular polygon with all angles measuring 60°. * An ''isosceles triangle'' has two sides of equal length.Euclid defines isosceles triangles based on the number of equal sides, i.e. ''only two equal sides''. An alternative approach defines isosceles triangles based on shared properties, i.e. ''equilateral triangles are a special case of isosceles triangles''. wikt:Isosceles triangle An isosceles triangle also has two angles of the same measure, namely the angles opposite to the two sides of the same length. This fact is the content of the isosceles triangle theorem, which was known by Euclid. Some mathematicians define an isosceles triangle to have exactly two equal sides, whereas others define an isosceles triangle as one with ''at least'' two equal sides. The latter definition would make all equilateral triangles isosceles triangles. The 45–45–90 right triangle, which appears in the tetrakis square tiling, is isosceles. * A ''scalene triangle'' has all its sides of different lengths. Equivalently, it has all angles of different measure.

By internal angles

Triangles can also be classified according to their internal angles, measured here in degrees. * A ''right triangle'' (or ''right-angled triangle'', formerly called a ''rectangled triangle'') has one of its interior angles measuring 90° (a right angle). The side opposite to the right angle is the hypotenuse, the longest side of the triangle. The other two sides are called the ''legs'' or ''catheti'' (singular: ''cathetus'') of the triangle. Right triangles obey the Pythagorean theorem: the sum of the squares of the lengths of the two legs is equal to the square of the length of the hypotenuse: , where ''a'' and ''b'' are the lengths of the legs and ''c'' is the length of the hypotenuse. Special right triangles are right triangles with additional properties that make calculations involving them easier. One of the two most famous is the 3–4–5 right triangle, where . In this situation, 3, 4, and 5 are a Pythagorean triple. The other one is an isosceles triangle that has 2 angles measuring 45 degrees (45–45–90 triangle). * Triangles that do not have an angle measuring 90° are called oblique triangles. * A triangle with all interior angles measuring less than 90° is an acute triangle or ''acute-angled triangle''. If ''c'' is the length of the longest side, then , where ''a'' and ''b'' are the lengths of the other sides. * A triangle with one interior angle measuring more than 90° is an obtuse triangle or ''obtuse-angled triangle''. If ''c'' is the length of the longest side, then , where ''a'' and ''b'' are the lengths of the other sides. * A triangle with an interior angle of 180° (and collinear vertices) is degenerate. * A right degenerate triangle has collinear vertices, two of which are coincident. A triangle that has two angles with the same measure also has two sides with the same length, and therefore it is an isosceles triangle. It follows that in a triangle where all angles have the same measure, all three sides have the same length, and therefore is equilateral.

Basic facts

Triangles are assumed to be two-dimensional plane figures, unless the context provides otherwise (see Non-planar triangles, below). In rigorous treatments, a triangle is therefore called a ''2-simplex'' (see also Polytope). Elementary facts about triangles were presented by Euclid, in books 1–4 of his ''Elements'', written around 300 BC. The sum of the measures of the interior angles of a triangle in Euclidean space is always 180 degrees. This fact is equivalent to Euclid's parallel postulate. This allows determination of the measure of the third angle of any triangle, given the measure of two angles. An ''exterior angle'' of a triangle is an angle that is a linear pair (and hence supplementary) to an interior angle. The measure of an exterior angle of a triangle is equal to the sum of the measures of the two interior angles that are not adjacent to it; this is the exterior angle theorem. The sum of the measures of the three exterior angles (one for each vertex) of any triangle is 360 degrees.The ''n'' external angles of any ''n''-sided convex polygon add up to 360 degrees.

Similarity and congruence

Two triangles are said to be ''similar'', if every angle of one triangle has the same measure as the corresponding angle in the other triangle. The corresponding sides of similar triangles have lengths that are in the same proportion, and this property is also sufficient to establish similarity. Some basic theorems about similar triangles are: * If and only if one pair of internal angles of two triangles have the same measure as each other, and another pair also have the same measure as each other, the triangles are similar. * If and only if one pair of corresponding sides of two triangles are in the same proportion as are another pair of corresponding sides, and their included angles have the same measure, then the triangles are similar. (The ''included angle'' for any two sides of a polygon is the internal angle between those two sides.) * If and only if three pairs of corresponding sides of two triangles are all in the same proportion, then the triangles are similar.Again, in all cases "mirror images" are also similar. Two triangles that are congruent have exactly the same size and shape:All pairs of congruent triangles are also similar; but not all pairs of similar triangles are congruent. all pairs of corresponding interior angles are equal in measure, and all pairs of corresponding sides have the same length. (This is a total of six equalities, but three are often sufficient to prove congruence.) Some individually necessary and sufficient conditions for a pair of triangles to be congruent are: * SAS Postulate: Two sides in a triangle have the same length as two sides in the other triangle, and the included angles have the same measure. * ASA: Two interior angles and the included side in a triangle have the same measure and length, respectively, as those in the other triangle. (The ''included side'' for a pair of angles is the side that is common to them.) * SSS: Each side of a triangle has the same length as a corresponding side of the other triangle. * AAS: Two angles and a corresponding (non-included) side in a triangle have the same measure and length, respectively, as those in the other triangle. (This is sometimes referred to as ''AAcorrS'' and then includes ASA above.) Some individually sufficient conditions are: * Hypotenuse-Leg (HL) Theorem: The hypotenuse and a leg in a right triangle have the same length as those in another right triangle. This is also called RHS (right-angle, hypotenuse, side). * Hypotenuse-Angle Theorem: The hypotenuse and an acute angle in one right triangle have the same length and measure, respectively, as those in the other right triangle. This is just a particular case of the AAS theorem. An important condition is: * Side-Side-Angle (or Angle-Side-Side) condition: If two sides and a corresponding non-included angle of a triangle have the same length and measure, respectively, as those in another triangle, then this is ''not'' sufficient to prove congruence; but if the angle given is opposite to the longer side of the two sides, then the triangles are congruent. The Hypotenuse-Leg Theorem is a particular case of this criterion. The Side-Side-Angle condition does not by itself guarantee that the triangles are congruent because one triangle could be obtuse-angled and the other acute-angled. Using right triangles and the concept of similarity, the trigonometric functions sine and cosine can be defined. These are functions of an angle which are investigated in trigonometry.

Right triangles

A central theorem is the Pythagorean theorem, which states in any right triangle, the square of the length of the hypotenuse equals the sum of the squares of the lengths of the two other sides. If the hypotenuse has length ''c'', and the legs have lengths ''a'' and ''b'', then the theorem states that :$a^2\; +\; b^2\; =\; c^2.$ The converse is true: if the lengths of the sides of a triangle satisfy the above equation, then the triangle has a right angle opposite side ''c''. Some other facts about right triangles: * The acute angles of a right triangle are complementary. :: $a\; +\; b\; +\; 90^\backslash circ\; =\; 180^\backslash circ\; \backslash Rightarrow\; a\; +\; b\; =\; 90^\backslash circ\; \backslash Rightarrow\; a\; =\; 90^\backslash circ\; -\; b.$ * If the legs of a right triangle have the same length, then the angles opposite those legs have the same measure. Since these angles are complementary, it follows that each measures 45 degrees. By the Pythagorean theorem, the length of the hypotenuse is the length of a leg times . * In a right triangle with acute angles measuring 30 and 60 degrees, the hypotenuse is twice the length of the shorter side, and the longer side is equal to the length of the shorter side times : ::$c\; =\; 2a\backslash ,$ ::$b\; =\; a\backslash times\backslash sqrt.$ For all triangles, angles and sides are related by the law of cosines and law of sines (also called the ''cosine rule'' and ''sine rule'').

Existence of a triangle

Condition on the sides

The triangle inequality states that the sum of the lengths of any two sides of a triangle must be greater than or equal to the length of the third side. That sum can equal the length of the third side only in the case of a degenerate triangle, one with collinear vertices. It is not possible for that sum to be less than the length of the third side. A triangle with three given positive side lengths exists if and only if those side lengths satisfy the triangle inequality.

Conditions on the angles

Three given angles form a non-degenerate triangle (and indeed an infinitude of them) if and only if both of these conditions hold: (a) each of the angles is positive, and (b) the angles sum to 180°. If degenerate triangles are permitted, angles of 0° are permitted.

Trigonometric conditions

Three positive angles ''α'', ''β'', and ''γ'', each of them less than 180°, are the angles of a triangle if and only if any one of the following conditions holds: :$\backslash tan\backslash tan+\backslash tan\backslash tan+\backslash tan\backslash tan=1,$Vardan Verdiyan & Daniel Campos Salas, "Simple trigonometric substitutions with broad results", ''Mathematical Reflections'' no 6, 2007. :$\backslash sin^2+\backslash sin^2+\backslash sin^2+2\backslash sin\backslash sin\backslash sin=1,$ :$\backslash sin(2\backslash alpha)\; +\; \backslash sin(2\backslash beta)\; +\; \backslash sin(2\backslash gamma)\; =\; 4\backslash sin(\backslash alpha)\backslash sin(\backslash beta)\backslash sin(\backslash gamma),$ :$\backslash cos^2\backslash alpha+\backslash cos^2\backslash beta+\backslash cos^2\backslash gamma+2\backslash cos(\backslash alpha)\backslash cos(\backslash beta)\backslash cos(\backslash gamma)=1,$ :$\backslash tan(\backslash alpha)\; +\; \backslash tan(\backslash beta)\; +\; \backslash tan(\backslash gamma)\; =\; \backslash tan(\backslash alpha)\backslash tan(\backslash beta)\backslash tan(\backslash gamma),$ the last equality applying only if none of the angles is 90° (so the tangent function's value is always finite).

Points, lines, and circles associated with a triangle

There are thousands of different constructions that find a special point associated with (and often inside) a triangle, satisfying some unique property: see the article Encyclopedia of Triangle Centers for a catalogue of them. Often they are constructed by finding three lines associated in a symmetrical way with the three sides (or vertices) and then proving that the three lines meet in a single point: an important tool for proving the existence of these is Ceva's theorem, which gives a criterion for determining when three such lines are concurrent. Similarly, lines associated with a triangle are often constructed by proving that three symmetrically constructed points are collinear: here Menelaus' theorem gives a useful general criterion. In this section just a few of the most commonly encountered constructions are explained. A perpendicular bisector of a side of a triangle is a straight line passing through the midpoint of the side and being perpendicular to it, i.e. forming a right angle with it. The three perpendicular bisectors meet in a single point, the triangle's circumcenter, usually denoted by O; this point is the center of the circumcircle, the circle passing through all three vertices. The diameter of this circle, called the ''circumdiameter'', can be found from the law of sines stated above. The circumcircle's radius is called the ''circumradius''. Thales' theorem implies that if the circumcenter is located on a side of the triangle, then the opposite angle is a right one. If the circumcenter is located inside the triangle, then the triangle is acute; if the circumcenter is located outside the triangle, then the triangle is obtuse. An altitude of a triangle is a straight line through a vertex and perpendicular to (i.e. forming a right angle with) the opposite side. This opposite side is called the ''base'' of the altitude, and the point where the altitude intersects the base (or its extension) is called the ''foot'' of the altitude. The length of the altitude is the distance between the base and the vertex. The three altitudes intersect in a single point, called the orthocenter of the triangle, usually denoted by H. The orthocenter lies inside the triangle if and only if the triangle is acute. An angle bisector of a triangle is a straight line through a vertex which cuts the corresponding angle in half. The three angle bisectors intersect in a single point, the incenter, usually denoted by I, the center of the triangle's incircle. The incircle is the circle which lies inside the triangle and touches all three sides. Its radius is called the ''inradius''. There are three other important circles, the excircles; they lie outside the triangle and touch one side as well as the extensions of the other two. The centers of the in- and excircles form an orthocentric system. A median of a triangle is a straight line through a vertex and the midpoint of the opposite side, and divides the triangle into two equal areas. The three medians intersect in a single point, the triangle's centroid or geometric barycenter, usually denoted by G. The centroid of a rigid triangular object (cut out of a thin sheet of uniform density) is also its center of mass: the object can be balanced on its centroid in a uniform gravitational field. The centroid cuts every median in the ratio 2:1, i.e. the distance between a vertex and the centroid is twice the distance between the centroid and the midpoint of the opposite side. The midpoints of the three sides and the feet of the three altitudes all lie on a single circle, the triangle's nine-point circle. The remaining three points for which it is named are the midpoints of the portion of altitude between the vertices and the orthocenter. The radius of the nine-point circle is half that of the circumcircle. It touches the incircle (at the Feuerbach point) and the three excircles. The orthocenter (blue point), center of the nine-point circle (red), centroid (orange), and circumcenter (green) all lie on a single line, known as Euler's line (red line). The center of the nine-point circle lies at the midpoint between the orthocenter and the circumcenter, and the distance between the centroid and the circumcenter is half that between the centroid and the orthocenter. The center of the incircle is not in general located on Euler's line. If one reflects a median in the angle bisector that passes through the same vertex, one obtains a symmedian. The three symmedians intersect in a single point, the symmedian point of the triangle.

Computing the sides and angles

There are various standard methods for calculating the length of a side or the measure of an angle. Certain methods are suited to calculating values in a right-angled triangle; more complex methods may be required in other situations.

Trigonometric ratios in right triangles

In right triangles, the trigonometric ratios of sine, cosine and tangent can be used to find unknown angles and the lengths of unknown sides. The sides of the triangle are known as follows: * The ''hypotenuse'' is the side opposite the right angle, or defined as the longest side of a right-angled triangle, in this case ''h''. * The ''opposite side'' is the side opposite to the angle we are interested in, in this case ''a''. * The ''adjacent side'' is the side that is in contact with the angle we are interested in and the right angle, hence its name. In this case the adjacent side is ''b''.

Sine, cosine and tangent

The ''sine'' of an angle is the ratio of the length of the opposite side to the length of the hypotenuse. In our case :$\backslash sin\; A\; =\; \backslash frac\; =\; \backslash frac\; \backslash ,.$ This ratio does not depend on the particular right triangle chosen, as long as it contains the angle ''A'', since all those triangles are similar. The ''cosine'' of an angle is the ratio of the length of the adjacent side to the length of the hypotenuse. In our case :$\backslash cos\; A\; =\; \backslash frac\; =\; \backslash frac\; \backslash ,.$ The ''tangent'' of an angle is the ratio of the length of the opposite side to the length of the adjacent side. In our case :$\backslash tan\; A\; =\; \backslash frac\; =\; \backslash frac\; =\backslash frac\; \backslash ,.$ The acronym "SOH-CAH-TOA" is a useful mnemonic for these ratios.

Inverse functions

The inverse trigonometric functions can be used to calculate the internal angles for a right angled triangle with the length of any two sides. Arcsin can be used to calculate an angle from the length of the opposite side and the length of the hypotenuse. :$\backslash theta\; =\; \backslash arcsin\; \backslash left(\; \backslash frac\; \backslash right)$ Arccos can be used to calculate an angle from the length of the adjacent side and the length of the hypotenuse. :$\backslash theta\; =\; \backslash arccos\; \backslash left(\; \backslash frac\; \backslash right)$ Arctan can be used to calculate an angle from the length of the opposite side and the length of the adjacent side. :$\backslash theta\; =\; \backslash arctan\; \backslash left(\; \backslash frac\; \backslash right)$ In introductory geometry and trigonometry courses, the notation sin

Sine, cosine and tangent rules

The law of sines, or sine rule, states that the ratio of the length of a side to the sine of its corresponding opposite angle is constant, that is :$\backslash frac\; =\; \backslash frac\; =\; \backslash frac.$ This ratio is equal to the diameter of the circumscribed circle of the given triangle. Another interpretation of this theorem is that every triangle with angles α, β and γ is similar to a triangle with side lengths equal to sin α, sin β and sin γ. This triangle can be constructed by first constructing a circle of diameter 1, and inscribing in it two of the angles of the triangle. The length of the sides of that triangle will be sin α, sin β and sin γ. The side whose length is sin α is opposite to the angle whose measure is α, etc. The law of cosines, or cosine rule, connects the length of an unknown side of a triangle to the length of the other sides and the angle opposite to the unknown side. As per the law: For a triangle with length of sides ''a'', ''b'', ''c'' and angles of α, β, γ respectively, given two known lengths of a triangle ''a'' and ''b'', and the angle between the two known sides γ (or the angle opposite to the unknown side ''c''), to calculate the third side ''c'', the following formula can be used: :$c^2\backslash \; =\; a^2\; +\; b^2\; -\; 2ab\backslash cos(\backslash gamma)$ :$b^2\backslash \; =\; a^2\; +\; c^2\; -\; 2ac\backslash cos(\backslash beta)$ :$a^2\backslash \; =\; b^2\; +\; c^2\; -\; 2bc\backslash cos(\backslash alpha)$ If the lengths of all three sides of any triangle are known the three angles can be calculated: :$\backslash alpha=\backslash arccos\backslash left(\backslash frac\backslash right)$ :$\backslash beta=\backslash arccos\backslash left(\backslash frac\backslash right)$ :$\backslash gamma=\backslash arccos\backslash left(\backslash frac\backslash right)$ The law of tangents, or tangent rule, can be used to find a side or an angle when two sides and an angle or two angles and a side are known. It states that: :$\backslash frac\; =\; \backslash frac.$

Computing the area of a triangle

300px|A graphic derivation of the formula $T=\backslash fracb$ that avoids the usual procedure of doubling the area of the triangle and then halving it. Calculating the area ''T'' of a triangle is an elementary problem encountered often in many different situations. The best known and simplest formula is: :$T=\backslash fracbh,$ where ''b'' is the length of the base of the triangle, and ''h'' is the height or altitude of the triangle. The term "base" denotes any side, and "height" denotes the length of a perpendicular from the vertex opposite the base onto the line containing the base. In 499 CE Aryabhata, used this illustrated method in the ''Aryabhatiya'' (section 2.6). Although simple, this formula is only useful if the height can be readily found, which is not always the case. For example, the surveyor of a triangular field might find it relatively easy to measure the length of each side, but relatively difficult to construct a 'height'. Various methods may be used in practice, depending on what is known about the triangle. The following is a selection of frequently used formulae for the area of a triangle.

Using trigonometry

The height of a triangle can be found through the application of trigonometry. ''Knowing SAS'': Using the labels in the image on the right, the altitude is . Substituting this in the formula $T=\backslash fracbh$ derived above, the area of the triangle can be expressed as: :$T\; =\; \backslash fracab\backslash sin\; \backslash gamma\; =\; \backslash fracbc\backslash sin\; \backslash alpha\; =\; \backslash fracca\backslash sin\; \backslash beta$ (where α is the interior angle at ''A'', β is the interior angle at ''B'', $\backslash gamma$ is the interior angle at ''C'' and ''c'' is the line AB). Furthermore, since sin α = sin (''π'' − α) = sin (β + $\backslash gamma$), and similarly for the other two angles: :$T\; =\; \backslash fracab\backslash sin\; (\backslash alpha+\backslash beta)\; =\; \backslash fracbc\backslash sin\; (\backslash beta+\backslash gamma)\; =\; \backslash fracca\backslash sin\; (\backslash gamma+\backslash alpha).$ ''Knowing AAS'': :$T\; =\; \backslash frac\; ,$ and analogously if the known side is ''a'' or ''c''. ''Knowing ASA'': :$T\; =\; \backslash frac\; =\; \backslash frac,$ and analogously if the known side is ''b'' or ''c''.

Using Heron's formula

The shape of the triangle is determined by the lengths of the sides. Therefore, the area can also be derived from the lengths of the sides. By Heron's formula: :$T\; =\; \backslash sqrt$ where $s=\; \backslash tfrac$ is the semiperimeter, or half of the triangle's perimeter. Three other equivalent ways of writing Heron's formula are :$T\; =\; \backslash frac\; \backslash sqrt$ :$T\; =\; \backslash frac\; \backslash sqrt$ :$T\; =\; \backslash frac\; \backslash sqrt.$

Using vectors

The area of a parallelogram embedded in a three-dimensional Euclidean space can be calculated using vectors. Let vectors AB and AC point respectively from ''A'' to ''B'' and from ''A'' to ''C''. The area of parallelogram ''ABDC'' is then :$|\backslash mathbf\backslash times\backslash mathbf|,$ which is the magnitude of the cross product of vectors AB and AC. The area of triangle ABC is half of this, :$\backslash frac|\backslash mathbf\backslash times\backslash mathbf|.$ The area of triangle ''ABC'' can also be expressed in terms of dot products as follows: :$\backslash frac\; \backslash sqrt\; =\backslash frac\; \backslash sqrt.\backslash ,$ In two-dimensional Euclidean space, expressing vector AB as a free vector in Cartesian space equal to (''x''

Using coordinates

If vertex ''A'' is located at the origin (0, 0) of a Cartesian coordinate system and the coordinates of the other two vertices are given by and , then the area can be computed as times the absolute value of the determinant :$T\; =\; \backslash frac\backslash left|\backslash det\backslash beginx\_B\; \&\; x\_C\; \backslash \backslash \; y\_B\; \&\; y\_C\; \backslash end\backslash \; =\; \backslash frac|x\_B\; y\_C\; -\; x\_C\; y\_B|.$ For three general vertices, the equation is: :$T\; =\; \backslash frac\; \backslash left|\; \backslash det\backslash beginx\_A\; \&\; x\_B\; \&\; x\_C\; \backslash \backslash \; y\_A\; \&\; y\_B\; \&\; y\_C\; \backslash \backslash \; 1\; \&\; 1\; \&\; 1\backslash end\; \backslash \; =\; \backslash frac\; \backslash big|\; x\_A\; y\_B\; -\; x\_A\; y\_C\; +\; x\_B\; y\_C\; -\; x\_B\; y\_A\; +\; x\_C\; y\_A\; -\; x\_C\; y\_B\; \backslash big|,$ which can be written as :$T\; =\; \backslash frac\; \backslash big|\; (x\_A\; -\; x\_C)\; (y\_B\; -\; y\_A)\; -\; (x\_A\; -\; x\_B)\; (y\_C\; -\; y\_A)\; \backslash big|.$ If the points are labeled sequentially in the counterclockwise direction, the above determinant expressions are positive and the absolute value signs can be omitted. The above formula is known as the shoelace formula or the surveyor's formula. If we locate the vertices in the complex plane and denote them in counterclockwise sequence as , , and , and denote their complex conjugates as $\backslash bar\; a$, $\backslash bar\; b$, and $\backslash bar\; c$, then the formula :$T=\backslash frac\backslash begina\; \&\; \backslash bar\; a\; \&\; 1\; \backslash \backslash \; b\; \&\; \backslash bar\; b\; \&\; 1\; \backslash \backslash \; c\; \&\; \backslash bar\; c\; \&\; 1\; \backslash end$ is equivalent to the shoelace formula. In three dimensions, the area of a general triangle , and ) is the Pythagorean sum of the areas of the respective projections on the three principal planes (i.e. ''x'' = 0, ''y'' = 0 and ''z'' = 0): :$T\; =\; \backslash frac\; \backslash sqrt.$

Using line integrals

The area within any closed curve, such as a triangle, is given by the line integral around the curve of the algebraic or signed distance of a point on the curve from an arbitrary oriented straight line ''L''. Points to the right of ''L'' as oriented are taken to be at negative distance from ''L'', while the weight for the integral is taken to be the component of arc length parallel to ''L'' rather than arc length itself. This method is well suited to computation of the area of an arbitrary polygon. Taking ''L'' to be the ''x''-axis, the line integral between consecutive vertices (''x

Formulas resembling Heron's formula

Three formulas have the same structure as Heron's formula but are expressed in terms of different variables. First, denoting the medians from sides ''a'', ''b'', and ''c'' respectively as ''m

Using Pick's theorem

See Pick's theorem for a technique for finding the area of any arbitrary lattice polygon (one drawn on a grid with vertically and horizontally adjacent lattice points at equal distances, and with vertices on lattice points). The theorem states: :$T\; =\; I\; +\; \backslash fracB\; -\; 1$ where ''$I$'' is the number of internal lattice points and ''B'' is the number of lattice points lying on the border of the polygon.

Other area formulas

Numerous other area formulas exist, such as :$T\; =\; r\; \backslash cdot\; s,$ where ''r'' is the inradius, and ''s'' is the semiperimeter (in fact, this formula holds for ''all'' tangential polygons), andSa ́ndor Nagydobai Kiss, "A Distance Property of the Feuerbach Point and Its Extension", ''Forum Geometricorum'' 16, 2016, 283–290.

/ref> :$T=r\_a(s-a)=r\_b(s-b)=r\_c(s-c)$ where $r\_a,\; \backslash ,\; r\_b,\backslash ,\; r\_c$ are the radii of the excircles tangent to sides ''a, b, c'' respectively. We also have :$T\; =\; \backslash fracD^(\backslash sin\; \backslash alpha)(\backslash sin\; \backslash beta)(\backslash sin\; \backslash gamma)$ and :$T\; =\; \backslash frac\; =\; \backslash frac$ for circumdiameter ''D''; and :$T\; =\; \backslash frac(b^+c^-a^)$ for angle α ≠ 90°. The area can also be expressed as :$T\; =\; \backslash sqrt.$ In 1885, Baker gave a collection of over a hundred distinct area formulas for the triangle. These include: :$T\; =\; \backslash fracbch\_ah\_bh\_c,$ :$T\; =\; \backslash frac\; \backslash sqrt,$ :$T\; =\; \backslash frac,$ :$T\; =\; \backslash frac$ for circumradius (radius of the circumcircle) ''R'', and :$T\; =\; \backslash frac.$

Upper bound on the area

The area ''T'' of any triangle with perimeter ''p'' satisfies :$T\backslash le\; \backslash tfrac,$ with equality holding if and only if the triangle is equilateral. Other upper bounds on the area ''T'' are given by :$4\backslash sqrtT\; \backslash leq\; a^2+b^2+c^2$ and :$4\backslash sqrtT\; \backslash leq\; \backslash frac,$ both again holding if and only if the triangle is equilateral.

Bisecting the area

There are infinitely many lines that bisect the area of a triangle.Dunn, J.A., and Pretty, J.E., "Halving a triangle," ''Mathematical Gazette'' 56, May 1972, 105–108. Three of them are the medians, which are the only area bisectors that go through the centroid. Three other area bisectors are parallel to the triangle's sides. Any line through a triangle that splits both the triangle's area and its perimeter in half goes through the triangle's incenter. There can be one, two, or three of these for any given triangle.

Further formulas for general Euclidean triangles

The formulas in this section are true for all Euclidean triangles.

Medians, angle bisectors, perpendicular side bisectors, and altitudes

The medians and the sides are related by :$\backslash frac(a^+b^+c^)=m\_a^+m\_b^+m\_c^$ and :$m\_a=\backslash frac\; \backslash sqrt=\; \backslash sqrt$, and equivalently for ''m

Circumradius and inradius

The following formulas involve the circumradius ''R'' and the inradius ''r'': :$R\; =\; \backslash sqrt;$ :$r\; =\; \backslash sqrt;$ :$\backslash frac\; =\; \backslash frac\; +\; \backslash frac\; +\; \backslash frac$ where ''h

Adjacent triangles

Suppose two adjacent but non-overlapping triangles share the same side of length ''f'' and share the same circumcircle, so that the side of length ''f'' is a chord of the circumcircle and the triangles have side lengths (''a'', ''b'', ''f'') and (''c'', ''d'', ''f''), with the two triangles together forming a cyclic quadrilateral with side lengths in sequence (''a'', ''b'', ''c'', ''d''). ThenJohnson, Roger A., ''Advanced Euclidean Geometry'', Dover Publ. Co., 2007 :$f^2\; =\; \backslash frac.\; \backslash ,$

Centroid

Let ''G'' be the centroid of a triangle with vertices ''A'', ''B'', and ''C'', and let ''P'' be any interior point. Then the distances between the points are related by :$(PA)^2\; +\; (PB)^2\; +(PC)^2\; =(GA)^2\; +\; (GB)^2\; +\; (GC)^2\; +3(PG)^2.\; \backslash ,$ The sum of the squares of the triangle's sides equals three times the sum of the squared distances of the centroid from the vertices: :$AB^2+BC^2+CA^2=3(GA^2+GB^2+GC^2).$ Let ''q

Circumcenter, incenter, and orthocenter

Carnot's theorem states that the sum of the distances from the circumcenter to the three sides equals the sum of the circumradius and the inradius. Here a segment's length is considered to be negative if and only if the segment lies entirely outside the triangle. This method is especially useful for deducing the properties of more abstract forms of triangles, such as the ones induced by Lie algebras, that otherwise have the same properties as usual triangles. Euler's theorem states that the distance ''d'' between the circumcenter and the incenter is given by :$\backslash displaystyle\; d^2=R(R-2r)$ or equivalently :$\backslash frac\; +\; \backslash frac\; =\; \backslash frac,$ where ''R'' is the circumradius and ''r'' is the inradius. Thus for all triangles ''R'' ≥ 2''r'', with equality holding for equilateral triangles. If we denote that the orthocenter divides one altitude into segments of lengths ''u'' and ''v'', another altitude into segment lengths ''w'' and ''x'', and the third altitude into segment lengths ''y'' and ''z'', then ''uv'' = ''wx'' = ''yz''. The distance from a side to the circumcenter equals half the distance from the opposite vertex to the orthocenter. The sum of the squares of the distances from the vertices to the orthocenter ''H'' plus the sum of the squares of the sides equals twelve times the square of the circumradius: :$AH^2+BH^2+CH^2+a^2+b^2+c^2=12R^2.$

Angles

In addition to the law of sines, the law of cosines, the law of tangents, and the trigonometric existence conditions given earlier, for any triangle :$a=b\backslash cos\; C+c\backslash cos\; B,\; \backslash quad\; b=c\backslash cos\; A+a\backslash cos\; C,\; \backslash quad\; c=a\backslash cos\; B+b\backslash cos\; A.$

Morley's trisector theorem

Morley's trisector theorem states that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, called the Morley triangle.

Figures inscribed in a triangle

Conics

As discussed above, every triangle has a unique inscribed circle (incircle) that is interior to the triangle and tangent to all three sides. Every triangle has a unique Steiner inellipse which is interior to the triangle and tangent at the midpoints of the sides. Marden's theorem shows how to find the foci of this ellipse. This ellipse has the greatest area of any ellipse tangent to all three sides of the triangle. The Mandart inellipse of a triangle is the ellipse inscribed within the triangle tangent to its sides at the contact points of its excircles. For any ellipse inscribed in a triangle ''ABC'', let the foci be ''P'' and ''Q''. Then :$\backslash frac\; +\; \backslash frac\; +\; \backslash frac\; =\; 1.$

Convex polygon

Every convex polygon with area ''T'' can be inscribed in a triangle of area at most equal to 2''T''. Equality holds (exclusively) for a parallelogram.

Hexagon

The Lemoine hexagon is a cyclic hexagon with vertices given by the six intersections of the sides of a triangle with the three lines that are parallel to the sides and that pass through its symmedian point. In either its simple form or its self-intersecting form, the Lemoine hexagon is interior to the triangle with two vertices on each side of the triangle.

Squares

Every acute triangle has three inscribed squares (squares in its interior such that all four of a square's vertices lie on a side of the triangle, so two of them lie on the same side and hence one side of the square coincides with part of a side of the triangle). In a right triangle two of the squares coincide and have a vertex at the triangle's right angle, so a right triangle has only two ''distinct'' inscribed squares. An obtuse triangle has only one inscribed square, with a side coinciding with part of the triangle's longest side. Within a given triangle, a longer common side is associated with a smaller inscribed square. If an inscribed square has side of length ''q''

/ref> Both of these extreme cases occur for the isosceles right triangle.

Triangles

From an interior point in a reference triangle, the nearest points on the three sides serve as the vertices of the pedal triangle of that point. If the interior point is the circumcenter of the reference triangle, the vertices of the pedal triangle are the midpoints of the reference triangle's sides, and so the pedal triangle is called the midpoint triangle or medial triangle. The midpoint triangle subdivides the reference triangle into four congruent triangles which are similar to the reference triangle. The Gergonne triangle or intouch triangle of a reference triangle has its vertices at the three points of tangency of the reference triangle's sides with its incircle. The extouch triangle of a reference triangle has its vertices at the points of tangency of the reference triangle's excircles with its sides (not extended).

Figures circumscribed about a triangle

The tangential triangle of a reference triangle (other than a right triangle) is the triangle whose sides are on the tangent lines to the reference triangle's circumcircle at its vertices. As mentioned above, every triangle has a unique circumcircle, a circle passing through all three vertices, whose center is the intersection of the perpendicular bisectors of the triangle's sides. Further, every triangle has a unique Steiner circumellipse, which passes through the triangle's vertices and has its center at the triangle's centroid. Of all ellipses going through the triangle's vertices, it has the smallest area. The Kiepert hyperbola is the unique conic which passes through the triangle's three vertices, its centroid, and its circumcenter. Of all triangles contained in a given convex polygon, there exists a triangle with maximal area whose vertices are all vertices of the given polygon.

Specifying the location of a point in a triangle

One way to identify locations of points in (or outside) a triangle is to place the triangle in an arbitrary location and orientation in the Cartesian plane, and to use Cartesian coordinates. While convenient for many purposes, this approach has the disadvantage of all points' coordinate values being dependent on the arbitrary placement in the plane. Two systems avoid that feature, so that the coordinates of a point are not affected by moving the triangle, rotating it, or reflecting it as in a mirror, any of which give a congruent triangle, or even by rescaling it to give a similar triangle: * Trilinear coordinates specify the relative distances of a point from the sides, so that coordinates $x\; :\; y\; :\; z$ indicate that the ratio of the distance of the point from the first side to its distance from the second side is $x\; :\; y$ , etc. * Barycentric coordinates of the form $\backslash alpha\; :\backslash beta\; :\backslash gamma$ specify the point's location by the relative weights that would have to be put on the three vertices in order to balance the otherwise weightless triangle on the given point.

Non-planar triangles

A non-planar triangle is a triangle which is not contained in a (flat) plane. Some examples of non-planar triangles in non-Euclidean geometries are spherical triangles in spherical geometry and hyperbolic triangles in hyperbolic geometry. While the measures of the internal angles in planar triangles always sum to 180°, a hyperbolic triangle has measures of angles that sum to less than 180°, and a spherical triangle has measures of angles that sum to more than 180°. A hyperbolic triangle can be obtained by drawing on a negatively curved surface, such as a saddle surface, and a spherical triangle can be obtained by drawing on a positively curved surface such as a sphere. Thus, if one draws a giant triangle on the surface of the Earth, one will find that the sum of the measures of its angles is greater than 180°; in fact it will be between 180° and 540°.Watkins, Matthew, ''Useful Mathematical and Physical Formulae'', Walker and Co., 2000. In particular it is possible to draw a triangle on a sphere such that the measure of each of its internal angles is equal to 90°, adding up to a total of 270°. Specifically, on a sphere the sum of the angles of a triangle is :180° × (1 + 4''f''), where ''f'' is the fraction of the sphere's area which is enclosed by the triangle. For example, suppose that we draw a triangle on the Earth's surface with vertices at the North Pole, at a point on the equator at 0° longitude, and a point on the equator at 90° West longitude. The great circle line between the latter two points is the equator, and the great circle line between either of those points and the North Pole is a line of longitude; so there are right angles at the two points on the equator. Moreover, the angle at the North Pole is also 90° because the other two vertices differ by 90° of longitude. So the sum of the angles in this triangle is . The triangle encloses 1/4 of the northern hemisphere (90°/360° as viewed from the North Pole) and therefore 1/8 of the Earth's surface, so in the formula ; thus the formula correctly gives the sum of the triangle's angles as 270°. From the above angle sum formula we can also see that the Earth's surface is locally flat: If we draw an arbitrarily small triangle in the neighborhood of one point on the Earth's surface, the fraction ''f'' of the Earth's surface which is enclosed by the triangle will be arbitrarily close to zero. In this case the angle sum formula simplifies to 180°, which we know is what Euclidean geometry tells us for triangles on a flat surface.

Triangles in construction

Rectangles have been the most popular and common geometric form for buildings since the shape is easy to stack and organize; as a standard, it is easy to design furniture and fixtures to fit inside rectangularly shaped buildings. But triangles, while more difficult to use conceptually, provide a great deal of strength. As computer technology helps architects design creative new buildings, triangular shapes are becoming increasingly prevalent as parts of buildings and as the primary shape for some types of skyscrapers as well as building materials. In Tokyo in 1989, architects had wondered whether it was possible to build a 500-story tower to provide affordable office space for this densely packed city, but with the danger to buildings from earthquakes, architects considered that a triangular shape would be necessary if such a building were to be built. In New York City, as Broadway crisscrosses major avenues, the resulting blocks are cut like triangles, and buildings have been built on these shapes; one such building is the triangularly shaped Flatiron Building which real estate people admit has a "warren of awkward spaces that do not easily accommodate modern office furniture" but that has not prevented the structure from becoming a landmark icon. Designers have made houses in Norway using triangular themes. Triangle shapes have appeared in churches as well as public buildings including colleges as well as supports for innovative home designs. Triangles are sturdy; while a rectangle can collapse into a parallelogram from pressure to one of its points, triangles have a natural strength which supports structures against lateral pressures. A triangle will not change shape unless its sides are bent or extended or broken or if its joints break; in essence, each of the three sides supports the other two. A rectangle, in contrast, is more dependent on the strength of its joints in a structural sense. Some innovative designers have proposed making bricks not out of rectangles, but with triangular shapes which can be combined in three dimensions. It is likely that triangles will be used increasingly in new ways as architecture increases in complexity. It is important to remember that triangles are strong in terms of rigidity, but while packed in a tessellating arrangement triangles are not as strong as hexagons under compression (hence the prevalence of hexagonal forms in nature). Tessellated triangles still maintain superior strength for cantilevering however, and this is the basis for one of the strongest man made structures, the tetrahedral truss.

See also

* Apollonius' theorem * Congruence (geometry) * Desargues' theorem * Dragon's Eye (symbol) * Fermat point * Hadwiger–Finsler inequality * Heronian triangle * Integer triangle * Law of cosines * Law of sines * Law of tangents * Lester's theorem * List of triangle inequalities * List of triangle topics * Ono's inequality * Pedal triangle * Pedoe's inequality * Pythagorean theorem * Special right triangles * Triangle center * Triangular number * Triangulated category * Triangulation (topology)

Notes

References

External links

* * Clark Kimberling

Encyclopedia of triangle centers

Lists some 5200 interesting points associated with any triangle. {{Polygons