{"id":678,"date":"2020-05-12T16:23:14","date_gmt":"2020-05-12T16:23:14","guid":{"rendered":"http:\/\/blog.atlant.is\/?p=678"},"modified":"2021-02-21T12:30:41","modified_gmt":"2021-02-21T10:30:41","slug":"a-sense-of-closure","status":"publish","type":"post","link":"https:\/\/blog.douzeb.is\/?p=678","title":{"rendered":"Mathematical Cover-Up"},"content":{"rendered":"\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img decoding=\"async\" loading=\"lazy\" width=\"1200\" height=\"797\" src=\"https:\/\/blog.atlant.is\/wp-content\/uploads\/2020\/05\/john-conway.jpg\" alt=\"\" class=\"wp-image-691\"\/><\/figure><\/div>\n\n\n\n<p><a rel=\"noreferrer noopener\" href=\"https:\/\/www.theguardian.com\/science\/2020\/apr\/23\/john-horton-conway-obituary\" target=\"_blank\">Great mathematician John H. Conway<\/a> passed away Saturday April 11th, as a result of complications from COVID-19.<\/p>\n\n\n\n<!--more-->\n\n\n\n<p>He had a slyly bent sense of humour. Together, he and Princeton University colleague Alexander Soifer managed to get the world record for the shortest paper ever published in a serious Math Journal.<\/p>\n\n\n\n<p>The paper was published in the January 2005 issue of the <em><a href=\"http:\/\/www.maa.org\/publications\/periodicals\/american-mathematical-monthly\">American Mathematical Monthly<\/a><\/em>. Numberphile <a href=\"https:\/\/www.youtube.com\/watch?v=QvvkJT8myeI\">recalls the event<\/a>.<\/p>\n\n\n\n<p><a href=\"https:\/\/fermatslibrary.com\/s\/shortest-paper-ever-published-in-a-serious-math-journal-john-conway-alexander-soifer\">The paper<\/a> asks the question: <em>Can $n^2+ 1$ unit equilateral triangles cover an equilateral triangle of side $&gt; n$, say $n + \\epsilon$?<\/em> then proceeds to give the answer: <em>$n^2+ 2$ can<\/em>, together with figures showing two different ways of achieving the result<span id='easy-footnote-1-678' class='easy-footnote-margin-adjust'><\/span><span class='easy-footnote'><a href='https:\/\/blog.douzeb.is\/?p=678#easy-footnote-bottom-1-678' title='Figure 1 is easy enough to understand: take the bottom horizontal \u00ab\u00a0strip\u00a0\u00bb of the size-$n$ triangle (comprised of $2n &amp;#8211; 1$ triangles); by squeezing it horizontally and adding $2$ triangles, we increase its height until it covers up the $n + \\epsilon$ triangle.'><sup>1<\/sup><\/a><\/span><span id='easy-footnote-2-678' class='easy-footnote-margin-adjust'><\/span><span class='easy-footnote'><a href='https:\/\/blog.douzeb.is\/?p=678#easy-footnote-bottom-2-678' title='Figure 2 is slightly more difficult: take the bottom horizontal strip of the size-$n$ triangle; squeeze it vertically so as to make it a little wider (to fit an $n + \\epsilon$ side); meanwhile its height will decrease a little; do the same with all remaining horizontal strips (but the triangle on top), you end up covering up the $n + \\epsilon$ triangle except for a triangular area on top that is slightly larger than a unit triangle; this remaining area can be covered-up using three unit triangles, as figure 2 shows. I believe there is a typo in the figure though: the length on the bottom left should read $1 &amp;#8211; {\\epsilon \\over n}$ instead of $1 &amp;#8211; \\epsilon$.'><sup>2<\/sup><\/a><\/span>.<\/p>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img decoding=\"async\" loading=\"lazy\" width=\"718\" height=\"558\" src=\"https:\/\/blog.atlant.is\/wp-content\/uploads\/2020\/05\/conway-fig1.png\" alt=\"\" class=\"wp-image-683\"\/><figcaption>Figure 1:<\/figcaption><\/figure><\/div>\n\n\n\n<div class=\"wp-block-image\"><figure class=\"aligncenter size-large\"><img decoding=\"async\" loading=\"lazy\" width=\"718\" height=\"558\" src=\"https:\/\/blog.atlant.is\/wp-content\/uploads\/2020\/05\/conway-fig2.png\" alt=\"\" class=\"wp-image-684\"\/><figcaption>Figure 2:<\/figcaption><\/figure><\/div>\n\n\n\n<p>The folks at numberphile worry  that Conway and Soifer have written nothing about the possibility of an $n^2 + 1$ unit triangles cover-up: Tony Padilla (at 4 min 40): \u00ab\u00a0Yes, so that&rsquo;s what I think about it. I don&rsquo;t think they even answered the question.\u00a0\u00bb<\/p>\n\n\n\n<p>Actually, in his book <a href=\"https:\/\/link.springer.com\/chapter\/10.1007%2F978-0-387-74652-4_15\">How Does One Cut a Triangle?<\/a>, Soifer recollects the $n^2 + 1$ case was the easy part (\u00ab\u00a0Area considerations alone show the need for at least $n^2 + 1$ of them\u00a0\u00bb). So they needed not bother to encumber their proof with it.<\/p>\n\n\n\n<p>It could have gone like this:<\/p>\n\n\n\n<p><em>Consider the \u00ab\u00a0canonic\u00a0\u00bb cover-up of the triangle of side $n + \\epsilon$ with $n^2$ small triangles of side $1 + {\\epsilon \\over n}$.<br>Consider the combined $n^2 + 2$ vertices of these small triangles.<br>The distance between any two vertices is greater than or equal to $1 + {\\epsilon \\over n}$, so no two vertices belong to the same unit triangle.<br>Consequently a cover-up of the <em>$n + \\epsilon$<\/em> triangle must be comprised of at least $n^2 + 2$ unit triangles.<\/em> $\\Box$<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Great mathematician John H. Conway passed away Saturday April 11th, as a result of complications from COVID-19.<\/p>\n","protected":false},"author":1,"featured_media":691,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[16],"tags":[],"ppma_author":[76],"authors":[{"term_id":76,"user_id":1,"is_guest":0,"slug":"fred","display_name":"Fred","avatar_url":"https:\/\/secure.gravatar.com\/avatar\/ec0326d654fdf9f66e9eb42bb34a9bc4?s=96&d=mm&r=g","description":"","first_name":"","last_name":"","user_url":""}],"_links":{"self":[{"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=\/wp\/v2\/posts\/678"}],"collection":[{"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=678"}],"version-history":[{"count":25,"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=\/wp\/v2\/posts\/678\/revisions"}],"predecessor-version":[{"id":3469,"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=\/wp\/v2\/posts\/678\/revisions\/3469"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=\/wp\/v2\/media\/691"}],"wp:attachment":[{"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=678"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=678"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=678"},{"taxonomy":"author","embeddable":true,"href":"https:\/\/blog.douzeb.is\/index.php?rest_route=%2Fwp%2Fv2%2Fppma_author&post=678"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}