K में गुणांकों वाला बहुपद एक औपचारिक योग है
P=a0+a1X+a2X2+⋯+anXn=k∑akXk,
जहाँ किसी सूचकांक से आगे सभी ak∈K शून्य हैं। स्वाभाविक योग और गुणनफल
(i∑aiXi)(j∑bjXj)=k∑(i+j=k∑aibj)Xk,
के साथ समुच्चय K[X] क्रमविनिमेय वलय है। P=0 की घात degP वह बृहत्तम n है जिसके लिए an=0; an अग्र गुणांक है (an=1 होने पर P इकाई-अग्र कहलाता है), और परिपाटी से deg0=−∞। प्रत्येक बहुपद प्रतिस्थापन द्वारा K पर एक फलन x↦P(x) परिभाषित करता है।
उदाहरण
उदाहरण 8.4
A=X4+X3−2X+1 को B=X2+1 से भाग दीजिए:
X4+X3−2X+1=(X2+1)(X2+X−1)+(−3X+2).
(संगणना: पहले X2B घटाइए, फिर XB, फिर −B; शेषफल −3X+2 की घात 1<2 है।)
उदाहरण 8.9 (सहायक-बहुपद वाली युक्ति)
मान लीजिए P घात ≤n का वह बहुपद है जिसके लिए
P(k)=k+1k(k=0,1,…,n);
वह विद्यमान और अद्वितीय है, जैसा नीचे लाग्रांज अंतर्वेशन से मिलता है। P(n+1) क्या है? हर हटाइए: बहुपद Q=(X+1)P−X की घात ≤n+1 है और वह n+1 बिंदुओं 0,1,…,n पर लुप्त होता है, अतः प्रमेय 8.7 से
Q=cX(X−1)(X−2)⋯(X−n)
किसी अचर c के लिए। वहाँ मान लीजिए जहाँ Q स्वतंत्र रूप से ज्ञात हो: X=−1 पर Q(−1)=0⋅P(−1)+1=1, जबकि गुणनफल (−1)(−2)⋯(−1−n)=(−1)n+1(n+1)! के बराबर है; अतः c=(n+1)!(−1)n+1। अब X=n+1 पर मान लीजिए:
(n+2)P(n+1)−(n+1)=Q(n+1)=c(n+1)!=(−1)n+1,
अतः P(n+1)=n+2(n+1)+(−1)n+1: विषम n के लिए वह 1 के बराबर है, और सम n के लिए n+2n के — अर्थात् अंतर्वेशी बहुपद प्रतिरूप n+2n+1 को आगे नहीं बढ़ाता। स्मरण रखने योग्य युक्ति: आँकड़ों को किसी सहायक बहुपद के मूलों के रूप में कूटित कीजिए, अज्ञात अचर की पहचान आँकड़ों से बाहर किसी बिंदु पर कीजिए, और फल काटिए।
उदाहरण 8.13 (महत्तम समापवर्तक से बहु मूल पकड़ना)
जब कोई मूल ज्ञात न हो, तब भी प्रतिज्ञप्ति 8.11 एक समग्र बहु-मूल संसूचक देता है: a P का बहु मूल है तभी जब वह P और P′ का उभयनिष्ठ मूल हो, अतः P का (किसी C में) बहु मूल है तभी जब gcd(P,P′)=1 — और यह यूक्लिडीय कलनविधि से, बिना कुछ हल किए, संगणनीय है। नमूना: P=X3−3X+2, P′=3X2−3=3(X−1)(X+1)। P के भीतर P′ के मूल ±1 जाँचिए: P(1)=0, पर P(−1)=4, अतः
gcd(P,P′)=X−1:
मूल 1 बहु है; दो बार भाग देने पर P=(X−1)2(X+2)। महत्तम समापवर्तक तो बहु मूलों का पूरा समुच्चय बता देता है, प्रत्येक की बहुलता एक कम करके — यही तथ्य हर संगणक-बीजगणित प्रणाली किसी भी मूल-खोज से पहले “वर्ग-मुक्त गुणनखंडन” के लिए प्रयोग करती है, और यह अभ्यास 8.9 के बहु-मूल-रहित तर्कों का बहुपदीय जुड़वाँ है।