Heronian tetrahedron

An example known to Leonhard Euler is a Heronian birectangular tetrahedron, a tetrahedron with a path of three edges parallel to the three coordinate axes and with all faces being right triangles. The lengths of the edges on the path of axis-parallel edges are 153, 104, and 672, and the other three edge lengths are 185, 680, and 697, forming four right triangle faces described by the Pythagorean triples (153,104,185), (104,672,680), (153,680,697), and (185,672,697).{{r|gardner}}

Eight examples of Heronian tetrahedra were discovered in 1877 by Reinhold Hoppe.{{r|h77}}

117 is the smallest possible length of the longest edge of a perfect tetrahedron with integral edge lengths. Its other edge lengths are 51, 52, 53, 80 and 84.{{r|b92}} 8064 is the smallest possible volume (and 6384 is the smallest possible surface area) of a perfect tetrahedron. The integral edge lengths of a Heronian tetrahedron with this volume and surface area are 25, 39, 56, 120, 153 and 160.{{r|p03}}

In 1943, E. P. Starke published another example, in which two faces are isosceles triangles with base 896 and sides 1073, and the other two faces are also isosceles with base 990 and the same sides.{{r|s43}} However, Starke made an error in reporting its volume which has become widely copied.{{r|cm06}} The correct volume is {{val|124185600}}, twice the number reported by Starke.{{r|crux}}

Sascha Kurz has used computer search algorithms to find all Heronian tetrahedra with longest edge length at most {{val|600000}}.{{r|k08}}

A regular tetrahedron (one with all faces being equilateral) cannot be a Heronian tetrahedron because, for regular tetrahedra whose edge lengths are integers, the face areas and volume are irrational numbers.{{r|c73}} For the same reason no Heronian tetrahedron can have an equilateral triangle as one of its faces.{{r|b92}}

There are infinitely many Heronian tetrahedra, and more strongly infinitely many Heronian disphenoids, tetrahedra in which all faces are congruent and each pair of opposite sides has equal lengths. In this case, there are only three edge lengths needed to describe the tetrahedron, rather than six, and the triples of lengths that define Heronian tetrahedra can be characterized using an elliptic curve.{{r|b92|g07}} There are also infinitely many Heronian tetrahedra with a cycle of four equal edge lengths, in which all faces are isosceles triangles.{{r|cm06}}

There are also infinitely many Heronian birectangular tetrahedra. One method for generating tetrahedra of this type derives the axis-parallel edge lengths $a$, $b$, and $c$ from two equal sums of fourth powers

:$p^4+s^4=q^4+r^4$

using the formulas

:$a=\backslash bigl|(pq)^2-(rs)^2\backslash bigr|,$

:$b=\backslash bigl|2pqrs\backslash bigr|,$

:$c=\backslash bigl|(pr)^2-(qs)^2\backslash bigr|.$

For instance, the tetrahedron derived in this way from an identity of Leonhard Euler, $59^4+158^4=133^4+134^4$, has $a$, $b$, and $c$ equal to {{val|386678175}}, {{val|332273368}}, and {{val|379083360}}, with the hypotenuse of right triangle $ab$ equal to {{val|509828993}}, the hypotenuse of right triangle $bc$ equal to {{val|504093032}}, and the hypotenuse of the remaining two sides equal to {{val|635318657}}.{{r|crux}} For these tetrahedra, $a$, $b$, and $c$ form the edge lengths of an almost-perfect cuboid, a rectangular cuboid in which the sides, two of the three face diagonals, and the body diagonal are all integers.{{r|gardner}}

A complete classification of all Heronian tetrahedra remains unknown.{{r|mp13|cm06}}

No example of a Heronian trirectangular tetrahedron had been found and no one has proven that none exist.

The existence of a solution to the Heronian trirectangular tetrahedron problem is equivalent to the existence of a solution to the Perfect cuboid problem, and conversely, the existence of a Perfect cuboid implies the existence of a Heronian trirectangular tetrahedron.Alexander Belogourov, On the Equivalence of the Perfect Cuboid and Heronian Trirectangular Tetrahedron Problems, https://www.academia.edu/83027639/On_the_Equivalence_of_the_Perfect_Cuboid_and_Heronian_Trirectangular_Tetrahedron_Problems If there exists a Heronian trirectangular tetrahedron with three orthogonal edges $a,\; b,\; c$, then the cuboid with edges $(ab,\; ac,\; bc)$ has integer face diagonals and an integer space diagonal, making it a Perfect cuboid. And vice versa, if there exists a Perfect сuboid with edges $a,\; b,\; c$, then the tetrahedron with orthogonal integer edges $(ab,\; ac,\; bc)$ at a common vertex is Heronian.

An alternative definition of Heronian triangles is that they can be formed by gluing together two integer right triangles along a common side.

