Skip to main content
2 of 9
edited tags
Willie Wong
  • 39.1k
  • 4
  • 94
  • 176

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.

Blue
  • 1.2k
  • 1
  • 9
  • 17