Equilateral triangle explained

Equilateral triangle
Type:	Regular polygon
Edges:	3
Symmetry:	D3
Area:	\tfrac{\sqrt{ 3 }}{ 4 } a ^{2}
Angle:	60°

In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each other and are each 60°. It is also a regular polygon, so it is also referred to as a regular triangle.

Principal properties

Denoting the common length of the sides of the equilateral triangle as

a , we can determine using the Pythagorean theorem that:

• The area is

A = (\sqrt{ 3)/() } a^2,

• The perimeter is

p =3 a

• The radius of the circumscribed circle is

R = (a)/(\sqrt{ 3) }

• The radius of the inscribed circle is

r = (\sqrt{ 3)/() } a or r = (R)/(2)

• The geometric center of the triangle is the center of the circumscribed and inscribed circles
• The altitude (height) from any side is

h = (\sqrt{ 3)/() } a

Denoting the radius of the circumscribed circle as R, we can determine using trigonometry that:

• The area of the triangle is

A = (3 \sqrt{ 3)/() }R^2Many of these quantities have simple relationships to the altitude ("h") of each vertex from the opposite side:

• The area is

A = (h ^{2})/(\sqrt{ 3) }

• The height of the center from each side, or apothem, is

(h)/(3)

• The radius of the circle circumscribing the three vertices is

R = (2 h)/(3)

• The radius of the inscribed circle is

r = (h)/(3)

In an equilateral triangle, the altitudes, the angle bisectors, the perpendicular bisectors, and the medians to each side coincide.

Characterizations

A triangle

ABC that has the sides a , b , c , semiperimeter s , area T , exradii r _{a} , r _{b} , r _{c} (tangent to a , b , c respectively), and where R and r are the radii of the circumcircle and incircle respectively, is equilateral if and only if any one of the statements in the following nine categories is true. Thus these are properties that are unique to equilateral triangles, and knowing that any one of them is true directly implies that we have an equilateral triangle.

Sides

a = b = c (1)/(+ a) (1)/(+ b) (1)/(= c) (\sqrt{ 25 Rr -2 r ^{2})/() }^[1]

Semiperimeter

s = 2 R + \left( 3 \sqrt{ 3 } - 4 \right)r ^[2] (Blundon)s ^{2=3r} ^{2+12Rr} ^[3] s ^{2=3\sqrt{3}T} ^[4] s =3 \sqrt{ 3 }r s = (3 \sqrt{ 3)/() }R

Angles

A = B = C =60 ^{\circ} \cos{A} + \cos{B} + \cos{C} = (3)/(2) \sin{ (A)/(2) }\sin\sin=\frac

Area

T = (a ^{2+b} ^{2+c} ^{2})/(4 \sqrt{ 3) }\quad (Weitzenböck)T = (\sqrt{ 3)/() }(abc)^\frac^[4]

Circumradius, inradius, and exradii

R =2 r (Chapple-Euler)9 R ^{2=a} ^{2+b} ^{2+c} ^{2} r = (r _{a+r} _{b+r} _{c})/(9) ^[5] r _{a=r} _{b=r} _{c}

Equal cevians

Three kinds of cevians coincide, and are equal, for (and only for) equilateral triangles:^[6]

• The three altitudes have equal lengths.
• The three medians have equal lengths.
• The three angle bisectors have equal lengths.

Coincident triangle centers

Every triangle center of an equilateral triangle coincides with its centroid, which implies that the equilateral triangle is the only triangle with no Euler line connecting some of the centers. For some pairs of triangle centers, the fact that they coincide is enough to ensure that the triangle is equilateral. In particular:

• A triangle is equilateral if any two of the circumcenter, incenter, centroid, or orthocenter coincide.^[7]
• It is also equilateral if its circumcenter coincides with the Nagel point, or if its incenter coincides with its nine-point center.^[8]

Six triangles formed by partitioning by the medians

For any triangle, the three medians partition the triangle into six smaller triangles.

