Fermat number F6=18446744073709551617 is a composite number. Proof.

literka · 2012-01-29, 22:15

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.

Batalov · 2012-01-30, 04:14

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=2¹²⁸+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!

literka · 2012-01-30, 04:57

Quote:

Originally Posted by Batalov

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=2¹²⁸+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.

ATH · 2012-01-30, 09:18

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

http://homes.cerias.purdue.edu/~ssw/fdub.html

Batalov · 2012-01-30, 09:32

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.

ATH · 2012-01-30, 12:28

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.

2012-01-29, 22:15	#1
literka Mar 2010 192₁₀ Posts	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.

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

2012-01-30, 09:18	#4
ATH Einyen Dec 2003 Denmark 19×181 Posts	There are 185 fermat numbers known to be composite with a total of 218 factors: http://homes.cerias.purdue.edu/~ssw/fdub.html

2012-01-30, 09:32	#5
Batalov "Serge" Mar 2008 Phi(4,2^7658614+1)/2 89×113 Posts	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.

2012-01-30, 12:28	#6
ATH Einyen Dec 2003 Denmark 19·181 Posts	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.