Couple of complex number questions

[rock.freak667]

Homework Statement

1)If either |z|=1 or |w|=1,prove that

|\frac{z-w}{1-\overline{z}w}|=1

2)If z₁,₂,₃, are complex numbers and

\frac{z_2 - z_1}{z_3 -z_1}=\frac{z_1 -z_3}{z_2-z_3}

Show that |z₂-z₁|=|z₃-z₁|=|z₂-z_3|

3) Find the sum of the following series:

nC1sinx + nC2 sin2x + nC3 sin3x +...+ nCn sin(nx)

Homework Equations

|\frac{Z_2}{Z_1}|=\frac{|Z_2|}{|Z_1|}

The Attempt at a Solution

(Will type in the next post since, the site is giving trouble for me at the moment)

 

[rock.freak667]

For the questions, I didn't reach too far but I will put what I did.

1)|\frac{z-w}{1-\overline{z}w}|


\Rightarrow \frac{|z-w|}{|1- \overline{z}w|}


Don't know how to get past this, only thing I can add in is that |z|=|\overline{z}|

2)\frac{z_2 - z_1}{z_3 -z_1}=\frac{z_1 -z_3}{z_2-z_3}

So far all I've reached is

(z_2-z_1)(z_2-z_3)=-(z_1-z_3)^2

3)nC1sinx + nC2 sin2x + nC3 sin3x +...+ nCn sin(nx)

I don't know how to deal with the nC1,nC2,etc. If they binomial coefficent terms weren't there I could easily do it but the nC1,nC2, are confusing me on how to approach the problem.

 

[Dick]

For the first one, if you multiply z and w by the same complex phase (i.e. rotate by the same angle) the absolute value doesn't change. The denominator remains the same and the numerator rotates by that phase. So if |z|=1 you can rotate it so that z=1. Ditto for w. It easy to figure out the z=1 or w=1 cases.

 

[rock.freak667]

For the first one, if you multiply z and w by the same complex phase (i.e. rotate by the same angle) the absolute value doesn't change.

I don't understand the rotation thing. I get that no matter what the argument, the modulus will be the same. But I don't get how to multiply z and w by the same complex phase.

 

[Dick]

I mean if you replace z -> e^(it)*z, w -> e^(it)*w, the absolute value doesn't change. So for example if |z|=1, pick t so that e^(it)*z=1.

 

[rock.freak667]

I mean if you replace z -> e^(it)*z, w -> e^(it)*w, the absolute value doesn't change. So for example if |z|=1, pick t so that e^(it)*z=1.

Well for e^(it)*z=1, t must be 0,2pi,4pi,etc.

So then it's just


\frac{|ze^{i2 \pi}-w|}{|1-e^{i2 \pi} \overline{z}w|}

 

[Dick]

No it doesn't. It becomes |z-w|/|1-(z*)w|=|e^it*(z-w)|/|1-(z*)e^(-it)*e^(it)*w|=|1-e^(it)w|/|1-1*e^(it)w|.

 

[rock.freak667]

No it doesn't. It becomes |z-w|/|1-(z*)w|=|e^it*(z-w)|/|1-(z*)e^(-it)*e^(it)*w|=|1-e^(it)w|/|1-1*e^(it)w|.

So we have to replace z by ze^(it) and w by we^(it)t.

But I don't see how you got this |1-e^(it)w|/|1-1*e^(it)w|. From this |e^it*(z-w)|/|1-(z*)e^(-it)*e^(it)*w|.

 

[Dick]

I don't know why you are fighting this. Try a different notation. If |z|=1 then z(z*)=1 and |z*|=1. 1*|z-w|/|(1-(z*)w)|=|z*||z-w|/|1-(z*)w)|=|(z*)(z-w)|/|1-(z*)w|=|1-(z*)w|/|1-(z*)w|=1! Regardless of how you notate it the notion is still the same. The absolute value is invariant under a rotation of w and z by the same complex phase. Use that freedom to rotate the one whose absolute value is one to become 1.

 

[rock.freak667]

I don't know why you are fighting this. Try a different notation. If |z|=1 then z(z*)=1 and |z*|=1. 1*|z-w|/|(1-(z*)w)|=|z*||z-w|/|1-(z*)w)|=|(z*)(z-w)|/|1-(z*)w|=|1-(z*)w|/|1-(z*)w|=1! Regardless of how you notate it the notion is still the same. The absolute value is invariant under a rotation of w and z by the same complex phase. Use that freedom to rotate the one whose absolute value is one to become 1.

