משפט וילסון

משפט וילסון הוא משפט בתורת המספרים, הקובע שאם מספר ראשוני, אז הוא מחלק את (ראו עצרת למשמעות הסימון "!").

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

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

היסטוריה

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

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

הוכחה

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

אם הפוך לעצמו אז , ולכן המספרים היחידים ההפוכים לעצמם הם .

מכאן שבמכפלה כל המספרים פרט ל־ מסודרים בזוגות שמכפלתם מודולו היא 1, ולכן המכפלה כולה שקולה מודולו ל־1-.

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

יישומים

אם ראשוני אי־זוגי, אז

ולפי משפט וילסון .

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

המשפט ההפוך

נוכיח גרסה חזקה של המשפט ההפוך של משפט וילסון.

במקרה , אינו מתחלק ב־4. נראה כי אם מספר פריק, אז מחלק את .

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

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

אם אינו שורש של , אז הוא שונה מ־ , ולכן מכפלתם מחלקת את .

הכללה

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

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

המכפלה האחרונה היא למעשה מכפלת האברים בחבורת אוילר .

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

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

ראו גם

הערך באדיבות ויקיפדיה העברית, קרדיט,
רישיון cc-by-sa 3.0
This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.