Le théorème de Pythagore est généralisable en géométrie différentielle, il est ainsi applicable sur des variétés pseudo-riemannienne dont la métrique est de signature (n,p). La version euclidienne est simplement le cas où la variété est E (ou R^n) et dont la métrique est une simple forme symétrique bilinéaire et définie positive d'application ExE->R