Solution 16.

Solution.  Since  [Graphics:../Images/MobiusTranformationModHome_gr_889.gif] is a bilinear transformation or Mobius transformation,

the four complex complex constants  [Graphics:../Images/MobiusTranformationModHome_gr_890.gif]  have the restriction that  [Graphics:../Images/MobiusTranformationModHome_gr_891.gif].  

The derivative of  [Graphics:../Images/MobiusTranformationModHome_gr_892.gif] is

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

Since  [Graphics:../Images/MobiusTranformationModHome_gr_894.gif],  the numerator of  [Graphics:../Images/MobiusTranformationModHome_gr_895.gif] is not equal to zero.  

The denominator of  [Graphics:../Images/MobiusTranformationModHome_gr_896.gif] is equal to zero when [Graphics:../Images/MobiusTranformationModHome_gr_897.gif], which occurs when [Graphics:../Images/MobiusTranformationModHome_gr_898.gif].  

The denominator  [Graphics:../Images/MobiusTranformationModHome_gr_899.gif]  at all points  [Graphics:../Images/MobiusTranformationModHome_gr_900.gif].

Hence  [Graphics:../Images/MobiusTranformationModHome_gr_901.gif]  at all points  [Graphics:../Images/MobiusTranformationModHome_gr_902.gif].

Therefore,  [Graphics:../Images/MobiusTranformationModHome_gr_903.gif]  is conformal at all points  [Graphics:../Images/MobiusTranformationModHome_gr_904.gif].

We are done.   

Aside.  We can let Mathematica double check our work.

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 



This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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