Tetraedro heroniano

Un tetraedro heroniano ^[1] (también llamado tetraedro de Heron ^[2] o pirámide perfecta ^[3] ) es un tetraedro cuyas longitudes de aristas, áreas de caras y volumen son todos números enteros . Por lo tanto, todas las caras deben ser triángulos heronianos (llamados así por Herón de Alejandría ). Todo tetraedro heroniano se puede organizar en el espacio euclidiano de modo que las coordenadas de sus vértices también sean números enteros. ^[1]

Un ejemplo conocido por Leonhard Euler es un tetraedro birrectangular heroniano , un tetraedro con una trayectoria de tres aristas paralelas a los tres ejes de coordenadas y con todas las caras siendo triángulos rectángulos . Las longitudes de las aristas en la trayectoria de aristas paralelas al eje son 153, 104 y 672, y las otras tres longitudes de aristas son 185, 680 y 697, formando cuatro caras de triángulos rectángulos descritas por las ternas pitagóricas (153,104,185), (104,672,680), (153,680,697) y (185,672,697). ^[4]

En 1877 Reinhold Hoppe descubrió ocho ejemplos de tetraedros heronianos . ^[5]

117 es la longitud más pequeña posible de la arista más larga de un tetraedro perfecto con longitudes de arista integrales. Sus otras longitudes de arista son 51, 52, 53, 80 y 84. ^[3] 8064 es el volumen más pequeño posible (y 6384 es la superficie más pequeña posible) de un tetraedro perfecto. Las longitudes de arista integrales de un tetraedro heroniano con este volumen y superficie son 25, 39, 56, 120, 153 y 160. ^[6]

En 1943, EP Starke publicó otro ejemplo, en el que dos caras son triángulos isósceles con base 896 y lados 1073, y las otras dos caras también son isósceles con base 990 y los mismos lados. ^[7] Sin embargo, Starke cometió un error al informar su volumen que ha sido ampliamente copiado. ^[2] El volumen correcto es124 185 600 , el doble de la cifra informada por Starke. ^[8]

Sascha Kurz ha utilizado algoritmos de búsqueda por ordenador para encontrar todos los tetraedros heronianos con la longitud de arista más larga como máximo600 000 . ^[9]

Un tetraedro regular (uno cuyas caras son equiláteras) no puede ser un tetraedro heroniano porque, para los tetraedros regulares cuyas longitudes de aristas son números enteros, las áreas de las caras y el volumen son números irracionales . ^[10] Por la misma razón, ningún tetraedro heroniano puede tener un triángulo equilátero como una de sus caras. ^[3]

Hay infinitos tetraedros heronianos y, más fuertemente, infinitos disfenoides heronianos , tetraedros en los que todas las caras son congruentes y cada par de lados opuestos tiene longitudes iguales. En este caso, solo se necesitan tres longitudes de arista para describir el tetraedro, en lugar de seis, y los triples de longitudes que definen los tetraedros heronianos se pueden caracterizar utilizando una curva elíptica . ^{[3] [11]} También hay infinitos tetraedros heronianos con un ciclo de cuatro longitudes de arista iguales, en los que todas las caras son triángulos isósceles . ^[2]

También hay infinitos tetraedros birectangulares heronianos. Un método para generar tetraedros de este tipo deriva las longitudes de las aristas paralelas al eje , , y de dos sumas iguales de cuartas potencias${\estilo de visualización a}$${\estilo de visualización b}$${\estilo de visualización c}$

${\displaystyle p^{4}+s^{4}=q^{4}+r^{4}}$

usando las fórmulas

${\displaystyle a={\bigl |}(pq)^{2}-(rs)^{2}{\bigr |},}$

${\displaystyle b={\bigl |}2pqrs{\bigr |},}$

${\displaystyle c={\bigl |}(pr)^{2})-|(qs)^{2}{\bigr |}.}$

Por ejemplo, el tetraedro derivado de esta manera a partir de una identidad de Leonhard Euler , , tiene , , y es igual a${\displaystyle 59^{4}+158^{4}=133^{4}+134^{4}}$${\estilo de visualización a}$${\estilo de visualización b}$${\estilo de visualización c}$386 678 175 ,332 273 368 , y379 083 360 , con la hipotenusa del triángulo rectángulo igual a${\estilo de visualización ab}$509 828 993 , la hipotenusa del triángulo rectángulo es igual a${\estilo de visualización bc}$504 093 032 , y la hipotenusa de los dos lados restantes es igual a635 318 657 . ^[8] Para estos tetraedros, , , y forman las longitudes de los bordes de un cuboide casi perfecto , un cuboide rectangular en el que los lados, dos de las tres diagonales de las caras y la diagonal del cuerpo son todos números enteros. ^[4]${\estilo de visualización a}$${\estilo de visualización b}$${\estilo de visualización c}$

No se ha encontrado ningún ejemplo de un tetraedro trirectangular heroniano y nadie ha demostrado que no exista.

Se desconoce una clasificación completa de todos los tetraedros heronianos. ^{[1] [2]}

Una definición alternativa de los triángulos heronianos es que se pueden formar pegando dos triángulos rectángulos enteros a lo largo de un lado común. Esta definición también se ha generalizado a tres dimensiones, lo que ha dado lugar a una clase diferente de tetraedros que también se han denominado tetraedros de Heron. ^[12]

• Weisstein, Eric W. "Tetraedro heroniano". MathWorld .