• A triangle is equilateral if and only if any three of the smaller triangles have either the same perimeter or the same inradius.^[9]
• A triangle is equilateral if and only if the circumcenters of any three of the smaller triangles have the same distance from the centroid.^[9]

Points in the plane

• A triangle is equilateral if and only if, for every point

P in the plane, with distances p , q , and r to the triangle's sides and distances x , y , and z to its vertices, $$4\backslash left(p^2\; +\; q^2\; +\; r^2\backslash right)\; \backslash geq\; x^2\; +\; y^2\; +\; z^2.$$

Notable theorems

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

Napoleon's theorem states that, if equilateral triangles are constructed on the sides of any triangle, either all outward, or all inward, the centers of those equilateral triangles themselves form an equilateral triangle.

A version of the isoperimetric inequality for triangles states that the triangle of greatest area among all those with a given perimeter is equilateral.

Viviani's theorem states that, for any interior point

P in an equilateral triangle with distances d , e , and f from the sides and altitude h , $$d+e+f\; =\; h,$$ independent of the location of P .^[10]

Pompeiu's theorem states that, if

P is an arbitrary point in the plane of an equilateral triangle ABC but not on its circumcircle, then there exists a triangle with sides of lengths PA , PB , and PC . That is, PA , PB , and PC satisfy the triangle inequality that the sum of any two of them is greater than the third. If P is on the circumcircle then the sum of the two smaller ones equals the longest and the triangle has degenerated into a line, this case is known as Van Schooten's theorem.

Geometric construction

An equilateral triangle is easily constructed using a straightedge and compass, because 3 is a Fermat prime. Draw a straight line, and place the point of the compass on one end of the line, and swing an arc from that point to the other point of the line segment. Repeat with the other side of the line. Finally, connect the point where the two arcs intersect with each end of the line segment.

An alternative method is to draw a circle with radius

r , place the point of the compass on the circle and draw another circle with the same radius. The two circles will intersect in two points. An equilateral triangle can be constructed by taking the two centers of the circles and either of the points of intersection.

In both methods a by-product is the formation of vesica piscis.

The proof that the resulting figure is an equilateral triangle is the first proposition in Book I of Euclid's Elements.

Derivation of area formula

The area formula

A = (\sqrt{ 3)/() }a^2 in terms of side length a can be derived directly using the Pythagorean theorem or using trigonometry.

Using the Pythagorean theorem

The area of a triangle is half of one side

a times the height h from that side:$$A\; =\; \backslash frac\; ah.$$

The legs of either right triangle formed by an altitude of the equilateral triangle are half of the base

a , and the hypotenuse is the side a of the equilateral triangle. The height of an equilateral triangle can be found using the Pythagorean theorem$$\backslash left(\backslash frac\backslash right)^2\; +\; h^2\; =\; a^2$$so that$$h\; =\; \backslash fraca.$$

Substituting

h into the area formula (1)/(2) ah gives the area formula for the equilateral triangle:$$A\; =\; \backslash fraca^2.$$

Using trigonometry

Using trigonometry, the area of a triangle with any two sides

a and b , and an angle C between them is$$A\; =\; \backslash frac\; ab\; \backslash sin\; C.$$

Each angle of an equilateral triangle is 60°, so$$A\; =\; \backslash frac\; ab\; \backslash sin\; 60^\backslash circ.$$

The sine of 60° is

\tfrac{\sqrt{ 3 }}{ 2 } . Thus$$A\; =\; \backslash frac\; ab\; \backslash times\; \backslash frac\; =\; \backslash fracab\; =\; \backslash fraca^2$$since all sides of an equilateral triangle are equal.

Other properties

An equilateral triangle is the most symmetrical triangle, having 3 lines of reflection and rotational symmetry of order 3 about its center, whose symmetry group is the dihedral group of order 6,

