Equilateral triangle
Equilateral triangle | |
---|---|
Type | Regular polygon |
Edges and vertices | 3 |
Schläfli symbol | {3} |
Coxeter diagram | |
Symmetry group | D_{3} |
Area | |
Internal angle (degrees) | 60° |
In geometry, an equilateral triangle is a triangle in which all three sides are equal. In the familiar Euclidean geometry, equilateral triangles are also equiangular; that is, all three internal angles are also congruent to each other and are each 60°. They are regular polygons, and can therefore also be referred to as regular triangles.
Contents
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
- The perimeter is
- The radius of the circumscribed circle is
- The radius of the inscribed circle is or
- The geometric center of the triangle is the center of the circumscribed and inscribed circles
- And the altitude (height) from any side is .
Many of these quantities have simple relationships to the altitude ("h") of each vertex from the opposite side:
- The area is
- The height of the center from each side is
- The radius of the circle circumscribing the three vertices is
- The radius of the inscribed circle is
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.
Sides
- ^{[1]}
- ^{[2]}
- ^{[3]}
Semiperimeter
- ^{[4]}
- ^{[5]}
- ^{[6]}
Angles
- ^{[2]}
Area
- ^{[7]}
- ^{[6]}
Circumradius, inradius and exradii
- ^{[1]}
- ^{[1]}
- ^{[2]}
Equal cevians
Three kinds of cevians are equal for (and only for) equilateral triangles:^{[8]}
- 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, and 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.^{[9]}^{:p.37}
- It is also equilateral if its circumcenter coincides with the Nagel point, or if its incenter coincides with its nine-point center.^{[1]}
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.^{[10]}^{:Theorem 1}
- A triangle is equilateral if and only if the circumcenters of any three of the smaller triangles have the same distance from the centroid.^{[10]}^{:Corollary 7}
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,^{[11]}^{:p.178,#235.4}
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.^{[12]}
Viviani's theorem states that, for any interior point P in an equilateral triangle, with distances d, e, and f from the sides, d + e + f = the altitude of the triangle, independent of the location of P.^{[13]}
Pompeiu's theorem states that, if P is an arbitrary point in an equilateral triangle ABC, then there exists a triangle with sides of length PA, PB, and PC.
Other properties
By Euler's inequality, the equilateral triangle has the smallest ratio R/r of the circumradius to the inradius of any triangle: specifically, R/r = 2.^{[14]}^{:p.198}
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 equilateral.^{[15]}
The ratio of the area of the incircle to the area of an equilateral triangle, , is larger than that of any non-equilateral triangle.^{[16]}^{:Theorem 4.1}
The ratio of the area to the square of the perimeter of an equilateral triangle, is larger than that for any other triangle.^{[12]}
If a segment splits an equilateral triangle into two regions with equal perimeters and with areas A_{1} and A_{2} , then^{[11]}^{:p.151,#J26}
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 of 1 the triangle is equilateral if and only if^{[17]}^{:Lemma 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 or equals 2, equality hold when P is the centroid and is less than that of any other triangle.^{[18]} 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 ∠APB, ∠BPC, and ∠CPA cross the sides (A, B, and C being the vertices).
For any point P in the plane, with distances p, q, and t from the vertices A, B, and C respectively,^{[19]}
For any point P on the inscribed circle of an equilateral triangle, with distances p, q, and t from the vertices,^{[19]}
and
For any point P on the minor arc BC of the circumcircle, with distances p, q, and t from A, B, and C respectively,^{[19]}^{[13]}^{:170}
and
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^{[13]}^{:172}
which also equals if t ≠ q; and
which is the optic equation.
There are numerous triangle inequalities that hold with equality if and only if the triangle is equilateral.
An equilateral triangle is the most symmetrical triangle, having 3 lines of reflection and rotational symmetry of order 3 about its center. Its symmetry group is the dihedral group of order 6 D_{3}.
Equilateral triangles are the only triangles whose Steiner inellipse is a circle (specifically, it is the incircle).
Equilateral triangles are found in many other geometric constructs. The intersection of circles whose centers are a radius width apart is a pair of equilateral arches, each of which can be inscribed with an equilateral triangle. They form faces of regular and uniform polyhedra. Three of the five Platonic solids are composed of equilateral triangles. In particular, the regular tetrahedron has four equilateral triangles for faces and can be considered the three-dimensional analogue of the shape. The plane can be tiled using equilateral triangles giving the triangular tiling.
Geometric construction
An equilateral triangle is easily constructed using a compass and straightedge, as 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 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:
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
so that
Substituting h into the area formula (1/2)ah gives the area formula for the equilateral triangle:
Using trigonometry
Using trigonometry, the area of a triangle with any two sides a and b, and an angle C between them is
Each angle of an equilateral triangle is 60°, so
The sine of 60° is . Thus
since all sides of an equilateral triangle are equal.
In culture and society
Equilateral triangles have frequently appeared in man made constructions:
- Some archaeological sites have equilateral triangles as part of their construction, for example Lepenski Vir in Serbia.
- The shape also occurs in modern architecture such as Randhurst Mall and the Jefferson National Expansion Memorial.
- The Flag of the Philippines, the Seal of the President of the Philippines and the Flag of Junqueirópolis contain equilateral triangles.
- It is a shape of a variety of road signs, including the Yield sign.
- Tau Kappa Epsilon a NIC^{[disambiguation needed]} Fraternity uses the equilateral triangle as its primary symbol.
See also
References
- ↑ ^{1.0} ^{1.1} ^{1.2} ^{1.3} Andreescu, Titu; Andrica, Dorian (2006). Complex Numbers from A to...Z. Birkhäuser. pp. 70, 113–115.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ ^{2.0} ^{2.1} ^{2.2} Pohoata, Cosmin (2010). "A new proof of Euler's inradius - circumradius inequality" (PDF). Gazeta Matematica Seria B (3): 121–123.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ Bencze, Mihály; Wu, Hui-Hua; Wu, Shan-He (2008). "An equivalent form of fundamental triangle inequality and its applications" (PDF). Research Group in Mathematical Inequalities and Applications. 11 (1).<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ Dospinescu, G.; Lascu, M.; Pohoata, C.; Letiva, M. (2008). "An elementary proof of Blundon's inequality" (PDF). Journal of inequalities in pure and applied mathematics. 9 (4).<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ Blundon, W. J. (1963). "On Certain Polynomials Associated with the Triangle". Mathematics Magazine. 36 (4): 247–248. doi:10.2307/2687913.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ ^{6.0} ^{6.1} Alsina, Claudi; Nelsen, Roger B. (2009). When less is more. Visualizing basic inequalities. Mathematical Association of America. pp. 71, 155.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ McLeman, Cam; Ismail, Andrei. "Weizenbock's inequality". PlanetMath.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ Owen, Byer; Felix, Lazebnik; Deirdre, Smeltzer (2010). Methods for Euclidean Geometry. Mathematical Association of America. pp. 36, 39.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ Yiu, Paul (1998). "Notes on Euclidean Geometry" (PDF).<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ ^{10.0} ^{10.1} Cerin, Zvonko (2004). "The vertex-midpoint-centroid triangles" (PDF). Forum Geometricorum. 4: 97–109.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ ^{11.0} ^{11.1} "Inequalities proposed in "Crux Mathematicorum"" (PDF).<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ ^{12.0} ^{12.1} Chakerian, G. D. "A Distorted View of Geometry." Ch. 7 in Mathematical Plums (R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979: 147.
- ↑ ^{13.0} ^{13.1} ^{13.2} Posamentier, Alfred S.; Salkind, Charles T. (1996). Challenging Problems in Geometry. Dover Publ.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ Svrtan, Dragutin; Veljan, Darko (2012). "Non-Euclidean versions of some classical triangle inequalities" (PDF). Forum Geometricorum. 12: 197–209.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ Dörrie, Heinrich (1965). 100 Great Problems of Elementary Mathematics. Dover Publ. pp. 379–380.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ Minda, D.; Phelps, S. (2008). "Triangles, ellipses, and cubic polynomials". American Mathematical Monthly. 115 (October): 679–689.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ Dao, Thanh Oai (2015). "Equilateral triangles and Kiepert perspectors in complex numbers" (PDF). Forum Geometricorum. 15: 105–114.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ Lee, Hojoo (2001). "Another proof of the Erdős–Mordell Theorem" (PDF). Forum Geometricorum. 1: 7–8.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- ↑ ^{19.0} ^{19.1} ^{19.2} De, Prithwijit (2008). "Curious properties of the circumcircle and incircle of an equilateral triangle". Mathematical Spectrum. 41 (1): 32–35.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>