The Pythagorean Theorem for Right-Corner Tetrahedra[*]:

> Euclidean: $A^2 + B^2 + C^2 = D^2$<br /><br />
> Hyperbolic:  $\cos\frac{A}{2} \cos\frac{B}{2} \cos\frac{C}{2} \; - \; \sin\frac{A}{2} \sin\frac{B}{2} \sin\frac{C}{2} = \cos\frac{D}{2}$<br /><br />
> Spherical:  $\cos\frac{A}{2} \cos\frac{B}{2} \cos\frac{C}{2} \; + \; \sin\frac{A}{2} \sin\frac{B}{2} \sin\frac{C}{2} = \cos\frac{D}{2}$

where $A$, $B$, $C$ are the areas of the "leg-faces" and $D$ is the area of the "hypotenuse-face".

For right-corner simplices in higher Euclidean dimensions, we have that the sum of the squares of the <i>content</i> of leg-simplices equals the square of the <i>content</i> of the hypotenuse-simplex. (I don't happen to know the non-Euclidean counterparts of this generalization. Perhaps this makes for a good MO question!)

As generalizations of the Pythagorean Theorem for Triangles, I always found these (Euclidean) results to be more satisfying than the diagonal-of-a-box/distance formulas: instead of dealing only with segments, we have that, as the dimension of the ambient space goes up, so does the dimension of the objects involved in the relations.



[*] Edges meeting at the "right corner" are mutually orthogonal.