מספר משוכלל – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
←‏ראו גם: אין קשר
מ ←‏פתיח: קטגוריה
שורה 7:
[[לאונרד אוילר]] הראה שכל מספר משוכלל זוגי מתאים לתבנית שמצא אוקלידס. השאלה האם קיימים אינסוף מספרים משוכללים זוגיים, או לחלופין האם קיימים אינסוף מספרי מרסן ראשוניים, עודנה פתוחה.
 
באשר למספרים משוכללים אי-זוגיים, לא ידוע האם קיים ולו אחד כזה. שאלת קיומם היא כנראה הבעיה המתמטית הפתוחה העתיקה ביותר שטרם הוכרעה. בשנת 1496, הצהיר ז'אק לפבר הצהיר כי התבנית שנתן אוקלידס יוצרת את כל המספרים המשוכללים, ובכך בעצם רימז כי לא קיים מספר משוכלל אי זוגי.
כן ידוע שלמספר משוכלל אי-זוגי (אם קיים) יש לפחות 15001,500 ספרות עשרוניות, לפחות 101 גורמים ראשוניים (כולל כפילויות - גורמים ראשוניים החוזרים כמה פעמים) ולפחות 9 גורמים ראשוניים שונים זה מזה, גורם ראשוני הגדול ביותר, גדול מ-100000000100,000,000, גורם שהוא חזקת ראשוני הגדול מ- <math>\ 10^{12}</math> (ב.י. מושקאט, 1966), גורם ראשוני שני בגודלו, הגדול מ-1000010,000 (P. Hagis Jr., 1980), גורם ראשוני שלישי בגודלו, הגדול מ-100, ומספר מחלקים [[אי זוגי]] .
 
[[אייסטיין אור]] חקר את [[מספר אור|היחס בין מספר המחלקים של n לבין סכום ההפכיים של המחלקים]]; אם n משוכלל, אז היחס הזה שלם. אור שיער שאם n אי-זוגי היחס אינו שלם (חוץ מהמספר 1) (זו הכללה של ההשערה המפורסמת על אי קיומו של משוכלל אי-זוגי){{הערה|http://mathworld.wolfram.com/OresConjecture.html}}.
שורה 28:
מספר משוכלל הוא מספר המקיים את המשוואה <math>\ \sigma(n) = 2n</math> כאשר <math>\ \sigma</math> היא [[פונקציה אריתמטית|פונקציית סכום המחלקים]]. מספרים שעבורם <math>\ \sigma(n) < 2n</math> נקראים [[מספר חסר|מספרים חסרים]], ואלו שעבורם <math>\ \sigma(n) > 2n</math> נקראים [[מספר שופע|מספרים שופעים]].
 
הראשון מחכמי ישראל שמזכיר מספרים משוכללים, הוא הפילוסוף היהודי [[פילון האלכסנדרוני]] שכתב, ביווניתבהתבסס על פילוסופיה יוונית, על מספרים וחשיבותם בסיפור [[בריאת העולם (יהדות)|בריאת העולם]].{{הערה|אלעד פילר, "תאור הבריאה על-ידי פילון לאור תורת המספרים הניאופיתגוראית", '''[[דעת: כתב-עת לפילוסופיה יהודית וקבלה]]''', תשס"ח, עמ' 5–25.}} לדעתו המספרים המשוכללים הם ביטוי לשלמות, משוםומשום כך נברא העולם בשישה ימים. גם רבי [[אברהם בן עזרא]] הזכיר מספרים אלה בפירושו לתורה ({{תנ"ך|שמות|ג|טו|קצר=כן}}), הוא מכנה אותם "מספרים שווים".
 
== ההוכחה של אוקלידס ==