Deriving arccos from arcsin using trigonometric identities

[guildmage]

Homework Statement

I want to show that:

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

Homework Equations

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

The Attempt at a Solution

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

What is left to show is that

\arcsin\, \left( -z \right) = \arcsin\,z

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

 

[gabbagabbahey]

Homework Statement

I want to show that:

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

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

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

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

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

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

What is left to show is that

\arcsin\, \left( -z \right) = \arcsin\,z

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

Is this part of a larger problem? What is the original question?

 

[guildmage]

This problem is not part of a bigger problem:

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

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

I am not sure though how \arcsin\, \left( -z \right) = \arcsin\,z was derived.

 

[gabbagabbahey]

That link contains a typo (at least one): \arcsin(-z)=-\arcsin(z)\neq\arcsin(z)...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)

 

[guildmage]

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.

 

[gabbagabbahey]

Provide a counter example...say z=0 and n=1 for example...

Are you sure you weren't asked to show

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

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 \left( -1 \right) ^{n+1} \arcsin \,z+\pi/2\, +n\pi need not be...this is why what you say you are trying to prove, is not true.

 

[guildmage]

I'm sure that the problem I posted was the original problem.

Thanks for your advice. I'll ask my professor about it.

 

[guildmage]

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?

 

[gabbagabbahey]

Since when is Log multiple valued?

ArcCos and Log are both defined in a way that makes them single valued.

 

[guildmage]

This is our definition:

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

as opposed to

Log \,z= \ln \, \left| z \right| +i Arg z

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