חוק רופיני
במתמטיקה, חוק רוּפִינִי הוא שיטה לחישוב החלוקה האוקלידית של פולינום בבינום שצורתו x – r . השיטה הומצאה על ידי פַּאוּלוֹ רוּפִינִי, שהשתתף בתחרות שארגנה החברה המדעית האיטלקית. האתגר היה לתכנן שיטה כדי למצוא את השורשים של כל פולינום. התקבלו חמש הגשות. בשנת 1804 זכה רופיני במקום הראשון ושיטתו פורסמה. מאוחר יותר הוא פרסם חידודים של עבודתו ב-1807 ושוב ב-1813.[1] החוק הוא מקרה מיוחד של תבנית:קישור שפה שבו המחלק הוא גורם ליניארי.
אלגוריתם
החוק קובע שיטה לחלוקת הפולינום:
בבינום:
כדי לקבל את פולינום המנה:
האלגוריתם הוא למעשה החלוקה הארוכה של ב-.
כדי לחלק את ב-:
- קח את המקדמים של ורשום אותם לפי הסדר. לאחר מכן, כתוב r בקצה השמאלי התחתון ממש מעל השורה:
- העבר את המקדם השמאלי ביותר (an) לתחתית ממש מתחת לקו.
- הכפל את המספר הימני ביותר מתחת לשורה ב-r, וכתוב אותו מעל השורה ומיקום אחד מימין.
- הוסף את שני הערכים שהוצבו זה עתה באותה עמודה.
- חזור על שלבים 3 ו-4 עד שלא נשארו מספרים.
ערכי b הם המקדמים של פולינום התוצאה (), שמעלתו קטנה באחד מזו של . הערך הסופי שהתקבל, s, הוא השארית. משפט שארית הפולינום קובע שהשארית שווה ל- , ערכו של הפולינום ב-r .
דוגמה
הנה דוגמה לחלוקה פולינומית כמתואר לעיל.
נתון:
יחולק ב- באמצעות חוק רופיני. הבעיה העיקרית היא ש- אינו בינום בצורת x − r, אלא x + r .
חייב להיכתב מחדש בצורה:
כעת האלגוריתם מיושם:
- רשום את המקדמים ו-r. שים לב שכיוון ש- לא הכיל מקדם עבור x, נכתָב 0:
2. העבירו את המקדם הראשון למטה:
3. הכפל את הערך האחרון שהתקבל ב-r:
4. הוסף את הערכים:
5. חזור על שלבים 3 ו-4 עד שתסיים:
לכן, אם מספר מקורי = מחלק × מנה + שארית, אז:
- , איפה ש...
- ו...
יישום לפירוק פולינום
ניתן להשתמש בחוק רופיני כאשר צריך את המנה של פולינום תבנית:Mvar על ידי בינום של הצורה (כאשר צריך רק את השארית, משפט השאריות הפולינומי מספק שיטה פשוטה יותר.)
דוגמה טיפוסית, שבה צריך את המנה, היא הפירוק לגורמים של פולינום שעבורו יודעים שורש תבנית:Mvar :
שארית החלוקה האוקלידית של לפי תבנית:Mvar הוא תבנית:נוסחה, וכן, אם המנה היא החלוקה האוקלידית כתובה כ:
זה נותן פירוק (אולי חלקי) של שניתן לחשב עם חוק רופיני. לאחר מכן, ניתן לפרק את עוד יותר על ידי פירוק של
המשפט היסודי של האלגברה קובע שלכל פולינום בעל מעלה חיובית יש לפחות שורש מרוכב אחד. התהליך שלמעלה מראה שהמשפט היסודי של האלגברה מרמז שכל פולינום תבנית:נוסחה ניתן לפרק לגורמים כ:
כאשר הם מספרים מרוכבים.