Teorema 2.21(Erdos).

Pentru fiecare intreg

k 2 exista infinit mai multe numere

pseudoprime cu exact k factori primi.

Demonstratie: Cazul general poate fi demonstrat prin inductie la k. Fie

pi

secventa infinita de pseudoprime cu k-1 factori primi. Fie

ni 1

primi pritivi ai lui

1 . Spunem ca

ni 1

1 atunci

una dintre factorii

pi ni

este un pseudoprim. Deaorece este

2n 1=1(mod ni ) . Din nou, deoarece

un pseudoprim, avem
prim primitiv al lui

pi ni

n1 <n2 <

este un factor

2n 1=1(mod pi ) de unde rezulta

i

2n 1=1(mod pi ni) .
i

Deoarece

pi

2n 1 , atunci
i

este un factor prim primitiv al lui

ord p ( 2 )( pi ) , de unde ( ni1 ( pi1) , deci

Deoarece

Deci

k i ( ni 1)

2 p 1=2
i

pi ni

pentru unii

ki

din Z.

congruente impica

De asemenea,

n
k i ( i1)
pi1=

=2(n 1) =1(mod ni ) .

Din Teorema Mica a lui Fermat avem

De asemea avem

pi1=0(mod ( n i1 ) ) .

pi1=0(mod ( n i1 ) ) , atunci

ord p ( 2 )=n i1 . Dar

pi 1

n i 1

pi >ni

p i 1

=1 ( mod p i ) .

Ultimele doua

=1 ( mod p i n i) .

=1 ( mod p i ni ) . Deci
deoarece

pi ni 1

(ni 1 )( pi 1 ) (ni 1)

pi1=0(mod ni 1)

are k factori primi. Totodata, intregul

ni p i

=2

si

ni

(pi 1)

=1 ( mod pi ni ) .

nu este prim. Deci

este distinct. Aceasta

completeaza demonstratia.
2.3 Cum sunt distribuite numele pseudoprime?
Pana acum am dat diverse demonstratii constructive ale existentei a un infinit de
pseudoprime pare cat si impare. Am demonstrat ca anume secvente genereaza
infinit de multe pseudoprime. Dar, aceste secvente nu genereaza toate
pseudoprimele. De asemenea, nu se poate determina cate pseudoprime sunt mai
mici decat un intreg x dat. In aceasta sectiune, insa, vor estima de deasupra cat si
de sub numarul de pseudoprime mai mici decat un intreg x dat(cand x e mai mare).

Ca in cazul distributiei numerelor prime, demonstratiile in legatura cu distribuirea de

pseudoprime sunt matematice si sunt peste rolul acestei lucrari.
Teorema 2.22. Fie

p ( x)

numarul de pseudoprime mai mici sau egale cu x.

1

Atunci, pentru x suficient de mare, avem:

este un numar real pozitiv.

1
c logx< p ( x ) < x exp { ( log x ) 4 }
3

unde c