Area of a triangle explained

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

T = bh/ 2 , 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.^[1] In 499 CE Aryabhata, used this illustrated method in the Aryabhatiya (section 2.6).^[2]

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.

History

Heron of Alexandria found what is known as Heron's formula for the area of a triangle in terms of its sides, and a proof can be found in his book, Metrica, written around 60 CE. It has been suggested that Archimedes knew the formula over two centuries earlier,^[3] and since Metrica is a collection of the mathematical knowledge available in the ancient world, it is possible that the formula predates the reference given in that work. In 300 BCE Greek mathematician Euclid proved that the area of a triangle is half that of a parallelogram with the same base and height in his book Elements of Geometry.^[4]

In 499 Aryabhata, a great mathematician-astronomer from the classical age of Indian mathematics and Indian astronomy, expressed the area of a triangle as one-half the base times the height in the Aryabhatiya (section 2.6).

A formula equivalent to Heron's was discovered by the Chinese independently of the Greeks. It was published in 1247 in Shushu Jiuzhang ("Mathematical Treatise in Nine Sections"), written by Qin Jiushao.

Using trigonometry

The height of a triangle can be found through the application of trigonometry.

Knowing SAS (side-angle-side):Using the labels in the image on the right, the altitude is . Substituting this in the formula

T = \tfrac 12 bh derived above, the area of the triangle can be expressed as:T = \tfrac 12 ab\sin \gamma = \tfrac 12 bc\sin \alpha = \tfrac 12 ca\sin \beta

(where α is the interior angle at A, β is the interior angle at B,

\gamma is the interior angle at C and c is the line AB).

Furthermore, since sin α = sin (π − α) = sin (β +

\gamma ), and similarly for the other two angles:T = \tfrac 12 ab\sin (\alpha + \beta) = \tfrac 12 bc\sin (\beta + \gamma) = \tfrac 12 ca\sin (\gamma + \alpha).

Knowing AAS (angle-angle-side):

T = (b ^{2} (\sin \alpha)(\sin (\alpha + \beta)))/(2 \sin \beta) ,

and analogously if the known side is a or c.

Knowing ASA (angle-side-angle):

T = (a ^{2})/(2 (\cot \beta + \cot \gamma)) = (a ^{2} (\sin \beta)(\sin \gamma))/(2 \sin(\beta + \gamma)) ,

and analogously if the known side is b or c.

Using side lengths (Heron's formula)

See main article: 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 = \sqrt{s(s - a)(s - b)(s - c)}

where $s=\; \backslash tfrac12(a+b+c)$ is the semiperimeter, or half of the triangle's perimeter.

Three other equivalent ways of writing Heron's formula are

T = \tfrac 14 \sqrt{(a ^{2+b} ^{2+c} ^{2)} ^{2-2(a} ^{4+b} ^{4+c} ^{4)}} T = \tfrac 14 \sqrt{ 2 (a ^{2b} ^{2+a} ^{2c} ^{2+b} ^{2c} ^{2)-(a} ^{4+b} ^{4+c} ^{4)}} T = \tfrac 14 \sqrt{(a + b - c) (a - b + c) ( - a + b + c) (a + b + c)}.

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^[5]

T = \tfrac 43 \sqrt{\sigma (\sigma - m _{a)(\sigma} - m _{b)(\sigma} - m _{c)}.}

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 ^{-1} _{a} + h ^{-1} _{b} + h ^{-1} _{c} )/ 2 we have^[6] T ^{-1} = 4 \sqrt{H(H - h ^{-1} _{a} )(H - h ^{-1} _{b} )(H - h ^{-1} _{c} )}.

And denoting the semi-sum of the angles' sines as, we have^[7]

T = D ^{2} \sqrt{S(S - \sin \alpha)(S - \sin \beta)(S - \sin \gamma)}

where D is the diameter of the circumcircle:

D = \tfrac{a}{\sin \alpha} = \tfrac{b}{\sin \beta} = \tfrac{c}{\sin \gamma}.

Using vectors

The area of triangle ABC is half of the area of a parallelogram:

\tfrac 12 | AB x AC |. 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| AB x AC |,

which is the magnitude of the cross product of vectors AB and AC.

The area of triangle ABC can also be expressed in terms of dot products as follows:

\tfrac 12 \sqrt{( AB ⋅ AB )( AC ⋅ AC ) - ( AB ⋅ AC ) ^{2}} = \tfrac 12 \sqrt{ | AB | ^{2} | AC | ^{2} - ( AB ⋅ AC ) ^{2}.}

In two-dimensional Euclidean space, expressing vector AB as a free vector in Cartesian space equal to (x₁,y₁) and AC as (x₂,y₂), this can be rewritten as:

\tfrac 12 |x _{1} y _{2} - x _{2} y _{1|.}

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 = \tfrac 12 \left|\det\begin{pmatrix}x _{B} & x _{C} \ y _{B} & y _{C} \end{pmatrix}\right| = \tfrac 12 |x _{B} y _{C} - x _{C} y _{B|.}

For three general vertices, the equation is:

T = \tfrac 12 \left| \det\begin{pmatrix}x _{A} & x _{B} & x _{C} \ y _{A} & y _{B} & y _{C} \ 1 & 1 & 1 \end{pmatrix} \right| = \tfrac 12 | x _{A} y _{B} - x _{A} y _{C} + x _{B} y _{C} - x _{B} y _{A} + x _{C} y _{A} - x _{C} y _{B} | ,

which can be written as

T = \tfrac 12 | (x _{A} - x _{C)} (y _{B} - y _{A)} - (x _{A} - x _{B)} (y _{C} - y _{A)} | .

