mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Factoring (https://www.mersenneforum.org/forumdisplay.php?f=19)
-   -   Fermat number F6=18446744073709551617 is a composite number. Proof. (https://www.mersenneforum.org/showthread.php?t=16488)

 literka 2012-01-29 22:15

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 [url]www.literka.addr.com/mathcountry/numth/proof3.htm[/url].
My web page [url]www.literka.addr.com/mathcountry/numth/proof1.htm[/url] 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[SUP]128[/SUP]+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!

[/CODE]

 literka 2012-01-30 04:57

[QUOTE=Batalov;287716]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[SUP]128[/SUP]+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!

[/CODE][/QUOTE]

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:

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

 Batalov 2012-01-30 09:32

253 composite and 293 prime factors now, [URL="http://www.prothsearch.net/fermat.html"]10 years later[/URL].

As for the proof, I tried to travel back 150 years to the times of Thomas Clausen and Le Lasseur. They've [URL="http://books.google.com/books?id=tK_KRmTf9nUC&pg=PA224&lpg=PA224&dq=factors+2071723+5363222357&source=bl&ots=lvg-qsKJeO&sig=TWT3uY58UmTtpniaum3q1vzfxC0&hl=en&sa=X&ei=dikmT7neF63XiAKT7-D1Bw&ved=0CDoQ6AEwBQ#v=onepage&q=5363222357&f=false"]proven[/URL] 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

:grin: 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.

 All times are UTC. The time now is 03:03.