קוד:הגדרת חלוקת פולינומים

\begin{definition}

פולינום $g\left(x\right)$ \textbf{מחלק} את הפולינום $f\left(x\right)$, אם קיים פולינום $h\left(x\right)$ שעבורו $f=gh$ בשוויון פולינומים. מסמנים $g|f$.

במשפט הקודם הוכחנו שאם $\alpha$ שורש של $f$, אזי $x-\alpha$ מחלק את הפולינום $f$.

\end{definition}