D _{3} . The integer-sided equilateral triangle is the only triangle with integer sides, and three rational angles as measured in degrees.^[11] It is the only acute triangle that is similar to its orthic triangle (with vertices at the feet of the altitudes),^[12] and the only triangle whose Steiner inellipse is a circle (specifically, the incircle). The triangle of largest area of all those inscribed in a given circle is equilateral, and the triangle of smallest area of all those circumscribed around a given circle is also equilateral.^[13] It is the only regular polygon aside from the square that can be inscribed inside any other regular polygon.

By Euler's inequality, the equilateral triangle has the smallest ratio of the circumradius

R to the inradius r of any triangle, with^[14] $$\backslash frac\; =\; 2.$$

Given a point

P in the interior of an equilateral triangle, the ratio of the sum of its distances from the vertices to the sum of its distances from the sides is greater than or equal to 2, equality holding when P is the centroid. In no other triangle is there a point for which this ratio is as small as 2.^[15] This is the Erdős–Mordell inequality; a stronger variant of it is Barrow's inequality, which replaces the perpendicular distances to the sides with the distances from P to the points where the angle bisectors of \angle APB , \angle BPC , and \angle CPA cross the sides (A , B , and C being the vertices). There are numerous other triangle inequalities that hold with equality if and only if the triangle is equilateral.

For any point

P in the plane, with distances p , q , and t from the vertices A , B , and C respectively,^[16] $$3\; \backslash left(p^4\; +\; q^4\; +\; t^4\; +\; a^4\backslash right)\; =\; \backslash left(p^2\; +\; q^2\; +\; t^2\; +\; a^2\backslash right)^2.$$

For any point

P in the plane, with distances p , q , and t from the vertices,^[17] $$p^2+q^2+t^2\; =\; 3\backslash left(R^2\; +\; L^2\backslash right),$$$$p^4+q^4+t^4\; =\; 3\backslash left[\backslash left(R^2\; +\; L^2\backslash right)^2\; +\; 2\; R^2\; L^2\backslash right],$$where R is the circumscribed radius and L is the distance between point P and the centroid of the equilateral triangle.

For any point

P on the inscribed circle of an equilateral triangle, with distances p , q , and t from the vertices,^[18] $$4\; \backslash left(p^2\; +\; q^2\; +\; t^2\backslash right)\; =\; 5a^2,$$$$16\; \backslash left(p^4\; +\; q^4\; +\; t^4\backslash right)\; =\; 11a^4.$$

For any point

P on the minor arc BC of the circumcircle, with distances p , q , and t from A , B , and C , respectively^[10] $$p\; =\; q\; +\; t,$$$$q^2\; +\; qt\; +\; t^2=a^2\; .$$

Moreover, if point

D on side BC divides PA into segments PD and DA with DA having length z and PD having length y , then^[10] $$z\; =\; \backslash frac,$$which also equals $\backslash tfrac$ if t ≠ q and$$\backslash frac+\backslash frac=\backslash frac,$$which is the optic equation.

For an equilateral triangle:

• The ratio of its area to the area of the incircle,

(\pi)/(3 \sqrt{ 3) }, is the largest of any triangle.^[19]

• The ratio of its area to the square of its perimeter,

(1)/(12 \sqrt{ 3) }, is larger than that of any non-equilateral triangle.^[20]

• If a segment splits an equilateral triangle into two regions with equal perimeters and with areas

A _{1} and A _{2} , then^[21] $$\backslash frac\; \backslash leq\; \backslash frac\; \backslash leq\; \backslash frac.$$

If a triangle is placed in the complex plane with complex vertices

z _{1} , z _{2} , and z _{3} , then for either non-real cube root \omega of 1 the triangle is equilateral if and only if^[22] $$z\_1\; +\; \backslash omega\; z\_2\; +\; \backslash omega^2\; z\_3\; =\; 0.$$

Notably, the equilateral triangle tiles two dimensional space with six triangles meeting at a vertex, whose dual tessellation is the hexagonal tiling. 3.12², 3.4.6.4, (3.6)², 3².4.3.4, and 3⁴.6 are all semi-regular tessellations constructed with equilateral triangles.^[23]

