Results 1 to 6 of 6

Math Help - Complex Variables Proof

  1. #1
    Newbie
    Joined
    Jul 2009
    Posts
    11

    Complex Variables Proof

    So to prove that |sin(nTheta/2)/sin(Theta/2)|<=n for theta!={0,+/-2pi,+/-4pi,...} and n a positive integer I'm told that I can assign z=e^iTheta and replace the left side of the inequality with |(1-z^n)/(1-z)|. After that I just divide to get |1+z+z^2+...z^n-1| which is less than the sum of the magnitudes by the triangle inequality and thusly less than or equal to n. My problem is that I don't see why |sin(nTheta/2)/sin(Theta/2)|=|(1-z^n)/(1-z)| is true.


    I don't see how 1-z could equal sin(Theta/2) because 1-z could clearly be complex while sin(Theta/2) is real, so I guess the relationship must be strictly between the magnitudes. (Since the |a/b|=|a|/|b|, right?) And so all I need is to figure out why |1-z|=|sin(Theta/2)| (I'm hoping the numerator follows from that)

    Any advice or corrections would be appreciated,

    Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Jan 2009
    Posts
    715
    can we prove it by indution ?

    Replace  \frac{\theta}{2} ~ by  \phi

    Assume that  | \sin{ k \phi } | \leq  k | \sin{ \phi } |

    When  n = k+1


     | \sin{ (k+1) \phi } |

     = | \sin{ k \phi + \phi } |

     = | \sin{k \phi} \cos{\phi } + \cos{ k \phi} \sin{ \phi} |

     \leq  | \sin{k \phi} \cos{\phi } | + | \cos{ k \phi} \sin{ \phi} |

     \leq (k | \sin{ \phi } |) |\cos{ \phi }| + | \cos{ k \phi} \sin{ \phi} |

     \leq  k | \sin{ \phi } |  + | \sin{ \phi} |

     = (k+1) | \sin{\phi} |


    The equality holds when  n= 2m+1  ,  \theta = (2m+1) \pi , zero


    Oh , I forgot that  \theta ~~ is a complex number , i'll try to correct my answer
    Last edited by simplependulum; July 1st 2009 at 11:39 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Jul 2009
    Posts
    11
    Yeah, that induction approach makes sense to me (thanks), but then I wouldn't be using any of what was introduced in the text. I feel that there must be some property about complex numbers I should use to determine that |1-z|=|sin(theta/2)|. I also thought, like you, that the the 1/2 coefficient is virtually meaningless given that it's just in front of a single variable.

    Now what you said about theta being complex...I'm not sure that's the case. To be fair it's not stated explicitly either way in the question, but it's just that within this text theta has thus far only been used to represent the real argument (principle or otherwise). Of course if theta is real then sin(theta) is real, which led me to think the relationship must be between the magnitudes, since 1-z could be complex.

    Anyway thanks.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Super Member malaygoel's Avatar
    Joined
    May 2006
    From
    India
    Posts
    648
    z=e^{i\theta}
    ........which means that z is a complex number of magnitude 1 and arguement \theta

    \left |1-z\right |

    = \left |1-e^{i\theta}\right |

    = \left |1-(cos\theta+isin\theta)\right |

    = \left |(1-cos\theta)-isin\theta\right |

    = \sqrt{(1-cos\theta)^2+(sin\theta)^2}

    = \sqrt{2-2cos\theta}

    = \left |2sin\frac{\theta}{2}\right |
    Last edited by malaygoel; July 2nd 2009 at 06:05 AM. Reason: correction in last term
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Newbie
    Joined
    Jul 2009
    Posts
    11
    Thanks, that's exactly what I needed. From there |1-z^n|=|2sin(nTheta/2)| is clear and you can pull out and cancel the twos. Thanks.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Super Member
    Joined
    Jan 2009
    Posts
    715
    I just want to share a math technique :

     | 1 - e^{ i \theta} |

     = | ( e^{ i \frac{ \theta}{2} }) ( e^{ - i \frac{\theta}{2}}- e^{ i \frac{\theta}{2}})|

     = |e^{ i \frac{ \theta}{2} }| | -2 i \sin{ \frac{\theta}{2}} |

     = |2 \sin{ \frac{\theta}{2}} |
    Last edited by simplependulum; July 3rd 2009 at 03:25 AM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. complex variables
    Posted in the Calculus Forum
    Replies: 4
    Last Post: November 12th 2009, 11:56 AM
  2. Complex Variables
    Posted in the Calculus Forum
    Replies: 4
    Last Post: April 29th 2009, 10:00 AM
  3. Complex Variables
    Posted in the Calculus Forum
    Replies: 6
    Last Post: February 5th 2009, 09:36 AM
  4. some complex variables
    Posted in the Calculus Forum
    Replies: 3
    Last Post: September 22nd 2008, 09:31 AM
  5. Complex variables proof
    Posted in the Calculus Forum
    Replies: 1
    Last Post: April 16th 2007, 07:55 PM

Search Tags


/mathhelpforum @mathhelpforum