12.07.2015 Views

Complex numbers and polynomials - University College Cork

Complex numbers and polynomials - University College Cork

Complex numbers and polynomials - University College Cork

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

d <strong>and</strong> q divides a. But ad is odd. Hence both of a, d are odd <strong>and</strong> so p, q areodd. Next note thatap 3 + bp 2 q + cpq 2 + dq 3 = 0.The first <strong>and</strong> last terms are odd, so their sum is even, <strong>and</strong> since bc is evenone of b, c is even. Hence one of bp 2 q, cpq 2 is even. But their sum is even.Hence both are even. Hence b, c are even. Finally, if the roots are rational wecan denote them by p 1 /q 1 , p 2 /q 2 , p 3 /q 3 , where, for k = 1, 2, 3, p k , q k are oddintegers, with p k , q k having no common factors. Thenp 1q 1+ p 2q 2+ p 3q 3= − b a ,whence we derive (?) a contradiction. Thus at least one root is irrational.7. Suppose m, n ≥ 1 <strong>and</strong>f(x) = x n + · · · + a 1 x + a 0 , g(x) = b m x m + · · · + b 1 x + b 0 , b m ≠ 0,are two <strong>polynomials</strong> with integer coefficients <strong>and</strong> share a common real root.Prove that the common root is an integer. This is false! For instance x 2 −2, x(x 2 − 2) share a common real root, which is irrational.To see what’s involved, let n = 3, m = 2 <strong>and</strong> let x denote the common root.Then0 = x 3 + a 2 x 2 + a 1 x + a 0 = b 2 x 2 + b 1 x + b 0 .Thenwhence0 = b 2 x 3 + a 2 b 2 x 2 + a 1 b 2 x + a 0 b 2 = b 2 x 3 + b 1 x 2 + b 0 x,0 = (a 2 b 2 − b 1 )x 2 + (a 1 b 2 − b 0 )x + a 0 b 2 = b 2 x 2 + b 1 x + b 0 .Now eliminate the x 2 term <strong>and</strong> conclude that[b 2 (a 1 b 2 − b 0 ) − b 1 (a 2 b 2 − b 1 )]x + [a 0 b 2 2 − b 0 (a 2 b 1 − b 1 )] = 0.It follows from this that ifthen[b 2 (a 1 b 2 − b 0 ) − b 1 (a 2 b 2 − b 1 )] = 0,[a 0 b 2 2 − b 0 (a 2 b 1 − b 1 )] = 0.Otherwise, x is rational, <strong>and</strong> so a rational root of f. By the rational rootstheorem, it must then be an integer.g32

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!