פולינום
מתוך ויקיפדיה, האנציקלופדיה החופשית
פולינום (מילולית: רב-איבר) הוא ביטוי מהצורה שבו המקדמים הם איברי חוג או שדה. למשל, 'פולינום ממשי' הוא פולינום שבו המקדמים הם מספרים ממשיים. יש לשים לב כי המונח "פולינום ממשי" מגביל רק את מקדמי הפולינום. אין הנחה נוספת לגבי הערכים שניתן להציב במשתנה X. זאת כיוון שהפולינום הינו אובייקט מתמטי פורמלי, ולא בהכרח פונקציה.
ה- הגבוה ביותר שעבורו , כלומר החזקה הגבוהה ביותר המופיעה בפולינום, הוא המעלה של הפולינום. המקדם נקרא המקדם המוביל של הפולינום. אם המקדם המוביל שווה ל- 1, אז הפולינום נקרא פולינום מתוקן.
אם מקדמי הפולינום שייכים לשדה , אז הוא מגדיר פונקציה פולינומית באמצעות הצבה: . פונקציה מהצורה , כאשר הם פולינומים, נקראת פונקציה רציונלית.
תוכן עניינים |
[עריכה] שורש של פולינום
שורש או אפס של הפולינום הוא ערך שעבורו מתקיים . קביעת השורשים של פולינום הוא מהבעיות העתיקות ביותר במתמטיקה.
משוואה ממעלה ראשונה, כלומר משוואה מהצורה ידועה בשם משוואה לינארית, וגורם מהצורה נקרא גורם לינארי.
משוואה ממעלה שנייה, כלומר משוואה מהצורה ידועה בשם משוואה ריבועית.
שיטה לפתרון משוואה ריבועית הייתה ידועה ליוונים הקדמונים, ואף קודם לכן לבבלים. רק במאה ה-16 נמצאה שיטה לפתרון כללי של פולינום ממעלה שלישית ורביעית: בשנת 1545 פרסם קארדאנו ספר שבו יחס את השיטה לפתרון משוואה ממעלה שלישית לטרטליה, ואת השיטה לפתרון משוואה ממעלה רביעית יחס לתלמידו (של קארדאנו), לודוביקו פרארי. בתחילת המאה ה-19 הוכיח נילס הנריק אבל שאין פתרון כללי לפולינום שמעלתו גדולה מ-4.
למשוואות מסוימות, כגון המשוואה , אין פתרון במספרים ממשיים, אך יש לה פתרון במספרים מרוכבים. בהתאם למשפט היסודי של האלגברה לכל פולינום ממעלה יש בדיוק פתרונות (לאו דווקא שונים) בשדה המספרים המרוכבים.
כאשר המקדמים של הפולינום הם מספרים רציונליים, הפתרון נקרא מספר אלגברי. מספר טרנסצנדנטי הוא כזה שאינו פתרון של אף משוואה מהצורה הזו.
[עריכה] משוואות ממעלה נמוכה
באמצעות השלמה לריבוע קל להראות שהפתרון הכללי של המשוואה הריבועית
הוא
הפתרון המלא למשוואה ממעלה שלישית או רביעית מתואר בערכים המתאימים.
[עריכה] פולינום במקדמים רציונליים
למרות שלא ניתן, באופן כללי, למצוא על ידי נוסחא שורשים של פולינומים ממעלה גדולה מ-4, לעתים ניתן לפשט את הבעיה על ידי שימוש במשפט הבא:
משפט: יהי פולינום שכל מקדמיו שלמים. נניח ש מספר רציונלי שהוא שורש של הפולינום . אזי מתקיים: מחלק את ו- מחלק את .
מסקנה: אם נתון פולינום במקדמים רציונליים, כדאי לנחש בתור שורש מספר רציונלי שמקיים את תנאי המשפט לעיל. יש רק מספר סופי של מספרים כאלה ויש לבדוק את כולם על ידי הצבה. אחרי שמצאנו את כל השורשים מבין המספרים האלה (ייתכן שכולם שורשים וייתכן גם שאף אחד הוא לא שורש) נחלק את הפולינום ב (מכפלת פולינומי היסוד של השורשים שמצאנו) ונקבל פולינום ממעלה נמוכה יותר.
[עריכה] חוג הפולינומים
קבוצת כל הפולינומים האלגבריים מהווה חוג אוקלידי. נדון בקצת מתכונותיהן:
[עריכה] לינאריות
- אם שורש של פולינום (כלומר,) אזי הוא שורש של הפולינום לכל סקלר . כיוון ש -
- אם הוא שורש של הפולינומים , (כלומר, ) אזי הוא גם השורש של סכומם , כיוון ש -
לכן, קבוצת כל הפולינומים ממעלה אשר הינו שורש שלהם מהווים מרחב וקטורי ביחס לפעולות חיבור וכפל בסקלר.
[עריכה] אוקלידיות
נתונים פולינום , כך שמעלת גדולה ממעלת . אזי תמיד אפשר לרשום -
כאשר נקרא פולינום המנה ו- נקרא פולינום השארית ומעלתו קטנה מהמעלה של . חשוב לציין שפולינום המנה ופולינום השארית נקבעים ביחידות. נאמר ש- מתחלק ב- אם ורק אם .
[עריכה] טענה
המספר הוא שורש של הפולינום אם ורק אם מחלק את p.
לעתים ניתן לקבוע אם פולינום שמקדמיו שלמים ניתן לפירוק כמכפלת שני פולינומים בעזרת קריטריון איזנשטיין.