Prova de Lucas-Lehmer per a nombres de Mersenne: diferència entre les revisions

Contingut suprimit Contingut afegit
m Corregit: X'', peró no > X'', però no
m Corregit: com a ara el > com ara el
Línia 5:
==La prova==
 
La prova de Lucas-Lehmer funciona tal com s'explica tot seguit. Sia ''M''<sub>''p''</sub>&nbsp;=&nbsp;2<sup>''p''</sup>−&nbsp;1 el nombre de Mersenne a provar amb ''p'' un [[Nombre primer]] senar (com que ''p'' és exponencialment més petit que ''M''<sub>''p''</sub>, es pot fer servir un algorisme senzill com a ara el de [[divisions successives]] per tal d'establir la seva primalitat). Es defineix una successió {''s''<sub>''i''</sub>} per a tot ''i'' ≥ 0 com
:<math>
s_i=