Pythagorean theorem three sides in place of squares (squares are a special case, of course). The upper figure shows that for a scalene triangle, the area of the parallelogram on the longest side is the sum of the areas of the parallelograms on the other two sides, provided the parallelogram on the long side is constructed as indicated (the dimensions labeled with arrows are the same, and determine the sides of the bottom parallelogram). This replacement of squares with parallelograms bears a clear resemblance to the original Pythagoras's theorem, and was considered a generalization by Pappus of Alexandria in 4 AD The
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