In three dimensions, equilateral triangles form faces of regular and uniform polyhedra. Three of the five Platonic solids are composed of equilateral triangles: the tetrahedron, octahedron and icosahedron.^[24] In particular, the tetrahedron, which has four equilateral triangles for faces, can be considered the three-dimensional analogue of the triangle. All Platonic solids can inscribe tetrahedra, as well as be inscribed inside tetrahedra. Equilateral triangles also form uniform antiprisms as well as uniform star antiprisms in three-dimensional space. For antiprisms, two (non-mirrored) parallel copies of regular polygons are connected by alternating bands of

2 n equilateral triangles.^[25] Specifically for star antiprisms, there are prograde and retrograde (crossed) solutions that join mirrored and non-mirrored parallel star polygons.^{[26] [27]} The Platonic octahedron is also a triangular antiprism, which is the first true member of the infinite family of antiprisms (the tetrahedron, as a digonal antiprism, is sometimes considered the first).

As a generalization, the equilateral triangle belongs to the infinite family of

n -simplexes, with n = 2 .^[28]

In culture and society

Equilateral triangles have frequently appeared in man made constructions:

• The shape occurs in modern architecture such as the cross-section of the Gateway Arch.^[29]
• Its applications in flags and heraldry includes the flag of Nicaragua^[30] and the flag of the Philippines.^[31]
• It is a shape of a variety of road signs, including the yield sign.^[32]

See also

• Almost-equilateral Heronian triangle
• Isosceles triangle
• Ternary plot
• Trilinear coordinates

Notes and References

