En geometría, un tetraedro trirrectangular (o también tetraedro trirrectángulo) es un tetraedro donde los tres ángulos de las caras que convergen en un vértice son ángulos rectos. Este vértice se llama ángulo recto del tetraedro trirrectangular y la cara opuesta se llama base. Las tres aristas que se encuentran en el ángulo recto se denominan "catetos" y la perpendicular desde el ángulo recto a la base se denomina "altura" del tetraedro.
Solo el grafo bifurcado del grupo afín de Coxeter se corresponde con el dominio fundamental del tetraedro trirrectangular.
Fórmulas métricas
Si los catetos tienen longitudes a, b, c, entonces el tetraedro trirrectangular tiene el volumen
El área de la base (a,b,c) es siempre (Gua) un número irracional. Así, un tetraedro trirrectangular con aristas enteras nunca es un cuerpo perfecto. La bipirámide trirrectangular (6 caras, 9 aristas, 5 vértices) construida a partir de estos tetraedros trirrectangulares (o de las formas giradas a la izquierda relacionadas) conectados en sus bases tienen aristas, caras y volumen racionales, pero la distancia diagonal interior entre los dos vértices trirrectangulares sigue siendo irracional. Esta última es el doble de la "altura" del tetraedro trirrectangular y una parte racional de la distancia diagonal irracional del "ladrillo de Euler" relacionado (bc, ca, ab).[3]
Aristas enteras
Existen tetraedros trirrectangulares con catetos enteros y lados del triángulo base, como por ejemplo (descubierto en 1719 por Halcke). Aquí hay algunos ejemplos más con catetos y lados enteros: