Triangle inequality is an exterior angle of a right triangle and therefore larger than , meaning the other base angle of the isosceles triangle also is greater than and their sum exceeds in violation of the triangle postulate). This theorem establishing inequalities is sharpened by Pythagoras' theorem to the equality that the square of the length of the hypotenuse equals the sum of the squares of the other two sides. Consider a triangle whose sides are in an arithmetic progression and let the sides be , , . Then the triangle inequality requires that The first of these quadratic inequalities requires to
Isosceles triangle formula_10. When the isoperimetric inequality becomes an equality, there is only one such triangle, which is equilateral. If the two equal sides have length formula_2 and the other side has length formula_3, then the internal angle bisector formula_22 from one of the two equal-angled vertices satisfies as well as and conversely, if the latter condition holds, an isosceles triangle parametrized by formula_2 and formula_22 exists. 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