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
Triangle inequality that the longest side length is less than the semiperimeter. A mathematically equivalent formulation is that the area of a triangle with sides "a", "b", "c" must be a real number greater than zero. Heron's formula for the area is In terms of either area expression, the triangle inequality imposed on all sides is equivalent to the condition that the expression under the square root sign be real and greater than zero (so the area expression is real and greater than zero). The triangle inequality provides two more interesting constraints for triangles whose sides are "a, b, c", where "a