Isosceles triangle the hypotenuse to the right-angled vertex) divides the right triangle into two isosceles triangles. This is because the midpoint of the hypotenuse is the center of the circumcircle of the right triangle, and each of the two triangles created by the partition has two equal radii as two of its sides. Similarly, an acute triangle can be partitioned into three isosceles triangles by segments from its circumcenter, but this method does not work for obtuse triangles, because the circumcenter lies outside the triangle. Generalizing the partition of an acute triangle, any cyclic polygon that contains the center of its circumscribed
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