<?xml version="1.0" encoding="utf-8" standalone="no"?>
<!DOCTYPE document PUBLIC "-//CNX//DTD CNXML 0.5 plus MathML//EN" "http://cnx.rice.edu/cnxml/0.5/DTD/cnxml_mathml.dtd">
<document xmlns="http://cnx.rice.edu/cnxml" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:bib="http://bibtexml.sf.net/" id="m0081">

  <name>Complex Numbers</name>
  
  <metadata>
  <md:version>2.27</md:version>
  <md:created>2000/08/02</md:created>
  <md:revised>2008/08/09 18:22:29.646 GMT-5</md:revised>
  <md:authorlist>
      <md:author id="dhj">
      <md:firstname>Don</md:firstname>
      
      <md:surname>Johnson</md:surname>
      <md:email>dhj@rice.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist>
    <md:maintainer id="dhj">
      <md:firstname>Don</md:firstname>
      
      <md:surname>Johnson</md:surname>
      <md:email>dhj@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="montgom">
      <md:firstname>Joe</md:firstname>
      
      <md:surname>Montgomery</md:surname>
      <md:email>montgom@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer id="jac3">
      <md:firstname>John</md:firstname>
      <md:othername>Austin</md:othername>
      <md:surname>Cottrell</md:surname>
      <md:email>jac3@rice.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist>
    <md:keyword>angle of complex number</md:keyword>
    <md:keyword>Cartesian form</md:keyword>
    <md:keyword>complex number</md:keyword>
    <md:keyword>imaginary number</md:keyword>
    <md:keyword>imaginary part</md:keyword>
    <md:keyword>magnitude of complex number</md:keyword>
    <md:keyword>polar form</md:keyword>
  </md:keywordlist>

  <md:abstract>An introduction to complex numbers.</md:abstract>
