Xem mã nguồn của Đa thức

{{Short description|Một loại biểu thức toán học}}
{{for|chủ đề cao cấp hơn|vành đa thức}}
Trong [[toán học]], '''đa thức''' là [[Biểu thức (toán học)|biểu thức]] bao gồm các [[biến]] và các [[hệ số]], và chỉ dùng các [[phép cộng]], [[phép trừ]], [[phép nhân]], và lũy thừa với số mũ tự nhiên của các biến. Một ví dụ về đa thức trong biến {{math|''x''}} là {{math|''x''<sup>2</sup> − 4''x'' + 3}}. Ví dụ về đa thức có ba biến là {{math|''x''<sup>2</sup> + 3''xyz''<sup>2</sup> − ''yz'' + 1}}. Các phần tử trong đa thức được gọi là '''hạng tử.''' Trong hai ví dụ trước''',''' {{Math|''x''<sup>2</sup>}} đều là hạng tử của đa thức.

Đa thức xuất hiện trong nhiều lĩnh vực của khoa học và toán học. Ví dụ chẳng hạn, chúng được dùng để lập các [[phương trình đa thức]] cho phép mã hoá rất nhiều bài toán mới, từ những bài toán từ sơ cấp cho đến các bài toán phức tạp trong khoa học; Các đa thức còn được dùng để định nghĩa '''hàm đa thức''' xuất hiện trong nhiều bối cảnh trong khoa học, từ [[hoá học]] và [[vật lý]] cơ bản cho đến [[kinh tế học]] và [[khoa học xã hội]]. Trong toán học cao cấp, các đa thức được dùng để xây [[vành đa thức]] và [[đa tạp đại số]], là các khái niệm trung tâm trong [[đại số]] hiện đại và [[hình học đại số]].

==Ký hiệu và thuật ngữ==
[[File:Polynomialdeg3.svg|[[Đồ thị của hàm số|Đồ thị]] của đa thức bậc ba|thumb]]

Đa thức ''P'' trong biến ''x'' thường được ký hiệu là ''P'' hoặc ''P''(''x'') (chữ cái ''P'' được lấy từ ''polynomial''). Thường thì ta hay dùng ''P'' để ký hiệu cho đa thức, chứ không ''P''(''x''). Song việc dùng [[ký hiệu hàm]] ''P''(''x'') đã có từ thời mà sự phân biệt giữa đa thức và hàm gắn liền vẫn còn chưa rõ. Ký hiệu hàm vẫn được dùng khi muốn nói trong một lời về đa thức và biến của nó. Ví dụ, câu "gọi ''P''(''x'') là đa thức" có thể hiểu ngay là "gọi ''P'' là đa thức trong biến ''x''". Mặt khác, nhiều công thức trở nên dễ nhìn và dễ đọc hơn khi bỏ đi tên các biến trong đa thức.

Ngoài ra, lợi dụng tính tổng quát đằng sau ký hiệu hàm của đa thức, ta có thể dùng ký hiệu ánh xạ cho đa thức.
Nếu ''a'' là một số, hay một biến, hay một đa thức hoặc tổng quát hơn là bất kỳ biểu thức khác thì ''P''(''a'') là kết quả khi thay ''a'' cho ''x'' vào trong ''P''. Do đó đa thức ''P'' định nghĩa hàm số sau:
:<math>a\mapsto P(a),</math>
được gọi là ''hàm đa thức'' gắn với ''P''.
Thường thì khi dùng sử dụng ký hiệu, ta thường coi ''a'' là số. Tuy nhiên, ta có thể dùng nó trên bất cứ miền nào có phép cộng và phép nhân được định nghĩa (tức là trên một [[vành]]). Đặc biệt là, nếu ''a'' là đa thức thì ''P''(''a'') cũng là đa thức.
==Định nghĩa==
''Biểu thức đa thức'' là biểu thức được xây từ các hằng số và các ký hiệu chữ số được gọi là biến và được nối với nhau bằng các [[phép cộng]], [[phép nhân]]. Các biến trong đa thức có thể được mũ lên số nguyên không âm. Hằng số thường là các [[Số|con số]] nói chung, nhưng cũng có thể biểu diễn [[Đối tượng toán học|các đối tượng toán học]] khác cũng có thể nhân và cộng với biến và các hằng số còn lại. Hai biểu thức đa thức được gọi là biểu diễn chung một ''đa thức'' nếu một trong hai cái có thể biến đổi về cái còn lại qua việc sử dụng các tính chất của [[Tính giao hoán|giao hoán]], [[Tính kết hợp|kết hợp]] và [[Tính phân phối|phân phối]] của phép cộng và phép nhân. Lấy ví dụ, <math>(x-1)(x-2)</math> và <math>x^2-3x+2</math> là hai biểu thức đa thức biểu diễn chung một đa thức; do đó ta có đẳng thức sau: <math>(x-1)(x-2)=x^2-3x+2</math>.

