Editing Isosceles triangle (section)

==Formulas==
===Height===
For any isosceles triangle, the following six [[line segment]]s coincide:
*the [[Altitude (triangle)|altitude]], a line segment from the apex perpendicular to the base,{{sfnp|Hadamard|2008|page=23}}
*the [[angle bisector]] from the apex to the base,{{sfnp|Hadamard|2008|page=23}}
*the [[Median (geometry)|median]] from the apex to the midpoint of the base,{{sfnp|Hadamard|2008|page=23}}
*the [[perpendicular bisector]] of the base within the triangle,{{sfnp|Hadamard|2008|page=23}}
*the segment within the triangle of the unique [[axis of symmetry]] of the triangle, and{{sfnp|Hadamard|2008|page=23}}
*the segment within the triangle of the [[Euler line]] of the triangle, except when the triangle is [[Equilateral triangle|equilateral]].{{sfnp|Guinand|1984}}
Their common length is the height <math>h</math> of the triangle.
If the triangle has equal sides of length <math>a</math> and base of length <math>b</math>,
the [[Triangle#Further formulas for general Euclidean triangles|general triangle formulas]] for 
the lengths of these segments all simplify to{{sfnp|Harris|Stöcker|1998|page=78}}
:<math>h=\sqrt{a^2-\frac{b^2}{4}}.</math>
This formula can also be derived from the [[Pythagorean theorem]] using the fact that the altitude bisects the base and partitions the isosceles triangle into two congruent right triangles.{{sfnp|Salvadori|Wright|1998}}

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, these three points are distinct, and (by symmetry) all lie on the symmetry axis of the triangle, from which it follows that the Euler line coincides with the axis of symmetry. The [[incenter]] of the triangle also lies on the Euler line, something that is not true for other triangles.{{sfnp|Guinand|1984}} If any two of an angle bisector, median, or altitude coincide in a given triangle, that triangle must be isosceles.{{sfnp|Hadamard|2008|loc=Exercise 5, p.&nbsp;29}}

===Area===
The area <math>T</math> of an isosceles triangle can be derived from the formula for its height, and from the general formula for the area of a triangle as half the product of base and height:{{sfnp|Harris|Stöcker|1998|page=78}}
:<math>T=\frac{b}{4}\sqrt{4a^2-b^2}.</math>
The same area formula can also be derived from [[Heron's formula]] for the area of a triangle from its three sides. However, applying Heron's formula directly can be [[numerically unstable]] for isosceles triangles with very sharp angles, because of the near-cancellation between the [[semiperimeter]] and side length in those triangles.{{sfnp|Kahan|2014}}

If the apex angle <math>(\theta)</math> and leg lengths <math>(a)</math> of an isosceles triangle are known, then the area of that triangle is:{{sfnp|Young|2011|page=298}}
:<math>T=\frac{1}{2}a^2\sin\theta.</math>
This is a special case of the general formula for the area of a triangle as half the product of two sides times the sine of the included angle.{{sfnp|Young|2011|page=398}}

===Perimeter===
The perimeter <math>p</math> of an isosceles triangle with equal sides <math>a</math> and base <math>b</math> is just{{sfnp|Harris|Stöcker|1998|page=78}}
:<math>p = 2a + b.</math>
As in any triangle, the area <math>T</math> and perimeter <math>p</math> are related by the [[isoperimetric inequality]]{{sfnp|Alsina|Nelsen|2009|page=71}}
:<math>p^2>12\sqrt{3}T.</math>
This is a strict inequality for isosceles triangles with sides unequal to the base, and becomes an equality for the equilateral triangle.
The area, perimeter, and base can also be related to each other by the equation{{sfnp|Baloglou|Helfgott|2008|loc=Equation (1)}}
:<math>2pb^3 -p^2b^2 + 16T^2 = 0.</math>
If the base and perimeter are fixed, then this formula determines the area of the resulting isosceles triangle, which is the maximum possible among all triangles with the same base and perimeter.{{sfnp|Wickelgren|2012}}
On the other hand, if the area and perimeter are fixed, this formula can be used to recover the base length, but not uniquely: there are in general two distinct isosceles triangles with given area <math>T</math> and perimeter <math>p</math>. When the isoperimetric inequality becomes an equality, there is only one such triangle, which is equilateral.{{sfnp|Baloglou|Helfgott|2008|loc=Theorem 2}}

===Angle bisector length===
If the two equal sides have length <math>a</math> and the other side has length <math>b</math>, then the internal [[angle bisector]] <math>t</math> from one of the two equal-angled vertices satisfies{{sfnp|Arslanagić}}
:<math>\frac{2ab}{a+b} > t > \frac{ab\sqrt{2}}{a+b}</math>
as well as
:<math>t<\frac{4a}{3};</math>
and conversely, if the latter condition holds, an isosceles triangle parametrized by <math>a</math> and <math>t</math> exists.{{sfnp|Oxman|2005}}

The [[Steiner–Lehmus theorem]] states that every triangle with two angle bisectors of equal lengths is isosceles. It was formulated in 1840 by [[C. L. Lehmus]]. Its other namesake, [[Jakob Steiner]], was one of the first to provide a solution.{{sfnp|Gilbert|MacDonnell|1963}}
Although originally formulated only for internal angle bisectors, it works for many (but not all) cases when, instead, two external angle bisectors are equal.
The 30-30-120 isosceles triangle makes a [[boundary case]] for this variation of the theorem, as it has four equal angle bisectors (two internal, two external).{{sfnp|Conway|Ryba|2014}}

===Radii===
[[File:Isosceles-triangle-more.svg|thumb|Isosceles triangle showing its circumcenter (blue), centroid (red), incenter (green), and symmetry axis (purple)]]
The inradius and circumradius formulas for an isosceles triangle may be derived from their formulas for arbitrary triangles.{{sfnp|Harris|Stöcker|1998|page=75}}
The radius of the [[inscribed circle]] of an isosceles triangle with side length <math>a</math>, base <math>b</math>, and height <math>h</math> is:{{sfnp|Harris|Stöcker|1998|page=78}}
:<math>\frac{2ab-b^2}{4h}.</math>
The center of the circle lies on the symmetry axis of the triangle, this distance above the base.
An isosceles triangle has the largest possible inscribed circle among the triangles with the same base and apex angle, as well as also having the largest area and perimeter among the same class of triangles.{{sfnp|Alsina|Nelsen|2009|page=67}}

The radius of the [[circumscribed circle]] is:{{sfnp|Harris|Stöcker|1998|page=78}}
:<math>\frac{a^2}{2h}.</math>
The center of the circle lies on the symmetry axis of the triangle, this distance below the apex.

===Inscribed square===
For any isosceles triangle, there is a unique square with one side collinear with the base of the triangle and the opposite two corners on its sides. The [[Calabi triangle]] is a special isosceles triangle with the property that the other two inscribed squares, with sides collinear with the sides of the triangle,
are of the same size as the base square.{{sfnp|Conway|Guy|1996}} A much older theorem, preserved in the works of [[Hero of Alexandria]],
states that, for an isosceles triangle with base <math>b</math> and height <math>h</math>, the side length of the inscribed square on the base of the triangle is{{sfnp|Gandz|1940}}
:<math>\frac{bh}{b+h}.</math>