השערת ברטראן

השערת ברטראן (על שם המתמטיקאי הצרפתי ז'וזף ברטראן) טוענת כי לכל מספר טבעי  קיים לפחות מספר ראשוני אחד .

גרסה חלשה יותר לטענה: לכל  קיים לפחות מספר ראשוני אחד .

ברטראן העלה השערה זו לראשונה ב-1845, ואף וידא את תקפותה לכל . למעשה השם "השערה" אינו מתאר נכונה טענה זו, שכן בשנת 1850 הציג המתמטיקאי הרוסי פפנוטי צ'בישב הוכחה מלאה לטענה, ועל כן היא בגדר משפט. לפיכך, היא נקראת לעיתים "משפט ברטראן–צ'בישב" או "משפט צ'בישב". המתמטיקאי ההודי סריניוואסה רמנוג'אן הציג בשנת 1919 הוכחה פשוטה יותר למשפט, הנעזרת בתכונות של פונקציית גמא, ופאול ארדש הציג בשנת 1932 הוכחה פשוטה מזו, הנעזרת בפונקציית צ'בישב ובמקדמים בינומיים.

הוכחה
להלן תובא הוכחתו של פאול ארדש בשינויים קלים. נקדים לה למות אחדות:

למה 1: לכל  מתקיים .
הוכחה:
המקדם הבינומי הזה הוא הגדול מבין 2n המחוברים  (כאשר שני הקצוות נספרים כמחובר אחד) שסכומם הוא ; לכן הוא גדול מהממוצע שלהם. 

למה 2: (נוסחת לז'נדר) יהי  מספר ראשוני. נגדיר . אזי מתקיים . בפרט:
עבור  מתקיים , שכן .
עבור  אי-זוגי מתקיים , ולכן .

למה 3: מכפלת הראשוניים שאינם גדולים מ- אינה גדולה מ-.
הוכחה: נשתמש באינדוקציה שלמה. נגדיר .
עבור  מתקיים  (מכפלה ריקה).
נניח כי הטענה מתקיימת לכל . אזי עבור  מתקיים

נניח כי הטענה מתקיימת לכל . נרשום .
 מחלק את , שכן כל הראשוניים  מופיעים רק במונהו של המקדם הבינומי.

נניח בשלילה כי אין ראשוניים .
מספר הראשוניים שאינם גדולים מ- מקיים , שכן המספר 1 אינו ראשוני ואינו פריק. עבור  מתקיים . לכן

קבלנו את האי-שוויון  השקול לאי-שוויון  כאשר . אך אי-שוויון זה מתהפך עבור . סתירה.

עבור  די להראות כי הקטע הפתוח  מכיל לפחות אחד מן הראשוניים  (אשר כל אחד מהם קטן מפעמיים קודמו).

נימוק היוריסטי
ממשפט המספרים הראשוניים נובעת טענה חזקה בהרבה: לכל , אם  גדול מספיק אז יש ראשוניים בקטע . הסיבה לכך היא שלפי המשפט, מספר הראשוניים שאינם גדולים מ- הוא בקירוב  – כאשר  פונקציית הלוגריתם הטבעי ו- פונקציית מספר הראשוניים שאינם גדולים מ-.

המשפט מאפשר לחשב בקירוב את מספר הראשוניים בקטע. נקבל:

כאשר  שואף לאינסוף, ההפרש – מספר הראשוניים בקטע – שואף לאינסוף.

קישורים חיצוניים

הערות שוליים


ברטראן
קטגוריה:מספרים ראשוניים
קטגוריה:סריניוואסה רמנוג'אן