A számtani , a prímteszt jelenlegi páratlan számú n , hogy vizsgálatot, ha n oszt 2 n - 2: különben az contrapositive a kis Fermat-tétel , arra a következtetésre jutottunk, hogy n nem prím. Vannak azonban olyan összetett számok, amelyek sikeresen teljesítik ezt a tesztet: csirkeszámoknak hívják őket , Paul Poulet tiszteletére, aki 1926-ban felsorolt néhányat, vagy Sarrus- számokat , mert F. Sarrus 1819-ben fedezte fel e számok egy részét (például 341-et).
A 341 egész szám a csirke szuperszáma, mert 2 10 - 1 osztható 341-gyel = 11 × 31, így 2 10 k - 1 is (minden pozitív k egész számra ) és 2 10 k +1 - 2 = 2 × (2 10 k - 1) különösen:
A félig elsőszámú csirke számok csirke szuperszámok voltak, valójában elég volt a harmadik pont ellenőrzésére.
A csirke prímszámát és szuperszámát, valamint bontását az alábbi táblázatok mutatják be:
|
|
|
Észrevehetjük, hogy az itt bemutatott csirke szuperszámok mind félig prímek.
Bármely félig prím csirke szám pq (ahol p és q két prímszám, nem feltétlenül különböznek egymástól) csirke szuperszám. Valójában Fermat kis tétele szerint a további 2 p ≡ 2 mod p és 2 q ≡ 2 mod q feltételek automatikusan teljesülnek.
Másrészt, ha p és q két külön prímszám, akkor pq akkor és csak akkor egy csirke (szuper) szám, ha p osztja 2 q - 2 és q osztja 2 p - 2.
DemonstrációFermat kis tétele szerint 2 pq = (2 q ) p ≡ 2 q mod p és hasonlóan 2 pq ≡ 2 p mod q . A „2 q ≡ 2 mod p és 2 p ≡ 2 mod q ” feltétel tehát egyenértékű a „2 pq ≡ 2 mod p és 2 pq ≡ 2 mod q ” -val . Ezért a „2 pq ≡ 2 mod pq ” feltétel implikálja, sőt egyenértékű vele, ha p és q megkülönböztethetők a kínai maradék tétel szerint .
Egy félig-prímszám a forma p 2 egy csirke (szuper) száma, ha, és csak akkor, ha p jelentése wieferich-prímek száma (csak két ismert: p = 1,093 és p = 3.511 ).
DemonstrációHa 2 p 2 ≡ 2 mod p 2, akkor p ≠ 2 ezért (mod p 2 ) 2 invertálható, és szorzási sorrendje p 2 - 1 osztója . Azonban ( Euler-tétel ) osztója a p 2 - p-nek is . Ezért a p - 1 osztója .
Ellenben, ha 2 p –1 ≡ 1 mod p 2, akkor (mod p 2 ) 2 p 2 = 2 1+ ( p –1) ( p +1) ≡ 2 × 1 p +1 = 2.
A csirkeszámokat és a szuperszámokat több mint két fő tényezővel állíthatjuk össze az alábbiak szerint:
Legyen n 1 , n 2 ,…, n k prím, k ≥ 3-val. Ha az i ≠ j összes n i és minden n i n j csirkeszám vagy prím, akkor n 1 n 2 … n k szám csirkéből (tehát ugyanúgy, ha a „csirke száma (i)” helyébe a „csirke túlszáma (i)” lép).
DemonstrációIndukcióval elegendő a k = 3 esetet figyelembe venni . Legyen tehát az a , b és c három szám, amely megfelel ezeknek a feltételeknek. Hipotézis szerint
Modulo a , ezért rendelkezünk:
és hasonlóan 2 c ≡ 2 , tehát
Hasonlóképpen, 2 abc ≡ 2 modulo b és c , ezért modulo abc, mivel a , b és c koprime.
Például a fenti táblázatból könnyen leolvasható, hogy a 37, 73 és 109 prímszámok megfelelőek. Termékük: 294409 = 37 × 73 × 109 a Csirke szuperszáma.
A következő prímszámú családok lehetővé teszik a csirkeszámok megszerzését legfeljebb hét különféle prímtényezővel:
Ezek a családok akár nyolc különálló fő tényezőt is megengednek:
Vegye figyelembe a fenti (*) jellel jelölt két vonal kapcsolatát! Ez a prímszámok listája valójában huszonkét külön prímszámig folytatható:
Vannak olyan csirkeszámok is, amelyek négyzetes tényezőkkel rendelkeznek, például 1093 2 × 4733 .
Páros számú csirke ismert; közülük a legkisebbet, 161038 = 2 × 73 × 1103 Derrick Lehmer fedezte fel 1950-ben.
Azt is nagyon könnyű kimutatni, hogy nincsenek még csirkeszámok sem. Valójában egy ilyen szám megengedne egy osztót, amely a prím formából áll , amely egy csirke lesz. Arany
Ha ez egy csirke, akkor osztható a következőkkel : erre következtetünk
Hasított
Most, Fermat kis tétele szerint , oszt . Ezután megosztottunk , ami abszurd. Ezért nincs csirke száma formában a prime, és még inkább nem, még Chicken supernumber.
A teljes Sloane- lakosztályok elektronikus enciklopédiáján a következőket találjuk:
Ez az oldal sok információt tartalmaz a csirke számokról és a szuperszámokról:
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">