Skip to main content
3 of 9
added references
Blue
  • 1.2k
  • 1
  • 9
  • 17

Pythagorean Theorem for Right-Corner Hyperbolic Simplices?

My answer to the "Favorite Equations" question was the Pythagorean Theorem for Right-Corner Tetrahedra:

Euclidean: $A^2+B^2+C^2=D^2$

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}$

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 content of leg-simplices equals the square of the content of the hypotenuse-simplex.

I mentioned not knowing the non-Euclidean counterparts of the generalization. After a couple of days of toying, I find these counterparts elusive. (It would probably help if I were better-versed in differential geometry.) So, I turn to MO to ask:

What are the non-Euclidean analogues in higher dimensions?
(I'm particularly interested in the case relating volumes in a hyperbolic 4-simplex.)

While the Pythagorean Theorems for Euclidean Simplices progress in a straightforward manner (just add another leg-content-square), the Pythagorean Theorem for Hyperbolic Tetrahedra already diverges somewhat dramatically from its 2-dimensional counterpart, $\cosh a \cosh b = \cosh c$. So, it's not even clear to me what form the relations would take in general.

Edit to add a couple of references
"The Laws of Cosines for Non-Euclidean Tetrahedra" (PDF) (by me) derives a Law of Cosines for which each non-Euclidean Pythagorean Theorem is a special case. I do not know if these results exist elsewhere in the literature. (BTW: There's a lot of unnecessary equation manipulation shown; I was using this as an opportunity to learn LaTeX. :)

A passage in above jumps into a discussion of "pseudofaces" by making passing reference to the Euclidean case. You can read about Euclidean pseudofaces and how I find them useful here:
"Heron-like Results for [Euclidean] Tetrahedral Volume" (by me).

Blue
  • 1.2k
  • 1
  • 9
  • 17