Length of the arc of locus of a complex number











up vote
1
down vote

favorite
1













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.










share|cite|improve this question




















  • 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















up vote
1
down vote

favorite
1













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.










share|cite|improve this question




















  • 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













up vote
1
down vote

favorite
1









up vote
1
down vote

favorite
1






1






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.










share|cite|improve this question
















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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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














  • 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










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$.






share|cite|improve this answer























  • 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











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















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

























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$.






share|cite|improve this answer























  • 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















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$.






share|cite|improve this answer























  • 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













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$.






share|cite|improve this answer














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$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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


















  • 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


















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

How to send String Array data to Server using php in android

Title Spacing in Bjornstrup Chapter, Removing Chapter Number From Contents

Is anime1.com a legal site for watching anime?