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 
The .pdf file is attached to this post.
1 Attachment(s)
Hi, Finally, the .pdf file is attached to this post. Tony

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.