1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Algebra-should be simple, but isn't

  1. Feb 8, 2005 #1

    cepheid

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Algebra--should be simple, but isn't

    I'm having trouble factoring the polynomial:

    p(z) = 1 + z + z2 + z3 + z4

    I don't know how to factor a quartic except by trial and error. Our prof assured us that we probably wouldn't want to make use of the formula for finding the zeros, even if we had it. He encouraged us to just try out various things like 1, -1, i, -i, etc to see if we could find a zero by inspection. I'm not having any luck with that method. What's the strategy here?
     
  2. jcsd
  3. Feb 8, 2005 #2
    If p(z)=0, then z is a root, and synthetic division will yield a cubic equation, which you can work with in the same manner. So substitute integral values for z until you find one that makes the equation equal to zero; then use that term. For example, if 1 works substituted for z, then divide synthetically by (z - 1).
     
  4. Feb 8, 2005 #3
    I would guess the factor is not a real integer.
    Since p(2)=31. I've tried 1 and -1. And for the real , I guess wildly.
     
  5. Feb 8, 2005 #4
    [tex]p\left( z \right) = 1 + z + z^2 + z^3 + z^4

    \hbox{ and we have }

    p\left( 1 \right) = 1 + 1 + 1 + 1 + 1 = 5 \ne 0

    [/tex]

    [tex]\hbox{Let}[/tex]

    [tex]p\left( z \right) = 0[/tex]

    [tex]\frac{{z^5 - 1}}{{z - 1}} = 0[/tex]

    [tex]z^5 = 1 = \cos 0 + i\sin 0[/tex]

    [tex]z = \cos \frac{{2n\pi }}{5} + i\sin \frac{{2n\pi }}{5},\ n\ =\ 1,\ 2,\ 3,\ 4[/tex]

    so we have five roots and we can factorize p(z)
     
  6. Feb 8, 2005 #5
    Ah, yes, I forgot: this function does not have integral roots.
     
  7. Feb 8, 2005 #6

    cepheid

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Sorry, I can't seem to understand what's going on here.
    :frown:
     
  8. Feb 8, 2005 #7
    I think you have some problems about the last 2 steps only, right?

    [tex]z^5 = 1 = \cos 0 + i\sin 0[/tex]

    this should be trivial. I just express 1 in complex number form. you know, any number can be expressed in complex form.

    [tex]\cos 0 = 1[/tex]

    [tex]\sin 0 = 0[/tex]

    [tex]i = \sqrt{-1}[/tex]

    so [tex]1 = \cos 0 + i\sin 0[/tex]




    [tex]z = \cos \frac{{2n\pi }}{5} + i\sin \frac{{2n\pi }}{5},\ n\ =\ 1,\ 2,\ 3,\ 4[/tex]


    I have used de Moivre's theorem here which states

    [tex]
    \left( {\cos \theta + i\sin \theta } \right)^n = \cos \left( {n\theta } \right) + i\sin \left( {n\theta } \right)
    [/tex]
    for any rational number n

    so we have five roots and we can factorize p(z)
     
  9. Feb 9, 2005 #8

    cepheid

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    No, I understand all of that. It's where (z^5 - 1)/ (z-1) came from in the first place that I cannot see.
     
  10. Feb 9, 2005 #9

    cepheid

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Hmmm....He seems to have moved on. Can anyone else help?
     
  11. Feb 9, 2005 #10

    s_a

    User Avatar

    Sum of a GP (geometric progression).
     
  12. Feb 9, 2005 #11

    Galileo

    User Avatar
    Science Advisor
    Homework Helper

    Calculate [itex](1+z+z^2+z^3+z^4)(z-1)[/itex].

    I think it's called a cyclotomic polynomial.
     
  13. Feb 9, 2005 #12

    cepheid

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Ok okay! Very cool. But I think Kelvin forgot to stress that z [itex] \ne [/itex] 1 because 1 is not in the domain of the function p(z). As a result, n = 0 is not allowed, and we have FOUR roots (just as expected), not five (as Kelvin typed, although I think he knew there were only four because he said n = 1, 2, 3, 4, he just typed "five roots" by accident).

    Thanks for all of your help!

    Edit: OKAY! This is super weird. If you express p(z) in its original form, then p(1) = 5, but if you express it in the form that comes from taking the sum of the geometric series, then p(1) is undefined!!! What's going on? lim (z -> 1) of that expression is 5, but p(1) itself as expressed in that form is undefined! How can it be a valid expression of that sum then?
     
    Last edited: Feb 9, 2005
  14. Feb 9, 2005 #13

    ehild

    User Avatar
    Homework Helper
    Gold Member

    You can replace p(z) by (z^5 - 1)/ (z-1) if z is not equal to 1, and by p(z)=5 if z=1. If z is not 1,


    [tex] p(z)=\frac{z^5-1}{z-1}=\frac{(z-1)(z-e^{i2\pi/5})(z-e^{i4\pi/5})(z-e^{i6\pi/5})(z-e^{i8\pi/5})}{z-1}=
    (z-e^{i2\pi/5})(z-e^{i4\pi/5})(z-e^{i6\pi/5})(z-e^{i8\pi/5})[/tex]


    but the value of this product is 5 at z=1, so p(z) is identical with it.

    ehild
     
  15. Feb 9, 2005 #14

    cepheid

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Of course! (*slaps forehead*) -- I should have understood right away. Thanks for clarifying. :redface:
     
  16. Feb 9, 2005 #15
    I didn't try to modify to defintion of p(z)
    see the following
    [tex]
    \[
    \begin{array}{l}
    \hbox{\rm my approach to this problem is to find the roots of the equation} \\
    p\left( z \right) = 0 \\
    \hbox{\rm so if the roots of this equation are }z_1 \hbox{\rm , }z_2 \hbox{\rm , }z_3 ,\hbox{\rm }z_4 \hbox{\rm , then} \\
    p\left( z \right) = \left( {z - z_1 } \right)\left( {z - z_2 } \right)\left( {z - z_3 } \right)\left( {z - z_4 } \right) \\
    \\
    \hbox{\rm so we first solve the equation }p\left( z \right) = 0 \\
    \hbox{\rm because the degree of }p \hbox{\rm \ is 4, we expect to find 4 roots only} \\

    \hbox{However, the equation is not that easy to solve at first glance, so we consider the equation}\\

    q\left( z \right) = z^5 - 1 = 0\\
    \hbox{\rm the equation }q\left( z \right) = 0\hbox{\rm \ has five roots and four of them are the roots of } \\

    p\left( z \right) \\
    \\
    \hbox{but } q\left( z \right) = 0 \hbox{\rm \ is obviously easier to solve} \\
    \hbox{\rm the roots are} \\
    z_k = \cos \frac{{2k\pi }}{5} + i\sin \frac{{2k\pi }}{5} \\
    \hbox{\rm where }k = 0,\hbox{\rm }1,\hbox{\rm }2,\hbox{\rm }3,\hbox{\rm }4 \\
    \\
    \hbox{\rm only 4 of them are roots of }p\left( z \right) = 0 \\
    \hbox{\rm and the remaining is to check which is not the root of }p\left( z \right) = 0 \\
    \\
    \\
    \end{array}
    \]

    [/tex]

    [tex]
    \[\begin{array}{l}
    \hbox{\rm since }p\left( {z_0 } \right) = p\left( 1 \right) = 5 \ne 0 \\
    \hbox{\rm so the roots of }p\left( z \right) = 0\hbox{\rm \ are} \\
    z_1 \hbox{\rm , }z_2 \hbox{\rm , }z_3 ,\hbox{\rm }z_4 \hbox{\rm } \\
    \end{array}\]
    [/tex]

    so is it better?
     
  17. Feb 9, 2005 #16
    In my first reply I have mentioned that p(1) = 5 =/= 0
    so I assumed z =/= 1 otherwise I can't write

    [tex]\frac{{z^5 - 1}}{{z - 1}} = 0[/tex]


    yes, you're right. It shouldn't be "five roots" but "four". :tongue2: coz I was very sleepy :biggrin:
    sorry for that :wink:
     
  18. Feb 9, 2005 #17

    saltydog

    User Avatar
    Science Advisor
    Homework Helper

    Jesus. Didn't know that. Thanks guys.

    So that means for any polynomial of the form:

    [tex]\sum_{n=0}^{k}x^n=0[/tex]

    Then can use the value for the sum of a geometric progression:

    [tex]\sum_{n=0}^{k}x^n=\frac{x^{k+1}-1}{x-1}=0[/tex]

    Thus:

    [tex]x^{k+1}-1=0[/tex]

    Then, using the formula to calculate complex roots:

    [tex]x = \cos \frac{{2n\pi }}{k+1} + i\sin \frac{{2n\pi }}{k+1},\ n\ =\ 1,\ 2,\ 3,\ . ,., ., (k+1)[/tex]

    And finally, determine which one is not part of the original solution. I assume that's right? I'll work one out to verify it.
     
    Last edited: Feb 9, 2005
  19. Feb 9, 2005 #18

    is it a typo?
    [tex]x = \cos \frac{{2n\pi }}{M} + i\sin \frac{{2n\pi }}{M}[/tex]

    [tex]M[/tex] is not always 5
     
  20. Feb 9, 2005 #19

    saltydog

    User Avatar
    Science Advisor
    Homework Helper

    Thanks, I corrected it for the benefit of others (and me).
     
  21. Feb 9, 2005 #20

    saltydog

    User Avatar
    Science Advisor
    Homework Helper

    Don't mind me guys, doing this helps me learn it (maybe you too):

    For any polynomial of the form:

    [tex] y(x)=\sum_{n=0}^{k}x^n[/tex]

    If k is even, all the k roots are determined by the complex values determined by the formula:

    [tex]z = \cos \frac{{2n\pi }}{k+1} + i\sin \frac{{2n\pi }}{k+1}, n=0,1 . . .,k[/tex]


    If k is odd, then the equation has a single real root at x=-1 and the remaining k-1 roots are determined by the complex values of the formula above.

    Also, all the complex roots occur in the complex plane on the unit circle.

    Example:

    [tex] 1+x+x^2+x^3+x^4=0[/tex]
    [tex]x_0=(-0.81+0.59i)[/tex]
    [tex]x_1=(-0.81-0.59i)[/tex]
    [tex]x_2=(0.31+0.95i)[/tex]
    [tex]x_3=(0.31-0.951)[/tex]


    [tex] 1+x+x^2+x^3+x^4+x^5=0[/tex]
    [tex]x_0=-1[/tex]
    [tex]x_1=(0.5+0.87i)[/tex]
    [tex]x_2=(0.5-0.87i)[/tex]
    [tex]x_3=(-0.5+0.87i)[/tex]
    [tex]x_4=(-0.5-0.87i)[/tex]
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Algebra-should be simple, but isn't
  1. Simple algebra (Replies: 1)

  2. Simple algebra \= (Replies: 3)

Loading...