The Inverse Hyperbolic Cosine  arccosh(z) .  Verify that the formula  

(v)            [Graphics:Images/ComplexFunTrigInverseMod_gr_173.gif]  

is correct, we can verify this graphically.   But it is correct only in quadrants  I  and  IV.

Explore Formula (v) .

First, use Mathematica to determine the formula for ArcCosh[z].  Start with the identity  [Graphics:../Images/ComplexFunTrigInverseMod_gr_174.gif].  

[Graphics:../Images/ComplexFunTrigInverseMod_gr_175.gif]




[Graphics:../Images/ComplexFunTrigInverseMod_gr_176.gif]

 

 

And we can verify that  [Graphics:../Images/ComplexFunTrigInverseMod_gr_177.gif]  is the inverse.

[Graphics:../Images/ComplexFunTrigInverseMod_gr_178.gif]




[Graphics:../Images/ComplexFunTrigInverseMod_gr_179.gif]

 

 

We can use Mathematica to verify the formula graphically.   (But only for values of  z  in quadrants  I  and  IV.)

[Graphics:../Images/ComplexFunTrigInverseMod_gr_180.gif]




[Graphics:../Images/ComplexFunTrigInverseMod_gr_181.gif]

[Graphics:../Images/ComplexFunTrigInverseMod_gr_182.gif]

[Graphics:../Images/ComplexFunTrigInverseMod_gr_183.gif]

[Graphics:../Images/ComplexFunTrigInverseMod_gr_184.gif]

Remark. However, for other places it might not agree!  For Example in Quadrant II and III.  Here we must use the other branch of square root!  We use  [Graphics:../Images/ComplexFunTrigInverseMod_gr_185.gif].  

[Graphics:../Images/ComplexFunTrigInverseMod_gr_186.gif]




[Graphics:../Images/ComplexFunTrigInverseMod_gr_187.gif]

[Graphics:../Images/ComplexFunTrigInverseMod_gr_188.gif]

[Graphics:../Images/ComplexFunTrigInverseMod_gr_189.gif]

[Graphics:../Images/ComplexFunTrigInverseMod_gr_190.gif]