Triangle

Short description: Shape with three sides

Triangle
A triangle
Edges and vertices	3
Schläfli symbol	{3} (for equilateral)
Area	various methods; see below
Internal angle (degrees)	60° (for equilateral)

Triangle = Tri (three) + Angle

A triangle is a polygon with three corners and three sides, one of the basic shapes in geometry. The corners, also called vertices, are zero-dimensional points while the sides connecting them, also called edges, are one-dimensional line segments. The triangle's interior is a two-dimensional region. Sometimes an arbitrary edge is chosen to be the base, in which case the opposite vertex is called the apex.

In Euclidean geometry, any two points determine a unique line segment situated within a unique straight line, and any three points, when non-collinear, determine a unique triangle situated within a unique flat plane. More generally, several points in Euclidean space of arbitrary dimension determine a simplex.

In non-Euclidean geometries three straight segments also determine a triangle, for instance a spherical triangle or hyperbolic triangle. A geodesic triangle is a region of a general two-dimensional surface enclosed by three sides which are straight relative to the surface. A curvilinear triangle is a shape with three curved sides, for instance a circular triangle with circular-arc sides. This article is about straight-sided triangles in Euclidean geometry, except where otherwise noted.

A triangle with vertices [math]\displaystyle{ A, }[/math] [math]\displaystyle{ B, }[/math] and [math]\displaystyle{ C }[/math] is denoted [math]\displaystyle{ \triangle ABC. }[/math] In describing metrical relations within a triangle, it is common to represent the length of the edge opposite each vertex using a lower-case letter, letting [math]\displaystyle{ a }[/math] be the length of the edge [math]\displaystyle{ BC, }[/math] [math]\displaystyle{ b }[/math] the length of [math]\displaystyle{ CA, }[/math] and [math]\displaystyle{ c }[/math] the length of [math]\displaystyle{ AB }[/math]; and to represent the angle measure at each corner using a Greek letter, letting [math]\displaystyle{ \alpha }[/math] be the measure of angle [math]\displaystyle{ \angle CAB, }[/math] [math]\displaystyle{ \beta }[/math] the measure of [math]\displaystyle{ \angle ABC, }[/math] and [math]\displaystyle{ \gamma }[/math] the measure of [math]\displaystyle{ \angle BCA. }[/math]

Types of triangle

Euler diagram of types of triangles, using the definition that isosceles triangles have at least 2 equal sides (i.e., equilateral triangles are isosceles).

The terminology for categorizing triangles is more than two thousand years old, having been defined on the very first page of Euclid's Elements. The names used for modern classification are either a direct transliteration of Euclid's Greek or their Latin translations.

By lengths of sides

Ancient Greek mathematician Euclid defined three types of triangle according to the lengths of their sides:

Greek: τῶν δὲ τριπλεύρων σχημάτων ἰσόπλευρον μὲν τρίγωνόν ἐστι τὸ τὰς τρεῖς ἴσας ἔχον πλευράς, ἰσοσκελὲς δὲ τὸ τὰς δύο μόνας ἴσας ἔχον πλευράς, σκαληνὸν δὲ τὸ τὰς τρεῖς ἀνίσους ἔχον πλευράς, lit. 'Of trilateral figures, an isopleuron [equilateral] triangle is that which has its three sides equal, an isosceles that which has two of its sides alone equal, and a scalene that which has its three sides unequal.'

• An equilateral triangle (Greek: ἰσόπλευρον, romanized: isópleuron, lit. 'equal sides') has three sides of the same length. An equilateral triangle is also a regular polygon with all angles measuring 60°.
• An isosceles triangle (Greek: ἰσοσκελὲς, romanized: isoskelés, lit. 'equal legs') has two sides of equal length. 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 (Greek: σκαληνὸν, romanized: skalinón, lit. 'unequal') has all its sides of different lengths. Equivalently, it has all angles of different measure.

• 

  Equilateral Triangle

• 

  Isosceles triangle

• 

  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

The first page of Euclid's Elements, from the world's first printed version (1482), showing the "definitions" section of Book I. The right triangle is labeled "orthogonius", and the two angles shown are "acutus" and "angulus obtusus".

Triangles can also be classified according to their internal angles, measured here in degrees.

