The Inverse Cosine arccos(z)
. Verify
that the formula(s)
(ii
a)
,
(ii
a)
.
are correct. (At least for values of z in the upper half
plane
.)
Explore Formula (ii a).
First, use Mathematica to determine the formula for
ArcCos[z]. Start with the
identity
.
![[Graphics:../Images/ComplexFunTrigInverseMod_gr_72.gif]](../Images/ComplexFunTrigInverseMod_gr_72.gif)
The above formula looks different from ours. However,
the following simplification can be made.
And we can verify that
is
the inverse.
![[Graphics:../Images/ComplexFunTrigInverseMod_gr_76.gif]](../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_78.gif]](../Images/ComplexFunTrigInverseMod_gr_78.gif)
![[Graphics:../Images/ComplexFunTrigInverseMod_gr_79.gif]](../Images/ComplexFunTrigInverseMod_gr_79.gif)
![[Graphics:../Images/ComplexFunTrigInverseMod_gr_81.gif]](../Images/ComplexFunTrigInverseMod_gr_81.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_84.gif]](../Images/ComplexFunTrigInverseMod_gr_84.gif)
![[Graphics:../Images/ComplexFunTrigInverseMod_gr_86.gif]](../Images/ComplexFunTrigInverseMod_gr_86.gif)