באלגברה, חלוקת פולינומים או חלוקת פולינומים עם שארית או חלוקה אוקלידית, היא אלגוריתם לחלוקת פולינום בפולינום אחר שדרגתו[1] קטנה מזו של המחולק או שווה לשלו. למעשה, אלגוריתם זה מהווה הכללה לאלגוריתם החילוק הארוך באריתמטיקה. בדומה לחילוק האריתמטי, גם חילוק פולינומים מפרק בעיה מתמטית, העשויה להיות מסובכת, לתתי-בעיות פשוטות יותר, ולכן, הוא פשוט ונוח לשימוש באופן יחסי. זאת ועוד, קיימות גם שיטות המקצרות את תהליך חלוקה זה, כדוגמת חלוקה סינתטית[2].
האלגוריתם מיישם הלכה למעשה את תכונת הפולינומים הבאה. בהינתן
(מחולק) ו-
(מחלק) כך ש-
ובניסוח מדויק,
, ניתן לבטא את
כ-
עבור
פולינום שיקרא המנה ועבור
פולינום שיקרא שארית החלוקה, כך שדרגת השארית
קטנה (ממש) מדרגת המחלק
, כלומר
.
התוצאה
תופיע אם ורק אם
הוא גורם של
, כלומר, ניתן לרשום את
כמכפלה של הפולינום
בפולינום אחר. בנוסף, על פי המשפט הקטן של בזו, אם
הוא שורש של
, דהיינו
, אזי
הוא גורם של
. לכן, נעשה שימוש נרחב בחלוקת פולינומים הן על מנת לפרק את הפולינום לגורמים והן על מנת לפשט את הליך מציאת השורשים הנוספים שלו, אם אחד מהם כבר ידוע[3].
נמצא את מנת החלוקה ואת השארית שלה עבור חלוקת הפולינום
(המחולק) בפולינום
(המחלק).
תחילה, נכתוב מחדש את המחולק באופן הבא:
.
כעת, נבצע את התהליך דלהלן:
נחלק את האיבר הראשון של
באיבר הראשון של
, דהיינו, את האיבר בעל החזקה המקסימלית של
באיבר בעל החזקה המקסימלית של
. במקרה זה, מדובר ב-
. את התוצאה, נכתוב מעל לקו האופקי:
![{\displaystyle {\begin{array}{l}{\color {White}x-3)}x^{2}\\{\overline {x^{3}-2x^{2}+0x-4}}\vert {x-3}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58539f67461731f550118934966755a23b59571a)
- נכפול את כל איברי המחלק בתוצאה שקיבלנו זה עתה, ונקבל
. נכתוב את התוצאה תחת האיברים הראשונים של המחולק:
![{\displaystyle {\begin{array}{l}{\color {White}x-3)}x^{2}\\{\overline {x^{3}-2x^{2}+0x-4}}\vert {x-3}\\{\color {White}}x^{3}-3x^{2}\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aea5aaf1704096603bb0b98b85aa5ba73d362b8e)
- נחסר את התוצאה שרשמנו מהאיברים שמעליה ומיד לאחר מכן, נעתיק מטה את האיבר הראשון מימין לאיברי המחלק שביצענו עליהן כעת פעולה.
![{\displaystyle {\begin{array}{l}{\color {White}x-3)}x^{2}\\{\overline {x^{3}-2x^{2}+0x-4}}\vert {x-3}\\{\color {White}}{\underline {x^{3}-3x^{2}}}\\{\color {White}0x^{3}}+{\color {White}}x^{2}+0x\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44b79ee919823b3a80b85092db8fbf373018cf18)
- נבצע כעת שוב את אותה סדרת פעולות עבור הפולינום החדש שהתקבל מההפרש ומהוספת האיבר הנוסף.
![{\displaystyle {\begin{array}{r}x^{2}+x{\color {White}^{3}-2x^{2}+0}\\{\overline {x^{3}-2x^{2}+0x-4}}\vert {x-3}\\{\underline {x^{3}-3x^{2}{\color {White}-2x^{2}+0x-4}}}\\+x^{2}+0x{\color {White}{}^{2}+0x-4}\\{\underline {+x^{2}-3x{\color {White}{}^{2}+0x-4}}}\\{\underline {+3x-4{\color {White}{}0x-4}}}\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a92a58053cc66879c2bd488dc99fc9037550dad8)
- כעת, לא ניתן להעתיק מטה אף איבר. נסיים את התהליך.
![{\displaystyle {\begin{array}{r}x^{2}+{}x+3{\color {White}^{3}-2x^{2}}\\{\overline {x^{3}-2x^{2}+0x-4}}\vert {x-3}\\{\underline {x^{3}-3x^{2}{\color {White}x^{3}-2x^{2}+0x-}}}\\+x^{2}+0x{\color {White}{}x^{3}-2x^{2}+}\\{\underline {+x^{2}-3x{\color {White}{}x^{3}-2x^{2}+}}}\\{+3x-4{\color {White}{}0x-4}}\\{\underline {+3x-9{\color {White}{}0x-4}}}\\+5{\color {White}{}0x-4}\\\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b9c61d5f0c1032b1c41af9b7aafe744574ccdf4)
הפולינום שהתקבל מעל לקו האופקי הוא המנה
והפולינום, במקרה זה ממעלה 0[4], שנותר אחרי הפעולה האחרונה, הוא השארית
. לכן, קיבלנו כי
.
בהינתן פולינום, לעיתים, שורש אחד או יותר שלו כבר ידועים אך ייתכן כי קיימים לו כאלו נוספים. אם ידוע כי
הוא שורש של פולינום
- פולינום ממעלה
, כלומר מתקיים כי
, ניתן לחלק את
ב-
ומהמשפט הקטן של בזו נובע כי שארית החלוקה היא 0. לכן, נקבל במקרה זה כי
עבור
, כלומר דרגת המנה היא
. בחלק מהמקרים, הפולינום
הוא כזה שקל יותר למצוא את שורשיו. מאחר שכל שורש שלו הוא גם שורש של
, הרי שבכך יועל תהליך מציאת השורשים של הפולינום המקורי.
באופן דומה, אם ידועים יותר משורש אחד של הפולינום, לדוגמה, ידוע כי
שורשים שלו, ניתן לחלק את הפולינום ב-
ולקבל
. כעת, ניתן לחלק את
ב-
ולקבל כי
כך שדרגתו של
קטנה מהדרגה של
. לכן,
. כעת, ניתן להמשיך את התהליך, עד שבסופו של דבר יתקבל כי
כך שדרגת
קטנה מ-
.
ניתן להשתמש בחלוקת פולינומים גם למציאת משוואת הישר המשיק לנקודה הנמצאת על גרף של פונקציה פולינומית. בהינתן פונקציה
ונקודה
, משוואת המשיק לגרף בנקודה
תהיה שארית החלוקה של
ב-
.
נמצא את משוואת הישר המשיק לפונקציה
בנקודה
.
- נחלק את הפולינום ב-
:
![{\displaystyle {\begin{array}{r}x-10\\x^{2}-2x+1{\overline {)x^{3}-12x^{2}+0x-42}}\\{\underline {x^{3}-{\color {White}0}2x^{2}+{\color {White}1}x}}{\color {White}{}-42}\\-10x^{2}-{\color {White}01}x-42\\{\underline {-10x^{2}+20x-10}}\\-21x-32\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cffb56cab70e55c64be3d8db72b77aeffd9faec)
לכן, משוואת המשיק המבוקשת היא
.
בבדיקת יתירות מחזורית משתמשים בשארית החלוקה של פולינומים עבור ניטור שגיאות בהעברת מסרים.