Complex Number, properties of moduli

[jianxu]

Homework Statement

Hello! I'm lost on how to start this, I've got formulas given to me from the text, but I have no idea on how to piece everything together. So I need to use established properties of moduli to show that when \left.\left|z_{3}\right|\neq\left|z_{4}\right|,
then:
\left.\frac{Re(z_{1}+z_{2})}{|z_{3}+z_{4}|}\leq\frac{|z_{1}|+|z_{2}|}{||z_{3}|-|z_{4}||}

Homework Equations

Re is the real component of z where z=(x,y) so x = Re z , y= I am z

z can be written as:
z=x+iy

Vector properties
\left.|z| = \sqrt{x^{2}+y^{2}}
\left.z_{1}+z_{2}=(x_{1}+x_{2})+i(y_{1}+y_{2})

\left.Re(z) \leq |Re(z)| \leq |z|
\left.|z_{1}\pm z_{2}|\leq|z_{1}|+|z_{2}|
\left.|z_{1}\pm z_{2}|\geq||z_{1}|-|z_{2}||

The Attempt at a Solution

Well what I attempted to do is to say the \left.Re(z_{1}+z_{2}) portion can be turned into \left.x_{1}+x_{2}.
I can also argue(given the properties) the left denominator is bigger or equal to the right hand side denominator since \left.|z_{1}\pm z_{2}|\geq||z_{1}|-|z_{2}|| but it doesn't really help since the left term is suppose to be smaller than the right hand term.

I can also say that the term \left.|z_{1}|+|z_{2}| is given by \left. \sqrt{x^{2}_{1}+y^{2}_{1}}+\sqrt{x^{2}_{2}+y^{2}_{2}} which is bigger than just the \left.x_{1}+x_{2} term?

But these methods are just me trying to prove it going reverse. But I'm just really lost trying to prove it starting with the simple \left.\left|z_{3}\right|\neq\left|z_{4}\right| because the question gives us a result that has 2 addition z terms(where does z1 and z2 come from?)? Please give me some advice on how I can approach this.

Thanks!

 

[snipez90]

But you do want the left denominator to bigger than or equal to the right denominator. Remember, when you take reciprocals of both sides, you have to flip the inequality. Thus the last inequality you listed under relevant equations takes care of the denominators. As for the numerators, apply Re(z) <= |z| then the basic triangle inequality (listed before the last inequality under relevant equations).

 

[jianxu]

Thanks for the reply! I understand what you mean, but would that be the extent of "showing". I guess sometimes I'm just not sure how to properly write these proof type problems.

On a somewhat related note, I'm suppose to graph
\left.|z+i|\leq3 and \left.|z+i|\geq3
I know that normally, if we have something like :
\left.|z-1+i|=1, it means we have a radius of 1, with a center at (1,-i)
I also know that we can say:
\left.|z+i|\leq |z| + i = 3
and
\left.|z+i|\geq ||z| - i| = 3

So my question is for, \left.|z+i|\leq3:
Would it simply be a circle that is shifted down by i with a radius of 3?
Thanks!

 

[Office_Shredder]

|z+i|< 3

If |z+i|=3 you have a circle of radius three centered at -i. So if |z+i|< 3 then z must be closer to -i than the points on the circle. Does that answer the question?

For the OP, a good way to write those proofs is to start with

Re(z_1 + z_2) | |z_3| - |z_4| | \leq (|z_1| + |z_2|) |z_3 + z_4|)

which holds since you know Re(z_1 + z_2) \leq |z_1| + |z_2| and | |z_3| - |z_4| _ \leq |z_3 + z_4|

Then divide both sides by the appropriate quantities and note that everything you're dividing by is positive

 

[jianxu]

|z+i|< 3

If |z+i|=3 you have a circle of radius three centered at -i. So if |z+i|< 3 then z must be closer to -i than the points on the circle. Does that answer the question?

Yes that makes sense but how do I show that graphically? I tried changing it to \left.|z| + i = 3 is simply because I thought that would help make graphing it easier? Could I also say it is a circle with the radius of 3-i?

For the OP, a good way to write those proofs is to start with

Re(z_1 + z_2) | |z_3| - |z_4| | \leq (|z_1| + |z_2|) |z_3 + z_4|)

which holds since you know Re(z_1 + z_2) \leq |z_1| + |z_2| and | |z_3| - |z_4| _ \leq |z_3 + z_4|

Then divide both sides by the appropriate quantities and note that everything you're dividing by is positive

So should I be transforming these z's into their components such that \left.|z| = \sqrt{x^{2}+y^{2}}? I guess one of my problem is failing to understand where this is going to lead? Will dividing eventually lead me to a point that shows z3 is not equal to z4? I guess my last question is when I divide these quantities, their relationships always seem to be in terms of inequalities, for example:
\left.Re(z_{1} + z_{2}) \leq |z_{1} + z_{2}|
but:
\left.|z_{1} + z_{2}| \leq |z_{1}| + |z_{2}|
so If I were to say divide our expression by \left. |z_{1}| + |z_{2}|
I haven't done inequalities in years but we can't just simply divide the terms like that right because they're not always equal.

Thanks for all the help!

 

[Office_Shredder]

Yes that makes sense but how do I show that graphically? I tried changing it to \left.|z| + i = 3 is simply because I thought that would help make graphing it easier?

Graphically? Draw the circle |z+i| = 3. Shade in all the points on the inside of that circle. What's confusing you about that?

So should I be transforming these z's into their components such that \left.|z| = \sqrt{x^{2}+y^{2}}? I guess one of my problem is failing to understand where this is going to lead? Will dividing eventually lead me to a point that shows z3 is not equal to z4? I guess my last question is when I divide these quantities, their relationships always seem to be in terms of inequalities, for example:
\left.Re(z_{1} + z_{2}) \leq |z_{1} + z_{2}|
but:
\left.|z_{1} + z_{2}| \leq |z_{1}| + |z_{2}|
so If I were to say divide our expression by \left. |z_{1}| + |z_{2}|
I haven't done inequalities in years but we can't just simply divide the terms like that right because they're not always equal.

Thanks for all the help!

Don't use the triangle inequality when it's not needed. Keep it simple:

Fact: Re(z_1 + z_2) \leq |z_1| + |z_2|

Fact: ||z_3|-|z_4|| \leq |z_3 + z_4|

So if A = Re(z_1 + z_2); B = |z_1| + |z_2|; C= ||z_3|-|z_4||; D = |z_3 + z_4|

We have

A \leq B and C \leq D

Also A, B, C and D are positive so

AC \leq BD

This is a simple property of inequalities

As |z_3| =/= |z_4| C must be non-zero. Also, it must be z_3 =/= -z_4 so D must be non-zero. Hence
\frac{A}{D} \leq \frac{B}{C}
by dividing both sides by the positive, non-zero quantity CD. Compare this with the desired result

 

[jianxu]

Graphically? Draw the circle |z+i| = 3. Shade in all the points on the inside of that circle. What's confusing you about that?

Well what confused me is the inequality. I understood the expression when it has the equal sign, but the problem that was given was |z+i| \leq 3 so I was trying to find a way to change it into simply an equals sign.

As |z_3| =/= |z_4| C must be non-zero. Also, it must be z_3 =/= -z_4 so D must be non-zero. Hence
\frac{A}{D} \leq \frac{B}{C}
by dividing both sides by the positive, non-zero quantity CD. Compare this with the desired result

Thanks, I see what you mean now. Do you have any advice on approaching a proof problem? I always have the hardest time with them because in a way it is so vague and it seems like there are so many ways to go that I eventually have no idea what to do next.