Binomial (polynomial)
Template:Short description In algebra, a binomial is a polynomial that is the sum of two terms, each of which is a monomial.<ref>Template:Mathworld</ref> It is the simplest kind of a sparse polynomial after the monomials.
A toric ideal is an ideal that is generated by binomials that are difference of monomials; that is, binomials whose two coefficients are Template:Math and Template:Math. A toric variety is an algebraic variety defined by a toric ideal.
For every admissible monomial ordering, the minimal Gröbner basis of a toric ideal consists only of differences of monomials. (This is an immediate consequence of Buchberger's algorithm that can produce only differences of monomials when starting with differences of monomials.
Similarly, a binomial ideal is an ideal generated by monomials and binomials (that is, the above constraint on the coefficient is released), and the minimal Gröbner basis of a binomial ideal contains only monomials and binomials. Monomials must be included in the definition of a binomial ideal, because, for example, if a binomial ideal contains Template:Tmath and Template:Tmath, it contains also Template:Tmath.
Definition
A binomial is a polynomial which is the sum of two monomials. A binomial in a single indeterminate (also known as a univariate binomial) can be written in the form
- <math>a x^m - bx^n ,</math>
where Template:Math and Template:Math are numbers, and Template:Math and Template:Math are distinct non-negative integers and Template:Math is a symbol which is called an indeterminate or, for historical reasons, a variable. In the context of Laurent polynomials, a Laurent binomial, often simply called a binomial, is similarly defined, but the exponents Template:Math and Template:Math may be negative.
More generally, a binomial may be written<ref name=Sturmfels62>Template:Cite book</ref> as:
- <math>a\, x_1^{n_1}\dotsb x_i^{n_i} - b\, x_1^{m_1}\dotsb x_i^{m_i}</math>
Examples
- <math>3x - 2x^2</math>
- <math>xy + yx^2</math>
- <math>0.9 x^3 + \pi y^2</math>
- <math>2 x^3 + 7</math>
- <math>11x - 2x^2</math>
Operations on simple binomials
- The binomial Template:Math, the difference of two squares, can be factored as the product of two other binomials:
- <math> x^2 - y^2 = (x - y)(x + y). </math>
- This is a special case of the more general formula:
- <math> x^{n+1} - y^{n+1} = (x - y)\sum_{k=0}^{n} x^{k} y^{n-k}.</math>
- When working over the complex numbers, this can also be extended to:
- <math> x^2 + y^2 = x^2 - (iy)^2 = (x - iy)(x + iy). </math>
- The product of a pair of linear binomials Template:Math and Template:Math is a trinomial:
- <math> (ax+b)(cx+d) = acx^2+(ad+bc)x+bd.</math>
- A binomial raised to the Template:Mathth power, represented as Template:Math can be expanded by means of the binomial theorem or, equivalently, using Pascal's triangle. For example, the square Template:Math of the binomial Template:Math is equal to the sum of the squares of the two terms and twice the product of the terms, that is:
- <math> (x + y)^2 = x^2 + 2xy + y^2.</math>
- The numbers (1, 2, 1) appearing as multipliers for the terms in this expansion are the binomial coefficients two rows down from the top of Pascal's triangle. The expansion of the Template:Mathth power uses the numbers Template:Math rows down from the top of the triangle.
- An application of the above formula for the square of a binomial is the "Template:Math-formula" for generating Pythagorean triples:
- For Template:Math, let Template:Math, Template:Math, and Template:Math; then Template:Math.
- Binomials that are sums or differences of cubes can be factored into smaller-degree polynomials as follows:
- <math> x^3 + y^3 = (x + y)(x^2 - xy + y^2) </math>
- <math> x^3 - y^3 = (x - y)(x^2 + xy + y^2) </math>
See also
- Completing the square
- Binomial distribution
- List of factorial and binomial topics (which contains a large number of related links)