Mukammal son. Raqamlar nazariyasida mukammal son bu sonning oʻzidan tashqari uning musbat boʻluvchilari yigʻindisiga teng boʻlgan musbat butun sondir. Masalan, 6 sonining 1, 2 va 3 boʻluvchisi bor (oʻzidan tashqari) va 1 + 2 + 3 = 6, shuning uchun 6 mukammal sondir. Sonning boʻluvchilari yigʻindisi, sonning oʻzi bundan mustasno, uning alikvot yigʻindisi deyiladi, shuning uchun mukammal son uning alikvot yigʻindisiga teng boʻlgan sondir. Ekvivalent tarzda, mukammal son — uning barcha musbat boʻluvchilari yigʻindisining yarmiga teng boʻlgan son; belgilarda, formula_1 bu yerda formula_2 boʻluvchilar yigʻindisi funksiyasidir. Masalan, 28 soni 1 + 2 + 4 + 7 + 14 = 28 mukammaldir. Bu taʼrif qadimiy manbalarga asoslangan boʻlib, Evklidning "elementlari" (VII.22) asarida paydo boʻlgan, u yerda u ("mukammal", "ideal" yoki "toʻliq son")deb ataladi. . Evklid shuningdek, shakllanish qoidasini (IX.36) isbotladi formula_3 har doim ham mukammal son formula_4 shaklning boshi hisoblanadi formula_5 musbat butun son uchun formula_6 — hozir Mersenn boshi deb ataladigan narsa. Ikki ming yil oʻtgach, Leonhard Eyler barcha hatto mukammal sonlar ham shu shaklda ekanligini isbotladi. Bu Evklid-Eyler teoremasi deb nomlanadi. Toq mukammal sonlar yoki cheksiz koʻp mukammal sonlar mavjudligi nomaʼlum. Birinchi bir nechta mukammal raqamlar 6, 28, 496 va 8128. Kelib chiqishi. Taxminan Miloddan avvalgi 300-yilda Evklid shuni koʻrsatdiki, agar 2 "p" − 1 tubdan keyin 2 "p" −1 (2 "p" − 1) mukammal. Dastlabki toʻrtta mukammal son qadimgi yunon matematikasiga maʼlum boʻlgan yagona sonlar edi va matematik Nikomax miloddan avvalgi 100-yilda 8128 ni qayd etgan. Zamonaviy til bilan aytganda, Nikomax har bir mukammal son formula_7 bu yerda formula_8 asosiy) quyidagi shaklda ekanligini isbotsiz taʼkidlaydi. U ning oʻzi asosiy boʻlishi kerakligini bilmaganga oʻxshaydi. Shuningdek, u (notoʻgʻri) mukammal sonlar navbatma-navbat 6 yoki 8 bilan tugashini aytadi. (Birinchi 5 ta mukammal raqam 6, 8, 6, 8, 6 raqamlari bilan tugaydi, oltinchisi ham 6 bilan tugaydi.) Iskandariyalik Filo birinchi asrda yozilgan „Yaratilish haqida“ kitobida mukammal sonlarni tilga olib, dunyo 6 kunda yaratilgan, Oy esa 28 kunda aylanib chiqadi, chunki 6 va 28 mukammaldir. Filodan keyin Origen va Didim koʻr, 10 000 dan kam boʻlgan faqat toʻrtta mukammal raqam borligini kuzatishni qoʻshadi. (Ibtido 1. 14-19 ga izoh). Avliyo Avgustin eramizning 5-asr boshlarida Xudoning shahrida (XI kitob, 30-bob) mukammal raqamlarni belgilaydi va Xudo dunyoni 6 kunda yaratgan degan daʼvoni takrorlaydi, chunki 6 eng kichik mukammal sondir. Misrlik matematik Ismoil ibn Fallus (1194—1252) keyingi uchta mukammal raqamni (33,550,336; 8,589,869,056; va 137,438,691,328) eslatib oʻtgan va hozirda notoʻgʻri ekanligi maʼlum boʻlgan yana bir nechtasini sanab oʻtgan. Beshinchi mukammal raqam haqida birinchi maʼlum Yevropa eslatmasi nomaʼlum matematik tomonidan 1456 va 1461-yillar orasida yozilgan qoʻlyozmadir. 1588-yilda italyan matematigi Pietro Kataldi oltinchi (8 589 869 056) va yettinchi (137 438 691 328) mukammal sonlarni aniqladi, shuningdek, Evklid qoidasidan olingan har bir mukammal son 6 yoki 8 bilan tugashini isbotladi. Juft mukammal sonlar. Evklid 2 "p" −1 (2 "p" − 1) har doim 2 "p" boʻlganda, juft mukammal son − 1 — asosiy (Elementlar, Prop. IX.36). Masalan, birinchi toʻrtta mukammal raqam 2 "p" −1 (2 "p" − 1), "p" bilan tub son, quyidagicha: 2 "p" shaklidagi tub sonlar − 1 raqamlar nazariyasi va mukammal sonlarni oʻrgangan XVII asr rohibi Marin Mersennadan keyin Mersenne tub sonlari sifatida tanilgan. 2 "p" uchun − 1 tub boʻlishi uchun "p" oʻzi tub boʻlishi kerak. Biroq, 2 "p" shakldagi barcha raqamlar emas − 1-sonli "p" soni tub; masalan, 2 11 − 1 = 2047 = 23 × 89 tub son emas. Aslida, Mersenne tub sonlari juda kam uchraydi — 2 610 944 tub sondan "p" dan 43 112 609 gacha, 2 "p" . − Ulardan faqat 47 tasi uchun 1 asosiy hisoblanadi. Garchi Nikomach barcha mukammal sonlar shaklga ega ekanligini (dalilsiz) taʼkidlagan boʻlsa-da formula_9 qayerda formula_10 tub boʻlsa (garchi u buni biroz boshqacha taʼkidlagan boʻlsa-da), Ibn al-Haysam (Alhazen) taxminan eramizning 1000-yillarida faqat har bir juft mukammal son shu shaklda boʻlishini taxmin qilgan. Faqat 18-asrgacha Leonhard Eyler 2 "p" −1 (2 "p") formula ekanligini isbotladi. − 1) barcha juft mukammal sonlarni beradi. Shunday qilib, hatto mukammal sonlar va Mersen tub sonlari oʻrtasida yakkama -yakka muvofiqlik mavjud; har bir Mersenne tub soni bitta mukammal son hosil qiladi va aksincha. Bu natija koʻpincha Evklid-Eyler teoremasi deb ataladi. GIMPS taqsimlangan hisoblash loyihasi tomonidan olib borilgan toʻliq qidiruv shuni koʻrsatdiki, birinchi 48 ta mukammal son 2 "p" −1 (2 "p)" − 1) uchun Bundan tashqari, uchta yuqori mukammal sonlar topildi, ular uchun "p" = 74207281, 77232917 va 82589933. Garchi bu diapazonda boshqalar ham boʻlishi mumkin boʻlsa-da, GIMPS tomonidan oʻtkazilgan dastlabki, ammo toʻliq sinovlar 109332539 dan past boʻlgan "p" uchun boshqa mukammal raqamlarni aniqlamadi. , 51 Mersenne tub soni maʼlum, va shuning uchun 51 juft mukammal sonlar (ularning eng kattasi 2 82589932 × (2 82589933) − 1) 49 724 095 ta raqam bilan). Cheksiz koʻp mukammal sonlar bormi yoki cheksiz koʻp Mersenne tub sonlari bormi nomaʼlum. Shuningdek, 2 "p" −1 shakliga ega (2 "p" − 1), har bir juft mukammal son uchburchak soni (va shuning uchun 1 dan gacha boʻlgan butun sonlar yigʻindisiga teng)) va olti burchakli son. Bundan tashqari, 6 dan tashqari har bir juft mukammal son -nchi markazlashtirilgan nonagonal son va birinchi toq kublar ( kubgacha boʻlgan toq kublar) yigʻindisiga teng: Juft mukammal sonlar (bundan mustasno 6) quyidagi shaklga ega: har bir natijada uchburchak soni , , (mukammal sondan 1 ni ayirish va natijani 9 ga boʻlishdan keyin) 3 yoki 5 bilan tugaydi, ketma-ketlik , bilan boshlanadi , T 42 = 903, T 2730 = 3727815, . . . Buni quyidagicha qayta shakllantirish mumkin: har qanday juft mukammal sonning raqamlarini qoʻshish ( 6), keyin olingan sonning raqamlarini qoʻshib, bitta raqam (raqamli ildiz deb ataladi) olinmaguncha bu jarayonni takrorlash har doim raqamni hosil qiladi. 1. Masalan, 8128 ning raqamli ildizi 1 ga teng, chunki 8 + 1 + 2 + 8 = 19, 1 + 9 = 10, va 1 + 0 = 1. Bu barcha mukammal raqamlar bilan ishlaydi 2 "p" −1 (2 "p" − 1) toq tub "p" bilan va aslida 2 "m" −1 (2 "m") koʻrinishdagi barcha sonlar bilan − 1) toq butun son uchun (asosiy boʻlishi shart emas) "m" . Ularning shakli tufayli 2 "p" −1 (2 "p" − 1), har bir juft mukammal son ikkilik shaklda "p" birlikdan keyin ifodalanadi "p" − 1 nollar; masalan, Shunday qilib, har bir juft mukammal son shunday koʻrinishga ega. Har bir juft mukammal son shuningdek amaliy sondir. Toq mukammal sonlar. Turli natijalar olingan boʻlsa-da, toq mukammal raqamlar mavjudligi nomaʼlum. 1496-yilda Jak Lefevr Evklid qoidasi barcha mukammal sonlarni beradi, deb taʼkidladi, bu esa toq mukammal sonlar mavjud emasligini bildiradi. Eyler shunday dedi: „Boʻlmasa … har qanday toq mukammal raqamlar bor — bu eng qiyin savol.“ Yaqinda Karl Pomerans evristik argumentni taqdim etdi, bu haqiqatan ham toq mukammal son mavjud boʻlmasligi kerak. Barcha mukammal raqamlar ham Rudaning garmonik raqamlari boʻlib, 1 dan boshqa hech qanday toq maʼdan garmonik raqamlari yoʻq deb taxmin qilingan. Toq mukammal sonlar haqida isbotlangan koʻpgina xususiyatlar Dekart raqamlariga ham tegishli va Peys Nilsen bu raqamlarni etarli darajada oʻrganish toq mukammal raqamlar mavjud emasligini isbotlashga olib kelishi mumkinligini aytdi. Har qanday toq mukammal "N" soni quyidagi shartlarga javob berishi kerak: