Euklidovo lemma je klasickým výsledkem elementární teorie čísel . Je formulován jako věta 30 v knize VII Euklidových prvků a je klíčem k důkazu základní věty aritmetiky . Moderní formulace [1] :
Pokud je součin několika faktorů dělitelný prvočíslem , pak alespoň jeden z faktorů je dělitelný číslem . |
Příklad. 19 je prvočíslo a dělí Proto je jeden z faktorů dělitelný 19, a to:
Pokud to není prvočíslo, pak může věta selhat. Příklad: dělitelné 20, ale žádný z faktorů není dělitelný 20.
Nechť je dělitelný , ale ne dělitelný . Pak a jsou coprime , tedy existují celá čísla a taková, že
( Bezoutův poměr ).Vynásobením obou stran dostaneme
Oba členy na levé straně jsou dělitelné , což znamená, že pravá strana je také dělitelná , atd. [2]
Euklidovo lemma platí nejen v kruhu celých čísel, ale i v dalších faktoriálových kruzích , kde roli prvočísel hrají ireducibilní prvky . Zejména to platí v euklidovských prstencích [4] , například:
`* Weisstein, Eric W. Euclid's Lemma (anglicky) na webových stránkách Wolfram MathWorld .