If the points are labeled sequentially in the counterclockwise direction, the above determinant expressions are positive and the absolute value signs can be omitted.^[8] 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

\bar a , \bar b , and \bar c , then the formulaT = (i)/(4) \begin{vmatrix}a & \bar a & 1 \ b & \bar b & 1 \ c & \bar c & 1 \end{vmatrix}

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 = \tfrac 12 \sqrt{\begin{vmatrix} x _{A} & x _{B} & x _{C} \ y _{A} & y _{B} & y _{C} \ 1 & 1 & 1 \end{vmatrix} ^{2} + \begin{vmatrix} y _{A} & y _{B} & y _{C} \ z _{A} & z _{B} & z _{C} \ 1 & 1 & 1 \end{vmatrix} ^{2} + \begin{vmatrix} z _{A} & z _{B} & z _{C} \ x _{A} & x _{B} & x _{C} \ 1 & 1 & 1 \end{vmatrix} ^{2} }.

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.

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 + \tfrac 12 B - 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 ⋅ s,

where r is the inradius, and s is the semiperimeter (in fact, this formula holds for all tangential polygons), and^[9]

T = r _{a(s-a)=r} _{b(s-b)=r} _{c(s-c)}

where

r _{a,} r _{b,} r _{c} are the radii of the excircles tangent to sides a, b, c respectively.

We also have

T = \tfrac 12 D ^{2} (\sin \alpha)(\sin \beta)(\sin \gamma)

and^[10]

T = (abc)/(2 D) = (abc)/(4 R)

for circumdiameter D; and^[11]

T = \tfrac 14 (\tan \alpha)(b ^{2} + c ^{2} - a ^{2} )

for angle α ≠ 90°.

The area can also be expressed as^[12]

T = \sqrt{rr _{ar} _{br} _{c}.}

In 1885, Baker^[13] gave a collection of over a hundred distinct area formulas for the triangle. These include:

T = \tfrac 12 \sqrt[ 3 ]{abch _{ah} _{bh} _{c},} T = \tfrac 12 \sqrt{abh _{ah} _{b},} T = (a + b)/(2 (h ^{-1} _{a} + h ^{-1} _{b} )) , T = (Rh _{bh} _{c})/(a)

for circumradius (radius of the circumcircle) R, and

T = (h _{ah} _{b})/(2 \sin \gamma) .

Upper bound on the area

The area T of any triangle with perimeter p satisfies

T\le \tfrac{p ^{2}{12\sqrt{3}},}

with equality holding if and only if the triangle is equilateral.^{[14] [15]}

Other upper bounds on the area T are given by^[16]

4 \sqrt{ 3 }T \leq a ^{2+b} ^{2+c} ^{2}

and

4 \sqrt{ 3 }T \leq (9 abc)/(a + b + c) ,

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.^[17] 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.

See also

• Area of a circle
• Congruence of triangles

Notes and References

1. Web site: Euclid’s Proof of the Pythagorean Theorem Synaptic . 2023-07-12 . Central College . en.
2. https://archive.org/stream/The_Aryabhatiya_of_Aryabhata_Clark_1930#page/n1/mode/2up The Āryabhaṭīya by Āryabhaṭa
3. Book: Heath, Thomas L.. A History of Greek Mathematics (Vol II). Oxford University Press. 1921. 321–323.
4. Web site: Euclid’s Proof of the Pythagorean Theorem Synaptic . 2023-07-12 . Central College . en.
5. Benyi, Arpad, "A Heron-type formula for the triangle," Mathematical Gazette 87, July 2003, 324–326.
6. Mitchell, Douglas W., "A Heron-type formula for the reciprocal area of a triangle," Mathematical Gazette 89, November 2005, 494.
7. Mitchell, Douglas W., "A Heron-type area formula in terms of sines," Mathematical Gazette 93, March 2009, 108–109.
8. Bart Braden . The Surveyor's Area Formula . The College Mathematics Journal . 17 . 4 . 1986 . 326–337 . 10.2307/2686282 . 2686282 . 5 January 2012 . 5 November 2003 . https://web.archive.org/web/20031105063724/http://www.maa.org/pubs/Calc_articles/ma063.pdf . dead .
9. Web site: Sa ́ndor Nagydobai Kiss, "A Distance Property of the Feuerbach Point and Its Extension", Forum Geometricorum 16, 2016, 283–290..
10. Web site: Circumradius . AoPSWiki . 26 July 2012 . dead . https://web.archive.org/web/20130620011530/http://www.artofproblemsolving.com/Wiki/index.php/Circumradius . 20 June 2013 .
11. Mitchell, Douglas W., "The area of a quadrilateral," Mathematical Gazette 93, July 2009, 306–309.
12. Pathan, Alex, and Tony Collyer, "Area properties of triangles revisited," Mathematical Gazette 89, November 2005, 495–497.
13. Baker, Marcus, "A collection of formulae for the area of a plane triangle," Annals of Mathematics, part 1 in vol. 1(6), January 1885, 134–138; part 2 in vol. 2(1), September 1885, 11–18. The formulas given here are #9, #39a, #39b, #42, and #49. The reader is advised that several of the formulas in this source are not correct.
14. Chakerian, G.D. "A Distorted View of Geometry." Ch. 7 in Mathematical Plums (R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979: 147.
15. Rosenberg, Steven; Spillane, Michael; and Wulf, Daniel B. "Heron triangles and moduli spaces", Mathematics Teacher 101, May 2008, 656–663.
16. Posamentier, Alfred S., and Lehmann, Ingmar, The Secrets of Triangles, Prometheus Books, 2012.
17. Dunn, J.A., and Pretty, J.E., "Halving a triangle," Mathematical Gazette 56, May 1972, 105–108.