Pythagorean theorem straightedge and compass. Pythagoras's theorem enables construction of incommensurable lengths because the hypotenuse of a triangle is related to the sides by the square root operation. The figure on the right shows how to construct line segments whose lengths are in the ratio of the square root of any positive integer. Each triangle has a side (labeled "1") that is the chosen unit for measurement. In each right triangle, Pythagoras's theorem establishes the length of the hypotenuse in terms of this unit. If a hypotenuse is related to the unit by the square root of a positive integer that is
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