משפט וילסון

משפט וילסון הוא משפט בתורת המספרים, הקובע שאם p מספר ראשוני, אז p מחלק את  (ראו עצרת למשמעות הסימון "!"). המשפט נקרא על-שם ג'ון וילסון, אף על פי שלגראנז' היה הראשון להוכיח את המשפט, בשנת 1773. 

הכיוון ההפוך למשפט נכון גם הוא, משום שאם p שונה מ-4 ואינו ראשוני אז הוא מחלק את .

היסטוריה 

הראשון שגילה את המשפט היה ככל הנראה המתמטיקאי ההודי Bhāskara I, מאוחר יותר המשפט הוסבר על ידי המדען הערבי איבן אל-היית'ם שחי בתקופת ימי הביניים, בערך בשנת 1000 לספירה. המשפט קרוי על שמו של וילסון, מתמטיקאי אנגלי וסטודנט של אדוארד וארינג, שהזכיר את המשפט במאה ה־18. וארינג הכריז על המשפט בשנת 1770 אף על פי שגם הוא וגם וילסון לא יכלו להוכיח אותו, ולגראנז', ב־1773, היה הראשון שסיפק לו הוכחה. ישנן ראיות שלייבניץ היה מודע לכך כתשעים שנה קודם לכן, אך מעולם לא פרסם זאת.

הוכחה 

נניח ש־p ראשוני. לכל  קיים b יחיד באותו טווח, המקיים  (זהו ההפכי של a בחבורת אוילר ). אם a הפוך לעצמו אז , ולכן המספרים היחידים ההפוכים לעצמם הם 1 ו- p-1. מכאן שבמכפלה , כל המספרים פרט ל-1 ו- p-1 מסודרים בזוגות שמכפלתם מודולו p היא 1, ולכן המכפלה כולה שקולה מודולו p ל־. 

אותה הוכחה מתאימה לתוצאה כללית יותר: מכפלת כל האיברים בחבורה אבלית סופית שווה למכפלת האיברים מסדר 2 בחבורה.

יישומים 

אם p ראשוני אי-זוגי, אז , ולפי משפט וילסון . לכן, אם , הערך  מהווה שורש ריבועי של 1-. (מאידך, אם  אז 1- אינו שארית ריבועית).

המשפט ההפוך 
נוכיח גרסה חזקה של המשפט ההפוך של משפט וילסון. במקרה n=4,  אינו מתחלק ב-4. נראה כי אם  מספר פריק, אז n מחלק את . נבחר מחלק אמיתי של n, . אם a השורש הריבועי של n, אז  (כי ), ומכאן ש-. מכיוון שהן a והן 2a קטנים מ־n הם כלולים במכפלה , ובפרט מכפלה זו מתחלקת במכפלתם , ולכן n מחלק את . אם a אינו שורש של n, אז הוא שונה מ-, ולכן מכפלתם, n, מחלקת את .

הכללה

קרל פרידריך גאוס הוכיח את ההכללה הבאה למשפט: לכל m>2,

כש-p הוא ראשוני אי-זוגי, ו- הוא שלם חיובי. משפט וילסון מתקבל כאשר m ראשוני.

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

ראו גם  
 הלמה של גאוס

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

וילסון
מספרים ראשוניים
מבחני ראשוניות