Trerektangulär tetraeder
Inom geometrin är en trerektangulär tetraeder en tetraeder där alla tre ytvinklarna vid en vertex är räta vinklar . Den vertex kallas den räta vinkeln på den trerektangulära tetraedern och ytan mittemot den kallas basen . De tre kanterna som möts i rät vinkel kallas benen och vinkelrät från rät vinkel mot basen kallas tetraederns höjd .
Endast den förgrenade grafen för affina Coxeter-gruppen har en trirektangulär tetraeder-fundamental domän.
Metriska formler
Om benen har längderna a, b, c , så har den trerektangulära tetraedern volymen
Den höjd h tillfredsställer
Arean för basen ges av
De Guas teorem
Om arean av basen är och områdena för de tre andra (rätvinkliga) ytorna är , och , sedan
Detta är en generalisering av Pythagoras sats till en tetraeder.
Heltalslösning
Perfekt kropp
Arean av basen (a,b,c) är alltid (Gua) ett irrationellt tal. Således är en trerektangulär tetraeder med heltalskanter aldrig en perfekt kropp. Den trerektangulära bipyramiden (6 ytor, 9 kanter, 5 hörn) byggd av dessa trerektangulära tetraedrar och de relaterade vänsterhänta anslutna på sina baser har rationella kanter, ytor och volym, men den inre rymddiagonalen mellan de två trerektangulära hörnen är fortfarande irrationell. Den senare är det dubbla av höjden för den trerektangulära tetraedern och en rationell del av den (bevisade) irrationella rymddiagonalen för den relaterade Euler-tegelstenen (bc, ca, ab).
Heltalskanter
Trerektangulära tetraedrar med heltalsben och sidor i bastriangeln finns, t.ex. (upptäckt 1719 av Halcke). Här är några fler exempel med heltalsben och sidor.
abcdef
240 117 44 125 244 267 275 252 240 348 365 373 480 234 88 250 488 534 550 504 480 696 730 3 4 4 3 7 4 4 6 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 5 332 5 321 8 25 1220 1335 1375 1260 1200 1740 1825 1865 1386 960 280 1000 1414 1686 1440 702 264 750 1464 1464 410 410 314 1450 1464
Lägg märke till att några av dessa är multiplar av mindre. Observera även A031173 .
Heltalsansikten
Trerektangulära tetraedrar med heltalsytor höjd h existerar, t.ex. utan eller med coprime .