{"id":217,"date":"2012-11-24T05:54:24","date_gmt":"2012-11-24T11:54:24","guid":{"rendered":"http:\/\/daylateanddollarshort.com\/bloog\/?p=217"},"modified":"2012-11-24T17:54:01","modified_gmt":"2012-11-24T23:54:01","slug":"a-hedronometric-theorem-of-menger","status":"publish","type":"post","link":"http:\/\/daylateanddollarshort.com\/bloog\/a-hedronometric-theorem-of-menger\/","title":{"rendered":"A Hedronometric Theorem of Menger"},"content":{"rendered":"\n<p>In 1928, Karl Menger outlined necessary and sufficient conditions for a set of edge lengths to determine an actual, non-degenerate, tetrahedron. The conditions amount to dead-simple sanity checks that the consequent face areas and volume have to be positive real numbers.<\/p>\n<p>In the short note <a title=\"&quot;A Hedronometric Theorem of Menger&quot; at the Bloog!\" href=\"http:\/\/daylateanddollarshort.com\/mathdocs\/A-Hedronometric-Theorem-of-Menger.pdf\">&#8220;A Hedronometric Theorem of Menger&#8221;<\/a>, I derive (as the title suggests) a hedronometric counterpart of Menger&#8217;s result, giving necessary and sufficient conditions for a set of face and pseudoface areas to determine a tetrahedron. It&#8217;s really about time I did.<\/p>\n<p>The note came about when I observed a &#8220;Heronic duality&#8221; that I had never noticed (nor even suspected) before. Writing &#8220;\\([\\bullet]\\)&#8221; for what I&#8217;ll call the Heronic product,<\/p>\n<p>$$[x,y,z] := \\left(x+y+z\\right)\\left(-x+y+z\\right)\\left(x-y+z\\right)\\left(x+y-z\\right)$$<\/p>\n<p>we know that the area, \\(A\\), of a triangle with edge lengths \\(x, y, z\\) is given by<\/p>\n<p>$$16 A^2 = [x,y,z]$$<\/p>\n<p>That&#8217;s Heron&#8217;s formula (hence, the term &#8220;Heronic product&#8221;), and it gives us areas from edge lengths.<\/p>\n<p>As it turns out, Heron products give us tetrahedral edge lengths from face and pseudoface areas (and volume); for instance, if \\(a\\) is the edge between faces \\(Y\\) and \\(Z\\), and thus also a diagonal of pseudoface \\(H\\), then<\/p>\n<p>$$9V^2 a^2 = \\left[H,Y,Z\\right]$$<\/p>\n<p>Going back the other way, we can even express the areas of tetrahedral pseudofaces as Heronic products:<\/p>\n<p>$$16 H^2 = \\left[a,d,j\\right] \\qquad \\text{where} \\qquad j^2 = a^2-b^2+c^2+d^2-e^2+f^2$$<\/p>\n<p>The Heronic product is quite the workhorse!<\/p>\n<p>This note answers the an\u00a0<strong>Open Question<\/strong> from my <a title=\"&quot;Heron-like Results for Tetrahedral Volume&quot; at the Bloog!\" href=\"http:\/\/daylateanddollarshort.com\/bloog\/heron-like-results-for-tetrahedral-volume\/\">&#8220;Heron-like Results &#8230;&#8221;<\/a> post, where I wrote that I had &#8220;other reasons to suspect Cayley-Menger-like ties&#8221; to the Pseudo-Heron volume formula. There, I wondered what matrix had that formula as its determinant; in the note, that matrix is \\(\\Delta^\\star\\). (There may be a better one, but that&#8217;s the best I have right now.)<\/p>\n<p><strong>Update.<\/strong> I&#8217;ve added a Corollary that gives conditions for just six faces &#8212;three standard, three pseudo&#8212; to determine a tetrahedron.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>In 1928, Karl Menger outlined necessary and sufficient conditions for a set of edge lengths to determine an actual, non-degenerate, tetrahedron. The conditions amount to dead-simple sanity checks that the consequent face areas and volume have to be positive real numbers. In the short note &#8220;A Hedronometric Theorem of Menger&#8221;, I derive (as the title [&hellip;]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4,11],"tags":[],"class_list":["post-217","post","type-post","status-publish","format-standard","hentry","category-hedronometry","category-open-question"],"_links":{"self":[{"href":"http:\/\/daylateanddollarshort.com\/bloog\/wp-json\/wp\/v2\/posts\/217","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/daylateanddollarshort.com\/bloog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/daylateanddollarshort.com\/bloog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/daylateanddollarshort.com\/bloog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/daylateanddollarshort.com\/bloog\/wp-json\/wp\/v2\/comments?post=217"}],"version-history":[{"count":10,"href":"http:\/\/daylateanddollarshort.com\/bloog\/wp-json\/wp\/v2\/posts\/217\/revisions"}],"predecessor-version":[{"id":225,"href":"http:\/\/daylateanddollarshort.com\/bloog\/wp-json\/wp\/v2\/posts\/217\/revisions\/225"}],"wp:attachment":[{"href":"http:\/\/daylateanddollarshort.com\/bloog\/wp-json\/wp\/v2\/media?parent=217"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/daylateanddollarshort.com\/bloog\/wp-json\/wp\/v2\/categories?post=217"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/daylateanddollarshort.com\/bloog\/wp-json\/wp\/v2\/tags?post=217"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}