פתרון באמצעות רדיקלים

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

למשל, פתרון המשוואה הריבועית $\ ax^{2}+bx+c=0$ שהוא ${\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}$ הוא פתרון באמצעות רדיקלים.

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

מקור השם פתרון באמצעות רדיקלים הוא מהמילה הלטינית Radix שפירושה שורש, המושג אומץ באנגלית (שורש באנגלית הוא root, אבל לפעמים לפעולת השורש ניתן לקרוא radical).

פתרון באמצעות רדיקלים ותורת גלואה

לפתרון משוואות פולינומיות באמצעות רדיקלים יש מינוח מקביל בתורת גלואה.

תהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle E/F} הרחבת שדות. נאמר שהיא שורשית אם קיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \in E} כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle E=F[a]} וכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a^n \in F} . נאמר שההרחבה בעלת מגדל שורשים אם קיים מגדל שדות $F=F_{0}\subset F_{1}\subset ...\subset F_{n}=E$ כך שכל הרחבה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F_{i+1}/F_i} היא שורשית.

נאמר שפולינום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f \in F[x]} הוא פתיר באמצעות רדיקלים אם קיים לו שורש כך ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle E=F[a]} בעל מגדל שורשים.

המשפט המרכזי בנושא הוא:

משפט: פולינום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle f} הוא פתיר לפי רדיקלים אם ורק אם חבורת גלואה של שדה הפיצול שלו פתירה.

בפרט, עבור מספר בר בנייה, נקבל:

משפט: איבר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a} הוא בר בנייה אם ורק אם שדה הפיצול של הפולינום המינימלי שלו בעל מגדל ריבועים (כלומר, מגדל שורשים עם הרחבות מסדר 2 כל פעם), אם ורק אם חבורת גלואה שלו היא חבורת-2 (חבורה מסדר חזקת 2).

בפרט, נקבל כי ניתן לבנות מצולע משוכלל עם $n$ צלעות אם ורק אם ניתן לבנות את שורש היחידה ה-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} , אם ורק אם (לפי המשפט) הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \phi(n)} חזקת 2, כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \phi} פונקציית אוילר.

כעת, ניתן להציג את הפתרון לבעיית פתרון באמצעות רדיקלים לפולינום ממעלה כללית - עבור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n \le 4} חבורת גלואה היא תת-חבורה של החבורה הסימטרית מסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 4} , שהיא (וכל תת-חבורותיה) פתירות. לכן כל פולינום ממעלה 4 ומטה פתיר על ידי רדיקלים.

מאידך, לכל מעלה לפחות 5, ניתן תמיד למצוא פולינום עם חבורת גלואה $S_{n}$, ולכן היא לא תהיה פתירה על ידי רדיקלים. בפועל, אפשר למשל לקחת את הפולינום -הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^n-pqx+p} , עבור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n,p,q} ראשוניים. זהו פולינום אי פריק לפי קריטריון אייזנשטיין. יש לו שתי נקודות קיצון, ולכן אם בוחרים נכון את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p,q} נקבל כי יהיו לו בדיוק 3 שורשים ממשיים, ולכן 2 מרוכבים, ולכן יהיו בחבורת גלואה חילוף; היות שיש בה גם מחזור מסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} (שכן הפולינום אי פריק, ולכן המעלה מחלקת את סדר החבורה), נקבל סה"כ כי בחבורה יש מחזור וחילוף - ולכן היא כל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_n} .

לקריאה נוספת

• Algebra: Groups, Rings, and Fields, Louis Rowen, 207-217

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

פתרון באמצעות רדיקלים22370875Q55654697