The Inverse Cosine  arccos(z) .   Verify that the formula(s)   

(ii a)            [Graphics:Images/ComplexFunTrigInverseMod_gr_67.gif],  

(ii a)            [Graphics:Images/ComplexFunTrigInverseMod_gr_68.gif].  

are correct.  (At least for values of z in the upper half plane  [Graphics:Images/ComplexFunTrigInverseMod_gr_69.gif].)

Explore Formula (ii a).

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

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




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

 

 

The above formula looks different from ours.  However, the following simplification can be made.

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

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

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




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

 

 

We can use Mathematica to verify the formula graphically, for values of z in the upper half plane  [Graphics:../Images/ComplexFunTrigInverseMod_gr_77.gif].  

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

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

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

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

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

Remark. If you mess around with the square root it will be wrong. A portion that is supposed to be in the fourth quadrant appears symmetrically in the second quadrant.

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




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

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) 2006 John H. Mathews, Russell W. Howell