noun: (geometry) A mathematical theorem which states that the square of the length of the hypotenuse of a right triangle is equal to the sum of the squares of those of the two other sides.
noun: (functional analysis) A generalization of the Pythagorean theorem for Euclidean triangles to Hilbert spaces
