Right triangle and "b" are the legs of the triangle. If the incircle is tangent to the hypotenuse AB at point P, then denoting the semi-perimeter as "s", we have and , and the area is given by This formula only applies to right triangles. If an altitude is drawn from the vertex with the right angle to the hypotenuse then the triangle is divided into two smaller triangles which are both similar to the original and therefore similar to each other. From this: In equations, where "a", "b", "c", "d", "e", "f" are as shown in the diagram. Thus Moreover, 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