• A right triangle (or right-angled 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: a² + b² = c², 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 3² + 4² = 5². The 3–4–5 triangle is also known as the Egyptian triangle. 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). Right triangles are fundamental in trigonometry, as they can be used to define trigonometric functions through trigonometric ratios.
  • 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 a² + b² > c², 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 a² + b² < c², 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.

Right	Obtuse	Acute
	[math]\displaystyle{ \quad \underbrace{ \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad}_{} }[/math]
	Oblique

Basic facts

A triangle, showing exterior angle d.

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 measures of the interior angles of the triangle always add up to 180 degrees (same color to point out they are equal).

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.

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.

Two triangles that are congruent have exactly the same size and shape: 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.

Two right triangles are similar if and only if they have an acute angle of the same measure. It follows that the six possible ratios between side lengths of a right triangle depend only of the measure of one of the acute angles. These ratios are called trigonometric ratios and are commonly used as a definition of trigonometric functions.

Right triangles

The Pythagorean theorem

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

[math]\displaystyle{ a^2 + b^2 = c^2. }[/math]

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.

[math]\displaystyle{ a + b + 90^\circ = 180^\circ \Rightarrow a + b = 90^\circ \Rightarrow a = 90^\circ - b. }[/math]

• 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 √2.
• 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 √3:

[math]\displaystyle{ c = 2a\, }[/math]

[math]\displaystyle{ b = a\times\sqrt{3}. }[/math]

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:

[math]\displaystyle{ \tan{\frac{\alpha}{2}}\tan{\frac{\beta}{2}}+\tan{\frac{\beta}{2}}\tan{\frac{\gamma}{2}}+\tan{\frac{\gamma}{2}}\tan{\frac{\alpha}{2}}=1, }[/math]

[math]\displaystyle{ \sin^2{\frac{\alpha}{2}}+\sin^2{\frac{\beta}{2}}+\sin^2{\frac{\gamma}{2}}+2\sin{\frac{\alpha}{2}}\sin{\frac{\beta}{2}}\sin{\frac{\gamma}{2}}=1, }[/math]

[math]\displaystyle{ \sin(2\alpha) + \sin(2\beta) + \sin(2\gamma) = 4\sin(\alpha)\sin(\beta)\sin(\gamma), }[/math]

[math]\displaystyle{ \cos^2\alpha+\cos^2\beta+\cos^2\gamma+2\cos(\alpha)\cos(\beta)\cos(\gamma)=1, }[/math]

[math]\displaystyle{ \tan(\alpha) + \tan(\beta) + \tan(\gamma) = \tan(\alpha)\tan(\beta)\tan(\gamma), }[/math]

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.

The circumcenter is the center of a circle passing through the three vertices of the triangle.

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.

The intersection of the altitudes is the orthocenter.

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.

The intersection of the angle bisectors is the center of the incircle.

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.

The intersection of the medians is the centroid.

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.

Nine-point circle demonstrates a symmetry where six points lie on the edge of the triangle.

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.

Euler's line is a straight line through the orthocenter (blue), center of the nine-point circle (red), centroid (orange), and circumcenter (green)

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

A right triangle always includes a 90° (π/2 radians) angle, here with label C. Angles A and B may vary. Trigonometric functions specify the relationships among side lengths and interior angles of a right triangle.

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

[math]\displaystyle{ \sin A = \frac {\text{opposite side}}{\text{hypotenuse}} = \frac {a}{h}\,. }[/math]

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

[math]\displaystyle{ \cos A = \frac {\text{adjacent side}}{\text{hypotenuse}} = \frac {b}{h}\,. }[/math]

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

[math]\displaystyle{ \tan A = \frac {\text{opposite side}}{\text{adjacent side}} = \frac {a}{b} =\frac {\sin A}{\cos A}\,. }[/math]

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.

[math]\displaystyle{ \theta = \arcsin \left( \frac{\text{opposite side}}{\text{hypotenuse}} \right) }[/math]

Arccos can be used to calculate an angle from the length of the adjacent side and the length of the hypotenuse.

[math]\displaystyle{ \theta = \arccos \left( \frac{\text{adjacent side}}{\text{hypotenuse}} \right) }[/math]

Arctan can be used to calculate an angle from the length of the opposite side and the length of the adjacent side.

[math]\displaystyle{ \theta = \arctan \left( \frac{\text{opposite side}}{\text{adjacent side}} \right) }[/math]

