Exercise 5.  Find a parametrization of the curve that is a portion of the circle  [Graphics:Images/ComplexPlaneTopologyModHome_gr_188.gif]  that joins the point  [Graphics:Images/ComplexPlaneTopologyModHome_gr_189.gif]  to  [Graphics:Images/ComplexPlaneTopologyModHome_gr_190.gif]  if  

5 (a).  the curve is the right semicircle.  

Solution 5 (a).

See text and/or instructor's solution manual.

    The first thing that comes to mind is to use the well known parameterization

        [Graphics:../Images/ComplexPlaneTopologyModHome_gr_191.gif]   for   [Graphics:../Images/ComplexPlaneTopologyModHome_gr_192.gif].  

We are done.   

Aside.  We can let Mathematica double check our work.

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

        

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

  

        The curve  [Graphics:../Images/ComplexPlaneTopologyModHome_gr_195.gif]    for    [Graphics:../Images/ComplexPlaneTopologyModHome_gr_196.gif],   where   

        the initial point is  [Graphics:../Images/ComplexPlaneTopologyModHome_gr_197.gif]  and the terminal point is  [Graphics:../Images/ComplexPlaneTopologyModHome_gr_198.gif].    

We are done.   

    A second parameterization would be to substitute   [Graphics:../Images/ComplexPlaneTopologyModHome_gr_199.gif]  in the above parameterization and get

        [Graphics:../Images/ComplexPlaneTopologyModHome_gr_200.gif]    for    [Graphics:../Images/ComplexPlaneTopologyModHome_gr_201.gif],
        
which can be written as

        [Graphics:../Images/ComplexPlaneTopologyModHome_gr_202.gif]    for    [Graphics:../Images/ComplexPlaneTopologyModHome_gr_203.gif].  

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

        

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

  

        The curve  [Graphics:../Images/ComplexPlaneTopologyModHome_gr_206.gif]   for   [Graphics:../Images/ComplexPlaneTopologyModHome_gr_207.gif],   where   

        the initial point is  [Graphics:../Images/ComplexPlaneTopologyModHome_gr_208.gif]  and the terminal point is  [Graphics:../Images/ComplexPlaneTopologyModHome_gr_209.gif].    

We are done.   

    A third parameterization can be obtained by adjusting the above parameterization to get

        [Graphics:../Images/ComplexPlaneTopologyModHome_gr_210.gif]    for    [Graphics:../Images/ComplexPlaneTopologyModHome_gr_211.gif].  

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

        

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

  

        The curve  [Graphics:../Images/ComplexPlaneTopologyModHome_gr_214.gif]    for   [Graphics:../Images/ComplexPlaneTopologyModHome_gr_215.gif],    where   

        the initial point is  [Graphics:../Images/ComplexPlaneTopologyModHome_gr_216.gif]  and the terminal point is  [Graphics:../Images/ComplexPlaneTopologyModHome_gr_217.gif].    

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

This solution is complements of the authors.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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