{"id":18920,"date":"2025-01-13T09:16:21","date_gmt":"2025-01-13T14:16:21","guid":{"rendered":"https:\/\/notes.math.ca\/article\/happy-hyperpyramidal-year\/"},"modified":"2025-01-27T10:54:40","modified_gmt":"2025-01-27T15:54:40","slug":"happy-hyperpyramidal-year","status":"publish","type":"article","link":"https:\/\/notes.math.ca\/en\/article\/happy-hyperpyramidal-year\/","title":{"rendered":"Happy Hyperpyramidal Year!"},"content":{"rendered":"<p>For most people, numerology is the belief that numbers are &#8220;lucky&#8221; or &#8220;unlucky.&#8221; Many Western hotels omit the thirteenth floor, and the thirteenth room on each remaining floor, in deference to such superstition. In some Far Eastern cultures the digit four is similarly unlucky (due to a homonym with words denoting &#8220;death&#8221;.) I&#8217;ve been in hotels that try to satisfy both sets of guests&#8230; the elevator controls look distinctly gappy! A few more such aversions and the hotel would be reduced to telling every guest &#8220;your room&#8217;s up a few floors and along the hall.&#8221;<\/p>\n<p>Among mathematicians, the word is used humorously for the belief that some numbers are &#8220;interesting,&#8221; especially when stated in isolation from any heavyweight theory. The Pythagoreans and their successors studied square, triangular, perfect, and other types of numbers. They don&#8217;t seem to have done so in the belief that (say) pentagonal numbers were sacred to Aphrodite, or that you should not buy fish on a perfect-numbered day. Nor, at first, did anybody study any deep theory behind these numbers that we know of. They were justified by the numbers&#8217; beauty.<\/p>\n<p>But of course, one person&#8217;s frivolous observation is another person&#8217;s PhD thesis or Fields medal. You may think it&#8217;s entertaining that <span class=\"wp-katex-eq\" data-display=\"false\">1^1 + 2^2 + cdots + 24^2 = 70^2<\/span>, and it certainly is. But Lucas conjectured in 1875 that this was the <span class=\"wp-katex-eq\" data-display=\"false\">{only}<\/span> nontrivial case in which a pyramidal number was also square&#8230; and it was 43 years before G.N. Watson proved it, via a very nonfrivolous utilization of elliptic functions. Furthermore, there are deep connections between this and the very high symmetry of the 24-dimensional Leech lattice, which in turn relates to properties of the sporadic simple groups.<\/p>\n<p>Speaking of sums of powers, you probably remember that G. H. Hardy had a story about a time when he was visiting Ramanujan in hospital when the latter was ill and depressed, and remarked, to try to get a conversation going, that the taxicab he&#8217;d taken to the hospital had the rather uninteresting plate number <span class=\"wp-katex-eq\" data-display=\"false\">1729<\/span>. Ramanujan immediately identified it (supposedly to Hardy&#8217;s surprise) as the first number that was the sum of two cubes in two distinct ways.<\/p>\n<p>I&#8217;ve sometimes wondered about the surprise. Of course, Hardy knew that Ramanujan loved numbers, but nobody has elsewhere suggested that taxi numbers had a special place in his affections, as locomotive numbers do for trainspotters. And if not, why should Hardy bother remembering a taxi number for him &#8212; unless he too saw that it was interesting? And surely he could have seen it, due to the happy coincidence that, to anybody knowing the first few cubes, the partitions <span class=\"wp-katex-eq\" data-display=\"false\">1000+729<\/span> and <span class=\"wp-katex-eq\" data-display=\"false\">1728+1<\/span> are both obvious at a glance in decimal notation. I think Hardy probably knew exactly what he was bringing to entertain the invalid!<\/p>\n<p>Anyhow, this is the year 2025 of the Common Era, and 2025 is a very interesting number indeed. It is (as I&#8217;ve already seen in an email from one math organization) a perfect square: the only such year in most of our lifetimes. But that&#8217;s not all! Specifically, it is <span class=\"wp-katex-eq\" data-display=\"false\">45^2<\/span>, and <span class=\"wp-katex-eq\" data-display=\"false\">45<\/span> is (yes!) a triangular number. And we all remember (from first-year calculus) what the squares of triangular number are: they&#8217;re the hyperpyramidal numbers, the sums of the first <span class=\"wp-katex-eq\" data-display=\"false\">n<\/span> cubes! <span class=\"wp-katex-eq\" data-display=\"false\">2025 = 1^3 + 2^3 + cdots+ 9^3<\/span>. We haven&#8217;t had a year number like that since before Chaucer was born, and the next won&#8217;t be until <span class=\"wp-katex-eq\" data-display=\"false\">3025<\/span>.<\/p>\n<p>Add <span class=\"wp-katex-eq\" data-display=\"false\">3025<\/span> to this year&#8217;s number, of course, and you get <span class=\"wp-katex-eq\" data-display=\"false\">5050<\/span>&#8230; which we all recognize as the answer that young Gauss supposedly obtained almost instantly when his schoolmaster tried to keep the kids quiet by making them compute <span class=\"wp-katex-eq\" data-display=\"false\">1+2+cdots+100<\/span>. A coincidence? Not really! If we represent <span class=\"wp-katex-eq\" data-display=\"false\">1+2+cdots+n<\/span> by <span class=\"wp-katex-eq\" data-display=\"false\">Delta(n)<\/span>, then it&#8217;s very easily shown that <span class=\"wp-katex-eq\" data-display=\"false\">Delta(n^2) = Delta^2(n-1) + Delta^2(n)<\/span>. Unfortunately, this seems to be as far as it goes: it&#8217;s not, as far as I can see, the beginning of a nice pattern for higher powers. Just the Strong Law of Low-Degree Polynomials at work?<\/p>\n<p>I doubt if this will make the year specially lucky&#8230; but at least it&#8217;s something to think about when the news gets too depressing. I wish the best of luck to all our readers in these potentially difficult times.<\/p>\n","protected":false},"author":11,"template":"","section":[15],"keyword":[],"class_list":["post-18920","article","type-article","status-publish","hentry","section-editorial"],"toolset-meta":{"author-4-info":{"author-4-surname":{"type":"textfield","raw":""},"author-4-given-names":{"type":"textfield","raw":""},"author-4-honorific":{"type":"textfield","raw":""},"author-4-institution":{"type":"textfield","raw":""},"author-4-email":{"type":"email","raw":""},"author-4-cms-role":{"type":"textfield","raw":""}},"author-3-info":{"author-3-surname":{"type":"textfield","raw":""},"author-3-given-names":{"type":"textfield","raw":""},"author-3-honorific":{"type":"textfield","raw":""},"author-3-institution":{"type":"textfield","raw":""},"author-3-email":{"type":"email","raw":""},"author-3-cms-role":{"type":"textfield","raw":""}},"author-2-info":{"author-2-surname":{"type":"textfield","raw":""},"author-2-given-names":{"type":"textfield","raw":""},"author-2-honorific":{"type":"textfield","raw":""},"author-2-institution":{"type":"textfield","raw":""},"author-2-email":{"type":"email","raw":""},"author-2-cms-role":{"type":"textfield","raw":""}},"author-info":{"author-surname":{"type":"textfield","raw":"Dawson"},"author-given-names":{"type":"textfield","raw":"Robert"},"author-honorific":{"type":"textfield","raw":""},"author-email":{"type":"email","raw":"rjmdawson@gmail.com"},"author-institution":{"type":"textfield","raw":"Saint Mary's University"},"author-cms-role":{"type":"textfield","raw":"Editor, CMS Notes"}},"unknown":{"downloadable-pdf":{"type":"file","raw":"https:\/\/notes.math.ca\/wp-content\/uploads\/2025\/01\/3-Happy-Hyperpyramidal-Year-\u2013-CMS-Notes.pdf","attachment_id":19071},"article-toc-weight":{"type":"numeric","raw":"2"},"author-surname":{"type":"textfield","raw":"Dawson"},"author-given-names":{"type":"textfield","raw":"Robert"}}},"_links":{"self":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/18920","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article"}],"about":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/types\/article"}],"author":[{"embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/users\/11"}],"version-history":[{"count":9,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/18920\/revisions"}],"predecessor-version":[{"id":19840,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/article\/18920\/revisions\/19840"}],"wp:attachment":[{"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/media?parent=18920"}],"wp:term":[{"taxonomy":"section","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/section?post=18920"},{"taxonomy":"keyword","embeddable":true,"href":"https:\/\/notes.math.ca\/en\/wp-json\/wp\/v2\/keyword?post=18920"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}