mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Math

Reply
 
Thread Tools
Old 2005-09-21, 04:10   #1
JHagerson
 
JHagerson's Avatar
 
May 2005
Naperville, IL, USA

22·72 Posts
Default Inspiration for LL Test?

I will freely admit that I am an engineer, not a math major. I have taken the math progression for engineers (algebra in junior high school, geometry, algebra II, trigonometry, and 2 semesters of calculus in high school, another semester of calculus, differential equations, and statistics in college), but that was many years ago. Therefore, if the answer to this question is on the blackboard the first day of Introduction to Ring Theory, I freely admit that I have never taken that class.

As I understand it, the LL test that M_x is prime involves testing if M_x is a factor of the number S_x, where, as it has been flogged to death elsewhere in these forums, the full numeric presentation of even "small" terms of S_x is impossible within our universe.

Here is my question. What provided the inspiration for this test? It seems counterintuitive (to me, one of the Uninitiated) to test for primality using this method (as if one wanted to go South, but looked North and discovered the Great Polar Circle).

If the answer to my question is so obvious as to waste everyone's time, please just state that the answer is left as an exercise and leave it at that. Thank you.
JHagerson is offline   Reply With Quote
Old 2005-09-21, 06:11   #2
Dougy
 
Dougy's Avatar
 
Aug 2004
Melbourne, Australia

23·19 Posts
Default

The Lucas-Lehmer test wasn't really invented, rather than discovered. The LL-test came as a result of the study of Lucas sequences. Lucas also discovered the closed-form formula for the Fibonacci numbers using these sequences, namely F_n=\frac{(\frac{(1+\sqrt{5})}{2})^n-(\frac{(1-\sqrt{5})}{2})^n}{\sqrt{5}}.

For a proof that doesn't use fancy algebra: D. H. Lehmer, An Extended Theory of Lucas' Functions, Annals of Mathematics, 1930.
Dougy is offline   Reply With Quote
Old 2005-09-21, 06:18   #3
jinydu
 
jinydu's Avatar
 
Dec 2003
Hopefully Near M48

2·3·293 Posts
Default

Quote:
Originally Posted by Dougy
Lucas also discovered the closed-form formula for the Fibonacci numbers using these sequences
Really? It wasn't known until Lucas' time?
jinydu is offline   Reply With Quote
Old 2005-09-21, 15:40   #4
philmoore
 
philmoore's Avatar
 
"Phil"
Sep 2002
Tracktown, U.S.A.

3·373 Posts
Default

Actually, the closed form of Fibonacci numbers had been discovered a few years earlier, I believe by an Italian, but I don't have the reference at hand to check. An interesting account of how Lucas was led from a study of the divisibility properties of the Fibonacci sequence to his investigation of the Lucas sequences is given in:

Williams, Hugh C., Édouard Lucas and Primality Testing, John Wiley & Sons, 1998

Last fiddled with by philmoore on 2005-09-21 at 15:41
philmoore is offline   Reply With Quote
Old 2005-09-21, 15:46   #5
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

22·5·373 Posts
Default

Quote:
Originally Posted by JHagerson

Here is my question. What provided the inspiration for this test?
The analagous test for p-1, as opposed to p+1.
R.D. Silverman is offline   Reply With Quote
Old 2005-09-21, 20:52   #6
T.Rex
 
T.Rex's Avatar
 
Feb 2004
France

22×229 Posts
Default

Quote:
Originally Posted by R.D. Silverman
The analagous test for p-1, as opposed to p+1.
??? Unclear for me. Can you elaborate ?

To answer question of JHagerson:
Quote:
What provided the inspiration for this test?
Miss Anne-Marie Decaillot-Laulagnet, in his thesis about Edouard Lucas written in 1999 (in French), says at the beginning of Chapter 8 that Eugène Catalan provided a result the 3 of March 1861 about "a recurrent serie which general term is or is not divisible by n when n is prime or not". This was a serie of order 3. We do not know if Lucas read this.
Lucas was mainly inspired by the work of Fibonacci. He traveled to Italia in order to read the original papers.
The first important result of Lucas is that "there is a law of apparition of prime numbers in the Fibonacci serie".

If you want to know how the history of primality tests began, you should read HC Williams' book "Edouard Lucas and Primality Testing".

Also, note that the LLT can also be used to test primality of other kinds of numbers, like Fermat numbers.

Tony
T.Rex is offline   Reply With Quote
Old 2005-09-23, 06:16   #7
trilliwig
 
trilliwig's Avatar
 
Oct 2004
tropical Massachusetts

3·23 Posts
Default

Quote:
Originally Posted by T.Rex
??? Unclear for me. Can you elaborate ?
Compare Theorem 1 here with Theorem 4 there.

--
Sam
trilliwig is offline   Reply With Quote
Old 2005-09-23, 07:45   #8
T.Rex
 
T.Rex's Avatar
 
Feb 2004
France

22·229 Posts
Default Dividing between [n-1 tests/Pépin test/N+1] and [n+1 tests/LLT/N-1] is wrong.

Quote:
Originally Posted by trilliwig
Compare Theorem 1 here with Theorem 4 there.
OK. It is what I was thinking Mr Silverman was talking about.

Dividing between [n-1 tests/Pépin test/N+1 numbers] and [n+1 tests/LLT/N-1 numbers] is wrong.

I don't know if there are N-1 numbers that can be proved prime with a Pépin's test like (I should read again Williams' book), but it is sure that there are N+1 numbers that can be proved prime by means of a LLT-like test: Fermat numbers.

Just have a look to Williams' book or (if you don't have access to it) read my papers Two theorems for proving the primality of Fermat numbers, based on Lucas Sequences. and A LLT-like test for proving the primality of Fermat numbers, based on Lucas Sequences. .

The problem is that so few people have read Williams' book and so many have read Ribenboim's book (which says a mistake about Lucas Sequences -Chapter 2.V on top of page 63- ) that nearly every one thinks like Silverman.

If Mr Silverman would like to read Williams' book or my papers and provide his opinion in this thread, that would help.

Regards,

Tony
T.Rex is offline   Reply With Quote
Old 2005-10-03, 22:16   #9
maxal
 
maxal's Avatar
 
Feb 2005

22·32·7 Posts
Default

Quote:
Originally Posted by philmoore
Actually, the closed form of Fibonacci numbers had been discovered a few years earlier, I believe by an Italian, but I don't have the reference at hand to check.
This formula is called Binet's formula. According to MathWorld,
It was derived by Binet in 1843, although the result was known to Euler, Daniel Bernoulli, and de Moivre more than a century earlier.
maxal is offline   Reply With Quote
Reply



Similar Threads
Thread Thread Starter Forum Replies Last Post
Modifying the Lucas Lehmer Primality Test into a fast test of nothing Trilo Miscellaneous Math 25 2018-03-11 23:20
New PC test re-test plan? dh1 Information & Answers 8 2015-12-11 11:50
Double check LL test faster than first run test lidocorc Software 3 2008-12-03 15:12
Will the torture test, test ALL available memory? swinster Software 2 2007-12-01 17:54
A primality test for Fermat numbers faster than Pépin's test ? T.Rex Math 0 2004-10-26 21:37

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


Fri Jul 16 12:31:40 UTC 2021 up 49 days, 10:18, 2 users, load averages: 1.74, 1.28, 1.29

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.