</metadata>


  <content>
    <para id="newintro">
      While the fundamental signal usd in electrical engineering is the sinusoid, it can be expressed mathematically in terms of an even more fundamental signal:
      the <term>complex exponential</term>.
      Representing sinusoids in terms of complex exponentials is <emphasis>not</emphasis> a mathematical oddity.
      Fluency with complex numbers and rational functions of complex variables is a critical skill all engineers master.
      Understanding information and power system designs and developing new systems all hinge on using complex numbers.
      In short, they are critical to modern electrical engineering, a realization made over a century ago.
    </para>
    
    <section id="LotsODefinitions">
      <name>Definitions</name>
      <para id="def1"> 
	The notion of the square root of 
	<m:math>
	  <m:cn>-1</m:cn>    
	</m:math>
	originated with the quadratic formula:
	the solution of certain quadratic equations mathematically exists only if the so-called imaginary quantity
	<m:math>
	  <m:apply>
	    <m:root/>	      
	    <m:cn>-1</m:cn>
	  </m:apply>      
	</m:math>
	could be defined.
	<link src="http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Euler.html">
	  Euler</link> first used <m:math><m:ci>i</m:ci></m:math> for the
	imaginary unit but that notation did not take hold until
	roughly Ampère's time.
	<link src="http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Ampere.html">
	  Ampère</link>
	used the symbol <m:math><m:ci>i</m:ci></m:math> to denote
	current (intensité de current).
    It wasn't until the twentieth century that the importance of complex numbers to circuit
	theory became evident.  By then, using
	<m:math><m:ci>i</m:ci></m:math> for current was entrenched and
	electrical engineers chose <m:math><m:imaginaryi/></m:math>
	for writing complex numbers.
	</para>
	
	<para id="imagdef">An <term>imaginary number</term> has the form
	<m:math>
	  <m:apply><m:eq/>
	    <m:apply><m:times/>
	      <m:imaginaryi/>
	      <m:ci>b</m:ci>
	    </m:apply>
	    <m:apply><m:root/>
	      <m:apply><m:minus/>
	         <m:apply><m:power/>
	           <m:ci>b</m:ci>
	           <m:cn>2</m:cn>
	         </m:apply>
	      </m:apply>
	    </m:apply>
	  </m:apply>
	</m:math>.
	A <term>complex number</term>, <m:math><m:ci>z</m:ci></m:math>, consists of the ordered pair (<m:math><m:ci>a</m:ci></m:math>,<m:math><m:ci>b</m:ci></m:math>),  <m:math><m:ci>a</m:ci></m:math> is the real component and <m:math><m:ci>b</m:ci></m:math> is the imaginary component (the <m:math><m:imaginaryi/></m:math> is suppressed because the imaginary component of the pair is always in the second position).
	The imaginary number
	<m:math>
	  <m:apply><m:times/><m:imaginaryi/><m:ci>b</m:ci></m:apply>
	</m:math>
	equals (<m:math><m:cn>0</m:cn></m:math>,<m:math><m:ci>b</m:ci></m:math>).
	Note that <m:math><m:ci>a</m:ci></m:math> and <m:math><m:ci>b</m:ci></m:math> are real-valued numbers.
	</para>
	
	<para id="zinplane"><cnxn target="planefig" strength="9"/> shows that we can locate a complex number in what we call the <term>complex plane</term>.
    Here, <m:math><m:ci>a</m:ci></m:math>, the real part, is the <m:math><m:ci>x</m:ci></m:math>-coordinate and <m:math><m:ci>b</m:ci></m:math>, the imaginary part, is the <m:math><m:ci>y</m:ci></m:math>-coordinate.

    <figure id="planefig" orient="vertical"><name>The Complex Plane</name>
	<media type="image/png" src="complex.png"/>
      <caption>
	A complex number is an ordered pair
       (<m:math><m:ci>a</m:ci></m:math>,<m:math><m:ci>b</m:ci></m:math>) that can be regarded as coordinates in the plane.
       Complex numbers can also be expressed in polar coordinates as
      <m:math>
        <m:apply><m:times/>
          <m:ci>r</m:ci><m:cn>∠</m:cn><m:ci>θ</m:ci>
        </m:apply>
      </m:math>.
   </caption>
    </figure>   

    From analytic geometry, we know that locations in the plane can be expressed as the sum of vectors, with the vectors corresponding to the <m:math><m:ci>x</m:ci></m:math> and <m:math><m:ci>y</m:ci></m:math> directions.
    Consequently, a complex number <m:math><m:ci>z</m:ci></m:math> can be expressed as the (vector) sum
       <m:math>
         <m:apply><m:eq/>
           <m:ci>z</m:ci>
           <m:apply><m:plus/>
             <m:ci>a</m:ci>
             <m:apply><m:times/>
               <m:imaginaryi/>
               <m:ci>b</m:ci>
             </m:apply>
           </m:apply>
         </m:apply>
       </m:math>
       where <m:math><m:imaginaryi/></m:math> indicates the <m:math><m:ci>y</m:ci></m:math>-coordinate.
	This representation is known as the <term>Cartesian form of <m:math><m:ci>z</m:ci></m:math></term>.
	An imaginary number can't be numerically added to a real number;
	rather, this notation for a complex number represents vector addition, but it provides a convenient notation when we perform arithmetic manipulations.
    </para>
	
	<para id="terminolgy">Some obvious terminology.
	The <term>real part</term> of the complex number
       <m:math>
         <m:apply><m:eq/>
           <m:ci>z</m:ci>
           <m:apply><m:plus/>
             <m:ci>a</m:ci>
             <m:apply><m:times/>
               <m:imaginaryi/>
               <m:ci>b</m:ci>
             </m:apply>
           </m:apply>
         </m:apply>
       </m:math>, written
	as
	<m:math>
	  <m:apply>
	    <m:real/>
	    <m:ci>z</m:ci>
	  </m:apply>
	</m:math>, equals <m:math><m:ci>a</m:ci></m:math>.  We consider the
	real part as a function that works by selecting that component
	of a complex number <emphasis>not</emphasis> multiplied by
	<m:math><m:imaginaryi/></m:math>.
	The <term>imaginary part</term> of <m:math><m:ci>z</m:ci></m:math>,
	<m:math>
	  <m:apply>
	    <m:imaginary/>
	    <m:ci>z</m:ci>
	  </m:apply>
	</m:math>, equals <m:math><m:ci>b</m:ci></m:math>:
	that part of a complex number that is multiplied by
	<m:math><m:imaginaryi/></m:math>.
	Again, both the real and imaginary parts of a complex number are real-valued.
	</para>
	
    <para id="conjugation"> The <term>complex conjugate</term> of
	<m:math><m:ci>z</m:ci></m:math>, written as
	<m:math>
	  <m:apply>
	    <m:conjugate/>
	    <m:ci>z</m:ci>
	  </m:apply>
	</m:math>,
	has the same real part as <m:math><m:ci>z</m:ci></m:math>
	but an imaginary part of the opposite sign.
	
	<equation id="eq1">
	  <m:math>
	    <m:mtable>
	      <m:mtr>
	      <m:mtd>
	    <m:apply>     
	      <m:eq/>
	      <m:ci>z</m:ci>
	      <m:apply>  
		<m:plus/>
		<m:apply>
		  <m:real/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:imaginaryi/>
		  <m:apply>
		    <m:imaginary/>
		    <m:ci>z</m:ci>
		  </m:apply>
		</m:apply>  
	      </m:apply>
	    </m:apply>
	    </m:mtd>
	    </m:mtr>
	    
	    <m:mtr>
	      <m:mtd>
	    <m:apply>     
	      <m:eq/>
	      <m:apply>
		<m:conjugate/>
		<m:ci>z</m:ci>
	      </m:apply>
	      <m:apply>  
		<m:minus/>
		<m:apply>
		  <m:real/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:imaginaryi/>
		  <m:apply>
		    <m:imaginary/>
		    <m:ci>z</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>  
	    </m:apply>      
	      </m:mtd>
	    </m:mtr>
	    </m:mtable>
	  </m:math>
	</equation>
    </para>
    
	<para id="props">
    Using Cartesian notation, the following properties easily follow.
    <list id="prop" type="unenumerated"><item>
        If we add two complex numbers, the real part of the result equals the sum of the real parts and the imaginary part equals the sum of the imaginary parts.
        This property follows from the laws of vector addition.
        <m:math display="block">
          <m:apply><m:eq/>
            <m:apply><m:plus/>
              <m:apply><m:plus/>
                <m:ci><m:msub><m:mi>a</m:mi><m:mn>1</m:mn></m:msub></m:ci>
                <m:apply><m:times/>
                  <m:imaginaryi/>
                  <m:ci><m:msub><m:mi>b</m:mi><m:mn>1</m:mn></m:msub></m:ci>
                </m:apply>
              </m:apply>
              <m:apply><m:plus/>
                <m:ci><m:msub><m:mi>a</m:mi><m:mn>2</m:mn></m:msub></m:ci>
                <m:apply><m:times/>
                  <m:imaginaryi/>
                  <m:ci><m:msub><m:mi>b</m:mi><m:mn>2</m:mn></m:msub></m:ci>
                </m:apply>
              </m:apply>
            </m:apply>
            <m:apply><m:plus/>
              <m:apply><m:plus/>
                <m:ci><m:msub><m:mi>a</m:mi><m:mn>1</m:mn></m:msub></m:ci>
                <m:ci><m:msub><m:mi>a</m:mi><m:mn>2</m:mn></m:msub></m:ci>
              </m:apply>
              <m:apply><m:times/>
                <m:imaginaryi/>
                <m:apply><m:plus/>
                  <m:ci><m:msub><m:mi>b</m:mi><m:mn>1</m:mn></m:msub></m:ci>
                  <m:ci><m:msub><m:mi>b</m:mi><m:mn>2</m:mn></m:msub></m:ci>
                </m:apply>
              </m:apply>
            </m:apply>
          </m:apply>
        </m:math>
        In this way, the real and imaginary parts remain separate.
      </item>
      <item>
        The product of <m:math><m:imaginaryi/></m:math> and a real number is an imaginary number:
        <m:math>
          <m:apply><m:times/>
            <m:imaginaryi/>
            <m:ci>a</m:ci>
          </m:apply>
        </m:math>.
        The product of <m:math><m:imaginaryi/></m:math> and an imaginary number is a real number:
        <m:math>
          <m:apply><m:eq/>
            <m:apply><m:times/>
              <m:imaginaryi/>
              <m:apply><m:times/>
                <m:imaginaryi/>
                <m:ci>b</m:ci>
              </m:apply>
            </m:apply>
            <m:apply><m:minus/>
              <m:ci>b</m:ci>
            </m:apply>
          </m:apply>
        </m:math>
        because
        <m:math>
          <m:apply><m:eq/>
            <m:apply><m:power/>
              <m:imaginaryi/>
              <m:cn>2</m:cn>
            </m:apply>
            <m:apply><m:minus/>
              <m:cn>1</m:cn>
            </m:apply>
          </m:apply>
        </m:math>.
      Consequently, multiplying a complex number by <m:math><m:imaginaryi/></m:math> <emphasis>rotates</emphasis> the number's position by <m:math><m:cn>90</m:cn></m:math> degrees.
      </item>
    </list>
    </para>
    <exercise id="exer2">
	<problem>
	  <para id="exer2a">
	    Use the definition of addition to show that the real and
	    imaginary parts can be expressed as a sum/difference
	    of a complex number and its conjugate.
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:real/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:apply>
		  <m:divide/>
		  <m:apply>
		    <m:plus/>
		    <m:ci>z</m:ci>
		    <m:apply>
		      <m:conjugate/>
		      <m:ci>z</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:cn>2</m:cn>
		</m:apply>
	      </m:apply>
	    </m:math>
	    and
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:imaginary/>
		  <m:ci>z</m:ci>
		</m:apply>
		<m:apply>
		  <m:divide/>
		  <m:apply>
		    <m:minus/>
		    <m:ci>z</m:ci>
		    <m:apply>
		      <m:conjugate/>
		      <m:ci>z</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:cn>2</m:cn>
		    <m:imaginaryi/>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>.
	  </para>
	</problem>
	<solution>
	  <para id="exer2b">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:plus/>
		  <m:ci>z</m:ci>
		  <m:apply>
		    <m:conjugate/>
		    <m:ci>z</m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:plus/>
		  <m:ci>a</m:ci>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:ci>b</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:minus/>
		    <m:ci>a</m:ci>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci>b</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:cn>2</m:cn>
		  <m:ci>a</m:ci>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:cn>2</m:cn>
		  <m:apply>
		    <m:real/>
		    <m:ci>z</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>.  Similarly,  
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:minus/>
		  <m:ci>z</m:ci>
		  <m:apply>
		    <m:conjugate/>
		    <m:ci>z</m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:plus/>
		    <m:ci>a</m:ci>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci>b</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:minus/>
		    <m:ci>a</m:ci>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci>b</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:cn>2</m:cn>
		  <m:imaginaryi/>
		  <m:ci>b</m:ci>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:cn>2</m:cn>
		    <m:imaginaryi/>
		    <m:apply>
		      <m:imaginary/>
		      <m:ci>z</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	    
	  </para>
	</solution>
      </exercise>

    <para id="polarForm">Complex numbers can also be expressed in
	an alternate form, <term>polar form</term>, which we will find
	quite useful.  Polar form arises arises from the geometric interpretation of complex numbers.
	The Cartesian form of a complex number can be re-written as
	 <m:math display="block">
	  <m:apply>
	    <m:eq/>
	    <m:apply>
	      <m:plus/>
	      <m:ci>a</m:ci>
	      <m:apply>
		<m:times/>
		<m:imaginaryi/>
		<m:ci>b</m:ci>
	      </m:apply>
	    </m:apply>
	    <m:apply>
	      <m:times/>
	      <m:apply>
		<m:root/>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:power/>
		    <m:ci>a</m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		  <m:apply>
		    <m:power/>
		    <m:ci>b</m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:plus/>
		<m:apply>
		  <m:divide/>
		  <m:ci>a</m:ci>
		  <m:apply>
		    <m:root/>
		    <m:apply>
		      <m:plus/>
		      <m:apply>
			<m:power/>
			<m:ci>a</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
			<m:power/>
			<m:ci>b</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:imaginaryi/>
		    <m:apply>
		    <m:divide/>
		    <m:ci>b</m:ci>
		    <m:apply>
		      <m:root/>
		      <m:apply>
			<m:plus/>
			<m:apply>
			  <m:power/>
			  <m:ci>a</m:ci>
			  <m:cn>2</m:cn>
			</m:apply>
			<m:apply>
			  <m:power/>
			  <m:ci>b</m:ci>
			  <m:cn>2</m:cn>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    </m:apply>
		</m:apply>
	      </m:apply> 
	    </m:apply>  
	  </m:apply>      
	</m:math>


	By forming a right triangle having sides
	<m:math><m:ci>a</m:ci></m:math> and
	<m:math><m:ci>b</m:ci></m:math>, we see that the real and imaginary parts correspond to the cosine and sine of the triangle's base angle.
        We thus obtain the
	<term>polar form</term> for complex numbers.
	
	  <m:math display="block">
	    <m:mtable columnalign="left">
	      <m:mtr>
	        <m:mtd>
	          <m:apply><m:eq/>
	            <m:ci>z</m:ci>
	            <m:apply><m:plus/>
                  <m:ci>a</m:ci>
		          <m:apply><m:times/><m:imaginaryi/><m:ci>b</m:ci></m:apply>
	            </m:apply>
	            <m:apply><m:times/>
		          <m:ci>r</m:ci>
                  <m:cn>∠</m:cn>
                  <m:ci>θ</m:ci>
	            </m:apply>
	          </m:apply>
	        </m:mtd>
	      </m:mtr>
	      
	      <m:mtr>
	        <m:mtd>
	       <m:apply>
	      <m:eq/>
	      <m:ci>r</m:ci>
	      <m:apply>
		<m:abs/>
		<m:ci>z</m:ci>
	      </m:apply>
	      <m:apply>
		<m:root/>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:power/>
		    <m:ci>a</m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		  <m:apply>
		    <m:power/>
		    <m:ci>b</m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>      
	        </m:mtd>
	      </m:mtr>
	      
	      <m:mtr>
	        <m:mtd>
	         <m:apply>
	      <m:eq/>
	      <m:ci>a</m:ci>
	      <m:apply>
		<m:times/>
		<m:ci>r</m:ci>
		<m:apply>
		  <m:cos/>
		  <m:ci>θ</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>      
	        </m:mtd>
	      </m:mtr>
	      
	      <m:mtr>
	        <m:mtd>
	    <m:apply>
	      <m:eq/>
	      <m:ci>b</m:ci>
	      <m:apply>
		<m:times/>
		<m:ci>r</m:ci>
		<m:apply>
		  <m:sin/>
		  <m:ci>θ</m:ci>
		</m:apply>
	      </m:apply>
	    </m:apply>      
	        </m:mtd>
	      </m:mtr>
	      
	      <m:mtr>
	        <m:mtd>
	    <m:apply>
	      <m:eq/>
	      <m:ci>θ</m:ci>
	      <m:apply>
		<m:arctan/>
		<m:apply>
		  <m:divide/>
		  <m:ci>b</m:ci>
		  <m:ci>a</m:ci>
		</m:apply>
	      </m:apply>    
	    </m:apply>
	        </m:mtd>
	      </m:mtr>
	    </m:mtable>
	  </m:math>

	The quantity <m:math><m:ci>r</m:ci></m:math> is known as the
	<term>magnitude</term> of the complex number
	<m:math><m:ci>z</m:ci></m:math>, and is frequently written as
	<m:math>
	  <m:apply><m:abs/>
	    <m:ci>z</m:ci>
	  </m:apply>
	</m:math>.
    The quantity <m:math><m:ci>θ</m:ci></m:math> is the
	complex number's <term>angle</term>.
	In using the arc-tangent formula to find the angle, we must take into account the quadrant in which the complex number lies.
	</para>

      <exercise id="exer1">
	<problem>
	  <para id="exer1a">
	    Convert 
	    <m:math>      
	      <m:apply>
		<m:minus/>
		<m:cn>3</m:cn>
		<m:apply>
		  <m:times/>
		  <m:cn>2</m:cn>
		  <m:imaginaryi/>
		</m:apply>	    
	      </m:apply>
	    </m:math>
	    to polar form.
	  </para>
	</problem>

	<solution>
	  <para id="exer1b">
	    To convert 
	    <m:math>      
	      <m:apply>
		<m:minus/>
		<m:cn>3</m:cn>
		<m:apply>
		  <m:times/>
		  <m:cn>2</m:cn>
		  <m:imaginaryi/>
		</m:apply>	    
	      </m:apply>
	    </m:math>
	    to polar form, we first locate the number in the complex
	    plane in the fourth quadrant. The distance from the origin
	    to the complex number is the magnitude
	    <m:math><m:ci>r</m:ci></m:math>, which equals
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:root/>		
		  <m:cn>13</m:cn>
		</m:apply>
		<m:apply>
		  <m:root/>
		  <m:apply>
		    <m:plus/>
		    <m:apply>
		      <m:power/>
		      <m:cn>3</m:cn>
		      <m:cn>2</m:cn>
		    </m:apply>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:minus/>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:cn>2</m:cn>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply> 
	    </m:math>.  The angle equals
	    <m:math>
	      <m:apply>
		<m:minus/>
		<m:apply>
		  <m:arctan/>
		  <m:apply>
		    <m:divide/>
		    <m:cn>2</m:cn>
		    <m:cn>3</m:cn>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>
	    or <m:math><m:cn>-0.588</m:cn></m:math> radians
	    (<m:math><m:apply><m:minus/><m:cn>33.7</m:cn></m:apply></m:math> degrees).
	    The final answer is

	    <!-- replace with this when stylesheet is fixed?
	  <m:math>
	  <m:cn type='complex-polar'>
	  <m:msqrt><m:mn>13</m:mn></m:msqrt>
	  <m:sep/>
	  <m:msup>
	  <m:mn>-33.7</m:mn>
	  <m:mi>&deg;</m:mi>
	  </m:msup>
	  </m:cn>
	  </m:math>-->
	    <m:math>
	      <m:apply><m:times/>
		    <m:apply><m:root/><m:cn>13</m:cn></m:apply>
		    <m:ci>∠</m:ci>
		    <m:apply><m:minus/><m:cn>33.7</m:cn></m:apply>
	      </m:apply>
	    </m:math> degrees.
	  </para>
	</solution>
      </exercise>
    </section>
    
    <section id="euler">
    <name>Euler's Formula</name>
    <para id="euler1">
	Surprisingly, the polar form of a complex number <m:math><m:ci>z</m:ci></m:math> can be expressed mathematically as
	<equation id="polar">
	  <m:math>
	    <m:apply><m:eq/>
	      <m:ci>z</m:ci>
	      <m:apply><m:times/>
	        <m:ci>r</m:ci>
	        <m:apply><m:exp/>
	          <m:apply><m:times/>
	            <m:imaginaryi/>
	            <m:ci>θ</m:ci>
	          </m:apply>
	        </m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>
	
	To show this result, we use <term>Euler's relations</term> that express exponentials with imaginary arguments in terms of trigonometric functions.
	<equation id="eq2">
	  <m:math>         
	    <m:apply>     
	      <m:eq/>
	      <m:apply>
		<m:exp/>
		<m:apply>
		  <m:times/> 
		  <m:imaginaryi/>
		  <m:ci>θ</m:ci>
		</m:apply>	    
	      </m:apply>
	      <m:apply>  
		<m:plus/>
		<m:apply>
		  <m:cos/>
		  <m:ci>θ</m:ci>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:imaginaryi/>
		  <m:apply>
		    <m:sin/>
		    <m:ci>θ</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>  
	  </m:math>   
	</equation>

	<equation id="eq3">
	  <m:math>         
	    <m:apply>     
	      <m:eq/>
	      <m:apply>
		<m:cos/>
		<m:ci>θ</m:ci>
	      </m:apply>	    
	      <m:apply> 
		<m:divide/>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci>θ</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply><m:exp/>
		      <m:apply><m:minus/>
		        <m:apply><m:times/>
			      <m:imaginaryi/><m:ci>θ</m:ci>
		        </m:apply>
		      </m:apply>
		  </m:apply>
		</m:apply>
		<m:cn>2</m:cn>
	      </m:apply>
	    </m:apply>  
	  </m:math>
	</equation>
	
	  <m:math display="block">         
	    <m:apply>     
	      <m:eq/>
	      <m:apply>
		<m:sin/>
		<m:ci>θ</m:ci>
	      </m:apply>	    
	      <m:apply> 
		<m:divide/>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci>θ</m:ci>		    
		    </m:apply>
		  </m:apply>
		  <m:apply><m:exp/>
		    <m:apply><m:minus/>
		      <m:apply><m:times/>
			    <m:imaginaryi/><m:ci>θ</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>	      
		  <m:cn>2</m:cn>
		  <m:imaginaryi/>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>

	The first of these is easily derived from the Taylor's series
	for the exponential.

	  <m:math display="block">         
	    <m:apply>     
	      <m:eq/>
	      <m:apply>
		<m:exp/> 
		<m:ci>x</m:ci>    
	      </m:apply>
	      <m:apply>  
		<m:plus/>
		<m:cn>1</m:cn>
		<m:apply>
		  <m:divide/>
		  <m:ci>x</m:ci>
		  <m:apply>
		    <m:factorial/>
		    <m:cn>1</m:cn>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:divide/>
		  <m:apply>
		    <m:power/>
		    <m:ci>x</m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		  <m:apply>
		    <m:factorial/>
		    <m:cn>2</m:cn>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:divide/>
		  <m:apply>
		    <m:power/>
		    <m:ci>x</m:ci>
		    <m:cn>3</m:cn>
		  </m:apply>
		  <m:apply>
		    <m:factorial/>
		    <m:cn>3</m:cn>
		  </m:apply>
		</m:apply>
		<m:ci>…</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:math>   

	Substituting  
	<m:math>         
	  <m:apply>
	    <m:times/>
	    <m:imaginaryi/>
	    <m:ci>θ</m:ci>
	  </m:apply>      
	</m:math>
	for <m:math><m:ci>x</m:ci></m:math>, we find that
	
	  <m:math display="block">         
	    <m:apply>     
	      <m:eq/>
	      <m:apply>
		<m:exp/>
		<m:apply>
		  <m:times/> 
		  <m:imaginaryi/>
		  <m:ci>θ</m:ci>
		</m:apply>	    
	      </m:apply>
	      <m:apply>  
		<m:plus/>
		<m:cn>1</m:cn>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:minus/>
		    <m:apply>	      
		      <m:times/>
		      <m:imaginaryi/>
		      <m:apply>
			<m:divide/>
			<m:ci>θ</m:ci>
			<m:apply>
			  <m:factorial/>
			  <m:cn>1</m:cn>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:power/>
			<m:ci>θ</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
			<m:factorial/>
			<m:cn>2</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:power/>
			<m:ci>θ</m:ci>
			<m:cn>3</m:cn>
		      </m:apply>
		      <m:apply>
			<m:factorial/>
			<m:cn>3</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:ci>…</m:ci>
	      </m:apply>
	    </m:apply>  
	  </m:math>   

	because 
	<m:math>         
	  <m:apply>  
	    <m:eq/>
	    <m:apply>
	      <m:power/>
	      <m:imaginaryi/>
	      <m:cn>2</m:cn>
	    </m:apply>
	    <m:cn>-1</m:cn>
	  </m:apply>      
	</m:math>, 

	<m:math>         
	  <m:apply>  
	    <m:eq/>
	    <m:apply>
	      <m:power/>
	      <m:imaginaryi/>
	      <m:cn>3</m:cn>
	    </m:apply>
	    <m:apply>
	      <m:minus/>
	      <m:imaginaryi/>
	    </m:apply>
	  </m:apply>      
	</m:math>, and 

	<m:math>         
	  <m:apply>  
	    <m:eq/>
	    <m:apply>
	      <m:power/>
	      <m:imaginaryi/>
	      <m:cn>4</m:cn>
	    </m:apply>
	    <m:cn>1</m:cn>
	  </m:apply>
	</m:math>.  Grouping separately
	the real-valued terms and the imaginary-valued ones,

	  <m:math display="block">         
	    <m:apply>     
	      <m:eq/>
	      <m:apply>
		<m:exp/>
		<m:apply>
		  <m:times/> 
		  <m:imaginaryi/>
		  <m:ci>θ</m:ci>
		</m:apply>	    
	      </m:apply>
	      <m:apply>  
		<m:plus/>
		<m:apply>
		  <m:minus/>
		  <m:cn>1</m:cn>
		  <m:apply>
		    <m:divide/>
		    <m:apply>
		      <m:power/>
		      <m:ci>θ</m:ci>
		      <m:cn>2</m:cn>
		    </m:apply>
		    <m:apply>
		      <m:factorial/>
		      <m:cn>2</m:cn>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:ci>…</m:ci>
		<m:apply>
		  <m:times/>
		  <m:imaginaryi/>
		  <m:apply>
		    <m:plus/>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:divide/>
			<m:ci>θ</m:ci>
			<m:apply>
			  <m:factorial/>
			  <m:cn>1</m:cn>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:divide/>
			<m:apply>
			  <m:power/>
			  <m:ci>θ</m:ci>
			  <m:cn>3</m:cn>
			</m:apply>
			<m:apply>
			  <m:factorial/>
			  <m:cn>3</m:cn>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:ci>…</m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>       

	The real-valued terms correspond to the Taylor's series for  
	<m:math>         
	  <m:apply>
	    <m:cos/>
	    <m:ci>θ</m:ci>
	  </m:apply>      
	</m:math>, the imaginary ones to   
	<m:math>         
	  <m:apply>
	    <m:sin/>
	    <m:ci>θ</m:ci>
	  </m:apply>
	</m:math>,
	and Euler's first relation results. The remaining relations
	are easily derived from the first.
	Because of <cnxn target="carttopolar" strength="9"/>, we see that multiplying the exponential in <cnxn target="eq2" strength="9"/> by a real constant corresponds to setting the radius of the complex number by the constant.
      </para>

    </section>

    <section id="Arithmetic">
      <name>Calculating with Complex Numbers</name>
      <para id="AddingComplexNums">
	Adding and subtracting complex numbers expressed in Cartesian
	form is quite easy: You add (subtract) the real parts and
	imaginary parts separately.
	<equation id="eq13">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:ci><m:mo>±</m:mo></m:ci>
		<m:ci><m:msub>
		    <m:mi>z</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub></m:ci>
		<m:ci><m:msub>
		    <m:mi>z</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub></m:ci>
	      </m:apply>
	      <m:apply>
		<m:plus/>
		<m:apply>
		  <m:ci><m:mo>±</m:mo></m:ci>
		  <m:ci><m:msub>
		      <m:mi>a</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub></m:ci>
		  <m:ci><m:msub>
		      <m:mi>a</m:mi>
		      <m:mn>2</m:mn>
		    </m:msub></m:ci>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:imaginaryi/>
		  <m:apply>
		    <m:ci><m:mo>±</m:mo></m:ci>
		    <m:ci><m:msub>
			<m:mi>b</m:mi>
			<m:mn>1</m:mn>
		      </m:msub></m:ci>
		    <m:ci><m:msub>
			<m:mi>b</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	To multiply two complex numbers in Cartesian form is not quite
	as easy, but follows directly from following the usual rules of arithmetic.

	<equation id="eq14">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:times/>
		<m:ci><m:msub>
		    <m:mi>z</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub></m:ci>
		<m:ci><m:msub>
		    <m:mi>z</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub></m:ci>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:plus/>
		  <m:ci><m:msub>
		      <m:mi>a</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub></m:ci>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:ci><m:msub>
			<m:mi>b</m:mi>
			<m:mn>1</m:mn>
		      </m:msub></m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:plus/>
		  <m:ci><m:msub>
		      <m:mi>a</m:mi>
		      <m:mn>2</m:mn>
		    </m:msub></m:ci>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:ci><m:msub>
			<m:mi>b</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:plus/>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:times/>
		    <m:ci><m:msub>
			<m:mi>a</m:mi>
			<m:mn>1</m:mn>
		      </m:msub></m:ci>
		    <m:ci><m:msub>
			<m:mi>a</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:ci><m:msub>
			<m:mi>b</m:mi>
			<m:mn>1</m:mn>
		      </m:msub></m:ci>
		    <m:ci><m:msub>
			<m:mi>b</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:imaginaryi/>
		  <m:apply>
		    <m:plus/>
		    <m:apply>
		      <m:times/>
		      <m:ci><m:msub>
			  <m:mi>a</m:mi>
			  <m:mn>1</m:mn>
			</m:msub></m:ci>
		      <m:ci><m:msub>
			  <m:mi>b</m:mi>
			  <m:mn>2</m:mn>
			</m:msub></m:ci>
		    </m:apply>
		    <m:apply>
		      <m:times/>
		      <m:ci><m:msub>
			  <m:mi>a</m:mi>
			  <m:mn>2</m:mn>
			</m:msub></m:ci>
		      <m:ci><m:msub>
			  <m:mi>b</m:mi>
			  <m:mn>1</m:mn>
			</m:msub></m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>
	Note that we are, in a sense, multiplying two vectors to obtain another vector.
	Complex arithmetic provides a unique way of defining vector multiplication.
      </para>
      
      <exercise id="exer3">
	<problem>
	  <para id="exer3a">
	    What is the product of a complex number and its conjugate?
	  </para>
	</problem>
	<solution>
	  <para id="exer3b">
	    <m:math>
	      <m:apply>
		<m:eq/>
		<m:apply>
		  <m:times/>
		  <m:ci>z</m:ci>
		  <m:apply>
		    <m:conjugate/>
		    <m:ci>z</m:ci>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:plus/>
		    <m:ci>a</m:ci>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci>b</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:minus/>
		    <m:ci>a</m:ci>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci>b</m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:power/>
		    <m:ci>a</m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		  <m:apply>
		    <m:power/>
		    <m:ci>b</m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:math>.
	    Thus, 
	    <m:math>
	      <m:apply><m:eq/>
		    <m:apply><m:times/>
		      <m:ci>z</m:ci>
		      <m:apply><m:conjugate/><m:ci>z</m:ci></m:apply>
		    </m:apply>
		    <m:apply><m:power/><m:ci>r</m:ci><m:cn>2</m:cn></m:apply>
		    <m:apply><m:power/>
		      <m:apply><m:abs/><m:ci>z</m:ci></m:apply>
		      <m:cn>2</m:cn>
		    </m:apply>
	      </m:apply>
	    </m:math>.	  
	  </para>
	</solution>
      </exercise>

      <para id="ComplexDivision">
	Division requires mathematical manipulation. We convert the
	division problem into a multiplication problem by multiplying
	both the numerator and denominator by the conjugate of the
	denominator.
	<equation id="eq15">
	  <m:math>
	    <m:apply><m:eq/>
	      <m:apply><m:divide/>
		    <m:msub><m:ci>z</m:ci><m:cn>1</m:cn></m:msub>
		    <m:msub><m:ci>z</m:ci><m:cn>2</m:cn></m:msub>
	      </m:apply>
	      <m:apply><m:divide/>
		    <m:apply><m:plus/>
              <m:ci><m:msub><m:mi>a</m:mi><m:mn>1</m:mn></m:msub></m:ci>
		      <m:apply><m:times/>
		        <m:imaginaryi/>
		        <m:ci><m:msub><m:mi>b</m:mi><m:mn>1</m:mn></m:msub></m:ci>
		      </m:apply>
		    </m:apply>
		    <m:apply><m:plus/>
		      <m:ci><m:msub><m:mi>a</m:mi><m:mn>2</m:mn></m:msub></m:ci>
		      <m:apply><m:times/>
		        <m:imaginaryi/>
		        <m:ci><m:msub><m:mi>b</m:mi><m:mn>2</m:mn></m:msub></m:ci>
		      </m:apply>
		    </m:apply>
	      </m:apply>
	      
	      <m:apply><m:times/>
	        <m:apply><m:divide/>
		      <m:apply><m:plus/>
                <m:ci><m:msub><m:mi>a</m:mi><m:mn>1</m:mn></m:msub></m:ci>
		        <m:apply><m:times/>
		          <m:imaginaryi/>
		          <m:ci><m:msub><m:mi>b</m:mi><m:mn>1</m:mn></m:msub></m:ci>
		        </m:apply>
		      </m:apply>
		      <m:apply><m:plus/>
		        <m:ci><m:msub><m:mi>a</m:mi><m:mn>2</m:mn></m:msub></m:ci>
		        <m:apply><m:times/>
		          <m:imaginaryi/>
		          <m:ci><m:msub><m:mi>b</m:mi><m:mn>2</m:mn></m:msub></m:ci>
		        </m:apply>
		      </m:apply>
	        </m:apply>
	        <m:apply><m:divide/>
		      <m:apply><m:minus/>
                <m:ci><m:msub><m:mi>a</m:mi><m:mn>2</m:mn></m:msub></m:ci>
		        <m:apply><m:times/>
		          <m:imaginaryi/>
		          <m:ci><m:msub><m:mi>b</m:mi><m:mn>2</m:mn></m:msub></m:ci>
		        </m:apply>
		      </m:apply>
		      <m:apply><m:minus/>
                <m:ci><m:msub><m:mi>a</m:mi><m:mn>2</m:mn></m:msub></m:ci>
		        <m:apply><m:times/>
		          <m:imaginaryi/>
		          <m:ci><m:msub><m:mi>b</m:mi><m:mn>2</m:mn></m:msub></m:ci>
		        </m:apply>
		      </m:apply>
	        </m:apply>
	      </m:apply>

	      <m:apply><m:divide/>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:plus/>
		    <m:ci><m:msub>
			<m:mi>a</m:mi>
			<m:mn>1</m:mn>
		      </m:msub></m:ci>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci><m:msub>
			  <m:mi>b</m:mi>
			  <m:mn>1</m:mn>
			</m:msub></m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:minus/>
		    <m:ci><m:msub>
			<m:mi>a</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci><m:msub>
			  <m:mi>b</m:mi>
			  <m:mn>2</m:mn>
			</m:msub></m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:power/>
		    <m:ci><m:msub>
			<m:mi>a</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		  <m:apply>
		    <m:power/>
		    <m:ci><m:msub>
			<m:mi>b</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:times/>
		    <m:ci><m:msub>
			<m:mi>a</m:mi>
			<m:mn>1</m:mn>
		      </m:msub></m:ci>
		    <m:ci><m:msub>
			<m:mi>a</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:ci><m:msub>
			<m:mi>b</m:mi>
			<m:mn>1</m:mn>
		      </m:msub></m:ci>
		    <m:ci><m:msub>
			<m:mi>b</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:times/>
			<m:ci><m:msub>
			    <m:mi>a</m:mi>
			    <m:mn>2</m:mn>
			  </m:msub></m:ci>
			<m:ci><m:msub>
			    <m:mi>b</m:mi>
			    <m:mn>1</m:mn>
			  </m:msub></m:ci>
		      </m:apply>
		      <m:apply>
			<m:times/>
			<m:ci><m:msub>
			    <m:mi>a</m:mi>
			    <m:mn>1</m:mn>
			  </m:msub></m:ci>
			<m:ci><m:msub>
			    <m:mi>b</m:mi>
			    <m:mn>2</m:mn>
			  </m:msub></m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply> 
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:power/>
		    <m:ci><m:msub>
			<m:mi>a</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		  <m:apply>
		    <m:power/>
		    <m:ci><m:msub>
			<m:mi>b</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	Because the final result is so complicated, it's best to
	remember <emphasis>how</emphasis> to perform
	division—multiplying numerator and denominator by the
	complex conjugate of the denominator—than trying to
	remember the final result.
      </para>


      <para id="ExponentialProperties">
	The properties of the exponential make calculating the product and ratio of two complex numbers much simpler when the numbers are expressed in polar form.
	<equation id="eq16">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:times/>
		<m:ci><m:msub>
		    <m:mi>z</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub></m:ci>
		<m:ci><m:msub>
		    <m:mi>z</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub></m:ci>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:ci><m:msub>
		    <m:mi>r</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub></m:ci>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:ci><m:msub>
			<m:mi>θ</m:mi>
			<m:mn>1</m:mn>
		      </m:msub></m:ci>
		  </m:apply>
		</m:apply>
		<m:ci><m:msub>
		    <m:mi>r</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub></m:ci>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:ci><m:msub>
			<m:mi>θ</m:mi>
			<m:mn>2</m:mn>
		      </m:msub></m:ci>
		  </m:apply>
		</m:apply>
	      </m:apply>	  	
	      <m:apply>
		<m:times/>
		<m:ci><m:msub>
		    <m:mi>r</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub></m:ci>
		<m:ci><m:msub>
		    <m:mi>r</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub></m:ci>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:apply>
		      <m:plus/>
		      <m:ci><m:msub>
			  <m:mi>θ</m:mi>
			  <m:mn>1</m:mn>
			</m:msub></m:ci>
		      <m:ci><m:msub>
			  <m:mi>θ</m:mi>
			  <m:mn>2</m:mn>
			</m:msub></m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	  <m:math display="block">
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:divide/>
		<m:ci><m:msub>
		    <m:mi>z</m:mi>
		    <m:mn>1</m:mn>
		  </m:msub></m:ci>
		<m:ci><m:msub>
		    <m:mi>z</m:mi>
		    <m:mn>2</m:mn>
		  </m:msub></m:ci>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:apply>
		  <m:times/>
		  <m:ci><m:msub>
		      <m:mi>r</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub></m:ci>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci><m:msub>
			  <m:mi>θ</m:mi>
			  <m:mn>1</m:mn>
			</m:msub></m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:ci><m:msub>
		      <m:mi>r</m:mi>
		      <m:mn>2</m:mn>
		    </m:msub></m:ci>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:ci><m:msub>
			  <m:mi>θ</m:mi>
			  <m:mn>2</m:mn>
			</m:msub></m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:divide/>
		  <m:ci><m:msub>
		      <m:mi>r</m:mi>
		      <m:mn>1</m:mn>
		    </m:msub></m:ci>
		  <m:ci><m:msub>
		      <m:mi>r</m:mi>
		      <m:mn>2</m:mn>
		    </m:msub></m:ci>
		</m:apply>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:apply>
		      <m:minus/>
		      <m:ci><m:msub>
			  <m:mi>θ</m:mi>
			  <m:mn>1</m:mn>
			</m:msub></m:ci>
		      <m:ci><m:msub>
			  <m:mi>θ</m:mi>
			  <m:mn>2</m:mn>
			</m:msub></m:ci>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>

	To multiply, the radius equals the product of the radii and
	the angle the sum of the angles. To divide, the radius equals
	the ratio of the radii and the angle the difference of the
	angles.  When the original complex numbers are in Cartesian
	form, it's usually worth translating into polar form, then
	performing the multiplication or division (especially in the
	case of the latter).  Addition and subtraction of polar forms
	amounts to converting to Cartesian form, performing the
	arithmetic operation, and converting back to polar form.
      </para>
    </section>


    <example id="Example1">
      <para id="ComplexExample"> When we solve circuit problems, the
	crucial quantity, known as a transfer function, will always be
	expressed as the ratio of polynomials in the variable
	<m:math>
	  <m:apply>
	    <m:eq/>
	    <m:ci>s</m:ci>
	    <m:apply>
	      <m:times/>
	      <m:imaginaryi/>
	      <m:cn>2</m:cn>
	      <m:pi/>
	      <m:ci>f</m:ci>
	    </m:apply>
	  </m:apply>
	</m:math>.  What we'll need to understand the circuit's effect
	is the transfer function in polar form. For instance, suppose
	the transfer function equals
	<equation id="eq18">
	  <m:math>
	    <m:apply>
	      <m:divide/>
	      <m:apply>
		<m:plus/>
		<m:ci>s</m:ci>
		<m:cn>2</m:cn>
	      </m:apply>
	      <m:apply>
		<m:plus/>
		<m:apply>
		  <m:power/>
		  <m:ci>s</m:ci>
		  <m:cn>2</m:cn>
		</m:apply>
		<m:ci>s</m:ci>
		<m:cn>1</m:cn>
	      </m:apply>	  
	    </m:apply>
	  </m:math>
	</equation>
	
	<equation id="eq18.5">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:ci>s</m:ci>
	      <m:apply>
		<m:times/>
		<m:imaginaryi/>
		<m:cn>2</m:cn>
		<m:pi/>
		<m:ci>f</m:ci>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>
	Performing the required division is most easily accomplished
	by first expressing the numerator and denominator each in
	polar form, then calculating the ratio.  Thus,
	<equation id="eq19">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:divide/>
		<m:apply>
		  <m:plus/>
		  <m:ci>s</m:ci>
		  <m:cn>2</m:cn>
		</m:apply>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:power/>
		    <m:ci>s</m:ci>
		    <m:cn>2</m:cn>
		  </m:apply>
		  <m:ci>s</m:ci>
		  <m:cn>1</m:cn>
		</m:apply>	  
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:ci>f</m:ci>
		  </m:apply>
		  <m:cn>2</m:cn>
		</m:apply>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:times/>
		    <m:cn>-4</m:cn>
		    <m:apply>
		      <m:power/>
		      <m:pi/>
		      <m:cn>2</m:cn>
		    </m:apply>
		    <m:apply>
		      <m:power/>
		      <m:ci>f</m:ci>
		      <m:cn>2</m:cn>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:cn>2</m:cn>
		    <m:pi/>
		    <m:ci>f</m:ci>
		  </m:apply>
		  <m:cn>1</m:cn>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>

	<equation id="eq20">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:mphantom>
		  <m:apply>
		    <m:divide/>
		    <m:apply>
		      <m:plus/>
		      <m:ci>s</m:ci>
		      <m:cn>2</m:cn>
		    </m:apply>
		    <m:apply>
		      <m:plus/>
		      <m:apply>
			<m:power/>
			<m:ci>s</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:ci>s</m:ci>
		      <m:cn>1</m:cn>
		    </m:apply>
		  </m:apply>
		</m:mphantom>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:root/>
		    <m:apply>
		      <m:plus/>
		      <m:cn>4</m:cn>
		      <m:apply>
			<m:times/>
			<m:cn>4</m:cn>
			<m:apply>
			  <m:power/>
			  <m:pi/>
			  <m:cn>2</m:cn>
			</m:apply>
			<m:apply>
			  <m:power/>
			  <m:ci>f</m:ci>
			  <m:cn>2</m:cn>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:apply>
			<m:arctan/>
			<m:apply>
			  <m:times/>
			  <m:pi/>
			  <m:ci>f</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:times/>
		  <m:apply>
		    <m:root/>
		    <m:apply>
		      <m:plus/>
		      <m:apply>
			<m:power/>
			<m:apply>
			  <m:minus/>
			  <m:cn>1</m:cn>
			  <m:apply>
			    <m:times/>
			    <m:cn>4</m:cn>
			    <m:apply>
			      <m:power/>
			      <m:pi/>
			      <m:cn>2</m:cn>
			    </m:apply>
			    <m:apply>
			      <m:power/>
			      <m:ci>f</m:ci>
			      <m:cn>2</m:cn>
			    </m:apply>
			  </m:apply>
			</m:apply>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
			<m:times/>
			<m:cn>4</m:cn>
			<m:apply>
			  <m:power/>
			  <m:pi/>
			  <m:cn>2</m:cn>
			</m:apply>
			<m:apply>
			  <m:power/>
			  <m:ci>f</m:ci>
			  <m:cn>2</m:cn>
			</m:apply>
		      </m:apply>
		    </m:apply>		
		  </m:apply>
		  <m:apply>
		    <m:exp/>
		    <m:apply>
		      <m:times/>
		      <m:imaginaryi/>
		      <m:apply>
			<m:arctan/>
			<m:apply>
			  <m:divide/>
			  <m:apply>
			    <m:times/>
			    <m:cn>2</m:cn>
			    <m:pi/>
			    <m:ci>f</m:ci>
			  </m:apply>
			  <m:apply>
			    <m:minus/>
			    <m:cn>1</m:cn>
			    <m:apply>
			      <m:times/>
			      <m:cn>4</m:cn>
			      <m:apply>
				<m:power/>
				<m:pi/>
				<m:cn>2</m:cn>
			      </m:apply>
			      <m:apply>
				<m:power/>
				<m:ci>f</m:ci>
				<m:cn>2</m:cn>
			      </m:apply>
			    </m:apply>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>


	<equation id="eq21">
	  <m:math>
	    <m:apply>
	      <m:eq/>
	      <m:apply>
		<m:mphantom>
		  <m:apply>
		    <m:divide/>
		    <m:apply>
		      <m:plus/>
		      <m:ci>s</m:ci>
		      <m:cn>2</m:cn>
		    </m:apply>
		    <m:apply>
		      <m:plus/>
		      <m:apply>
			<m:power/>
			<m:ci>s</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:ci>s</m:ci>
		      <m:cn>1</m:cn>
		    </m:apply>
		  </m:apply>
		</m:mphantom>
	      </m:apply>
	      <m:apply>
		<m:times/>
		<m:apply>
		  <m:root/>
		  <m:apply>
		    <m:divide/>
		    <m:apply>
		      <m:plus/>
		      <m:cn>4</m:cn>
		      <m:apply>
			<m:times/>
			<m:cn>4</m:cn>
			<m:apply>
			  <m:power/>
			  <m:pi/>
			  <m:cn>2</m:cn>
			</m:apply>
			<m:apply>
			  <m:power/>
			  <m:ci>f</m:ci>
			  <m:cn>2</m:cn>
			</m:apply>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:plus/>
		      <m:apply>
			<m:minus/>
			<m:cn>1</m:cn>
			<m:apply>
			  <m:times/>
			  <m:cn>4</m:cn>
			  <m:apply>
			    <m:power/>
			    <m:pi/>
			    <m:cn>2</m:cn>
			  </m:apply>
			  <m:apply>
			    <m:power/>
			    <m:ci>f</m:ci>
			    <m:cn>2</m:cn>
			  </m:apply>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:times/>
			<m:cn>16</m:cn>
			<m:apply>
			  <m:power/>
			  <m:pi/>
			  <m:cn>4</m:cn>
			</m:apply>
			<m:apply>
			  <m:power/>
			  <m:ci>f</m:ci>
			  <m:cn>4</m:cn>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
		<m:apply>
		  <m:exp/>
		  <m:apply>
		    <m:times/>
		    <m:imaginaryi/>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:arctan/>
			<m:apply>
			  <m:times/>
			  <m:pi/>
			  <m:ci>f</m:ci>
			</m:apply>
		      </m:apply>
		      <m:apply>
			<m:arctan/>
			<m:apply>
			  <m:divide/>
			  <m:apply>
			    <m:times/>
			    <m:cn>2</m:cn>
			    <m:pi/>
			    <m:ci>f</m:ci>
			  </m:apply>
			  <m:apply>
			    <m:minus/>
			    <m:cn>1</m:cn>
			    <m:apply>
			      <m:times/>
			      <m:cn>4</m:cn>
			      <m:apply>
				<m:power/>
				<m:pi/>
				<m:cn>2</m:cn>
			      </m:apply>
			      <m:apply>
				<m:power/>
				<m:ci>f</m:ci>
				<m:cn>2</m:cn>
			      </m:apply>
			    </m:apply>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		</m:apply>
	      </m:apply>
	    </m:apply>
	  </m:math>
	</equation>
      </para>
    </example>
    
  </content>
</document>