In introductory geometry and trigonometry courses, the notation sin⁻¹, cos⁻¹, 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

A triangle with sides of length a, b and c and angles of α, β and γ respectively.

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

[math]\displaystyle{ \frac{a}{\sin \alpha} = \frac{b}{\sin \beta} = \frac{c}{\sin \gamma} = 2R }[/math], where R is the radius 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:

[math]\displaystyle{ c^2\ = a^2 + b^2 - 2ab\cos(\gamma) }[/math]

[math]\displaystyle{ b^2\ = a^2 + c^2 - 2ac\cos(\beta) }[/math]

[math]\displaystyle{ a^2\ = b^2 + c^2 - 2bc\cos(\alpha) }[/math]

If the lengths of all three sides of any triangle are known the three angles can be calculated:

[math]\displaystyle{ \alpha=\arccos\left(\frac{b^2+c^2-a^2}{2bc}\right) }[/math]

[math]\displaystyle{ \beta=\arccos\left(\frac{a^2+c^2-b^2}{2ac}\right) }[/math]

[math]\displaystyle{ \gamma=\arccos\left(\frac{a^2+b^2-c^2}{2ab}\right) }[/math]

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:

[math]\displaystyle{ \frac{a-b}{a+b} = \frac{\tan[\frac{1}{2}(\alpha-\beta)]}{\tan[\frac{1}{2}(\alpha+\beta)]}. }[/math]

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.

Area

This section is an excerpt from Area of a triangle[ edit ]

The area of a triangle can be demonstrated, for example by means of the congruence of triangles, as half of the area of a parallelogram that has the same base length and height.

In geometry, calculating the area of a triangle is an elementary problem encountered often in many different situations. The best known and simplest formula is [math]\displaystyle{ T=bh/2, }[/math] 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. Euclid proved that the area of a triangle is half that of a parallelogram with the same base and height in his book Elements in 300 BCE. 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 land 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. Other frequently used formulas for the area of a triangle use trigonometry, side lengths (Heron's formula), vectors, coordinates, line integrals, Pick's theorem, or other properties.

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

[math]\displaystyle{ \tfrac34(a^{2}+b^{2}+c^{2})=m_a^{2}+m_b^{2}+m_c^{2} }[/math]

and

[math]\displaystyle{ m_a=\tfrac12 \sqrt{2b^{2}+2c^{2}-a^{2}}= \sqrt{\tfrac12(a^{2}+b^{2}+c^{2})- \tfrac34 a^{2}} }[/math],

and equivalently for m_b and m_c.

For angle A opposite side a, the length of the internal angle bisector is given by

[math]\displaystyle{ w_A = \frac{2 \sqrt{bcs(s-a)}}{b+c} = \sqrt{bc\left[1- \frac{a^{2}}{(b+c)^{2}}\right]} = \frac{2bc}{b+c}\cos \frac{A}{2}, }[/math]

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

[math]\displaystyle{ p_a=\frac{2aT}{a^2+b^2-c^2}, }[/math]

[math]\displaystyle{ p_b=\frac{2bT}{a^2+b^2-c^2}, }[/math]

[math]\displaystyle{ p_c=\frac{2cT}{a^2-b^2+c^2}, }[/math]

where the sides are [math]\displaystyle{ a \ge b \ge c }[/math] and the area is [math]\displaystyle{ T. }[/math]

The altitude from, for example, the side of length a is

[math]\displaystyle{ h_a = \frac{2T}{a}. }[/math]

Circumradius and inradius

The following formulas involve the circumradius R and the inradius r:

[math]\displaystyle{ R = \sqrt{\frac{a^2b^2c^2}{(a+b+c)(-a+b+c)(a-b+c)(a+b-c)}}; }[/math]

[math]\displaystyle{ r = \sqrt{\frac{(-a+b+c)(a-b+c)(a+b-c)}{4(a+b+c)}}; }[/math]

[math]\displaystyle{ \frac{1}{r} = \frac{1}{h_a} + \frac{1}{h_b} + \frac{1}{h_c} }[/math]

where h_a etc. are the altitudes to the subscripted sides;

[math]\displaystyle{ \frac{r}{R} = \frac{4 T^{2}}{sabc} = \cos \alpha + \cos \beta + \cos \gamma -1; }[/math]

and

[math]\displaystyle{ 2Rr = \frac{abc}{a+b+c} }[/math].

The product of two sides of a triangle equals the altitude to the third side times the diameter D of the circumcircle:

[math]\displaystyle{ ab=h_cD, \quad \quad bc=h_aD, \quad ca=h_bD. }[/math]

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). Then

