Pythagoreanism to have survived as part of, or deeply influenced, the Bacchic cults and Orphism. Pythagoras was already in ancient times well known for the mathematical achievement of the Pythagorean theorem. Although the Babylonians had used this formula for centuries, Pythagoras had discovered that "in a right-angled triangle the square of the hypotenuse is equal to the squares of the other two sides". In ancient times Pythagoras was also noted for his discovery that music had mathematical foundations. Antique sources that credit Pythagoras as the philosopher who first discovered music intervals also credit him as the inventor of the monochord, a
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