The Inverse Tangent  arctan(z) .  Verify that the formula  

(iii)            [Graphics:Images/ComplexFunTrigInverseMod_gr_103.gif]  

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

Explore Formula (iii).

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

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




[Graphics:../Images/ComplexFunTrigInverseMod_gr_107.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_108.gif].  Since [Graphics:../Images/ComplexFunTrigInverseMod_gr_109.gif]  both formulas are "right."  

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

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

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




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

 

 

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

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




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

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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