Deriving arccos from arcsin

  • Thread starter guildmage
  • Start date
  • #1
25
0

Homework Statement



I want to show that:

[tex] \arccos \,z= \left( -1 \right) ^{n+1} \arcsin \,z+\pi/2\, +n\pi [/tex]

Homework Equations



There is a trigonometric identity that says
[tex] \arccos \,z= \pi/2\, -\arcsin \,z [/tex]

The Attempt at a Solution



So far, I have come up to this
[tex] \arccos\,z=\pi/2\, -{\it i}\log\ \left( -iz+\sqrt {1-{z}^{2}} \right) [/tex]

What is left to show is that

[tex] \arcsin\, \left( -z \right) = \arcsin\,z [/tex]

My plan is to add the periodicity (is that the term?) later on since
[tex] -\cos\,z= \cos\ \left( z+\pi \right) [/tex]
 

Answers and Replies

  • #2
gabbagabbahey
Homework Helper
Gold Member
5,002
7

Homework Statement



I want to show that:

[tex] \arccos \,z= \left( -1 \right) ^{n+1} \arcsin \,z+\pi/2\, +n\pi [/tex]

Why would you want to show this?...It isn't true!

For example, for n=2 you have [tex] \left( -1 \right) ^{n+1} \arcsin \,z+\pi/2\, +n\pi =- \arcsin \,z+\pi/2\ +2\pi=\arccos \,z +2\pi \neq \arccos \,z[/tex]....

So far, I have come up to this
[tex] \arccos\,z=\pi/2\, -{\it i}\log\ \left( -iz+\sqrt {1-{z}^{2}} \right) [/tex]

Not sure what you did to get to this point, but you have a sign error; you should have

[tex] \arccos\,z=\pi/2\, +{\it i}\log\ \left( -iz+\sqrt {1-{z}^{2}} \right) [/tex]

What is left to show is that

[tex] \arcsin\, \left( -z \right) = \arcsin\,z [/tex]

Again, why would you want to show this? The fact that [itex]\sin(-x)=-\sin(x)[/itex] should tell you that it's not true.

Is this part of a larger problem? What is the original question?
 
  • #3
25
0
This problem is not part of a bigger problem:

[tex] \arccos \,z= \left( -1 \right) ^{n+1} \arcsin \,z+\pi/2\, +n\pi [/tex]

I have seen a similar computation http://math.fullerton.edu/mathews/c2003/ComplexFunTrigInverseMod.html" [Broken].

I am not sure though how [tex] \arcsin\, \left( -z \right) = \arcsin\,z [/tex] was derived.
 
Last edited by a moderator:
  • #4
gabbagabbahey
Homework Helper
Gold Member
5,002
7
That link contains a typo (at least one): [itex]\arcsin(-z)=-\arcsin(z)\neq\arcsin(z)[/itex].....plug in some numbers into your calculator if you don't believe me.


While your at it, plug some numbers into the equation your trying to prove....you'll find that it isn't true (except for n=0 of course)
 
  • #5
25
0
Let's say you're right. How then do I resolve this? Do I provide a counterexample instead of proving it? The problem was explicit in saying that I should prove it.

This problem is given by my professor in Complex Variables which I am taking under an MS Math degree program.
 
  • #6
gabbagabbahey
Homework Helper
Gold Member
5,002
7
Provide a counter example...say z=0 and n=1 for example....

Are you sure you weren't asked to show

[tex]\cos\left(\left( -1 \right) ^{n+1} \arcsin \,z+\pi/2\, +n\pi \right)=z[/tex]

Because that actually is true....the reason that you can't just take the arccos of both sides is that arcos always returns the principle value, so arcos(z) is always between 0 and 2pi, while [itex]\left( -1 \right) ^{n+1} \arcsin \,z+\pi/2\, +n\pi[/itex] need not be....this is why what you say you are trying to prove, is not true.
 
  • #7
25
0
I'm sure that the problem I posted was the original problem.

Thanks for your advice. I'll ask my professor about it.
 
  • #8
25
0
I just thought, isn't it that since that arccos is expressed in terms of log, then it should be multiple-valued since log is?
 
  • #9
gabbagabbahey
Homework Helper
Gold Member
5,002
7
Since when is Log multiple valued? :confused:

ArcCos and Log are both defined in a way that makes them single valued.
 
  • #10
25
0
This is our definition:

[tex] \log \,z= \ln \, \left| z \right| +i Arg \left( z+2\,n\pi \right) [/tex]

as opposed to

[tex] Log \,z= \ln \, \left| z \right| +i Arg z [/tex]

So log here becomes multiple valued, whereas Log is not.
 

Related Threads on Deriving arccos from arcsin

  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
14
Views
7K
Replies
6
Views
1K
  • Last Post
Replies
3
Views
4K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
3
Views
4K
Replies
22
Views
7K
Top