This page uses content from Wikipedia and is licensed under CC BYSA.
Isosceles triangle  

Isosceles triangle with vertical axis of symmetry


Type  triangle 
Edges and vertices  3 
Schläfli symbol  ( ) ∨ { } 
Symmetry group  Dih_{2}, [ ], (*), order 2 
Dual polygon  Selfdual 
Properties  convex, cyclic 
In geometry, an isosceles triangle is a triangle that has two sides of equal length. Sometimes it is specified as having two and only two sides of equal length, and sometimes as having at least two sides of equal length, the latter version thus including the equilateral triangle as a special case.
By the isosceles triangle theorem, the two angles opposite the equal sides are themselves equal, while if the third side is different then the third angle is different.
By the Steiner–Lehmus theorem, every triangle with two angle bisectors of equal length is isosceles.
The compound is made from "isos"(equal) and skelos (leg).
In an isosceles triangle that has exactly two equal sides, the equal sides are called legs and the third side is called the base. The angle included by the legs is called the vertex angle and the angles that have the base as one of their sides are called the base angles.^{[1]} The vertex opposite the base is called the apex.
Euclid defined an isosceles triangle as one having exactly two equal sides,^{[2]} but modern treatments prefer to define them as having at least two equal sides, making equilateral triangles (with three equal sides) a special case of isosceles triangles.^{[3]} In the equilateral triangle case, since all sides are equal, any side can be called the base, if needed, and the term leg is not generally used.
A triangle with exactly two equal sides has exactly one axis of symmetry, which goes through the vertex angle and also goes through the midpoint of the base. Thus the axis of symmetry coincides with (1) the angle bisector of the vertex angle, (2) the median drawn to the base, (3) the altitude drawn from the vertex angle, and (4) the perpendicular bisector of the base.^{[4]}
Whether the isosceles triangle is acute, right or obtuse depends on the vertex angle. In Euclidean geometry, the base angles cannot be obtuse (greater than 90°) or right (equal to 90°) because their measures would sum to at least 180°, the total of all angles in any Euclidean triangle. Since a triangle is obtuse or right if and only if one of its angles is obtuse or right, respectively, an isosceles triangle is obtuse, right or acute if and only if its vertex angle is respectively obtuse, right or acute.
The Euler line of any triangle goes through the triangle's orthocenter (the intersection of its three altitudes), its centroid (the intersection of its three medians), and its circumcenter (the intersection of the perpendicular bisectors of its three sides, which is also the center of the circumcircle that passes through the three vertices). In an isosceles triangle with exactly two equal sides, the Euler line coincides with the axis of symmetry. This can be seen as follows. Since as pointed out in the previous section the axis of symmetry coincides with an altitude, the intersection of the altitudes, which must lie on that altitude, must therefore lie on the axis of symmetry; since the axis coincides with a median, the intersection of the medians, which must lie on that median, must therefore lie on the axis of symmetry; and since the axis coincides with a perpendicular bisector, the intersection of the perpendicular bisectors, which must lie on that perpendicular bisector, must therefore lie on the axis of symmetry.
If the vertex angle is acute (so the isosceles triangle is an acute triangle), then the orthocenter, the centroid, and the circumcenter all fall inside the triangle. If the vertex angle, and therefore the triangle, is obtuse, then the centroid still falls in the triangle's interior, but the circumcenter falls outside it (beyond the base), and the orthocenter also falls outside the triangle (beyond the apex).
In an isosceles triangle the incenter (the intersection of its angle bisectors, which is the center of the incircle, that is, the circle which is internally tangent to the triangle's three sides) lies on the Euler line.
The Steiner inellipse of any triangle is the unique ellipse that is internally tangent to the triangle's three sides at their midpoints. In an isosceles triangle, if the legs are longer than the base then the Steiner inellipse's major axis coincides with the triangle's axis of symmetry; if the legs are shorter than the base, then the ellipse's minor axis coincides with the triangle's axis of symmetry.
For an isosceles triangle with equal sides of length a and base of length b, the general triangle formulas for (1) the length of the triangleinterior portion of the angle bisector of the vertex angle, (2) the length of the median drawn to the base, (3) length of the altitude drawn to the base, and (4) the length of the triangleinterior portion of the perpendicular bisector of the base all simplify to
For any isosceles triangle with area T and perimeter p, we have^{[5]}^{:Eq.(1)}
The area of an isosceles triangle can be derived using the Pythagorean Theorem: The sum of the squares of half the base and the height is the square of either of the other two sides of length :
By substituting the height, the formula for the area of an isosceles triangle can be derived from the general formula onehalf the base times the height:
This is what Heron's formula reduces to in the isosceles case.
If the apex angle and leg lengths of an isosceles triangle are known, then the area of that triangle is:
This is derived by drawing a perpendicular line from the base of the triangle, which bisects the vertex angle and creates two right triangles. The bases of these two right triangles are both equal to the hypotenuse times the sine of the bisected angle by definition of the term "sine". For the same reason, the heights of these triangles are equal to the hypotenuse times the cosine of the bisected angle. Using the trigonometric identity , we get
which is a special case of the general triangle area formula onehalf the product of two sides times the sine of the included angle.
The theorem which states that the base angles of an isosceles triangle are equal appears as Proposition I.5 in Euclid.^{[6]} This result has been called the pons asinorum (the bridge of asses). Some say that this is probably because of the diagram used by Euclid in his demonstration of the result. Others claim that the name stems from the fact that this is the first difficult result in Euclid, and acts to separate those who can understand Euclid's geometry from those who can't.^{[7]}
For any integer , any triangle can be partitioned into isosceles triangles.^{[8]}
In a right triangle, the median from the hypotenuse (that is, the line segment from the midpoint of the hypotenuse to the rightangled vertex) divides the right triangle into two isosceles triangles. This is because the midpoint of the hypotenuse is the center of the circumcircle of the right triangle, and each of the two triangles created by the partition has two equal radii as two of its sides.^{[9]}^{:p.24}
The golden triangle is isosceles and has a ratio of either leg to the base equal to the golden ratio, and has angles 72°, 72°, and 36° in the ratios 2:2:1. It can be partitioned into another golden triangle and a golden gnomon, also isosceles, with ratio of base to leg equaling the golden ratio and with angles 36°, 36°, and 108° in the ratios 1:1:3.^{[9]}^{:p.30–31}
If a cubic equation has two complex roots and one real root, then when these roots are plotted in the complex plane they are the vertices of an isosceles triangle whose axis of symmetry coincides with the horizontal (real) axis. This is because the complex roots are complex conjugates and hence are symmetric about the real axis.
Either diagonal of a rhombus divides it into two congruent isosceles triangles.
The Calabi triangle, which is isosceles, is the unique nonequilateral triangle in which the largest square that fits in its interior can be positioned in any of three different ways.
If an isosceles triangle ABC with equal legs AB and BC has a segment drawn from A to a point D on ray BC, and if the reflection of AD around AC intersects ray BC at E, then BC^{2} = BD × BE.^{[10]}
There are exactly two distinct isosceles triangles with given area T and perimeter p if the isoperimetric inequality holds strictly as If the inequality is replaced by the corresponding equality, there is only one such triangle, which is equilateral.^{[5]}^{:Thm.2}
If the two equal sides have length a and the other side has length c, then the internal angle bisector t from one of the two equalangled vertices satisfies^{[11]}^{:p.169,#$\eta$44}
as well as^{[12]}
and conversely, if the latter condition holds, an isosceles triangle parametrized by a and t exists.
A well known fallacy is the false proof of the statement that all triangles are isosceles. This argument has been attributed to Lewis Carroll,^{[13]} but W.W. Rouse Ball claims priority in this matter.^{[14]} The fallacy is rooted in Euclid's lack of recognition of the concept of betweenness and the resulting ambiguity of inside versus outside of figures.^{[15]}