[math]\displaystyle{ f^2 = \frac{(ac+bd)(ad+bc)}{(ab+cd)}. \, }[/math]

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

[math]\displaystyle{ (PA)^2 + (PB)^2 +(PC)^2 =(GA)^2 + (GB)^2 + (GC)^2 +3(PG)^2. \, }[/math]

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:

[math]\displaystyle{ AB^2+BC^2+CA^2=3(GA^2+GB^2+GC^2). }[/math]

Let q_a, q_b, and q_c be the distances from the centroid to the sides of lengths a, b, and c. Then

[math]\displaystyle{ \frac{q_a}{q_b} = \frac{b}{a}, \quad \quad \frac{q_b}{q_c} = \frac{c}{b}, \quad \quad \frac{q_a}{q_c} = \frac{c}{a} \, }[/math]

and

[math]\displaystyle{ q_a \cdot a = q_b \cdot b = q_c \cdot c = \frac{2}{3} T \, }[/math]

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

[math]\displaystyle{ \displaystyle d^2=R(R-2r) }[/math]

or equivalently

[math]\displaystyle{ \frac{1}{R-d} + \frac{1}{R+d} = \frac{1}{r}, }[/math]

where R is the circumradius and r is the inradius. Thus for all triangles R ≥ 2r, 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:

[math]\displaystyle{ AH^2+BH^2+CH^2+a^2+b^2+c^2=12R^2. }[/math]

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

[math]\displaystyle{ a=b\cos C+c\cos B, \quad b=c\cos A+a\cos C, \quad c=a\cos B+b\cos A. }[/math]

Morley's trisector theorem

The Morley triangle, resulting from the trisection of each interior angle. This is an example of a finite subdivision rule.

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

[math]\displaystyle{ \frac{\overline{PA} \cdot \overline{QA}}{\overline{CA} \cdot \overline{AB}} + \frac{\overline{PB} \cdot \overline{QB}}{\overline{AB} \cdot \overline{BC}} + \frac{\overline{PC} \cdot \overline{QC}}{\overline{BC} \cdot \overline{CA}} = 1. }[/math]

Convex polygon

Every convex polygon with area T can be inscribed in a triangle of area at most equal to 2T. 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

[math]\displaystyle{ q_a=\frac{2Ta}{a^2+2T}=\frac{ah_a}{a+h_a}. }[/math]

The largest possible ratio of the area of the inscribed square to the area of the triangle is 1/2, which occurs when a² = 2T, q = a/2, 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 [math]\displaystyle{ 2\sqrt{2}/3 = 0.94.... }[/math] 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, one with maximal area can be found in linear time; its vertices may be chosen as three of the 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 [math]\displaystyle{ x : y : z }[/math] indicate that the ratio of the distance of the point from the first side to its distance from the second side is [math]\displaystyle{ x : y }[/math] , etc.
• Barycentric coordinates of the form [math]\displaystyle{ \alpha :\beta :\gamma }[/math] 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 Euclidean 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°. 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 + 4f),

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 90° + 90° + 90° = 270°. 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 f = 1/8; 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

The Flatiron Building in New York is shaped like a triangular prism

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. 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
• Arrow (symbol)
• Congruence (geometry)
• Delta (letter)
• 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
• Modern triangle geometry
• Ono's inequality
• Pedal triangle
• Pedoe's inequality
• Pythagorean theorem
• Special right triangles
• Triangle center
• Triangular number
• Triangulated category
• Triangulation (topology)

Sources

• Court, Nathan Altshiller (1952). College Geometry: An Introduction to the Modern Geometry of the Triangle and the Circle (2nd ed.). New York: Barnes & Noble. https://archive.org/details/collegegeometryi00alts/. 
• Johnson, Roger A. (2007). Advanced Euclidean Geometry. Dover. 

External links

• Hazewinkel, Michiel, ed. (2001), "Triangle", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Triangle&oldid=18404 
• Clark Kimberling: Encyclopedia of triangle centers. Lists some 5200 interesting points associated with any triangle.