The Inverse Hyperbolic Tangent  arctanh(z) .  Verify that the formula  

(vi)             [Graphics:Images/ComplexFunTrigInverseMod_gr_191.gif]  
            
is correct, we can verify this graphically.

Explore Formula (vi) .

First, use Mathematica to determine the formula for ArcTan[z].  Start with the identities  [Graphics:../Images/ComplexFunTrigInverseMod_gr_192.gif].  

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




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

 

 

The above formula looks different.  The following simplifications can be made and then the formulas will differ by the constant [Graphics:../Images/ComplexFunTrigInverseMod_gr_195.gif].  Since  [Graphics:../Images/ComplexFunTrigInverseMod_gr_196.gif]  both formulas are "right."  

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

 


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

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




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

 

 

We can use Mathematica to verify the formula graphically.   (At least for values of z in the upper half plane first quadrant [Graphics:../Images/ComplexFunTrigInverseMod_gr_201.gif].)

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




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

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

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

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