An equilateral triangle is a triangle in which all three sides have the same length, and three angles are equal. Because of these properties, the equilateral triangle is the family of regular polygon, and it is occasionally known as the regular triangle. It is the special case of an isosceles triangle by modern definition, creating more special properties.
Equilateral triangle | |
---|---|
Type | Regular polygon |
Edges and vertices | 3 |
Schläfli symbol | {3} |
Coxeter–Dynkin diagrams | |
Symmetry group | |
Area | |
Internal angle (degrees) | 60° |
The equilateral triangle can be found in the figures in high dimensions. Examples can be found in various of tilings, and the polyhedrons as in the deltahedron and antiprism. Other appearances in real life are the popular cultures, architectures, and the study of stereochemistry resembling the molecular known as the trigonal planar molecular geometry
Properties
editAn equilateral triangle is a triangle that has three equal sides. It is a special case of an isosceles triangle in the modern definition, stating that an isosceles triangle is defined at least as having two equal sides.[1] Based on the modern definition, this leads to an equilateral triangle in which one of the three sides may be considered its base.[2]
The follow-up definition above may result in more precise properties. For example, since the perimeter of an isosceles triangle is the sum of its two legs and base, the equilateral triangle is formulated as three times its side.[3][4] The internal angle of an equilateral triangle are equal, 60°.[5] Because of these properties, the equilateral triangles become the known family as the regular polygons. The cevian of an equilateral triangle are all equal in length, resulting in the median and angle bisector being equal in length, considering those lines as their altitude depending on the base's choice.[5] When the equilateral triangle is flipped around its altitude and rotated around its center for every one-third of a full angle, its appearance is unchangeable. This leads that the equilateral triangle has the symmetry of a dihedral group of order six.[6] The following describes others.
Area
editThe area of an equilateral triangle is The formula may be derived from the formula of an isosceles triangle by Pythagoras theorem: the altitude of a triangle is the square root of the difference of squares of a side and half of a base.[3] Since the base and the legs are equal, the height is:[7] In general, the area of a triangle is the half product of base and height. The formula of the area of an equilateral triangle can be obtained by substituting the altitude formula.[7] Another way to prove the area of an equilateral triangle is by using the trigonometric function. The area of a triangle is formulated as the half product of base and height and the sine of an angle. Because all of the angles of an equilateral triangle are 60°, the formula is as desired.[citation needed]
A version of the isoperimetric inequality for triangles states that the triangle of greatest area among all those with a given perimeter is equilateral. That is, for perimeter and area , the equality holds for the equilateral triangle:[8]
Relationship with circles
editThe radius of the circumscribed circle is: and the radius of the inscribed circle is half of the circumradius:
The theorem of Euler states that the distance between circumradius and inradius is formulated as . The aftermath results in a triangle inequality stating that the equilateral triangle has the smallest ratio of the circumradius to the inradius of any triangle. That is:[9]
Pompeiu's theorem states that, if is an arbitrary point in the plane of an equilateral triangle but not on its circumcircle, then there exists a triangle with sides of lengths , , and . That is, , , and satisfy the triangle inequality that the sum of any two of them is greater than the third. If 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.[10]
A packing problem asks the objective of circles packing into the smallest possible equilateral triangle. The optimal solutions show that can be packed into the equilateral triangle, but the open conjectures expand to .[11]
Other mathematical properties
editMorley's trisector theorem states that, in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle.
Viviani's theorem states that, for any interior point in an equilateral triangle with distances , , and from the sides and altitude , independent of the location of .[12]
An equilateral triangle may have integer sides with three rational angles as measured in degrees,[13] known for the only acute triangle that is similar to its orthic triangle (with vertices at the feet of the altitudes),[14] and the only triangle whose Steiner inellipse is a circle (specifically, the incircle). The triangle of the largest area of all those inscribed in a given circle is equilateral, and the triangle of the smallest area of all those circumscribed around a given circle is also equilateral.[15] It is the only regular polygon aside from the square that can be inscribed inside any other regular polygon.
Given a point 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 is the centroid. In no other triangle is there a point for which this ratio is as small as 2.[16] 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 to the points where the angle bisectors of , , and cross the sides ( , , and being the vertices). There are numerous other triangle inequalities that hold equality if and only if the triangle is equilateral.
Construction
editThe equilateral triangle can be constructed in different ways by using circles. The first proposition in the Elements first book by Euclid. Start by drawing a circle with a certain radius, placing the point of the compass on the circle, and drawing 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 the points of intersection.[17]
An alternative way to construct an equilateral triangle is by using Fermat prime. A Fermat prime is a prime number of the form wherein denotes the non-negative integer, and there are five known Fermat primes: 3, 5, 17, 257, 65537. A regular polygon is constructible by compass and straightedge if and only if the odd prime factors of its number of sides are distinct Fermat primes.[18] To do so geometrically, draw a straight line and place the point of the compass on one end of the line, then swing an arc from that point to the other point of the line segment; repeat with the other side of the line, which connects the point where the two arcs intersect with each end of the line segment in the aftermath.
Given that three equilateral triangles are constructed on the sides of an arbitrary triangle. By Napoleon's theorem, either all outward or inward, the centers of those equilateral triangles themselves form an equilateral triangle.
Appearances
editIn other related figures
editNotably, the equilateral triangle tiles is a two-dimensional space with six triangles meeting at a vertex, whose dual tessellation is the hexagonal tiling. Truncated hexagonal tiling, rhombitrihexagonal tiling, trihexagonal tiling, snub square tiling, and snub hexagonal tiling are all semi-regular tessellations constructed with equilateral triangles.[19] Other two-dimensional objects can be found in Sierpiński triangle (a fractal shape constructed from an equilateral triangle by subdividing recursively into smaller equilateral triangles) and Reuleaux triangle (a curved triangle with constant width, constructed from an equilateral triangle by rounding each of its sides).[20]
Equilateral triangles may also form a polyhedron in three dimensions. Three of five polyhedrons of Platonic solids are regular tetrahedron, regular octahedron, and regular icosahedron. Five of the Johnson solids are triangular bipyramid, pentagonal bipyramid, snub disphenoid, triaugmented triangular prism, and gyroelongated square bipyramid. These eight convex polyhedrons have an equilateral triangle as their faces, known as the deltahedron.[21] More generally, all Johnson solids have equilateral triangles, though there are some other regular polygons as their faces.[22] Antiprism is another family of polyhedra where all the faces other than the bases mostly consist of alternating triangles. When the antiprism is uniform, its bases are regular and all triangular faces are equilateral.[23]
As a generalization, the equilateral triangle belongs to the infinite family of -simplexes, with .[24]
As an application
editEquilateral triangles have frequently appeared in man-made constructions and popular cultures. In architecture, an example can be seen in the cross-section of the Gateway Arch and the surface of a Vegreville egg.[25][26] In heraldic and flags, its applications include the flag of Nicaragua and the flag of the Philippines.[27][28] It is a shape of a variety of road signs, including the yield sign.[29]
The equilateral triangle occurred in the study of stereochemistry. It can be described as the molecular geometry in which one atom in the center connects three other atoms in a plane, known as the trigonal planar molecular geometry.[30]
In the Thomson problem, concerning the minimum-energy configuration of charged particles on a sphere, and for the Tammes problem of constructing a spherical code maximizing the smallest distance among the points, the minimum solution known for places the points at the vertices of an equilateral triangle, inscribed in a sphere. This configuration is proven optimal for the Tammes problem, but a rigorous solution to this instance of the Thomson problem is unknown.[31]
See also
editReferences
editNotes
edit- ^ Stahl (2003), p. 37.
- ^ Lardner (1840), p. 46.
- ^ a b Harris & Stocker (1998), p. 78.
- ^ Cerin (2004), See Theorem 1.
- ^ a b Owen, Felix & Deirdre (2010), p. 36, 39.
- ^ Carstensen, Fine & Rosenberger (2011), p. 156.
- ^ a b McMullin & Parkinson (1936), p. 96.
- ^ Chakerian (1979).
- ^ Svrtan & Veljan (2012).
- ^ Alsina & Nelsen (2010), p. 102–103.
- ^ Melissen & Schuur (1995).
- ^ Posamentier & Salkind (1996).
- ^ Conway & Guy (1996), p. 201, 228–229.
- ^ Bankoff & Garfunkel (1973), p. 19.
- ^ Dörrie (1965), p. 379–380.
- ^ Lee (2001).
- ^ Cromwell (1997), p. 62.
- ^ Křížek, Luca & Somer (2001), p. 1–2.
- ^ Grünbaum & Shepard (1977).
- ^ Alsina & Nelsen (2010), p. 102–103.
- ^ Trigg (1978).
- ^ Berman (1971).
- ^ Horiyama et al. (2015), p. 124.
- ^ Coxeter (1948), p. 120–121.
- ^ Pelkonen & Albrecht (2006), p. 160.
- ^ Alsina & Nelsen (2015), p. 22.
- ^ White & Calderón (2008), p. 3.
- ^ Guillermo (2012), p. 161.
- ^ Riley, Cochran & Ballard (1982).
- ^ Petrucci, Harwood & Herring (2002), p. 413–414, See Table 11.1.
- ^ Whyte (1952).
Works cited
edit- Alsina, Claudi; Nelsen, Roger B. (2010). Charming Proofs: A Journey Into Elegant Mathematics. Mathematical Association of America. ISBN 9780883853481.
- ———; ——— (2015). A Mathematical Space Odyssey: Solid Geometry in the 21st Century. Vol. 50. Mathematical Association of America. ISBN 978-1-61444-216-5.
- Bankoff, Leon; Garfunkel, Jack (January 1973). "The heptagonal triangle". Mathematics Magazine. 46 (1): 7–19. doi:10.1080/0025570X.1973.11976267.
- Berman, Martin (1971). "Regular-faced convex polyhedra". Journal of the Franklin Institute. 291 (5): 329–352. doi:10.1016/0016-0032(71)90071-8. MR 0290245.
- Cerin, Zvonko (2004). "The vertex-midpoint-centroid triangles" (PDF). Forum Geometricorum. 4: 97–109.
- Carstensen, Celine; Fine, Celine; Rosenberger, Gerhard (2011). Abstract Algebra: Applications to Galois Theory, Algebraic Geometry and Cryptography. De Gruyter. p. 156. ISBN 978-3-11-025009-1.
- Chakerian, G. D. (1979). "Chapter 7: A Distorted View of Geometry". In Honsberger, R. (ed.). Mathematical Plums. Washington DC: Mathematical Association of America. p. 147.
- Conway, J. H.; Guy, R. K. (1996). The Book of Numbers. Springer-Verlag.
- Coxeter, H. S. M. Coxeter (1948). Regular Polytopes (1 ed.). London: Methuen & Co. LTD. OCLC 4766401. Zbl 0031.06502.
- Cromwell, Peter R. (1997). Polyhedra. Cambridge University Press. ISBN 978-0-521-55432-9.
- Dörrie, Heinrich (1965). 100 Great Problems of Elementary Mathematics. Dover Publications.
- Grünbaum, Branko; Shepard, Geoffrey (November 1977). "Tilings by Regular Polygons" (PDF). Mathematics Magazine. 50 (5). Taylor & Francis, Ltd.: 231–234. doi:10.2307/2689529. JSTOR 2689529. MR 1567647. S2CID 123776612. Zbl 0385.51006.
- Guillermo, Artemio R. (2012). Historical Dictionary of the Philippines. Scarecrow Press. ISBN 978-0810872462.
- Harris, John W.; Stocker, Horst (1998). Handbook of mathematics and computational science. New York: Springer-Verlag. doi:10.1007/978-1-4612-5317-4 (inactive 2024-10-02). ISBN 0-387-94746-9. MR 1621531.
{{cite book}}
: CS1 maint: DOI inactive as of October 2024 (link) - Herz-Fischler, Roger (2000). The Shape of the Great Pyramid. Wilfrid Laurier University Press. ISBN 0-88920-324-5.
- Horiyama, Takayama; Itoh, Jin-ichi; Katoh, Naoi; Kobayashi, Yuki; Nara, Chie (14–16 September 2015). "Continuous Folding of Regular Dodecahedra". In Akiyama, Jin; Ito, Hiro; Sakai, Toshinori; Uno, Yushi (eds.). Discrete and Computational Geometry and Graphs. Japanese Conference on Discrete and Computational Geometry and Graphs. Kyoto. doi:10.1007/978-3-319-48532-4. ISBN 978-3-319-48532-4. ISSN 1611-3349.
{{cite conference}}
: CS1 maint: date format (link) - Křížek, Michal; Luca, Florian; Somer, Lawrence (2001). 17 Lectures on Fermat Numbers: From Number Theory to Geometry. CMS Books in Mathematics. Vol. 9. New York: Springer-Verlag. doi:10.1007/978-0-387-21850-2. ISBN 978-0-387-95332-8. MR 1866957.
- Lardner, Dionysius (1840). A Treatise on Geometry and Its Application in the Arts. London: The Cabinet Cyclopædia.
- Lee, Hojoo (2001). "Another proof of the Erdős–Mordell Theorem" (PDF). Forum Geometricorum. 1: 7–8.
- McMullin, Daniel; Parkinson, Albert Charles (1936). An Introduction to Engineering Mathematics. Vol. 1. Cambridge University Press.
- Melissen, J. B. M.; Schuur, P. C. (1995). "Packing 16, 17 or 18 circles in an equilateral triangle". Discrete Mathematics. 145 (1–3): 333–342. doi:10.1016/0012-365X(95)90139-C. MR 1356610.
- Owen, Byer; Felix, Lazebnik; Deirdre, Smeltzer (2010). Methods for Euclidean Geometry. Classroom Resource Materials. Vol. 37. Washington, D.C.: Mathematical Association of America. doi:10.5860/choice.48-3331. ISBN 9780883857632. OCLC 501976971. S2CID 118179744.
- Pelkonen, Eeva-Liisa; Albrecht, Donald, eds. (2006). Eero Saarinen: Shaping the Future. Yale University Press. pp. 160, 224, 226. ISBN 978-0972488129.
{{cite book}}
: CS1 maint: ref duplicates default (link) - Petrucci, R. H.; Harwood, W. S.; Herring, F. G. (2002). General Chemistry: Principles and Modern Applications (8th ed.). Prentice Hall. ISBN 978-0-13-014329-7.
- Posamentier, Alfred S.; Salkind, Charles T. (1996). Challenging Problems in Geometry. Dover Publications.
- Riley, Michael W.; Cochran, David J.; Ballard, John L. (December 1982). "An Investigation of Preferred Shapes for Warning Labels". Human Factors: The Journal of the Human Factors and Ergonomics Society. 24 (6): 737–742. doi:10.1177/001872088202400610. S2CID 109362577.
- Stahl, Saul (2003). Geometry from Euclid to Knots. Prentice-Hall. ISBN 0-13-032927-4.
- Svrtan, Dragutin; Veljan, Darko (2012). "Non-Euclidean versions of some classical triangle inequalities". Forum Geometricorum. 12: 197–209.
- Trigg, Charles W. (1978). "An infinite class of deltahedra". Mathematics Magazine. 51 (1): 55–57. doi:10.1080/0025570X.1978.11976675. JSTOR 2689647. MR 1572246.
- White, Steven F.; Calderón, Esthela (2008). Culture and Customs of Nicaragua. Greenwood Press. ISBN 978-0313339943.
- Whyte, L. L. (1952). "Unique arrangements of points on a sphere". The American Mathematical Monthly. 59 (9): 606–611. doi:10.1080/00029890.1952.11988207. JSTOR 2306764. MR 0050303.