Now I get it...didn't understand the e^(it) thing. But this I get now. Thanks for this.


Any hints for the 2nd and 3rd one?

 

[Dick]

Now I get it...didn't understand the e^(it) thing. But this I get now. Thanks for this.


Any hints for the 2nd and 3rd one?

No, I've been too busy arguing over the first one. I'll give them some thought though.

 

[Dick]

I really hate to break this to you but the only reasonable way I can think of to solve 2) is a version of the solution to 1). Promise not to quarrel, ok? The problem is translation invariant. You can replace z1, z2 and z3 by z1-c, z2-c and z3-c for any c and it's still true. It's also scale invariant, you can replace z1, z2 and z3 by z1/a, z2/a and z3/a for any a and it's still true. You can use these invariances to replace, say, z1=0 and z2=1. Now you can actually solve for the possibilities for z3 and check that |z1-z2|=|z2-z3|=|z1-z3|. I.e. z1, z2 and z3 lie on an equilateral triangle. It's possible that I'm just thinking like a physicist here and there is a more elegant solution, but I'm not seeing it. Let me know if you find one.

 

[Dick]

Where are you getting these problems? That's actually kind of 'subtle'.

 

[rock.freak667]

Coursework from my engineering class.

Well I guess I'll try not to over confuse myself with the 2nd one.

 

[Dick]

Coursework from my engineering class.

Well I guess I'll try not to over confuse myself with the 2nd one.

I wouldn't give that to an engineering class. Think of it this way. First move the origin to z1. Now scale by dividing everything by the resulting z2. So you can solve the new problem by taking z1=0 and z2=1 and finding z3.

 

[Dick]

For the third one, that looks like the imaginary part of (1+exp(i*x))^n, doesn't it? In fact, it is! So now you just have to find a nice way of writing (1+exp(i*x))^n. Try putting (1+exp(i*x)) in polar form. Thanks to some trig identities, you can. The most obscure one is sin(x)/(1+cos(x))=tan(x/2).

 

[rock.freak667]

For the third one, that looks like the imaginary part of (1+exp(i*x))^n, doesn't it?

Can I ask how you came up with this? Well the nCr coefficents would indicate a binomial but why 1+exp(ix)? Could I have just used any constant+exp(ix)?

 

[Dick]

(1+a)^n=sum(nCk*1^(n-k)*a^k, k=0 to n). If a=exp(i*x) then a^k=exp(i*k*n). The imaginary part of exp(i*k*n)=sin(k*n). If you had used any constant, then you would be getting powers of that constant.

 

[rock.freak667]

|1+e^{ix}|=\sqrt{2(1+cosx)}

arg(1+e^{ix})=\frac{x}{2}


so then the required sum is just: Im{1+e^ix} which is:

{2(1+cosx)}^\frac{n}{2} sin\frac{nx}{2}

 

[Dick]

Seems about right to me. Seem ok to you?

 

[rock.freak667]

yeah it is ok.

For the second one, I think I am supposed to say that the arg(LHS)=arg(RHS) and therefore it is an isosceles triangle and then from that I need to draw the complex representation of one of the quotients and then try to prove that it's an equilateral triangle.

 

[Dick]

That will work. So what do you conclude from isosceles? You also have more information from |LHS|=|RHS|. Use that too.

 

[rock.freak667]

That will work. So what do you conclude from isosceles? You also have more information from |LHS|=|RHS|. Use that too.

Here is something else I tried, I don't know if it is correct though.

arg(\frac{z_2-z_1}{z_3-z_1})=arg(\frac{z_1-z_3}{z_2-z_3})


arg(z_2-z_1)-arg(z_3-z_1)=arg(z_1-z_3)-arg(z_2-z_3)

arg(z_2-z_1)-arg(z_3-z_1)= \pi + arg(z_3-z_1)-arg(z_2-z_3)

arg(z_2-z_1)-2arg(z_3-z_1)+arg(z_2-z_3)= \pi

arg(\frac{(z_2-z_1)(z_2-z_3)}{(z_3-z_1)^2})= \pi

\frac{(z_2-z_1)(z_2-z_3)}{(z_3-z_1)^2}= tan(\pi)=0

\Rightarrow (z_2-z_1)(z_2-z_3)=0

and so z_2=z_1,z_2=z_3

Hence z_1=z_2=z_3

Can I just subract appropriately and then say that all the modulii are equal? For example, if I subtract z₁ I'll get

0=z_2-z_1=z_3-z_1 \Rightarrow |z_2-z_1|=|z_3-z_1|