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
Proofs of Fermat's theorem on sums of two squares formula_196. The area of the fundamental parallelogram (in this case a rectangle) of the lattice is formula_82. The area of the open disk, formula_198, of radius formula_199 centered around the origin is formula_200. Furthermore, formula_198 is convex and symmetrical about the origin. Therefore, by Minkowski's theorem there exists a nonzero vector formula_196 such that formula_203. Both formula_204 and formula_205 so formula_206. Hence formula_82 is the sum of the squares of the components of formula_208. Let formula_209 be prime, let formula_210 denote the natural numbers (with or without zero), and consider the finite set formula_211 of triples of numbers. Then formula_212