חוק רופיני

במתמטיקה, חוק רוּפִינִי הוא שיטה לחישוב החלוקה האוקלידית של פולינום בבינום שצורתו x – r . השיטה הומצאה על ידי פַּאוּלוֹ רוּפִינִי, שהשתתף בתחרות שארגנה החברה המדעית האיטלקית. האתגר היה לתכנן שיטה כדי למצוא את השורשים של כל פולינום. התקבלו חמש הגשות. בשנת 1804 זכה רופיני במקום הראשון ושיטתו פורסמה. מאוחר יותר הוא פרסם חידודים של עבודתו ב-1807 ושוב ב-1813.<ref></ref> החוק הוא מקרה מיוחד של שבו המחלק הוא גורם ליניארי.

== אלגוריתם ==
החוק קובע שיטה לחלוקת הפולינום:

: <math>P(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0</math>

בבינום:

: <math>Q(x)=x-r</math>

כדי לקבל את פולינום המנה:

: <math>R(x)=b_{n-1}x^{n-1}+b_{n-2}x^{n-2}+\cdots+b_1x+b_0.</math>

האלגוריתם הוא למעשה החלוקה הארוכה של <math>P(x)</math> ב-<math>Q(x)</math>.

כדי לחלק את <math>P(x)</math> ב-<math>Q(x)</math>:

# קח את המקדמים של <math>P(x)</math> ורשום אותם לפי הסדר. לאחר מכן, כתוב r בקצה השמאלי התחתון ממש מעל השורה:
#: <math>
\begin{array}{c|c c c c|c}
 & a_n & a_{n-1} & \dots & a_1 & a_0\\
r & & & & & \\
\hline
 & & & & & \\
\end{array}
</math>
# העבר את המקדם השמאלי ביותר (a<sub>n</sub>) לתחתית ממש מתחת לקו.
#: <math>
\begin{array}{c|c c c c|c}
 & a_n & a_{n-1} & \dots & a_1 & a_0\\
r & & & & & \\
\hline
 & a_n & & & & \\
 & =b_{n-1} & & & &
\end{array}
</math>
# הכפל את המספר הימני ביותר מתחת לשורה ב-r, וכתוב אותו מעל השורה ומיקום אחד מימין.
#: <math>
\begin{array}{c|c c c c|c}
 & a_n & a_{n-1} & \dots & a_1 & a_0\\
r & & b_{n-1} \cdot r & & & \\
\hline
 & a_n & & & & \\
 & =b_{n-1} & & & &
\end{array}
</math>
# הוסף את שני הערכים שהוצבו זה עתה באותה עמודה.
#: <math>
\begin{array}{c|c c c c|c}
 & a_n & a_{n-1} & \dots & a_1 & a_0\\
r & & b_{n-1}\cdot r & & & \\
\hline
 & a_n & b_{n-1}\cdot r+a_{n-1} & & & \\
 & =b_{n-1} & =b_{n-2} & & &
\end{array}
</math>
# חזור על שלבים 3 ו-4 עד שלא נשארו מספרים.
#: <math>
\begin{array}{c|c c c c|c}
 & a_n & a_{n-1} & \dots & a_1 & a_0 \\
r & & b_{n-1}\cdot r & \dots & b_1\cdot r & b_0 \cdot r \\
\hline
 & a_n & b_{n-1} \cdot r+a_{n-1} & \dots & b_1 \cdot r+a_1 & a_0+b_0 \cdot r \\
 & =b_{n-1} & =b_{n-2} & \dots & =b_0 & =s \\
\end{array}
</math>

ערכי b הם המקדמים של פולינום התוצאה (<math>R(x)</math>), שמעלתו קטנה באחד מזו של <math>P(x)</math>. הערך הסופי שהתקבל, s, הוא השארית. משפט שארית הפולינום קובע שהשארית שווה ל- <math>P(r)</math>, ערכו של הפולינום ב-r .

== דוגמה ==
הנה דוגמה לחלוקה פולינומית כמתואר לעיל.

נתון:

: <math>P(x)=2x^3+3x^2-4\,\!</math>
: <math>Q(x)=x+1.\,\!</math>

<math>P(x)</math> יחולק ב-<math>Q(x)</math> באמצעות חוק רופיני. הבעיה העיקרית היא ש-<math>Q(x)</math> אינו בינום בצורת x − r, אלא x + r .

<math>Q(x)</math> חייב להיכתב מחדש בצורה:

: <math>Q(x)=x+1=x-(-1).\,\!</math>

כעת האלגוריתם מיושם:

# רשום את המקדמים ו-r. שים לב שכיוון ש-<math>P(x)</math> לא הכיל מקדם עבור x, נכתָב 0:

<math>
\begin{array}{c|c c c c|c}
& 2 & 3 & 0 & & -4\\
 \\
-1\\
\hline
\\
\\
\end{array}
</math>

2. העבירו את המקדם הראשון למטה:

<math>
\begin{array}{c|c c c c|c}
& 2 & 3 & 0 & & -4\\
\\
-1\\
\hline
& 2\\
\\
\end{array}
</math>

3. הכפל את הערך האחרון שהתקבל ב-r:

<math>
\begin{array}{c|c c c c|c}
& 2 & 3 & 0 & & -4\\
 \\
-1 & & -2\\
\hline
& 2\\
\\
\end{array}
</math>

4. הוסף את הערכים:

<math>
\begin{array}{c|c c c c|c}
& 2 & 3 & 0 & & -4\\
 \\
-1 & & -2\\
\hline
& 2 & 1\\
\\
\end{array}
</math>

5. חזור על שלבים 3 ו-4 עד שתסיים:

<math>
\begin{array}{c|c c c c|c}
& 2 & 3 & 0 & & -4\\
 \\
-1 & & -2 & -1 & & 1\\
\hline
& 2 & 1 & -1 & & -3\\
& [result & coefficients] & & & [remainder]\\
\end{array}
</math>

לכן, אם מספר מקורי = מחלק × מנה + שארית, אז:

: <math>P(x)=Q(x)R(x)+s\,\!</math>, איפה ש...

: <math>R(x) = 2x^2+x-1\,\!</math> ו...
: <math>s=-3; \quad \Rightarrow 2x^3+3x^2-4 = (2x^2+x-1)(x+1) - 3\!</math>

== יישום לפירוק פולינום ==
ניתן להשתמש בחוק רופיני כאשר צריך את המנה של פולינום על ידי בינום של הצורה <math>.x-r</math> (כאשר צריך רק את השארית, משפט השאריות הפולינומי מספק שיטה פשוטה יותר.)

דוגמה טיפוסית, שבה צריך את המנה, היא הפירוק לגורמים של פולינום <math>p(x)</math> שעבורו יודעים שורש :

שארית החלוקה האוקלידית של <math>p(x)</math> לפי הוא , וכן, אם המנה היא <math>,q(x)</math> החלוקה האוקלידית כתובה כ:

: <math>p(x)=q(x)\,(x-r).</math>

זה נותן פירוק (אולי חלקי) של <math>,p(x)</math> שניתן לחשב עם חוק רופיני. לאחר מכן, ניתן לפרק את <math>p(x)</math> עוד יותר על ידי פירוק של <math>.q(x)</math>

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

: <math>p(x)=a_n(x-r_1)\cdots(x-r_n),</math>

כאשר <math>r_1,\ldots,r_n</math> הם מספרים מרוכבים.

== ראו גם ==
* השיטה של ליל (Lill's method)
* השיטה של הורנר (Horner's method)

== קישורים חיצוניים ==

* 

== הערות שוליים ==

קטגוריה:חילוק
קטגוריה:שיטות למציאת שורשים של פונקציות
קטגוריה:פולינומים