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

\textbf{הגדרה:}

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

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