Page 84 -
P. 84

§4. Resultant of Two Polynomials  61

        §4. Resultant of Two Polynomials

        The considerations in the section were used in Chapter 2, §2 to determine to what
        extent the sets H f (K) determine the form f .
        (4.1) Definition. For polynomials f, g in R[x]given by

           f (x) = a 0 + a 1 x +· · · + a m x m  and  g(x) = b 0 + b 1 x +· · · + b n x n

        the resultant R( f, g) of f and g is the element of R given by the following (m +
        n) × (m + n) determinant.

                                                          

                                                0 ··· 0
                            a 0 a 1 ··· a m               

                                                          
                                                         
                                                  ··· 0
                            0 a 0 ··· a m−1 a m

                                                           n rows


                            ............................... 
                                                          

                                                         
                              00 ···      a 0 a 1 ··· ··· a m
                   R( f, g) =                             
                             b 0 b 1 ··· b n−1 b n  0 ··· 0
                                                          
                                                         
                              0 b 0 ···  b n−1  b n ··· 0    
                                                           m rows
                            ...............................

                                                          

                                                         
                              00 ··· b 0  b 1   ··· ··· b n    
        We denote the corresponding resultant matrix by [R( f, g)].
        (4.2) Theorem. For a factorial ring R and polynomials f, g ∈ R[x], the following
        statements are equivalent:
         (1) The polynomials f and g have a common factor of strictly positive degree in
            R[x].
         (2) There exists nonzero polynomials a(x), b(x) in R[x] such that deg a < n =
            deg g, deg b < m = deg f , and af + bg = 0.
         (3) R( f, g) = 0.
        When R( f, g)  = 0 there exists polynomials a(x), b(x) in R[x] such that deg a < n,
        deg b < m, and R( f, g) = af + bg.
        Proof. If u(x) is a common factor of strictly positive degree, then we can write
         f (x) = b(x)u(x) and g(x) =−a(x)u(x) where a and b have the desired properties,
        so that (1) implies (2). The converse (2) implies (1) follows from factoring of f and
        g in R[x] since R[x] is factorial by (4.1).
           For any polynomials of the form
                           a(x) = α 0 + α 1 x +· · · + α n−1 x n−1
        and
                                                     m−1
                           b(x) = β 0 + β 1 x +· · · + β m−1 x  ,
        we see from the formulas for matrix multiplication that
   79   80   81   82   83   84   85   86   87   88   89