Length of the arc of locus of a complex number
up vote
1
down vote
favorite
Let z be a complex number satisfying $$argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$$ on the Argand plane. Then, length of the arc of the locus of z for which $Re(z)>0$ and $Img(z)<0$ (where '$Re$' and '$Img$' represent real and imaginary part respectively) is?
Since it's argument is $frac{pi}{2}$, the complex number will be purely imaginary.
So, its conjugate would be equal to the negative of itself.
Solving that gives me, $|z|^6 = 1$
Since $|z|$ is a positive real number, so the only solution is $|z| = 1$
So, the answer should be $frac{pi}{2}$
But the answer given is $frac{pi}{6}$
Any help would be appreciated.
complex-numbers locus
add a comment |
up vote
1
down vote
favorite
Let z be a complex number satisfying $$argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$$ on the Argand plane. Then, length of the arc of the locus of z for which $Re(z)>0$ and $Img(z)<0$ (where '$Re$' and '$Img$' represent real and imaginary part respectively) is?
Since it's argument is $frac{pi}{2}$, the complex number will be purely imaginary.
So, its conjugate would be equal to the negative of itself.
Solving that gives me, $|z|^6 = 1$
Since $|z|$ is a positive real number, so the only solution is $|z| = 1$
So, the answer should be $frac{pi}{2}$
But the answer given is $frac{pi}{6}$
Any help would be appreciated.
complex-numbers locus
2
You're taking the argument of $frac{z^3-1}{z^3+1}$, not $z$ itself. Not sure how you got to $|z|^6=1$.
– vrugtehagel
Nov 19 at 9:11
@vrugtehagel I am not sure what you're asking. For your second question, I took the conjugate of the complex number which is inside the argument i.e $frac{z^3-1}{z^3+1}$ and equated it to $-bigg(frac{z^3-1}{z^3+1}bigg)$ since its purely imaginary. Solving this equation got me to $|z|^6 = 1$.
– Piano Land
Nov 19 at 10:39
@vrugtehagel $$argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$$ means that $frac{z^3-1}{z^3+1} = lambda i$ for some $lambda > 0$ and you get $z^3 = frac{1+lambda i}{1-lambda i}$. Hence $lvert z rvert^6 = z^3 cdot overline{z^3} = 1$.
– Paul Frost
Nov 19 at 13:05
I see. In fact, just calculating $|z^3|$ with $frac{1+lambda i}{1-lambda i}$ will yield $|z|^3=1$. I'm unfamiliar with the terminology "length of the arc of the locus" however so I'm afraid I can't help any further.
– vrugtehagel
Nov 19 at 13:09
@PianoLand $lvert z rvert = 1$ is necessary, but not sufficient for $(*) phantom{x} argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$. Take $z=1$. Moreover, as vrugtehagel said, it is not really clear what you mean by "length of the arc of the locus of $z$ for which ...". I guess you mean the set of solutions $z$ of $(*)$?
– Paul Frost
Nov 19 at 13:23
add a comment |
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Let z be a complex number satisfying $$argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$$ on the Argand plane. Then, length of the arc of the locus of z for which $Re(z)>0$ and $Img(z)<0$ (where '$Re$' and '$Img$' represent real and imaginary part respectively) is?
Since it's argument is $frac{pi}{2}$, the complex number will be purely imaginary.
So, its conjugate would be equal to the negative of itself.
Solving that gives me, $|z|^6 = 1$
Since $|z|$ is a positive real number, so the only solution is $|z| = 1$
So, the answer should be $frac{pi}{2}$
But the answer given is $frac{pi}{6}$
Any help would be appreciated.
complex-numbers locus
Let z be a complex number satisfying $$argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$$ on the Argand plane. Then, length of the arc of the locus of z for which $Re(z)>0$ and $Img(z)<0$ (where '$Re$' and '$Img$' represent real and imaginary part respectively) is?
Since it's argument is $frac{pi}{2}$, the complex number will be purely imaginary.
So, its conjugate would be equal to the negative of itself.
Solving that gives me, $|z|^6 = 1$
Since $|z|$ is a positive real number, so the only solution is $|z| = 1$
So, the answer should be $frac{pi}{2}$
But the answer given is $frac{pi}{6}$
Any help would be appreciated.
complex-numbers locus
complex-numbers locus
edited Nov 19 at 9:54
Jean-Claude Arbaut
14.7k63363
14.7k63363
asked Nov 19 at 8:53
Piano Land
379114
379114
2
You're taking the argument of $frac{z^3-1}{z^3+1}$, not $z$ itself. Not sure how you got to $|z|^6=1$.
– vrugtehagel
Nov 19 at 9:11
@vrugtehagel I am not sure what you're asking. For your second question, I took the conjugate of the complex number which is inside the argument i.e $frac{z^3-1}{z^3+1}$ and equated it to $-bigg(frac{z^3-1}{z^3+1}bigg)$ since its purely imaginary. Solving this equation got me to $|z|^6 = 1$.
– Piano Land
Nov 19 at 10:39
@vrugtehagel $$argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$$ means that $frac{z^3-1}{z^3+1} = lambda i$ for some $lambda > 0$ and you get $z^3 = frac{1+lambda i}{1-lambda i}$. Hence $lvert z rvert^6 = z^3 cdot overline{z^3} = 1$.
– Paul Frost
Nov 19 at 13:05
I see. In fact, just calculating $|z^3|$ with $frac{1+lambda i}{1-lambda i}$ will yield $|z|^3=1$. I'm unfamiliar with the terminology "length of the arc of the locus" however so I'm afraid I can't help any further.
– vrugtehagel
Nov 19 at 13:09
@PianoLand $lvert z rvert = 1$ is necessary, but not sufficient for $(*) phantom{x} argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$. Take $z=1$. Moreover, as vrugtehagel said, it is not really clear what you mean by "length of the arc of the locus of $z$ for which ...". I guess you mean the set of solutions $z$ of $(*)$?
– Paul Frost
Nov 19 at 13:23
add a comment |
2
You're taking the argument of $frac{z^3-1}{z^3+1}$, not $z$ itself. Not sure how you got to $|z|^6=1$.
– vrugtehagel
Nov 19 at 9:11
@vrugtehagel I am not sure what you're asking. For your second question, I took the conjugate of the complex number which is inside the argument i.e $frac{z^3-1}{z^3+1}$ and equated it to $-bigg(frac{z^3-1}{z^3+1}bigg)$ since its purely imaginary. Solving this equation got me to $|z|^6 = 1$.
– Piano Land
Nov 19 at 10:39
@vrugtehagel $$argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$$ means that $frac{z^3-1}{z^3+1} = lambda i$ for some $lambda > 0$ and you get $z^3 = frac{1+lambda i}{1-lambda i}$. Hence $lvert z rvert^6 = z^3 cdot overline{z^3} = 1$.
– Paul Frost
Nov 19 at 13:05
I see. In fact, just calculating $|z^3|$ with $frac{1+lambda i}{1-lambda i}$ will yield $|z|^3=1$. I'm unfamiliar with the terminology "length of the arc of the locus" however so I'm afraid I can't help any further.
– vrugtehagel
Nov 19 at 13:09
@PianoLand $lvert z rvert = 1$ is necessary, but not sufficient for $(*) phantom{x} argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$. Take $z=1$. Moreover, as vrugtehagel said, it is not really clear what you mean by "length of the arc of the locus of $z$ for which ...". I guess you mean the set of solutions $z$ of $(*)$?
– Paul Frost
Nov 19 at 13:23
2
2
You're taking the argument of $frac{z^3-1}{z^3+1}$, not $z$ itself. Not sure how you got to $|z|^6=1$.
– vrugtehagel
Nov 19 at 9:11
You're taking the argument of $frac{z^3-1}{z^3+1}$, not $z$ itself. Not sure how you got to $|z|^6=1$.
– vrugtehagel
Nov 19 at 9:11
@vrugtehagel I am not sure what you're asking. For your second question, I took the conjugate of the complex number which is inside the argument i.e $frac{z^3-1}{z^3+1}$ and equated it to $-bigg(frac{z^3-1}{z^3+1}bigg)$ since its purely imaginary. Solving this equation got me to $|z|^6 = 1$.
– Piano Land
Nov 19 at 10:39
@vrugtehagel I am not sure what you're asking. For your second question, I took the conjugate of the complex number which is inside the argument i.e $frac{z^3-1}{z^3+1}$ and equated it to $-bigg(frac{z^3-1}{z^3+1}bigg)$ since its purely imaginary. Solving this equation got me to $|z|^6 = 1$.
– Piano Land
Nov 19 at 10:39
@vrugtehagel $$argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$$ means that $frac{z^3-1}{z^3+1} = lambda i$ for some $lambda > 0$ and you get $z^3 = frac{1+lambda i}{1-lambda i}$. Hence $lvert z rvert^6 = z^3 cdot overline{z^3} = 1$.
– Paul Frost
Nov 19 at 13:05
@vrugtehagel $$argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$$ means that $frac{z^3-1}{z^3+1} = lambda i$ for some $lambda > 0$ and you get $z^3 = frac{1+lambda i}{1-lambda i}$. Hence $lvert z rvert^6 = z^3 cdot overline{z^3} = 1$.
– Paul Frost
Nov 19 at 13:05
I see. In fact, just calculating $|z^3|$ with $frac{1+lambda i}{1-lambda i}$ will yield $|z|^3=1$. I'm unfamiliar with the terminology "length of the arc of the locus" however so I'm afraid I can't help any further.
– vrugtehagel
Nov 19 at 13:09
I see. In fact, just calculating $|z^3|$ with $frac{1+lambda i}{1-lambda i}$ will yield $|z|^3=1$. I'm unfamiliar with the terminology "length of the arc of the locus" however so I'm afraid I can't help any further.
– vrugtehagel
Nov 19 at 13:09
@PianoLand $lvert z rvert = 1$ is necessary, but not sufficient for $(*) phantom{x} argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$. Take $z=1$. Moreover, as vrugtehagel said, it is not really clear what you mean by "length of the arc of the locus of $z$ for which ...". I guess you mean the set of solutions $z$ of $(*)$?
– Paul Frost
Nov 19 at 13:23
@PianoLand $lvert z rvert = 1$ is necessary, but not sufficient for $(*) phantom{x} argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$. Take $z=1$. Moreover, as vrugtehagel said, it is not really clear what you mean by "length of the arc of the locus of $z$ for which ...". I guess you mean the set of solutions $z$ of $(*)$?
– Paul Frost
Nov 19 at 13:23
add a comment |
1 Answer
1
active
oldest
votes
up vote
1
down vote
We have
begin{align}operatorname{arg}left(frac{z^3-1}{z^3+1}right)=frac{pi}{2}&iff exists lambda >0,frac{z^3-1}{z^3+1}=lambda i
\&iff exists lambda>0, z^3=frac{1+lambda i}{1-lambda i}
\&iff exists lambda>0, z^3=frac{(1+lambda i)^2}{1+lambda^2}
\&iff exists lambda>0, z^3=frac{(1-lambda^2)+2lambda i}{1+lambda^2}
\&iff |z|=1 wedge Im z^3>0
\&iff |z|=1 wedge operatorname{arg} z^3in (0,pi)
\&iff exists theta in(0,pi/3)cup (2pi/3,pi)cup (4pi/3,5pi/3),z=e^{itheta}.end{align}
If in addition, $Re z>0$ and $Im z<0$, then $$operatorname{arg}left(frac{z^3-1}{z^3+1}right)=frac{pi}{2}iff exists thetain (3pi/2,5pi/3), z=e^{itheta}.$$
So, your book is right, the answer is $5pi/3-3pi/2=pi/6$.
There is minor mistake: $exists lambda>0, z^3=frac{(1-lambda)^2+2lambda i}{1+lambda^2} iff |z|=1 wedge Re z^3>0 wedge Im z^3 > 0iff |z|=1 wedge operatorname{arg} z^3in (0,pi/2)$.
– Paul Frost
Nov 19 at 14:53
Moreover, $operatorname{arg} z^3in (0,pi/2) iff operatorname{arg} z in (0,pi/6) cup (2pi/3, 2pi/3 + pi/6) cup (4pi/3, 4pi/3 + pi/6)$.
– Paul Frost
Nov 19 at 15:04
@PaulFrost I think there is a typo: $(1-lambda)^2$ should be $1-lambda^2$. So, no, the real part of $z^3$ is not necessarily positive. That is why Snookie got $operatorname{arg}z^3in left(0,frac{pi}{2}right)cupleft(frac{3pi}{2},2piright)$. But the imaginary part has to be positive.
– Zvi
Nov 19 at 15:45
@Snookie Please fix this.
– Zvi
Nov 19 at 15:46
2
That is because the cubing map $zmapsto z^3$ is a $3$-fold map. The equation $z^3=w$ has three solutions. So, $z^3=e^{3itheta}$ must have an argument in $(0,pi)$, and it can mean $3thetain (0,pi)$, or $3thetain (2pi,3pi)$, or $3theta in (4pi,5pi)$.
– Snookie
Nov 20 at 12:08
|
show 3 more comments
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
We have
begin{align}operatorname{arg}left(frac{z^3-1}{z^3+1}right)=frac{pi}{2}&iff exists lambda >0,frac{z^3-1}{z^3+1}=lambda i
\&iff exists lambda>0, z^3=frac{1+lambda i}{1-lambda i}
\&iff exists lambda>0, z^3=frac{(1+lambda i)^2}{1+lambda^2}
\&iff exists lambda>0, z^3=frac{(1-lambda^2)+2lambda i}{1+lambda^2}
\&iff |z|=1 wedge Im z^3>0
\&iff |z|=1 wedge operatorname{arg} z^3in (0,pi)
\&iff exists theta in(0,pi/3)cup (2pi/3,pi)cup (4pi/3,5pi/3),z=e^{itheta}.end{align}
If in addition, $Re z>0$ and $Im z<0$, then $$operatorname{arg}left(frac{z^3-1}{z^3+1}right)=frac{pi}{2}iff exists thetain (3pi/2,5pi/3), z=e^{itheta}.$$
So, your book is right, the answer is $5pi/3-3pi/2=pi/6$.
There is minor mistake: $exists lambda>0, z^3=frac{(1-lambda)^2+2lambda i}{1+lambda^2} iff |z|=1 wedge Re z^3>0 wedge Im z^3 > 0iff |z|=1 wedge operatorname{arg} z^3in (0,pi/2)$.
– Paul Frost
Nov 19 at 14:53
Moreover, $operatorname{arg} z^3in (0,pi/2) iff operatorname{arg} z in (0,pi/6) cup (2pi/3, 2pi/3 + pi/6) cup (4pi/3, 4pi/3 + pi/6)$.
– Paul Frost
Nov 19 at 15:04
@PaulFrost I think there is a typo: $(1-lambda)^2$ should be $1-lambda^2$. So, no, the real part of $z^3$ is not necessarily positive. That is why Snookie got $operatorname{arg}z^3in left(0,frac{pi}{2}right)cupleft(frac{3pi}{2},2piright)$. But the imaginary part has to be positive.
– Zvi
Nov 19 at 15:45
@Snookie Please fix this.
– Zvi
Nov 19 at 15:46
2
That is because the cubing map $zmapsto z^3$ is a $3$-fold map. The equation $z^3=w$ has three solutions. So, $z^3=e^{3itheta}$ must have an argument in $(0,pi)$, and it can mean $3thetain (0,pi)$, or $3thetain (2pi,3pi)$, or $3theta in (4pi,5pi)$.
– Snookie
Nov 20 at 12:08
|
show 3 more comments
up vote
1
down vote
We have
begin{align}operatorname{arg}left(frac{z^3-1}{z^3+1}right)=frac{pi}{2}&iff exists lambda >0,frac{z^3-1}{z^3+1}=lambda i
\&iff exists lambda>0, z^3=frac{1+lambda i}{1-lambda i}
\&iff exists lambda>0, z^3=frac{(1+lambda i)^2}{1+lambda^2}
\&iff exists lambda>0, z^3=frac{(1-lambda^2)+2lambda i}{1+lambda^2}
\&iff |z|=1 wedge Im z^3>0
\&iff |z|=1 wedge operatorname{arg} z^3in (0,pi)
\&iff exists theta in(0,pi/3)cup (2pi/3,pi)cup (4pi/3,5pi/3),z=e^{itheta}.end{align}
If in addition, $Re z>0$ and $Im z<0$, then $$operatorname{arg}left(frac{z^3-1}{z^3+1}right)=frac{pi}{2}iff exists thetain (3pi/2,5pi/3), z=e^{itheta}.$$
So, your book is right, the answer is $5pi/3-3pi/2=pi/6$.
There is minor mistake: $exists lambda>0, z^3=frac{(1-lambda)^2+2lambda i}{1+lambda^2} iff |z|=1 wedge Re z^3>0 wedge Im z^3 > 0iff |z|=1 wedge operatorname{arg} z^3in (0,pi/2)$.
– Paul Frost
Nov 19 at 14:53
Moreover, $operatorname{arg} z^3in (0,pi/2) iff operatorname{arg} z in (0,pi/6) cup (2pi/3, 2pi/3 + pi/6) cup (4pi/3, 4pi/3 + pi/6)$.
– Paul Frost
Nov 19 at 15:04
@PaulFrost I think there is a typo: $(1-lambda)^2$ should be $1-lambda^2$. So, no, the real part of $z^3$ is not necessarily positive. That is why Snookie got $operatorname{arg}z^3in left(0,frac{pi}{2}right)cupleft(frac{3pi}{2},2piright)$. But the imaginary part has to be positive.
– Zvi
Nov 19 at 15:45
@Snookie Please fix this.
– Zvi
Nov 19 at 15:46
2
That is because the cubing map $zmapsto z^3$ is a $3$-fold map. The equation $z^3=w$ has three solutions. So, $z^3=e^{3itheta}$ must have an argument in $(0,pi)$, and it can mean $3thetain (0,pi)$, or $3thetain (2pi,3pi)$, or $3theta in (4pi,5pi)$.
– Snookie
Nov 20 at 12:08
|
show 3 more comments
up vote
1
down vote
up vote
1
down vote
We have
begin{align}operatorname{arg}left(frac{z^3-1}{z^3+1}right)=frac{pi}{2}&iff exists lambda >0,frac{z^3-1}{z^3+1}=lambda i
\&iff exists lambda>0, z^3=frac{1+lambda i}{1-lambda i}
\&iff exists lambda>0, z^3=frac{(1+lambda i)^2}{1+lambda^2}
\&iff exists lambda>0, z^3=frac{(1-lambda^2)+2lambda i}{1+lambda^2}
\&iff |z|=1 wedge Im z^3>0
\&iff |z|=1 wedge operatorname{arg} z^3in (0,pi)
\&iff exists theta in(0,pi/3)cup (2pi/3,pi)cup (4pi/3,5pi/3),z=e^{itheta}.end{align}
If in addition, $Re z>0$ and $Im z<0$, then $$operatorname{arg}left(frac{z^3-1}{z^3+1}right)=frac{pi}{2}iff exists thetain (3pi/2,5pi/3), z=e^{itheta}.$$
So, your book is right, the answer is $5pi/3-3pi/2=pi/6$.
We have
begin{align}operatorname{arg}left(frac{z^3-1}{z^3+1}right)=frac{pi}{2}&iff exists lambda >0,frac{z^3-1}{z^3+1}=lambda i
\&iff exists lambda>0, z^3=frac{1+lambda i}{1-lambda i}
\&iff exists lambda>0, z^3=frac{(1+lambda i)^2}{1+lambda^2}
\&iff exists lambda>0, z^3=frac{(1-lambda^2)+2lambda i}{1+lambda^2}
\&iff |z|=1 wedge Im z^3>0
\&iff |z|=1 wedge operatorname{arg} z^3in (0,pi)
\&iff exists theta in(0,pi/3)cup (2pi/3,pi)cup (4pi/3,5pi/3),z=e^{itheta}.end{align}
If in addition, $Re z>0$ and $Im z<0$, then $$operatorname{arg}left(frac{z^3-1}{z^3+1}right)=frac{pi}{2}iff exists thetain (3pi/2,5pi/3), z=e^{itheta}.$$
So, your book is right, the answer is $5pi/3-3pi/2=pi/6$.
edited Nov 19 at 15:53
answered Nov 19 at 13:27
Snookie
85013
85013
There is minor mistake: $exists lambda>0, z^3=frac{(1-lambda)^2+2lambda i}{1+lambda^2} iff |z|=1 wedge Re z^3>0 wedge Im z^3 > 0iff |z|=1 wedge operatorname{arg} z^3in (0,pi/2)$.
– Paul Frost
Nov 19 at 14:53
Moreover, $operatorname{arg} z^3in (0,pi/2) iff operatorname{arg} z in (0,pi/6) cup (2pi/3, 2pi/3 + pi/6) cup (4pi/3, 4pi/3 + pi/6)$.
– Paul Frost
Nov 19 at 15:04
@PaulFrost I think there is a typo: $(1-lambda)^2$ should be $1-lambda^2$. So, no, the real part of $z^3$ is not necessarily positive. That is why Snookie got $operatorname{arg}z^3in left(0,frac{pi}{2}right)cupleft(frac{3pi}{2},2piright)$. But the imaginary part has to be positive.
– Zvi
Nov 19 at 15:45
@Snookie Please fix this.
– Zvi
Nov 19 at 15:46
2
That is because the cubing map $zmapsto z^3$ is a $3$-fold map. The equation $z^3=w$ has three solutions. So, $z^3=e^{3itheta}$ must have an argument in $(0,pi)$, and it can mean $3thetain (0,pi)$, or $3thetain (2pi,3pi)$, or $3theta in (4pi,5pi)$.
– Snookie
Nov 20 at 12:08
|
show 3 more comments
There is minor mistake: $exists lambda>0, z^3=frac{(1-lambda)^2+2lambda i}{1+lambda^2} iff |z|=1 wedge Re z^3>0 wedge Im z^3 > 0iff |z|=1 wedge operatorname{arg} z^3in (0,pi/2)$.
– Paul Frost
Nov 19 at 14:53
Moreover, $operatorname{arg} z^3in (0,pi/2) iff operatorname{arg} z in (0,pi/6) cup (2pi/3, 2pi/3 + pi/6) cup (4pi/3, 4pi/3 + pi/6)$.
– Paul Frost
Nov 19 at 15:04
@PaulFrost I think there is a typo: $(1-lambda)^2$ should be $1-lambda^2$. So, no, the real part of $z^3$ is not necessarily positive. That is why Snookie got $operatorname{arg}z^3in left(0,frac{pi}{2}right)cupleft(frac{3pi}{2},2piright)$. But the imaginary part has to be positive.
– Zvi
Nov 19 at 15:45
@Snookie Please fix this.
– Zvi
Nov 19 at 15:46
2
That is because the cubing map $zmapsto z^3$ is a $3$-fold map. The equation $z^3=w$ has three solutions. So, $z^3=e^{3itheta}$ must have an argument in $(0,pi)$, and it can mean $3thetain (0,pi)$, or $3thetain (2pi,3pi)$, or $3theta in (4pi,5pi)$.
– Snookie
Nov 20 at 12:08
There is minor mistake: $exists lambda>0, z^3=frac{(1-lambda)^2+2lambda i}{1+lambda^2} iff |z|=1 wedge Re z^3>0 wedge Im z^3 > 0iff |z|=1 wedge operatorname{arg} z^3in (0,pi/2)$.
– Paul Frost
Nov 19 at 14:53
There is minor mistake: $exists lambda>0, z^3=frac{(1-lambda)^2+2lambda i}{1+lambda^2} iff |z|=1 wedge Re z^3>0 wedge Im z^3 > 0iff |z|=1 wedge operatorname{arg} z^3in (0,pi/2)$.
– Paul Frost
Nov 19 at 14:53
Moreover, $operatorname{arg} z^3in (0,pi/2) iff operatorname{arg} z in (0,pi/6) cup (2pi/3, 2pi/3 + pi/6) cup (4pi/3, 4pi/3 + pi/6)$.
– Paul Frost
Nov 19 at 15:04
Moreover, $operatorname{arg} z^3in (0,pi/2) iff operatorname{arg} z in (0,pi/6) cup (2pi/3, 2pi/3 + pi/6) cup (4pi/3, 4pi/3 + pi/6)$.
– Paul Frost
Nov 19 at 15:04
@PaulFrost I think there is a typo: $(1-lambda)^2$ should be $1-lambda^2$. So, no, the real part of $z^3$ is not necessarily positive. That is why Snookie got $operatorname{arg}z^3in left(0,frac{pi}{2}right)cupleft(frac{3pi}{2},2piright)$. But the imaginary part has to be positive.
– Zvi
Nov 19 at 15:45
@PaulFrost I think there is a typo: $(1-lambda)^2$ should be $1-lambda^2$. So, no, the real part of $z^3$ is not necessarily positive. That is why Snookie got $operatorname{arg}z^3in left(0,frac{pi}{2}right)cupleft(frac{3pi}{2},2piright)$. But the imaginary part has to be positive.
– Zvi
Nov 19 at 15:45
@Snookie Please fix this.
– Zvi
Nov 19 at 15:46
@Snookie Please fix this.
– Zvi
Nov 19 at 15:46
2
2
That is because the cubing map $zmapsto z^3$ is a $3$-fold map. The equation $z^3=w$ has three solutions. So, $z^3=e^{3itheta}$ must have an argument in $(0,pi)$, and it can mean $3thetain (0,pi)$, or $3thetain (2pi,3pi)$, or $3theta in (4pi,5pi)$.
– Snookie
Nov 20 at 12:08
That is because the cubing map $zmapsto z^3$ is a $3$-fold map. The equation $z^3=w$ has three solutions. So, $z^3=e^{3itheta}$ must have an argument in $(0,pi)$, and it can mean $3thetain (0,pi)$, or $3thetain (2pi,3pi)$, or $3theta in (4pi,5pi)$.
– Snookie
Nov 20 at 12:08
|
show 3 more comments
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004674%2flength-of-the-arc-of-locus-of-a-complex-number%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
2
You're taking the argument of $frac{z^3-1}{z^3+1}$, not $z$ itself. Not sure how you got to $|z|^6=1$.
– vrugtehagel
Nov 19 at 9:11
@vrugtehagel I am not sure what you're asking. For your second question, I took the conjugate of the complex number which is inside the argument i.e $frac{z^3-1}{z^3+1}$ and equated it to $-bigg(frac{z^3-1}{z^3+1}bigg)$ since its purely imaginary. Solving this equation got me to $|z|^6 = 1$.
– Piano Land
Nov 19 at 10:39
@vrugtehagel $$argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$$ means that $frac{z^3-1}{z^3+1} = lambda i$ for some $lambda > 0$ and you get $z^3 = frac{1+lambda i}{1-lambda i}$. Hence $lvert z rvert^6 = z^3 cdot overline{z^3} = 1$.
– Paul Frost
Nov 19 at 13:05
I see. In fact, just calculating $|z^3|$ with $frac{1+lambda i}{1-lambda i}$ will yield $|z|^3=1$. I'm unfamiliar with the terminology "length of the arc of the locus" however so I'm afraid I can't help any further.
– vrugtehagel
Nov 19 at 13:09
@PianoLand $lvert z rvert = 1$ is necessary, but not sufficient for $(*) phantom{x} argbigg(frac{z^3-1}{z^3+1}bigg) = frac{pi}{2}$. Take $z=1$. Moreover, as vrugtehagel said, it is not really clear what you mean by "length of the arc of the locus of $z$ for which ...". I guess you mean the set of solutions $z$ of $(*)$?
– Paul Frost
Nov 19 at 13:23