mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Math (https://www.mersenneforum.org/forumdisplay.php?f=8)
-   -   Two Primality tests for Fermat numbers (https://www.mersenneforum.org/showthread.php?t=3025)

T.Rex 2004-09-10 21:10

Two Primality tests for Fermat numbers
 
Hi,

I have built the proof of 2 new Primality tests for Fermat numbers.
(Don't expect them to reduce the time needed by the Pepin' test ...)

Why posting a test for Fermat numbers here ? Because it is a first step in a more global work I'm working on dealing with Lucas Sequences. I hope I will be able in the future to provide new useful theorems (and probably new conjectures) dealing with Mersenne and Fermat numbers.
Think about my guess at the end of the document, dealing with what I call "fixed point".

I've asked xyzzy (administrator) to host my document (.pdf) and to provide the link in this thread. Just wait xyzzy is available. Thanks xyzzy.

Let me know if my proof is correct ...

Tony

T.Rex 2004-09-10 21:15

The .pdf file is attached to this post.
 
1 Attachment(s)
Hi, Finally, the .pdf file is attached to this post. Tony

T.Rex 2004-09-11 07:26

Second version about Pepin's test
 
1 Attachment(s)
Hi,
I've done 3 small modifications:
1) page 1 in the introduction: I say this also proves the Pepin's Test, with k=3 .
2) page 2 I've replaced the use of Pepin's test by the Euler congruence for quadratic residues.
3) page 4 I show that the Theorem 1 does prove the Pepin's test for k=3 .

Tony


All times are UTC. The time now is 05:35.

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