Results 1 to 5 of 5

Math Help - Complex Analysis - proof problem

  1. #1
    Newbie Naranja's Avatar
    Joined
    Apr 2013
    From
    N/A
    Posts
    13
    Thanks
    2

    Complex Analysis - proof problem

    Hi,

    I am asked to tackle the following problem:

    "Prove that if z \in \mathbb_{C} and Re (z^k) \geq 0 for all k = 1, 2, 3... then z \in [0, \infty)"

    My first issue is one of interpretation. What am I looking to show? That if z belongs to [0, \infty), then z must be purely real? I don't know too much about the where complex numbers fit into the typical set notation. How would I attempt this problem and what should a starting point be?

    What I have attempted so far is to multiply out a few of the lower powers of z and collect real and imaginary parts, but that doesn't seem to get me anywhere of use. The real part of z must be nonnegative from the definition, taking k=1. Then, from k=2 we can see that the real part of z must be greater than the imaginary part, then with k=3, the real part is greater than 3 times the imaginary part. By trial and error, I can keep increasing k and see how this is going but its not rigorous. Is this even the right approach, and if so should I be using a proof by induction?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,642
    Thanks
    1594
    Awards
    1

    Re: Complex Analysis - proof problem

    Quote Originally Posted by Naranja View Post
    "Prove that if and Re (z^k) \geq 0 for all k = 1, 2, 3... then z \in [0, \infty)"
    First, I must say that I find this a lame question. But I think you are reading it correctly.

    If z \in \mathbb_{C} the we can write it as z=r\exp(i\theta) where r=|z|~\&~-\pi<\text{Arg}(z)=\theta\le\pi.

    Therefore, \forall k\in\mathbb{Z}^+~\text{Re}(z^k)=r^k\cos(k\theta). So in order for that to a non-negative number, what can you say about \theta~?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie Naranja's Avatar
    Joined
    Apr 2013
    From
    N/A
    Posts
    13
    Thanks
    2

    Re: Complex Analysis - proof problem

    Hi Plato,

    Thanks for your reply,

    If I am understanding correctly, I think this implies \theta has to be zero.

    I think I am getting the picture now. I can see why z has to be purely real, I can convince myself; but I don't know how I would prove it from this.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Prove It's Avatar
    Joined
    Aug 2008
    Posts
    11,547
    Thanks
    1418

    Re: Complex Analysis - proof problem

    Sorry but this question makes no sense. Because there is no ordering of complex numbers, it's impossible to state what it is greater than...
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,857
    Thanks
    720

    Re: Complex Analysis - proof problem

    Quote Originally Posted by Prove It View Post
    Sorry but this question makes no sense. Because there is no ordering of complex numbers, it's impossible to state what it is greater than...
    While the complex numbers may not be ordered, the real numbers are. Since the inequality given is comparing the Real component of z^k to 0, this does make sense.

    Quote Originally Posted by Naranja View Post
    but I don't know how I would prove it from this.
    Starting with what Plato wrote, you have \forall k \in \mathbb{Z}^+, r^k\cos(k\theta) \ge 0. From k=1, you have r\cos(\theta)\ge 0. This means r=0 or \theta \in \left[-\dfrac{\pi}{2},\dfrac{\pi}{2} \right]. So, suppose \theta \neq 0. Show that \exists k \in \mathbb{Z}^+ such that k\theta \in [-\pi,\pi] \setminus \left[-\dfrac{\pi}{2},\dfrac{\pi}{2} \right].
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 6
    Last Post: September 13th 2011, 07:16 AM
  2. Complex Analysis Proof
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: March 1st 2011, 03:56 AM
  3. Trig proof -- Complex analysis
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: October 29th 2010, 09:06 AM
  4. Complex Analysis proof
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: December 14th 2009, 05:19 PM
  5. easy proof complex analysis
    Posted in the Calculus Forum
    Replies: 1
    Last Post: March 11th 2009, 09:23 AM

Search Tags


/mathhelpforum @mathhelpforum