Gelen aritmetik , bir asallık testi bir tek sayıya akım n ise teste olduğunu n böler 2 n aksi halde, altında: 2 - contrapositive ait Fermat'ın küçük teoremi , biz sonucuna n asal değildir. Bununla birlikte, bu testi başarıyla geçen bileşik sayılar vardır: 1926'da bazılarını listeleyen Paul Poulet onuruna Tavuk sayıları veya Sarrus sayıları , çünkü F. Sarrus bu sayılardan bazılarını (341 gibi) 1819'da keşfetti.
341 tamsayısı, Chicken sayısının bir süper sayısıdır, çünkü 2 10 - 1, 341 = 11 × 31 ile bölünebilir, yani 2 10 k - 1 aynı zamanda (herhangi bir pozitif tam sayı k için ) ve 2 10 k +1 - 2 = 2 × (2 10 k - 1) ayrıca özellikle:
Yarı asal Tavuk numaraları Tavuk supernumbers olmak, üçüncü noktayı kontrol etmek aslında yeterliydi.
Tavuğun asal sayıları ve süper sayıları ve ayrışmaları aşağıdaki tablolarda sunulmuştur:
|
|
|
Burada sunulan Tavuk süper sayılarının hepsinin yarı asal olduğunu fark edebiliriz.
Herhangi bir yarı asal Chicken numarası pq (burada p ve q iki asal sayıdır, ayrı olmak zorunda değildir) bir Chicken süper numarasıdır. Aslında, Fermat'ın küçük teoremine göre, ek koşullar 2 p ≡ 2 mod p ve 2 q ≡ 2 mod q otomatik olarak karşılanır.
Öte yandan, p ve q iki farklı asal sayı ise, pq bir Tavuk (süper) sayısıdır ancak ve ancak p 2'yi q - 2'yi ve q 2 p - 2'yi böler .
GösteriFermat'ın küçük teoremine göre, 2 pq = (2 q ) p ≡ 2 q mod p ve benzer şekilde 2 pq ≡ 2 p mod q . "2 q ≡ 2 mod p ve 2 p ≡ 2 mod q " durumu bu nedenle "2 pq ≡ 2 mod p ve 2 pq ≡ 2 mod q " ile eşdeğerdir . Bu nedenle, Çin Kalan Teoremine göre, "2 pq by 2 mod pq " koşuluyla ima edilir ve hatta p ve q farklıysa ona eşdeğerdir .
P 2 formunun yarı asal bir sayısı, ancak ve ancak p bir Wieferich asal sayısı ise (yalnızca ikisi bilinmektedir: p = 1,093 ve p = 3,511 ) bir Tavuk (süper) sayısıdır .
Gösteri2 Eğer p 2 ≡ 2 mod p 2 , sonra p ≠ 2 bu nedenle de (mod p 2 ) 2 tersinirdir ve çarpımsal düzeni bir bölen bir p 2 1. Ancak (- Euler teoremi ayrıca bir böleni olan) p 2 - s . Bu nedenle p - 1'in bölenidir .
Tersine, eğer 2 p –1 ≡ 1 mod p 2 ise o zaman (mod p 2 ) 2 p 2 = 2 1+ ( p –1) ( p +1) ≡ 2 × 1 p +1 = 2.
Tavuk sayılarını ve süper sayılarını ikiden fazla asal faktörle aşağıdaki gibi oluşturabiliriz:
Let n 1 , n 2 , ..., n k olmak ile prime k bütün halinde 3. ≥ n ı ve tüm n ı n j için i ≠ j sonra, Tavuk rakamlar veya asal olan n 1 n 2 ... n k bir sayıdır Tavuk (aynı şekilde "Tavuk sayısı" nın "Tavuk süper numarası" ile değiştirilmesiyle).
GösteriTümevarım yoluyla, k = 3 durumunu düşünmek yeterlidir . Öyleyse a , b ve c bu koşulları sağlayan üç sayı olsun. Hipotez ile,
Modulo a , bu nedenle elimizde:
ve benzer şekilde, 2 c ≡ 2 , yani
Benzer şekilde, 2 abc ≡ 2 modulo b ve c , bu nedenle modulo abc, çünkü a , b ve c eş asaldır.
Örneğin, yukarıdaki tablodan 37, 73 ve 109 asal sayılarının uygun olduğunu okumak kolaydır. Ürünleri: 294409 = 37 × 73 × 109, bir tavuk sayısıdır.
Aşağıdaki asal sayı aileleri, yedi farklı asal çarpana kadar Tavuk sayılarının elde edilmesini mümkün kılar:
Bu aileler, sekiz farklı ana faktöre kadar gitmeye izin verir:
Yukarıda (*) işaretli iki çizgi arasındaki ilişkiye dikkat edin! Bu asal sayılar listesi aslında yirmi iki farklı asal sayıya kadar devam ettirilebilir:
1093 2 × 4 733 gibi kare faktörlere sahip Tavuk süper sayıları da vardır .
Tavuk sayısı bile bilinmektedir; en küçüğü olan 161038 = 2 × 73 × 1103, 1950'de Derrick Lehmer tarafından keşfedildi .
Üstelik tavuk sayısının bile olmadığını göstermek de oldukça kolaydır. Gerçekten de, böyle bir numara formundan oluşan bir böleni itiraf ediyorum ile Tavuk bir dizi olacağını asal. Altın
Tavuk sayısıysa, şu şekilde bölünebilir :
Bölünmüş
Şimdi, Fermat'ın küçük teoremine göre bölünüyor . Daha sonra saçma olan bölündük . Formun hiçbir Tavuk sayısı nedenle yoktur ile asal ve hiçbir daha ziyade bile Tavuk supernumber.
On tüm elektronik ansiklopedisi Sloane suit buluruz:
Bu sayfa Tavuk sayıları ve süper sayıları hakkında birçok bilgi verir:
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">