mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Factoring

Reply
 
Thread Tools
Old 2012-01-29, 22:15   #1
literka
 
literka's Avatar
 
Mar 2010

26·3 Posts
Default Fermat number F6=18446744073709551617 is a composite number. Proof.

Recently I did something similar for sixth Fermat number F6=18446744073709551617 as I did before for F5.
(see my thread "F5=4294967297 is a product of two integers."). Using elementary methods I proved that 274177 is a factor of F6.
Proof is on my www page http://www.literka.addr.com/mathcoun...mth/proof3.htm.
Proof of mentioned thread about F5 is on the web page http://www.literka.addr.com/mathcoun...mth/proof2.htm.
My web page http://www.literka.addr.com/mathcoun...mth/proof1.htm contains basic proof (not mine), which inspired me to do this job.
literka is offline   Reply With Quote
Old 2012-01-30, 04:14   #2
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

3·5·641 Posts
Default

Kinda makes you wonder if F7 is composite!

But I guess we just have to learn to live with the fact that some things we will never know -- these proofs become increasingly complex. ^_^

But wait!

Code:
Let F7=2128+1=340282366920938463463374607431768211457. 
Let p=59649589127497217. We'll show that p is a factor of F7. 
  340282366920938463463374607431768211457 | 59649589127497217
- 298247945637486085   (5)                | 5704689200685129054721
   420344212834523784
 - 417547123892480519  (7)
     27970889420432656 (0)
     279708894204326563
   - 238598356509988868
      ....................
             ...................
                  ...................
                      ..................
                        59649589127497217
                      - 59649589127497217
                                        0 | OMG!! It divides!

Last fiddled with by Batalov on 2012-01-30 at 04:16 Reason: :P
Batalov is offline   Reply With Quote
Old 2012-01-30, 04:57   #3
literka
 
literka's Avatar
 
Mar 2010

26×3 Posts
Default

Quote:
Originally Posted by Batalov View Post
Kinda makes you wonder if F7 is composite!

But I guess we just have to learn to live with the fact that some things we will never know -- these proofs become increasingly complex. ^_^

But wait!

Code:
Let F7=2128+1=340282366920938463463374607431768211457. 
Let p=59649589127497217. We'll show that p is a factor of F7. 
  340282366920938463463374607431768211457 | 59649589127497217
- 298247945637486085   (5)                | 5704689200685129054721
   420344212834523784
 - 417547123892480519  (7)
     27970889420432656 (0)
     279708894204326563
   - 238598356509988868
      ....................
             ...................
                  ...................
                      ..................
                        59649589127497217
                      - 59649589127497217
                                        0 | OMG!! It divides!

Thank you for a beautiful proof. I will print it and I will hang it in my bedroom. It will always remind me how excellent science may be.
literka is offline   Reply With Quote
Old 2012-01-30, 09:18   #4
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

23·139 Posts
Default

There are 185 fermat numbers known to be composite with a total of 218 factors:

http://homes.cerias.purdue.edu/~ssw/fdub.html
ATH is online now   Reply With Quote
Old 2012-01-30, 09:32   #5
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

3·5·641 Posts
Default

253 composite and 293 prime factors now, 10 years later.

As for the proof, I tried to travel back 150 years to the times of Thomas Clausen and Le Lasseur. They've proven 11111111111111111 composite about the same way (they arguable knew the restricted residue classes, btu the rest is simply dividing away during long winter evenings). For 1111111111111111111, some gentleman divided away until he'd proven it prime; he submitted the works to the London Mathematical Society, and a specially appointed committee of that body accepted the proof as final and conclusive. See the Proceedings of the Society for 14th February, 1918.
Batalov is offline   Reply With Quote
Old 2012-01-30, 12:28   #6
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

23·139 Posts
Default

I didn't even notice it was an old version of the page, didn't look at the dates. I just wondered why the address was different than usual.
ATH is online now   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Number Composite Astronomical M281414479 PaulineEinstein Lounge 27 2018-01-24 19:28
Can 1227133513 be the only composite number matching the conditions? miket Math 5 2014-08-12 00:41
Number 59649589127497217 is a factor of Fermat number F7 literka Miscellaneous Math 73 2013-11-17 10:33
Please help me find a composite number (test2) allasc Math 0 2010-12-27 13:37
How long before you found your first composite number? Bundu Data 3 2004-08-14 12:21

All times are UTC. The time now is 12:29.


Thu Dec 2 12:29:47 UTC 2021 up 132 days, 6:58, 0 users, load averages: 1.04, 1.03, 1.05

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.