nh l Lucas l mt trong nhng nh l p ca ng d theo mod nguyn t .

Bi vit ny
hi vng trao i vi mi ngi v ni dung nh l v mt s p dng ca n trong vic gii
cc bi ton s hc v ng d mod p . Cc k hiu trong bi ny c xt trn trng Z/(p) ,
trong a v b bng nhau nu v ch nu
Ni dung nh l : Cho n v k l cc s nguyn dng sao . Ta xt biu din c s p ca n v k
:

vi
Khi ta lun c :

.
Chng minh :C kh nhiu cch chng minh ca nh l , ta nu ra mt chng minh thng
dng nht ,s dng tnh cht ca ng d a thc hay thc cht l p dng nh l Lagrange v
s nghim ca phng trnh trn trng . Trc ht theo nh l Fermat ta
d dng chng minh c :
.
Quay li bi ton ,trc ht ta xt a thc :

So snh h s ca ta suy ra c :

nh l ca chng ta c chng minh xong .

Ch rng trong nh l trn ,nu th v nu th s ny bng

0.
thy c s hiu qu ca nh l ny ,ta bt u bng mt s v d sau :
V d 1 : Cho n l s nguyn v p l s nguyn t . Khi ta lun c :

Chng minh : Ta xt biu din c s p ca n .

Khi theo nh l Lucas ta c :
T d dng suy ra
V d 2 : y l mt bi ton tng xut hin trn tp ch THTT ,c kh nhiu cch gii
quyt v mt trong nhng cch l p dng nh l Lucas :
Cho a v b l hai s nguyn dng ,p l s nguyn t . Khi ta lun c :

Chng minh ca nh l kh hin nhin khi ta vit a v b trong c s p .

V d 3 : y l mt bi ton kh ni ting v c gii bng kh nhiu cch trong c
phng php gii bng s dng a thc bt kh quy kh hay , nhng y ta s xem xt n

bng nh l Lucas : Tm tt c cc s nguyn n sao cho l s l vi mi k=0,..,n .

Li gii : y ta quan tm n tnh chn l v th ta s dng nh l Lucas trong trng hp
p=2 . Ta xt biu din c s 2 ca n v k :

v .
vi . Khi theo nh l Lucas th ta lun c :

Ta thy rng ,ch cn tn ti mt s th ta ch cn chn v th

ta s c mt s chn do v vi cch chn ny th . T iu kin cn

ca bi ton l trong biu din c s 2 ca n ch c ch s 1 .Tc l . D dng
kim tra iu ngc li cng ng . Ta kt thc chng minh y .
Lu rng vi chng minh trn ,ta c th chng minh c khng nh sau : Goi s l s ch

s 1 trong biu din thp phn ca n .Khi s sao cho l l .

C mt bi ton tng t bi ton trn , c th tham kho coi nh bi tp : Tm tt c cc s

nguyn n sao cho tn ti v hn s t nhin k m cc s nguyn t cng nhau vi n vi

mi .
p s ca bi ton ny l vi p l s nguyn t .