1. Bencze . Mihály . Wu . Hui-Hua . Wu . Shan-He . 2008 . An equivalent form of fundamental triangle inequality and its applications . Journal of Inequalities in Pure and Applied Mathematics . 10 . 1 . 1–6 (Article No. 16) . 1443-5756 . 2491926 . 115305257 . 1163.26316 .
2. Dospinescu . G. . Lascu . M. . Pohoata . C. . Letiva . M. . An elementary proof of Blundon's inequality . Journal of Inequalities in Pure and Applied Mathematics . 2008 . 9 . 4 . 1-3 (Paper No. 100) . 1443-5756 . 123965364 . 1162.51305 .
3. Blundon . W. J. . On Certain Polynomials Associated with the Triangle . . 1963 . 36 . 4 . . 247–248 . 10.2307/2687913 . 2687913 . 124726536 . 0116.12902 .
4. Book: Alsina . Claudi . Nelsen . Roger B. . When less is more. Visualizing basic inequalities . 2009 . . Dolciani Mathematical Expositions . 36 . Washington, D.C. . 71, 155 . 10.5948/upo9781614442028 . 978-0-88385-342-9 . 775429168 . 117769827 . 2498836 . 1163.00008 .
5. Pohoata . Cosmin . A new proof of Euler's inradius - circumradius inequality . Gazeta Matematica Seria B . 2010 . 3 . 121–123 . 124244932 .
6. Book: Owen . Byer . Felix . Lazebnik . Deirdre . Smeltzer . Deirdre Smeltzer . Methods for Euclidean Geometry . Classroom Resource Materials . 37 . 2010 . . 36, 39 . Washington, D.C. . registration . 9780883857632 . 501976971 . 10.5860/choice.48-3331 . 118179744 .
7. Web site: Yiu . Paul . Notes on Euclidean Geometry . Florida Atlantic University, Department of Mathematical Sciences . Course Notes . 1998 .
8. Book: Andreescu . Titu . Andrica . Dorian . Complex Numbers from A to...Z . 2006 . . 1st . Boston, MA . 70, 113–115 . registration . 978-0-8176-4449-9 . 10.1007/0-8176-4449-0 . 871539199 . 118951675 .
9. Cerin. Zvonko. The vertex-midpoint-centroid triangles. Forum Geometricorum. 2004. 4. 97–109.
10. Book: Posamentier. Alfred S.. Salkind. Charles T.. Challenging Problems in Geometry. registration. 1996. Dover Publ..
11. Conway, J. H., and Guy, R. K., "The only rational triangle", in The Book of Numbers, 1996, Springer-Verlag, pp. 201 and 228–239.
12. Leon Bankoff and Jack Garfunkel, "The heptagonal triangle", Mathematics Magazine 46 (1), January 1973, 7–19,
13. Book: Dörrie. Heinrich. 100 Great Problems of Elementary Mathematics. 1965. Dover Publ.. 379–380.
14. Svrtan. Dragutin. Veljan. Darko. Non-Euclidean versions of some classical triangle inequalities. Forum Geometricorum. 2012. 12. 197–209.
15. Lee. Hojoo. Another proof of the Erdős–Mordell Theorem. Forum Geometricorum. 2001. 1. 7–8.
16. Gardner, Martin, "Elegant Triangles", in the book Mathematical Circus, 1979, p. 65.
17. Meskhishvili . Mamuka. 2021. Cyclic Averages of Regular Polygonal Distances. International Journal of Geometry . 10. 58–65.
18. De. Prithwijit. Curious properties of the circumcircle and incircle of an equilateral triangle. Mathematical Spectrum. 2008. 41. 1. 32–35.
19. Minda. D.. Phelps. S.. Triangles, ellipses, and cubic polynomials. American Mathematical Monthly. 2008. 115. October. 679–689. 27642581. 10.1080/00029890.2008.11920581. 15049234 .
20. Chakerian, G. D. "A Distorted View of Geometry." Ch. 7 in Mathematical Plums (R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979: 147.
21. Web site: Inequalities proposed in "Crux Mathematicorum".
22. Dao. Thanh Oai. Equilateral triangles and Kiepert perspectors in complex numbers. Forum Geometricorum. 2015. 15. 105–114.
23. Branko . Grünbaum . Branko Grünbaum . Geoffrey . Shepard . G.C. Shephard . Tilings by Regular Polygons . November 1977 . . 50 . 5 . Taylor & Francis, Ltd.. 231–234 . 10.2307/2689529 . 2689529 . 1567647 . 123776612 . 0385.51006 .
24. Book: Johnson, Norman W. . Norman Johnson (mathematician) . Geometries and Transformations . . Cambridge . 1st . 2018 . xv, 1-438 . 10.1017/9781316216477 . 978-1107103405 . 125948074 . 1396.51001 .
25. Book: Cromwell, Peter T. . . Chapter 2: The Archimedean solids . https://archive.org/details/polyhedra0000crom/page/84/mode/2up . registration . Cambridge University Press . 1st . New York . 1997 . 85 . 978-0521664059 . 41212721 . 1458063 . 0888.52012 .
26. Web site: Klitzing . Richard . n-antiprism with winding number d . Polytopes & their Incidence Matrices . bendwavy.org (Anton Sherwood) . 2023-03-09 .
27. Web site: Webb . Robert . Stella Polyhedral Glossary . Stella . 2023-03-09 .
28. Book: H. S. M. Coxeter . Harold Scott MacDonald Coxeter . Regular Polytopes . registration . . 1 . 1948 . London . 120-121 . 4766401 . 0031.06502.
29. Book: Eero Saarinen: Shaping the Future. Eeva-Liisa. Pelkonen. Donald. Albrecht. Yale University Press. 2006. 978-0972488129. 160, 224, 226 .
30. Book: Culture and Customs of Nicaragua . Steven F.. White. Esthela. Calderón. Greenwood Press. 2008. 3. 978-0313339943. registration.
31. Book: Guillermo, Artemio R.. Historical Dictionary of the Philippines. Scarecrow Press. 2012. 978-0810872462. 161.
32. Riley. Michael W.. Cochran. David J.. Ballard. John L.. December 1982. 10.1177/001872088202400610. 6. Human Factors: The Journal of the Human Factors and Ergonomics Society. 737–742. An Investigation of Preferred Shapes for Warning Labels. 24. 109362577.