Đa thức trong một biến {{math|''x''}} luôn có thể viết (hoặc viết lại) dưới dạng sau
:<math>a_n x^n + a_{n-1}x^{n-1} + \dotsb + a_2 x^2 + a_1 x + a_0,</math>
trong đó <math>a_0, \ldots, a_n</math> là các hằng số được gọi là ''hệ số'' của đa thức, còn <math>x</math> được gọi là [[biến số]] (hay nói gọn là biến).<ref name=":1">{{Chú thích web|last=Weisstein|first=Eric W.|title=Polynomial|url=https://mathworld.wolfram.com/Polynomial.html|access-date=2020-08-28|website=mathworld.wolfram.com|language=en}}</ref> Từ "biến số" có nghĩa là <math>x</math> không biểu diễn không một giá trị cụ thể nào cả, mà thay và đó có thể thay bất kỳ giá trị vào trong đó. Ánh xạ giữa giá trị thay vào và kết quả của đa thức sau khi thay giá trị đó vào được gọi là [[hàm số]], cụ thể hơn là hàm đa thức.

Công thức trên có thể viết gọn lại bằng [[Phép cộng|ký hiệu sigma]]
:<math>\sum_{k=0}^n a_k x^k</math>

Nhìn vào trong đây, một đa thức có thể bằng có thể bằng không hoặc là tổng của hữu hạn số các đơn thức khác không. Mỗi đơn thức là tích của một hằng số, được gọi là [[hệ số]] của đơn thức đó{{efn|The coefficient of a term may be any number from a specified set. If that set is the set of real numbers, we speak of "polynomials over the reals". Other common kinds of polynomials are polynomials with integer coefficients, polynomials with complex coefficients, and polynomials with coefficients that are integers [[modular arithmetic|modulo]] some [[prime number]] {{math|''p''}}.}}{{snd}} và hữu hạn các biến khác, mỗi biến có thể được mũ lên một số nguyên không âm.

==Phân loại==
{{Further|Bậc của đa thức}}
Số mũ của một biến trong phần tử được gọi là bậc của biến đó trong cùng phần tử đó; bậc của một phần tử trong đa thức là tổng các bậc của các biến trong phần tử đó, và bậc của đa thức là bậc lớn nhất của các phần tử có hệ số khác không.<ref name=":2">{{Chú thích web|title=Polynomials {{!}} Brilliant Math & Science Wiki|url=https://brilliant.org/wiki/polynomials/|access-date=2020-08-28|website=brilliant.org|language=en-us}}</ref> Bởi {{math|''x'' {{=}} ''x''<sup>1</sup>}}, bậc của biến không viết số mũ ở trên đầu là một.

{{anchor|đa thức hằng}}
Đơn thức không có biến và đa thức không có biến được gọi tương ứng là [[constant term|phần tử hằng]] và '''đa thức hằng'''.{{efn|This terminology dates from the time when the distinction was not clear between a polynomial and the function that it defines: a constant term and a constant polynomial define [[constant function]]s.{{citation needed|date=July 2020}}}} Bậc của đơn thức hằng và đa thức hằng khác không luôn bằng 0. Bậc của đa thức không, tức 0 (không có đơn thức nào) thường được coi là không có bậc.<ref name=Barbeau-2003-pp1-2>{{harvnb|Barbeau|2003|pp=[https://books.google.com/books?id=CynRMm5qTmQC&pg=PA1 1]–2}}</ref>

Lấy ví dụ:
:<math> -5x^2y </math>

là một đơn thức có hệ số bằng  {{math|−5}} và các biến là {{math|''x''}} và {{math|''y''}}, trong đó bậc của {{math|''x''}} bằng hai, còn bậc của {{math|''y''}} bằng một. Vì bậc của đơn thức là tổng các bậc các biến trong đơn thức đó, nên trong ví dụ này, bậc của đơn thức đó là {{math|2 + 1 {{=}} 3}}.

Tổng của các đơn thức lập thành một đa thức. Ví dụ sau là một đa thức:
:<math>\underbrace{_\,3x^2}_{\begin{smallmatrix}\text{đơn thức}\\\mathrm{1}\end{smallmatrix}} \underbrace{-_\,5x}_{\begin{smallmatrix}\text{đơn thức}\\\mathrm{2}\end{smallmatrix}} \underbrace{+_\,4}_{\begin{smallmatrix}\text{đơn thức}\\\mathrm{3}\end{smallmatrix}}. </math>

Nó có ba đơn thức: đơn thức đầu tiên có bậc hai, đơn thức thứ hai có bậc một, và đơn thức cuối có bậc không.

{{anchor|đa thức tuyến tính}}Có hai đa thức bậc nhỏ có tên riêng của nó. Đa thức bậc không được gọi là ''đa thức hằng'', hay nói gọn đi là ''hằng số''. Đa thức bậc một có tên gọi khác là đa thức tuyến tính.<ref name=":2" /> Tên của đa thức cũng có thể dùng cho đơn thức. Lấy ví dụ,đơn thức {{math|2''x''}} trong {{math|''x''<sup>2</sup> + 2''x'' + 1}} là đơn thức tuyến tính trong đa thức bậc hai.

{{anchor|đa thức không}}Đa thức 0 là đa thức không có đơn thức nào trong đó, được gọi là '''đa thức không'''. Không giống các đa thức khác, bậc của nó không có giá trị cụ thể, mà thay vào đó bậc của nó thường được để không xác định, hoặc được định nghĩa là âm (hoặc là −1 hoặc −∞).<ref>{{MathWorld |urlname=ZeroPolynomial |title=Zero Polynomial}}</ref> Đa thức không cũng là đa thức duy nhất trong một biến có vô số nghiệm. Đồ thị của đa thức không, tức {{math|''f''(''x'') {{=}} 0}}, là trục hoành.

Trong các đa thức có nhiều hơn một đơn thức, một đa thức được gọi là thuần nhất {{nowrap|bậc {{math|''n''}}}} nếu ''tất cả'' các đơn thức của nó đều có {{nowrap|bậc {{math|''n''}}}}. "Đa thức không" là đa thức thuần nhất nhưng không có bậc.{{efn|In fact, as a [[homogeneous function]], it is homogeneous of ''every'' degree.{{citation needed|date=July 2020}}}} Ví dụ, {{math|''x''<sup>3</sup>''y''<sup>2</sup> + 7''x''<sup>2</sup>''y''<sup>3</sup> − 3''x''<sup>5</sup>}} là đa thức thuần nhất bậc 5. Xem thêm [[đa thức thuần nhất]].

[[Luật giao hoán]] của phép cộng được dùng để xếp lại tuỳ ý vị trí các đơn thức trong đa thức. Trong các đa thức một biến, các đơn thức thường được xếp theo thứ tự tăng dần hoặc giảm dần của các bậc. Ví dụ chẳng hạn, đa thức {{math|3''x''<sup>2</sup> - 5''x'' + 4}} được viết theo thứ tự giảm dần của bậc {{math|''x''}}. Đơn thức đầu tiên có hệ số bằng {{math|3}} và số bậc bằng {{math|2}}. Vì bậc của đa thức khác không là bậc lớn nhất và cũng bởi đa thức này đã được viết theo thứ tự giảm dần, nên đa thức này có bậc bằng hai.<ref>{{harvnb|Edwards|1995|p=[https://books.google.com/books?id=ylFR4h5BIDEC&pg=PA78 78]}}</ref>

Nếu trong đa thức có hai hay nhiều đơn thức có các biến giống nhau và được nâng lên cùng số mũ thì chúng có thể gộp lại với nhau thành một đơn thức dưới [[luật phân phối]]. Hệ số của đơn thức đó sẽ là tổng của các đơn thức kia cộng lại. Giá trị của hệ số đó có thể bằng 0.<ref name="Edwards-1995-p47"/> Các đa thức có thể được phân loại bằng số đơn thức khác không của nó, đa thức có một đơn thức được gọi là [[đơn thức]],{{efn|Some authors use "monomial" to mean "[[monic polynomial|monic]] monomial". See {{cite book |first=Anthony W. |last=Knapp |title=Advanced Algebra: Along with a Companion Volume Basic Algebra |page=457 |year=2007 |publisher=Springer |isbn=978-0-8176-4522-9}}}} đa thức có hai đơn thức được gọi là [[nhị thức]], và đa thức có ba đơn thức được gọi là ''tam thức''. Thuật ngữ "tứ thức" rất ít dùng cho đa thức có bốn phần tử.

{{anchor|đa thức thực|đa thức phức|đa thức nguyên}}'''Đa thức thực''' là đa thức có các hệ số là [[số thực]]. Nếu nó dùng để định nghĩa [[hàm số]] nói chung, thì [[tập xác định]] của nó không bị giới hạn. Tuy nhiên, nếu nói rõ là '''hàm đa thức thực,''' thì hàm này là hàm từ tập các số thực sang các số thực được định nghĩa bởi đa thức thực. Tương tự như vậy, '''đa thức nguyên''' là đa thức có hệ số [[Số nguyên|nguyên]], và '''đa thức phức''' là đa thức có hệ số [[Số phức|phức]].

{{anchor|tính đa thức}}[[Tính đa thức]] là thay các giá trị vào các biến của đa thức rồi thực hiện các phép cộng và nhân để tìm ra giá trị của đa thức đó. Đối với các đa thức chỉ có một biến, việc tính toán thường hiệu quả hơn (tức ít số lần phải tính toán hơn) khi dùng [[lược đồ Horner]]:
:<math>(((((a_n x + a_{n-1})x + a_{n-2})x + \dotsb + a_3)x + a_2)x + a_1)x + a_0.</math>

==Số học==
===Phép cộng và phép trừ===
Các đa thức có thể cộng với nhau bằng cách sử dụng [[luật kết hợp]] (để nhóm lại các đơn thức với nhau), và luật giao hoán (để sắp xếp lại các vị trí các đơn thức) của phép cộng rồi gộp chúng lại với nhau.<ref name="Edwards-1995-p47">{{cite book |last=Edwards |first=Harold M. |title=Linear Algebra |publisher=Springer |year=1995 |isbn=978-0-8176-3731-6 |page=47 |url=https://books.google.com/books?id=ylFR4h5BIDEC&pg=PA47}}</ref><ref>{{cite book |last=Salomon |first=David |title=Coding for Data and Computer Communications |publisher=Springer |year=2006 |isbn=978-0-387-23804-3 |page=459 |url=https://books.google.com/books?id=Zr9bjEpXKnIC&pg=PA459}}</ref> Lấy ví dụ, nếu
:<math> P = 3x^2 - 2x + 5xy - 2 </math> và <math> Q = -3x^2 + 3x + 4y^2 + 8</math>
thì tổng
:<math>P + Q = 3x^2 - 2x + 5xy - 2 - 3x^2 + 3x + 4y^2 + 8 </math>
có thể xếp và nhóm lại thành
:<math>P + Q = (3x^2 - 3x^2) +  (- 2x + 3x) + 5xy    + 4y^2 + (8 - 2) </math>
sau đó rút gọn đi được
:<math>P + Q = x + 5xy + 4y^2 + 6.</math>
Tổng của các đa thức luôn là một đa thức.<ref name=":0">{{Cite book|url=https://books.google.com/books?id=PagNAQAAIAAJ&q=the+addition+of+polynomials+is+an+operation+that+takes+any+two+polynomials+and+produce+always+another+polynomial,|title=Introduction to Algebra|date=1965|publisher=Yale University Press|pages=621|language=en|quote=Any two such polynomials can be added, subtracted, or multiplied. Furthermore , the result in each case is another polynomial}}</ref>

Trừ của đa thức cũng tương tự như vậy.

===Phép nhân===
Các đa thức có thể nhân được với nhau.  Để tính của tích của hai đa thức, ta có thể dùng [[tính phân phối]] để nhân từng đơn thức của đa thức này với từng đơn thức của đa thức kia rồi cộng chúng lại cho nhau.<ref name="Edwards-1995-p47"/> Ví dụ, nếu
:<math>\begin{align}
 \color{Red} P &\color{Red}{= 2x + 3y + 5} \\
 \color{Blue} Q &\color{Blue}{= 2x + 5y + xy + 1}
\end{align}</math>

thì
:<math>\begin{array}{rccrcrcrcr}
{\color{Red}{P}} {\color{Blue}{Q}} & {{=}}&&({\color{Red}{2x}}\cdot{\color{Blue}{2x}})
&+&({\color{Red}{2x}}\cdot{\color{Blue}{5y}})&+&({\color{Red}{2x}}\cdot {\color{Blue}{xy}})&+&({\color{Red}{2x}}\cdot{\color{Blue}{1}})
\\&&+&({\color{Red}{3y}}\cdot{\color{Blue}{2x}})&+&({\color{Red}{3y}}\cdot{\color{Blue}{5y}})&+&({\color{Red}{3y}}\cdot {\color{Blue}{xy}})&+&
({\color{Red}{3y}}\cdot{\color{Blue}{1}})
\\&&+&({\color{Red}{5}}\cdot{\color{Blue}{2x}})&+&({\color{Red}{5}}\cdot{\color{Blue}{5y}})&+&
({\color{Red}{5}}\cdot {\color{Blue}{xy}})&+&({\color{Red}{5}}\cdot{\color{Blue}{1}})
\end{array}</math>

Tính phép nhân trong mỗi đơn thức được
:<math>\begin{array}{rccrcrcrcr}
PQ & = && 4x^2 &+& 10xy &+& 2x^2y &+& 2x \\
&&+& 6xy &+& 15y^2 &+& 3xy^2 &+& 3y \\
&&+& 10x &+& 25y &+& 5xy &+& 5.
\end{array}</math>

Cộng các đơn thức lại với nhau thành
:<math>\begin{array}{rcccrcrcrcr}
PQ & = && 4x^2 &+&( 10xy + 6xy + 5xy ) &+& 2x^2y &+& ( 2x + 10x ) \\
&& + & 15y^2 &+& 3xy^2 &+&( 3y + 25y )&+&5
\end{array}</math>
sau đó rút gọn đi thành
:<math>PQ = 4x^2 + 21xy + 2x^2y + 12x + 15y^2 + 3xy^2 + 28y + 5.</math>
Tích của các đa thức luôn là một đa thức, được minh hoạ bởi ví dụ này.<ref name=Barbeau-2003-pp1-2/><ref name=":0" />

===Phép hợp===
Cho đa thức <math>f</math> có một biến và đa thức {{mvar|g}} có nhiều biến, thì [[Hàm hợp|hợp]] <math>f \circ g</math> thu được bằng cách thay đa thức <math>g </math> vào biến của đa thức <math>f </math>.<ref name=Barbeau-2003-pp1-2/>  Lấy ví dụ, nếu <math>f(x) = x^2 + 2x</math> và <math>g(x) = 3x + 2</math> thì
<math display = "block"> (f\circ g)(x) = f(g(x)) = (3x + 2)^2 + 2(3x + 2).</math>
Phép hợp sau đó có thể tách ra và triển khai thành tổng của các đơn thức.  Hợp của hai đa thức luôn là đa thức.<ref>{{Cite book|last=Kriete|first=Hartje|url=https://books.google.com/books?id=HwqjxJOLLOoC&q=The+composition+of+two+polynomials+is+always+another+polynomial.&pg=PA159|title=Progress in Holomorphic Dynamics|date=1998-05-20|publisher=CRC Press|isbn=978-0-582-32388-9|pages=159|language=en|quote=This class of endomorphisms is closed under composition,}}</ref>
<!--something about the composition where ''f'' has many variables? <ref name=Barbeau-2003-pp1-2/>-->

===Phép chia===

Kết quả của đa thức chia đa thức chưa chắc cũng là đa thức. Thay vì đó kết quả ra được thường là phân thức, được gọi là ''[[rational fraction|phân thức hữu tỉ]]'' hoặc ''biểu thức hữu tỉ.'' Nếu dùng làm định nghĩa của hàm số thì hàm đó được gọi là ''[[hàm phân thức]]''.<ref>{{cite book|last1 = Marecek | first1 = Lynn | last2 = Mathis | first2 = Andrea Honeycutt | title = Intermediate Algebra 2e | date = 6 May 2020 | publisher = [[OpenStax]] <!-- | location = Houston, Texas -->|  url = https://openstax.org/details/books/intermediate-algebra-2e | at = §7.1}}</ref>  Cái này tương tự với phép chia [[integer|số nguyên]] là số hữu tỉ, chứ không phải luôn là số nguyên.<ref>{{Cite book|last1=Haylock|first1=Derek|url=https://books.google.com/books?id=hgAr3maZeQUC&q=division+integers+not+closed&pg=PA49|title=Understanding Mathematics for Young Children: A Guide for Foundation Stage and Lower Primary Teachers|last2=Cockburn|first2=Anne D.|date=2008-10-14|publisher=SAGE|isbn=978-1-4462-0497-9|pages=49|language=en|quote=We find that the set of integers is not closed under this operation of division.}}</ref><ref name="openstax">{{harvnb|Marecek|Mathis|2020|loc=§5.4]}}</ref>  Lấy ví dụ, phân thức {{math|1/(''x''<sup>2</sup> + 1)}} không phải đa thức, và nó không thể viết thành tổng các đơn thức biến {{mvar|x}}.

Đối với các đa thức một biến, ta có thể dùng [[Euclidean division of polynomials|phép chia Euclid của đa thức]], phép chia này là dạng tổng quát của [[phép chia có dư]] của các số nguyên.{{efn|This paragraph assumes that the polynomials have coefficients in a [[field (mathematics)|field]].}}  Phép chia {{math|''a''(''x'')/''b''(''x'')}} sẽ ra hai đa thức, ''thương'' {{math|''q''(''x'')}} và ''phần dư'' {{math|''r''(''x'')}}, sao cho {{math|''a'' {{=}} ''b'' ''q'' + ''r''}} và {{math|degree(''r'') < degree(''b'')}} ({{Math|degree(''f'')}} là bậc của đa thức {{Math|''f''}} ).  Thương và phần dư có thể được tính bằng một số thuật toán, bao gồm [[polynomial long division|chia đa thức lớn]] và [[chia tổng hợp]].<ref>{{cite book |first1=Peter H. |last1=Selby |first2=Steve |last2=Slavin |title=Practical Algebra: A Self-Teaching Guide |url=https://archive.org/details/practicalalgebra00selb_1 |date=1991 |publisher=Wiley |isbn=978-0-471-53012-1 |edition=2nd}}</ref>

Khi mẫu số {{math|''b''(''x'')}} [[Đa thức monic|monic]] và tuyến tính, tức là {{math|1=''b''(''x'') = ''x'' − ''c''}} cho một số hằng số {{mvar|c}}, thì [[định lý phần dư đa thức]] khẳng định rằng phần dư của phép chia {{math|''a''(''x'')}} bởi {{math|''b''(''x'')}} là [[Đa thức#tính|kết quả của]] {{math|''a''(''c'')}}.<ref name = openstax/>  Trong trường hợp này, thương có thể tính theo [[quy tắc Ruffini]], một trường hợp đặc biệt của phép chia.<ref>{{Chú thích web|last=Weisstein|first=Eric W.|title=Ruffini's Rule|url=https://mathworld.wolfram.com/RuffinisRule.html|access-date=2020-07-25|website=mathworld.wolfram.com|language=en}}</ref>

===Phân tích===
Tất cả các đa thức có hệ số nằm trong [[unique factorization domain|miền phân tích duy nhất]] (ví dụ như tập các số nguyên hoặc trên một [[Trường (toán học)|trường]]) đều viết thành tích của các [[đa thức bất khả quy]] và một hằng số. Dạng nhân tử này là duy nhất theo thứ tự của các thừa số và phép nhân của chúng với một hằng số khả nghịch.Trong trường của các [[số phức]], các phần tử bất khả quy đều tuyến tính. Trên các số thực, thì các đa thức có bậc một và hai. Còn khi trên tập các số nguyên và tập các [[số hữu tỉ]], các phần tử bất khả quy có thể có bậc bất kỳ.<ref name=Barbeau-2003-pp80-82>{{harvnb|Barbeau|2003|pp=[https://books.google.com/books?id=CynRMm5qTmQC&pg=PA80 80]–2}}</ref> Lấy ví dụ, dạng nhân tử của
:<math> 5x^3-5</math>
là
:<math>5(x - 1)\left(x^2 + x + 1\right)</math>
trên tập số nguyên và tập số thực, và là
:<math> 5(x - 1)\left(x + \frac{1 + i\sqrt{3}}{2}\right)\left(x + \frac{1 - i\sqrt{3}}{2}\right)</math>
trên các số phức.

Việc tìm dạng tích của các đa thức này được gọi là ''phân tích nhân tử,'' và thường thì rất khó để có thể tự tính tay được phân tích của một đa thức tuỳ ý. Tuy nhiên, đã có sẵn các [[thuật toán]] [[phân tích đa thức]] hiệu quả trong phần lớn các [[hệ thống đại số máy tính]].

===Tích phân===
{{Main|Tích phân cùng đa thức}}
Tính [[đạo hàm]] và nguyên hàm của hàm đa thức rất là dễ so với các hàm số còn lại.
[[Đạo hàm]] của đa thức <math display="block">P = a_n x^n + a_{n - 1} x^{n - 1} + \dots + a_2 x^2 + a_1 x + a_0 = \sum_{i=0}^n a_i x^i</math> tương ứng với {{mvar|x}} là đa thức 
<math display="block"> n a_n x^{n - 1} + (n - 1)a_{n - 1} x^{n - 2} + \dots + 2 a_2 x + a_1 = \sum_{i=1}^n i a_i x^{i-1}.</math>
Tương tự như vậy, nguyên hàm của <math>P</math> là
<math display="block"> \frac{a_n x^{n + 1}}{n + 1} + \frac{a_{n - 1} x^{n}}{n} + \dots + \frac{a_2 x^3}{3} + \frac{a_1 x^2}{2} + a_0 x + c = c + \sum_{i = 0}^n \frac{a_i x^{i + 1}}{i + 1}</math>
trong đó {{mvar|c}} là hằng số tuỳ ý.  Lấy ví dụ, nguyên hàm của {{math|''x''<sup>2</sup> + 2}} có dạng {{math|{{sfrac|3}}''x''<sup>3</sup> + 2''x'' + ''c''}}.

Đối với các đa thức mà hệ số của nó là các đối tượng toán học khác (ví dụ như hệ số là các số nguyên [[Số học mô đun|modulo]] một [[số nguyên tố]] {{math|''p''}} nào đó,hoặc là phần tử của một vành nào đó), công thức cho đạo hàm vẫn được hiểu và tính như thường, với hệ số {{math|''ka''<sub>''k''</sub>}} được hiểu là tổng của {{mvar|k}} hệ số {{math|''a''<sub>''k''</sub>}}. Lấy ví dụ chẳng hạn, trên tập các số nguyên modulo {{math|''p''}}, đạo hàm của đa thức {{math|''x''<sup>''p''</sup> + ''x''}} là đa thức {{math|1}}.<ref name=Barbeau-2003-pp64-65>{{harvnb|Barbeau|2003|pp=[https://books.google.com/books?id=CynRMm5qTmQC&pg=PA64 64]–5}}</ref>

==Hàm đa thức==
<!-- "Polynomial function" redirects here -->
{{See also|Vành các hàm đa thức}}

''Hàm đa thức'' là hàm số được định nghĩa bằng đa thức. Chuẩn xác hơn, hàm {{math|''f''}} với một tham số từ một miền cho trước là hàm đa thức nếu tồn tại đa thức
:<math>a_n x^n + a_{n-1} x^{n-1} + \cdots + a_2 x^2 + a_1 x + a_0 </math>
tính ra giá trị <math>f(x)</math> cho mọi {{mvar|x}} nằm trong [[Miền của hàm số|miền]] của {{mvar|f}} (trong đây, {{math|''n''}} là số nguyên không âm và {{math|''a''<sub>0</sub>, ''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a<sub>n</sub>''}} là các hệ số hằng).
Trong tổng quát, trừ phi được nhắc trước thì các hàm đa thức sẽ có hệ số, tham số và giá trị đều là [[số phức]].Cụ thể hơn, đa thức giới hạn hệ số thực vẫn sẽ định nghĩa hàm từ tập số phức sang tập số phức. Nếu thêm vào đó, miền của hàm số bị [[Giới hạn của hàm số|giới hạn]] về số thực, thì hàm số sẽ ánh xạ tập các số thực sang tập các số thực.

Lấy ví dụ, hàm {{math|''f''}}, định nghĩa như sau:
:<math> f(x) = x^3 - x,</math>
là hàm đa thức một biến. Các hàm đa thức nhiều biến cũng có thể được định nghĩa tương tự
:<math>f(x,y)= 2x^3+4x^2y+xy^5+y^2-7.</math>

Theo định nghĩa hàm đa thức, có các biểu thức tuy không phải đa thức nhưng vẫn có thể dùng để định nghĩa hàm đa thức. Ví dụ biểu thức <math>\left(\sqrt{1-x^2}\right)^2,</math> có cùng giá trị với đa thức <math>1-x^2</math> trên đoạn <math>[-1,1]</math>, và do đó cả hai định nghĩa cùng một đa thức trên đoạn này.

Mọi hàm đa thức đều [[Hàm liên tục|liên tục]], [[Hàm trơn|trơn]], và [[Hàm nguyên|nguyên]].

===Đồ thị===
<div class="floatright">
<gallery perrow="2" widths="120" heights="120">
Tập tin:Algebra1 fnz fig037 pc.svg|Đa thức bậc 0:<br/><small>{{math|''f''(''x'') {{=}} 2}}</small>
Tập tin:Fonction de Sophie Germain.png|Đa thức bậc 1:<br/><small>{{math|''f''(''x'') {{=}} 2''x'' + 1}}</small>
Tập tin:Polynomialdeg2.svg|Đa thức bậc 2:<br/><small>{{math|''f''(''x'') {{=}} ''x''<sup>2</sup> − ''x'' − 2}}<br/>{{math|{{=}} (''x'' + 1)(''x'' − 2)}}</small>
Tập tin:Polynomialdeg3.svg|Đa thức bậc 3:<br/><small>{{math|''f''(''x'') {{=}} ''x''<sup>3</sup>/4 + 3''x''<sup>2</sup>/4 − 3''x''/2 − 2}}<br/>{{math|{{=}} 1/4 (''x'' + 4)(''x'' + 1)(''x'' − 2)}}</small>
Tập tin:Polynomialdeg4.svg|Đa thức bậc 4:<br/><small>{{math|''f''(''x'') {{=}} 1/14 (''x'' + 4)(''x'' + 1)(''x'' − 1)(''x'' − 3) <br/>+ 0.5}}</small>
Tập tin:Quintic polynomial.svg|Đa thức bậc 5:<br/><small>{{math|''f''(''x'') {{=}} 1/20 (''x'' + 4)(''x'' + 2)(''x'' + 1)(''x'' − 1)<br/>(''x'' − 3) + 2}}</small>
Tập tin:Sextic Graph.svg|Đa thức bậc 6:<br/><small>{{math|''f''(''x'') {{=}} 1/100 (''x''<sup>6</sup> − 2''x'' <sup>5</sup> − 26''x''<sup>4</sup> + 28''x''<sup>3</sup>}}<br/>{{math|+ 145''x''<sup>2</sup> − 26''x'' − 80)}}</small>
Tập tin:Septic graph.svg|Đa thức bậc 7:<br/><small>{{math|''f''(''x'') {{=}} (''x'' − 3)(''x'' − 2)(''x'' − 1)(''x'')(''x'' + 1)(''x'' + 2)}}<br/>{{math|(''x'' + 3)}}</small>
</gallery>
</div>
Ví dụ các [[Đồ thị của hàm số|đồ thị]] của các đa thức thực có một biến.
<ul>
<li>
Đồ thị của đa thức không
{{block indent|{{math|1=''f''(''x'') = 0}}}} là trục hoành.
</li>
<li>
Đồ thị của đa thức bậc 0
{{block indent|{{math|1=''f''(''x'') = ''a''<sub>0</sub>}}, với {{math|''a''<sub>0</sub> ≠ 0}},}} là đường thẳng song song với trục hoành và {{nowrap|cắt trục {{math|''y''}} tại {{math|''a''<sub>0</sub>}}}}
</li>
<li>
Đồ thị của đa thức bậc 1 (hay hàm số tuyến tính)
{{block indent|{{math|1=''f''(''x'') = ''a''<sub>0</sub> + ''a''<sub>1</sub>''x''}}, trong đó {{math|''a''<sub>1</sub> ≠ 0}},}} là đường thẳng {{nowrap|cắt trục {{math|''y''}} tại {{math|''a''<sub>0</sub>}}}} và có [[hệ số góc]] bằng với {{math|''a''<sub>1</sub>}}.
</li>
<li>
Đồ thị của đa thức bậc 2
{{block indent|{{math|1=''f''(''x'') = ''a''<sub>0</sub> + ''a''<sub>1</sub>''x'' + ''a''<sub>2</sub>''x''<sup>2</sup>}}, trong đó {{math|''a''<sub>2</sub> ≠ 0}}}} là đường [[parabol]].
</li>
<li>
Đồ thị của đa thức bậc 3
{{block indent|{{math|1=''f''(''x'') = ''a''<sub>0</sub> + ''a''<sub>1</sub>''x'' + ''a''<sub>2</sub>''x''<sup>2</sup> + ''a''<sub>3</sub>''x''<sup>3</sup>}}, trong đó {{math|''a''<sub>3</sub> ≠ 0}}}} là [[đường cong bậc ba]].
</li>
<li>
Đồ thị của bất kỳ đa thức bậc hai hoặc lớn hơn
{{block indent|{{math|1=''f''(''x'') = ''a''<sub>0</sub> + ''a''<sub>1</sub>''x'' + ''a''<sub>2</sub>''x''<sup>2</sup> + ⋯ + ''a''<sub>''n''</sub>''x''<sup>''n''</sup>}}, trong đó {{math|''a''<sub>''n''</sub> ≠ 0 và ''n'' ≥ 2}}}} là đường cong liên tục và không tuyến tính.
</li>
</ul>

Hàm đa thức không hằng [[Vô cực (toán)|chạy tới vô cực]] khi mà giá trị cũng chạy tới vô cực (trong [[giá trị tuyệt đối]]). Nếu đa thức có bậc lớn một, thì đa thức không có [[Tiệm cận (giải tích)|tiệm cận]].

Đồ thị đa thức được phân tích trong giải tích bằng các giao điểm, hệ số góc, tính lồi và hành vi cuối.

==Phương trình==
{{Main|Phương trình đại số}}
''Phương trình đa thức'', hay còn gọi là ''[[phương trình đại số]]'', là phương trình có dạng sau<ref>{{Cite book |last=Proskuryakov |first=I.V. |chapter=Algebraic equation |editor=Hazewinkel, Michiel |editor-link=Michiel Hazewinkel |title=Encyclopaedia of Mathematics |volume=1 |publisher=Springer |year=1994 |isbn=978-1-55608-010-4 |chapter-url=https://books.google.com/books?id=PE1a-EIG22kC&pg=PA88}}</ref>
:<math>a_n x^n + a_{n-1}x^{n-1} + \dotsb + a_2 x^2 + a_1 x + a_0 = 0.</math>

Lấy ví dụ,
:<math> 3x^2 + 4x -5 = 0 </math>
là phương trình đại số.

Khi xét phương trình, các biến của đa thức lúc này sẽ được gọi là [[Biến số|ẩn số]] (hay gọi gọn đi là ẩn), và ''các nghiệm'' là các giá trị cho ẩn sao cho đẳng thức đúng (thường thì có thể nhiều hơn một nghiệm). Phương trình đa thức khác với đồng nhất đa thức, trong đó đồng nhất đa thức là đẳng thức của hai đa thức bằng nhau, ví dụ như {{math|(''x'' + ''y'')(''x'' − ''y'') {{=}} ''x''<sup>2</sup> − ''y''<sup>2</sup>}}.

Trong [[đại số sơ cấp]], các phương pháp như [[công thức bậc hai]] được dùng để giải các phương trình một ẩn với bậc nhất và bậc hai. Ngoài ra còn có công thức giải cho các [[phương trình bậc ba]] và các [[phương trình bậc bốn]]. Đối với các bậc cao hơn, [[định lý Abel–Ruffini]] nói rằng không có công thức để giải cho phương trình bậc cao hơn bốn mà chỉ được dùng căn. Ta có thể dùng các [[thuật toán tìm nghiệm]] để tính [[Xấp xỉ số|xấp xỉ]] các nghiệm của bất kỳ biểu thức đa thức với bậc tuỳ ý.

Số các nghiệm của phương trình đa thức có hệ số thực luôn không vượt quá bậc của đa thức đó. Nếu nghiệm đó là nghiệm [[Số phức|phức]] thì số nghiệm (đếm luôn cả lần lặp) luôn bằng với bậc của đa thức. Tính chất này là [[định lý cơ bản của đại số]].

===Giải phương trình{{anchor|Solving polynomial equations}}===
<!-- "Simple root (polynomial)" redirects here -->
{{main|Phương trình đại số}}
{{See also|Tìm nghiệm đa thức|Tính chất của nghiệm đa thức}}

Nghiệm của đa thức một biến khác không {{math|''P''}} là giá trị {{mvar|a}} của {{mvar|x}} sao cho {{math|''P''(''a'') {{=}} 0}}. Nói cách khác, nghiệm của {{mvar|P}} là nghiệm của [[phương trình đa thức]] {{math|''P''(''x'') {{=}} 0}} hoặc là [[không điểm của hàm số]] của hàm đa thức định nghĩa bởi {{math|''P''}}. Trong trường hợp của đa thức không, mọi số đều là không điểm của hàm tương ứng và do đó ít khi quan tâm tới nghiệm của đa thức này.

Số {{math|''a''}} là nghiệm của đa thức {{math|''P''}} khi và chỉ khi [[#linear polynomial|đa thức tuyến tính]] {{math|''x'' − ''a''}} là ước của {{math|''P''}}, nghĩa là tồn tại ma trận {{math|''Q''}} sao cho {{math|1=''P'' = (''x'' − ''a'') Q}}. Nếu {{math|''P''}} là đa thức khác không, thì tồn tại số mũ  {{math|''m''}} cao nhất sao cho {{math|(''x'' − ''a'')<sup>''m''</sup>}} là ước của {{math|''P''}}, được gọi là ''số bội'' của {{math|''a''}} khi là ước của {{math|''P''}}. Số nghiệm của đa thức {{math|''P''}}, khi đếm cả số bội, không bao giờ vượt quá bậc của {{math|''P''}},<ref>{{cite book |last=Leung |first=Kam-tim |title=Polynomials and Equations |publisher=Hong Kong University Press |year=1992 |isbn=9789622092716 |page=134 |url=https://books.google.com/books?id=v5uXkwIUbC8C&pg=PA134|display-authors=etal}}</ref> và chỉ bằng với bậc này nếu xét tất cả nghiệm phức (đây là hệ quả của [[định lý cơ bản của đại số]]).
Các hệ số và các nghiệm của đa thức có liên hệ với nhau qua các [[công thức Vieta]].

Một số đa thức, ví dụ như {{math|''x''<sup>2</sup> + 1}}, không có nghiệm trong tập các [[real number|số thực]]. Nếu ta chấp nhận cả các [[số phức]], mọi đa thức không hằng đều có ít nhất một nghiệm, điều này nằm trong [[định lý cơ bản của đại số]]. Bằng cách liên tục chia cho {{math|''x'' − ''a''}}, ta có thể thấy mọi đa thức với hệ số phức đều có thể viết thành tích của một hằng số với tích các đa thức có bậc một; và bởi vậy, số nghiệm phức đếm với số bội của nó luôn bằng với bậc của đa thức.

Khi giải phương trình, ta thường muốn biểu diễn nghiệm là một con số cụ thể; ví dụ, nghiệm duy nhất của {{math|1=2''x'' − 1 = 0}} là {{math|1/2}}. Tuy nhiên, không thể nào cũng có nghiệm duy nhất khi giải cho các phương trình có bậc cao hơn một. Ngay từ thời cổ đại , các nhà toán học đã tìm các [[biểu thức đại số]] để biểu diễn cho nghiệm; lấy ví dụ: [[tỷ lệ vàng]] <math>(1+\sqrt 5)/2</math> là nghiệm dương duy nhất của <math>x^2-x-1=0.</math> Trong thời cổ đại, họ mới chỉ tìm được các biểu thức cho phương trình bậc nhất và bậc hai. Đối với [[Phương trình bậc hai|các phương trình bậc hai]], công thức bậc hai cho phép tìm ra các biểu thức của nghiệm. Kể từ thế kỉ 16 trở đi, các công thức tương tự (sử dụng thêm cả căn bậc ba với căn bậc hai), mặc dù phức tạp hơn nhưng đã được tìm thấy cho các phương trình bậc ba và bậc bốn (xem [[phương trình bậc ba]] và [[phương trình bậc bốn]]). Song, việc tìm kiếm công thức cho các phương trình bậc năm trở lên đã gây nhiều khó khăn cho các nhà nghiên cứu. Vào năm 1824, [[Niels Henrik Abel]] đã chứng minh rằng tồn tại các phương trình bậc 5 mà nghiệm của nó không thể biểu diễn bằng một công thức hữu hạn các phần tử và chỉ bao gồm các phép số học và phép căn (xem [[định lý Abel–Ruffini]]). Trong 1830, [[Évariste Galois]] đã chứng minh rằng phần lớn các phương trình có bậc lớn hơn bốn không thể nào chỉ giải được bằng căn, và chứng minh rằng với mỗi phương trình, ta đều có thể quyết định xem nó có giải được bằng căn không và nếu được thì giải nó.Kết quả đánh dấu sự khởi đầu của [[lý thuyết Galois]] và [[lý thuyết nhóm]], hai nhánh quan trọng trong [[đại số]] hiện đại. Chính Galois đã tự nhận rằng các tính toán từ phương pháp của ông chưa ứng dụng được, song nay đã có công thức giải cho các phương trình giải được bậc năm và bậc sáu (xem [[phương trình bậc năm]] và [[phương trình bậc sáu]]).

Nếu mà không có công thức đại số để tìm ra nghiệm, hoặc có công thức nhưng nó lại quá phức tạp để có thể áp dụng vào, thì thay vì đó ta nên tính [[Xấp xỉ số|xấp xỉ]] giá trị nghiệm.<ref>{{cite book |last=McNamee |first=J.M. |title=Numerical Methods for Roots of Polynomials, Part 1 |publisher=Elsevier |year=2007 |isbn=978-0-08-048947-6 |url=https://books.google.com/books?id=4PMqxwG-eqQC}}</ref> Có rất nhiều phương pháp để tính; một số được giới hạn chỉ giải cho đa thức và một số có thể giải cho [[hàm liên tục]] tuỳ ý. Các [[thuật toán]] tối ưu cho phép giải các đa thức (trong máy tính) có bậc lên tới hơn 1,000 (xem [[thuật toán tìm nghiệm]]).

Đối với các đa thức có nhiều hơn một biến, tổ hợp các giá trị sao cho hàm đa thức có giá trị 0 thường được gọi là không điểm thay vì "nghiệm". Nghiên cứu các tập không điểm của  các đa thức là đối tượng của [[hình học đại số]]. Đối với hệ các phương trình đa thức nhiều biến, có các [[algorithm|thuật toán]] có thể quyết định liệu nó có hữu hạn số nghiệm [[Số phức|phức]] và nếu số nghiệm hữu hạn thì có thể tìm ra các nghiệm. Xem [[hệ phương trình đa thức]].

Trường hợp đặc biệt mà hệ các phương trình đa thức đều có bậc một được gọi là [[hệ phương trình tuyến tính]]. Có rất nhiều phương pháp giải hệ phương trình này, bao gồm cả [[phép khử Gauss]].

Phương trình đa thức mà ta chỉ quan tâm đến nghiệm [[Số nguyên|nguyên]] được gọi là [[phương trình Diophantos]]. Giải phương trình Diophantos là bài toán rất là khó. Nó đã được chứng minh là không có thuật toán chung nào để giải, hoặc thậm chí là quyết định xem tập nghiệm có rỗng hay không (xem [[bài toán thứ 10 của Hilbert]]). Một số bài toán nổi tiếng được giải trong 50 năm gần đây có liên hệ với phương trình Diophantos, ví dụ như [[định lý lớn Fermat]].

==Các biểu thức đa thức khác==
{{anchor|Generalizations of polynomials}}<!-- [[Polynomial expression]] redirects to this section -->
Các đa thức sau có biến được thay bởi đối tượng toán học khác và do đó có tên riêng của nó.

===Đa thức lượng giác===
{{Main|Đa thức lượng giác}}
'''Đa thức lượng giác''' là [[tổ hợp tuyến tính]] của các hàm số sin(''nx'') và cos(''nx'') với ''n'' lấy giá trị của một hay nhiều [[số tự nhiên]].<ref>{{cite book |last1=Powell |first1=Michael J. D. |author1-link=Michael J. D. Powell |title=Approximation Theory and Methods |url=https://archive.org/details/approximationthe0000powe |publisher=[[Cambridge University Press]] |isbn=978-0-521-29514-7 |year=1981}}</ref> Hệ số có thể là số thực hoặc là hàm số thực.

Nếu sin(''nx'') và cos(''nx'') mở rộng thành sin(''x'') và cos(''x''), đa thức lượng giác trở thành đa thức trong hai biến sin(''x'') và cos(''x'') (sử dụng các [[đẳng thức lượng giác]]). Ngược lại, mọi đa thức trong sin(''x'') và cos(''x'') đều có thể đổi lại về tổ hợp tuyến tính của các hàm sin(''nx'') và cos(''nx''). Sự tương đương giải thích ví sao cũng có thể gọi tổ hợp tuyến tính là đa thức.

Đối với [[Số phức|hệ số phức]], không có sự khác biệt giữa hàm số này với [[chuỗi Fourier]].

Đa thức lượng giác được sử dụng rộng rãi, ví dụ như trong [[trigonometric interpolation|nội suy lượng giác]] áp dụng cho nội suy các [[hàm tuần hoàn]]. Chúng cũng được dùng trong [[biến đổi Fourier rời rạc]].

===Đa thức ma trận===
{{Main|Đa thức ma trận}}
'''Đa thức ma trận''' là đa thức có các biến nhận giá trị là [[ma trận vuông]].<ref>{{cite book |title=Matrix Polynomials |volume=58 |series=Classics in Applied Mathematics |first1=Israel |last1=Gohberg |first2=Peter |last2=Lancaster |first3=Leiba |last3=Rodman |publisher=[[Society for Industrial and Applied Mathematics]] |location=Lancaster, PA |year=2009 |orig-year=1982 |isbn=978-0-89871-681-8 |zbl=1170.15300}}</ref> Cho đa thức sau
:<math>P(x) = \sum_{i=0}^n{ a_i x^i} =a_0 + a_1 x+ a_2 x^2 + \cdots + a_n x^n, </math>
kết quả đa thức tính tại ma trận ''A'' là
:<math>P(A) = \sum_{i=0}^n{ a_i A^i} =a_0 I + a_1 A + a_2 A^2 + \cdots + a_n A^n,</math>
trong đó ''I'' là [[ma trận đơn vị]].{{sfn|Horn|Johnson|1990|p=36}}

==Các khái niệm liên quan==

===Hàm hữu tỉ===
{{Main|Hàm hữu tỉ}}
[[rational fraction|Phân thức hữu tỉ]] là [[Phân thức|thương]] (phân thức đại số) của hai đa thức. Mọi [[algebraic expression|biểu thức đại số]] có thể viết lại thành phân thức hữu tỉ đều có thể định nghĩa hàm hữu tỉ.

Trong khi hàm đa thức nói chung xác định trên toàn miền của hàm số, hàm hữu tỉ chỉ xác định trên các giá trị các biến mà phần mẫu số khác không.

Phân thức hữu tỉ có bao gồm đa thức Laurent, nhưng không giới hạn bậc của mẫu số.

===Đa thức Laurent===
{{Main|Đa thức Laurent}}
Đa thức Laurent giống với đa thức thông thường, nhưng cho phép số mũ âm.

===Chuỗi luỹ thừa===
{{Main|Chuỗi luỹ thừa hình thức}}
Chuỗi luỹ thừa hình thức giống với đa thức, nhưng có cho phép vô hạn số các đơn thức, do đó nó không có bậc hữu hạn. Không giống như đa thức, chuỗi này không thể viết hết ra được (giống như việc không thể viết ra toàn bộ [[số vô tỉ]]), nhưng mà các quy tắc biến đổi chuỗi thì tương tự như với đa thức. [[Chuỗi luỹ thừa]] không hình thức cũng tổng quát hoá đa thức nhưng phép nhân của hai chuỗi luỹ thừa đó có thể không hội tụ.

==Vành đa thức==
{{Main|Vành đa thức}}
Tập tất cả các đa thức của ''m'' biến <math>P(x_1,x_2,...,x_m)</math> trên vành ''K'' là một vành, ký hiệu là <math>P[x_1,x_2,...,x_m]</math>. Vành này được gọi là [[vành đa thức]].

==Lịch sử==
{{Main|Hàm bậc ba#Lịch sử|Hàm bậc bốn#Lịch sử|Định lý Abel–Ruffini#Lịch sử}}
Tìm nghiệm của đa thức, hay "giải phương trình đại số", là một trong những bài toán cổ nhất của toán học. Tuy nhiên, các phương pháp gọn và hữu ích mà ta dùng ngày nay mới chỉ bắt đầu phát triển từ thế kỷ 15. Trước thời gian đó, các phương trình thường được viết bằng lời.

==Xem thêm==
*[[Danh sách các chủ đề đa thức]]

==Chú thích==
{{Reflist|30em}}
{{notelist}}

==Tham khảo==
<!-- *{{cite book |title= |publisher= |year= |isbn= |url=}} -->
{{Refbegin}}
*{{cite book |last=Barbeau |first=E.J. |title=Polynomials |publisher=Springer |year=2003 |isbn=978-0-387-40627-5 |url=https://books.google.com/books?id=CynRMm5qTmQC}}
*{{cite book |editor-last=Bronstein |editor-first=Manuel |title=Solving Polynomial Equations: Foundations, Algorithms, and Applications |publisher=Springer |year=2006 |isbn=978-3-540-27357-8 |url=https://books.google.com/books?id=aIlSmBV3yf8C|display-editors=etal}}
*{{cite book |last1=Cahen |first1=Paul-Jean |last2=Chabert |first2=Jean-Luc |title=Integer-Valued Polynomials |publisher=American Mathematical Society |year=1997 |isbn=978-0-8218-0388-2 |url=https://books.google.com/books?id=AlAluH5is6AC}}
*{{Lang Algebra}}. This classical book covers most of the content of this article.
*{{cite book |last=Leung |first=Kam-tim |title=Polynomials and Equations |publisher=Hong Kong University Press |year=1992 |isbn=9789622092716 |url=https://books.google.com/books?id=v5uXkwIUbC8C|display-authors=etal}}
*{{cite journal |last=Mayr |first=K. |title=Über die Auflösung algebraischer Gleichungssysteme durch hypergeometrische Funktionen |journal=Monatshefte für Mathematik und Physik |volume=45 |year=1937 |pages=280–313 |doi=10.1007/BF01707992|s2cid=197662587 }}
*{{citation | last1 = McCoy | first1 = Neal H. | title = Introduction To Modern Algebra, Revised Edition | location = Boston | publisher = [[Allyn and Bacon]] | year = 1968 | lccn = 68015225 }}
*{{cite book |last=Prasolov |first=Victor V. |title=Polynomials |publisher=Springer |year=2005 |isbn=978-3-642-04012-2 |url=https://books.google.com/books?id=qIJPxdwSqlcC}}
*{{cite book |last=Sethuraman |first=B.A. |chapter=Polynomials |title=Rings, Fields, and Vector Spaces: An Introduction to Abstract Algebra Via Geometric Constructibility |publisher=Springer |year=1997 |isbn=978-0-387-94848-5 |chapter-url=https://books.google.com/books?id=yWnTIqmUOFgC&pg=PA119 |url-access=registration |url=https://archive.org/details/ringsfieldsvecto0000seth }}
*{{cite book |doi=10.1007/978-3-030-75051-0_6|chapter=Polynomial Expressions |title=Elements of Mathematics |series=Undergraduate Texts in Mathematics |year=2021 |last1=Toth |first1=Gabor |pages=263–318 |isbn=978-3-030-75050-3|chapter-url={{Google books|bJhEEAAAQBAJ|page=263|plainurl=yes}}}}
*{{cite book |last=Umemura |first=H. |chapter=Resolution of algebraic equations by theta constants |editor-first=David |editor-last=Mumford |title=Tata Lectures on Theta II: Jacobian theta functions and differential equations |chapter-url=https://books.google.com/books?id=xaNCAAAAQBAJ&pg=PA261 |date=2012 |orig-year=1984 |publisher=Springer |isbn=978-0-8176-4578-6 |pages=261–}}
*{{cite journal |first=F. |last=von Lindemann |title=Ueber die Auflösung der algebraischen Gleichungen durch transcendente Functionen |journal=Nachrichten von der Königl. Gesellschaft der Wissenschaften und der Georg-Augusts-Universität zu Göttingen |volume=1884 |issue= |pages=245–8 |year=1884 |url=https://eudml.org/doc/180024}}
*{{cite journal |first=F. |last=von Lindemann |title=Ueber die Auflösung der algebraischen Gleichungen durch transcendente Functionen. II |journal=Nachrichten von der Königl. Gesellschaft der Wissenschaften und der Georg-Augusts-Universität zu Göttingen |volume=1892 |issue= |pages=245–8 |year=1892 |url=https://eudml.org/doc/180353}}
{{Refend}}

==Liên kết ngoài==
{{Commons category|Polynomials}}
{{Wiktionary|polynomial}}
*{{springer|title=Polynomial|id=p/p073690}}
*{{Chú thích web |url=http://mathdl.maa.org/mathDL/46/?pa=content&sa=viewDocument&nodeId=640&pf=1 |title=Euler's Investigations on the Roots of Equations |archive-url=https://web.archive.org/web/20120924140505/http://mathdl.maa.org/mathDL/46/?pa=content&sa=viewDocument&nodeId=640&pf=1 |archive-date=September 24, 2012 |url-status=dead}}

{{Polynomials}}
{{Authority control}}

[[Thể loại:Đa thức]]
[[Thể loại:Đại số]]