En geometría , un tetraedro trirectangular es un tetraedro en el que los tres ángulos de las caras en un vértice son ángulos rectos . Ese vértice se llama ángulo recto o vértice del tetraedro trirectangular y la cara opuesta se llama base . Las tres aristas que se encuentran en el ángulo recto se llaman catetos y la perpendicular desde el ángulo recto hasta la base se llama altura del tetraedro (análoga a la altura de un triángulo).
Un ejemplo de tetraedro trirectangular es una figura sólida truncada cerca de la esquina de un cubo o un octante en el origen del espacio euclidiano . Kepler descubrió la relación entre el cubo, el tetraedro regular y el tetraedro trirectangular. [1]
Sólo el gráfico bifurcado del grupo de Coxeter afín tiene un dominio fundamental de tetraedro trirectangular.
Si los catetos tienen longitudes a, b, c , entonces el tetraedro trirectangular tiene el volumen [2] [3]
La altitud h satisface [4]
El área de la base está dada por [5]
El ángulo sólido en el vértice rectángulo, desde el cual la cara opuesta (la base) subtiende un octante , tiene medida π /2 estereorradianes , un octavo del área superficial de una esfera unitaria .
Si el área de la base es y las áreas de las otras tres caras (rectángulo) son , y , entonces
Esta es una generalización del teorema de Pitágoras a un tetraedro.
El área de la base (a,b,c) es siempre (Gua) un número irracional. Por lo tanto, un tetraedro trirectangular con aristas enteras nunca es un cuerpo perfecto. La bipirámide trirectangular (6 caras, 9 aristas, 5 vértices) construida a partir de estos tetraedros trirectangulares y los tetraedros zurdos relacionados conectados en sus bases tienen aristas, caras y volumen racionales, pero la diagonal espacial interna entre los dos vértices trirectangulares sigue siendo irracional. La última es el doble de la altura del tetraedro trirectangular y una parte racional de la diagonal espacial irracional (probada) [6] del ladrillo de Euler relacionado (bc, ca, ab).
Existen tetraedros trirectangulares con catetos y lados enteros del triángulo base, por ejemplo (descubierto en 1719 por Halcke). A continuación se muestran algunos ejemplos más con catetos y lados enteros.
abcdef
240 117 44 125 244 267 275 252 240 348 365 373 480 234 88 250 488 534 550 504 480 696 730 746 693 480 140 500 707 843 720 351 132 375 732 801 720 132 85 157 725 732 792 231 160 281 808 825 825 756 720 1044 1095 1119 960 468 176 500 976 1068 1100 1008 960 1392 1460 1492 1155 1100 1008 1492 1533 1595 1200 585 220 625 1220 1335 1375 1260 1200 1740 1825 1865 1386 960 280 1000 1414 1686 1440 702 264 750 1464 1602 1440 264 170 314 1450 1464
Tenga en cuenta que algunos de estos son múltiplos de otros más pequeños. Observe también A031173.
Existen tetraedros trirectangulares con caras enteras y altitud h , por ejemplo sin o con coprimos .