tag:blogger.com,1999:blog-3722233.post8635354215110811406..comments2022-12-05T18:19:09.447-06:00Comments on Computational Complexity: Are perfect numbers bigger than 6 initial sums of odd cubes?Lance Fortnowhttp://www.blogger.com/profile/06752030912874378610noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-3722233.post-67303045037170331942016-04-05T06:26:01.345-05:002016-04-05T06:26:01.345-05:00What is interesting is whether you can use the fac...What is interesting is whether you can use the fact that perfect numbers are the sum of the cubes of an initial segment of odd numbers to prove that there are infinitely many even perfects. In that case, it follows also that there are infinitely many Marsenne primesAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-35417849827758584472016-04-05T03:41:11.619-05:002016-04-05T03:41:11.619-05:00This is known fact...look it up in Wikipedia!This is known fact...look it up in Wikipedia!Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-45579171593854691902016-04-04T14:54:51.821-05:002016-04-04T14:54:51.821-05:00Here's what's going on:
First, note that ...Here's what's going on:<br /><br />First, note that the sum of the sum of the first N odd cubes is exactly N^2(2N^2-1). You can prove this from scratch or from known identities, like the fact that the sum of the first n cubes is (n^2+n)^2/4. (The fact that this is a square makes people rather happy: https://en.wikipedia.org/wiki/Squared_triangular_number .) But, the easiest way is just to note that the result must be a degree four polynomial and then just interpolate.<br /><br />The interesting behavior observed in the OP then follows from the Euclid-Euler Theorem, which states that M is an even perfect number iff M = 2^{p-1} * (2^p -1), where 2^p - 1 is prime. (See here for a proof: https://en.wikipedia.org/wiki/Euclid%E2%80%93Euler_theorem. I like the fact that Euclid and Euler apparently managed to collaborate across millenia :).) We may assume without loss of generality that p is a prime as well, since otherwise 2^p - 1 has non-trivial factors. Note that for p > 2, we can also write M = N^2(2N^2 - 1) by simply substituting N = 2^{(p-1)/2}. (Since p is a prime greater than 2, p is odd, so (p-1)/2 is an integer.)<br /><br />So, all even perfect numbers other than 6 can be written as the sum of the first N odd perfect cubes. And, the sum of the first N odd primes is an even perfect number if and only if N is a power of two AND 2N^2 - 1 is prime.Noahhttps://www.blogger.com/profile/13108055161887598933noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-51978321257174939212016-04-04T14:09:07.468-05:002016-04-04T14:09:07.468-05:00Even perfect numbers k greater than 6 are of the f...Even perfect numbers k greater than 6 are of the form 2^(p-1)*(2^p - 1). Then, according to Wikipedia, k is the sum of the first 2^((p-1)/2) odd cubes. Abigailhttps://www.blogger.com/profile/14202894297731782841noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-8908871116324971552016-04-04T12:20:44.569-05:002016-04-04T12:20:44.569-05:001) k = 8 gives you 8128.
2) There's something ...1) k = 8 gives you 8128.<br />2) There's something going on with powers of two. k = 64 gives you 33550336, the next perfect number. k = 256 gives you 8589869056, the one after that. 2, 4, 8, 64, 256 are all powers of two, but there's no clear closed form. I can't find anything particularly interesting about the powers of two in between. I may come back to this later.Jordan Schneidernoreply@blogger.comtag:blogger.com,1999:blog-3722233.post-25430002656975386792016-04-04T12:02:19.382-05:002016-04-04T12:02:19.382-05:00One would think that two raised to an odd prime ha...One would think that two raised to an odd prime happens to be equal to a square doubled...gooberhttps://www.blogger.com/profile/02157619797434495059noreply@blogger.comtag:blogger.com,1999:blog-3722233.post-24014431485575565062016-04-04T11:53:08.497-05:002016-04-04T11:53:08.497-05:00Let sum(k) is the sum of the first k odd cubes. su...Let sum(k) is the sum of the first k odd cubes. sum(2) = 28, sum(4) = 496, sum(8) = 8128. This gets more interesting when we find that sum(64) = 33550336, sum(256) = 8589869056 and sum(512) = 137438691328. Hassan Mohamedhttps://www.blogger.com/profile/11346080746374060827noreply@blogger.com