피타고라스 정리는 임의의 내적 공간에 대해서 다음과 같이 정의된다.

Theorem 1

만약 두 벡터가 (직교) 한다면, 를 만족한다.

증명

두 벡터가 직교하므로 내적의 값은 0 이다:

Related

Cauchy–Schwarz inequality