This definition has also been generalized to three dimensions, leading to a different class of tetrahedra that have also been called Heron tetrahedra.{{r|lin11}}

{{reflist|refs=

{{citation

| last = Buchholz | first = Ralph Heiner

| doi = 10.1017/S0004972700030252

| issue = 3

| journal = Bulletin of the Australian Mathematical Society

| mr = 1165142

| pages = 353–368

| title = Perfect pyramids

| url = http://geocities.com/teufel_pi/papers/perfectpyramids.pdf

| archive-url = https://web.archive.org/web/20091027105752/http://geocities.com/teufel_pi/papers/perfectpyramids.pdf

| archive-date = October 27, 2009

| url-status = dead

| volume = 45

| year = 1992| doi-access = free

}}

{{citation|first=H. S. M.|last=Coxeter|authorlink=Harold Scott MacDonald Coxeter|title=Regular Polytopes|title-link=Regular Polytopes (book)|edition=3rd|publisher=Dover|year=1973|at=Table I(i), pp. 292–293}}

{{citation

| last1 = Chisholm | first1 = C.

| last2 = MacDougall | first2 = J. A.

| doi = 10.1016/j.jnt.2006.02.009

| issue = 1

| journal = Journal of Number Theory

| mr = 2268761

| pages = 153–185

| title = Rational and Heron tetrahedra

| volume = 121

| year = 2006| doi-access = free

| hdl = 1959.13/26739

| hdl-access = free

}}

{{citation

| date = May 1985

| department = Solutions

| issue = 5

| journal = Crux Mathematicorum

| pages = 162–166

| title = Problem 930

| url = https://cms.math.ca/crux/backfile/Crux_v11n05_May.pdf

| volume = 11}}

{{citation|first=Martin|last=Gardner|title=Wheels, Life and Other Mathematical Amusements|publisher=W. H. Freeman|year=1983|contribution=Chapter 2: Diophantine Analysis and Fermat's Last Theorem|pages=10–19|bibcode=1983wlom.book.....G}}; see in particular page 14

{{citation

| last = Güntsche | first = R.

| journal = Sitzungsberichte der Berliner Mathematische Gesellschaft

| pages = 38–53

| title = Rationale Tetraeder mit kongruenten Seiten

| url = https://books.google.com/books?id=7l5aAAAAYAAJ&pg=PA38

| volume = 6

| year = 1907}}, as cited by {{harvtxt|Chisholm|MacDougall|2006}}

{{citation

| last = Hoppe | first = R. | author-link = Reinhold Hoppe

| journal = Archiv der Mathematik und Physik

| pages = 86–98

| title = Über rationale Dreikante und Tetraeder

| volume = 61

| year = 1877}}, as cited by {{harvtxt|Chisholm|MacDougall|2006}}

{{citation

| last = Kurz | first = Sascha

| arxiv = 1401.6150

| issue = 2

| journal = Serdica Journal of Computing

| mr = 2473583

| pages = 181–196

| title = On the generation of Heronian triangles

| volume = 2

| year = 2008}}

{{citation

| last = Lin | first = C.-S.

| date = November 2011

| issue = 534

| journal = The Mathematical Gazette

| jstor = 23248533

| pages = 542–545

| title = 95.66 The reciprocal volume of a Heron tetrahedron

| volume = 95| doi = 10.1017/S0025557200003740

}} (about a different concept with the same name)

{{citation

| last1 = Marshall | first1 = Susan H. | author1-link = Susan H. Marshall

| last2 = Perlis | first2 = Alexander R.

| doi = 10.4169/amer.math.monthly.120.02.140

| issue = 2

| journal = American Mathematical Monthly

| mr = 3029939

| pages = 140–149

| title = Heronian tetrahedra are lattice tetrahedra

| url = https://www.maa.org/sites/default/files/pdf/upload_library/2/Marshall2-Monthly-2014.pdf

| volume = 120

| year = 2013| s2cid = 15888158 }}

{{citation

| last = Peterson | first = Ivars | authorlink = Ivars Peterson

| date = July 2003

| journal = Science News

| title = Math Trek: Perfect Pyramids

| url = https://www.sciencenews.org/articles/20030726/mathtrek.asp

| archive-url = https://web.archive.org/web/20080220145647/http://www.sciencenews.org/articles/20030726/mathtrek.asp

| archive-date = February 20, 2008}}

{{citation

| last = Starke | first = E. P.

| date = June–July 1943

| department = Problems and solutions

| doi = 10.2307/2303724

| issue = 6

| journal = The American Mathematical Monthly

| jstor = 2303724

| page = 390

| title = E 544: A commensurable tetrahedron

| volume = 50}}

}}

• {{mathworld|HeronianTetrahedron}}

Category:Tetrahedra

Category:Arithmetic problems of solid geometry