<?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="m2111">
  
  <name xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Partial Fraction Expansion</name>
  
  <metadata xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
  <md:version xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">2.14</md:version>
  <md:created xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">2001/01/30</md:created>
  <md:revised xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">2002/12/12</md:revised>
  <md:authorlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <md:author xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="aca">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Thanos</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Antoulas</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">aca@rice.edu</md:email>
    </md:author>
    <md:author xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="jps">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">John</md:firstname>
      <md:othername xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Paul</md:othername>
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Slavinsky</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">jps@alumni.rice.edu</md:email>
    </md:author>
  </md:authorlist>

  <md:maintainerlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="rha">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Roy</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Ha</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">rha@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="lizychan">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Elizabeth</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Chan</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">lizychan@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="aca">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Thanos</md:firstname>
      
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Antoulas</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">aca@rice.edu</md:email>
    </md:maintainer>
    <md:maintainer xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="jps">
      <md:firstname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">John</md:firstname>
      <md:othername xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Paul</md:othername>
      <md:surname xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Slavinsky</md:surname>
      <md:email xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">jps@alumni.rice.edu</md:email>
    </md:maintainer>
  </md:maintainerlist>
  
  <md:keywordlist xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">partial fraction</md:keyword>
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">fraction</md:keyword>
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">heaviside</md:keyword>
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">cover-up</md:keyword>
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">repeated root</md:keyword>
    <md:keyword xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">polynomial</md:keyword>
  </md:keywordlist>

  <md:abstract xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">This module describes the method of partial fraction expansion, in which
a ratio of polynomials can be split into a sum of small polynomials.  The
Heaviside cover-up method is discussed in detail with examples.  Finding
a partial fraction expansion in matlab is also discussed.
</md:abstract>
</metadata>



  
  <content xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">
    <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p1">
      Splitting up a ratio of large polynomials into a sum of
      ratios of small polynomials can be a useful tool, 
      especially for many problems involving Laplace-like
      transforms.  This technique is known as partial fraction
      expansion.  Here's an example of one ratio being split 
      into a sum of three simpler ratios:
      
      <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq1">
	<m:math>
	  <m:apply>
	    <m:eq/>
            <m:apply>
              <m:divide/>
	      <m:apply>
		<m:minus/>
		<m:apply>
		  <m:plus/>
		  <m:apply>
		    <m:times/>
		    <m:cn>8</m:cn>
		    <m:apply>
		      <m:power/>
		      <m:ci>x</m:ci>
		      <m:cn>2</m:cn>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:cn>3</m:cn>
		    <m:ci>x</m:ci>
		  </m:apply>
		</m:apply>
		<m:cn>21</m:cn>
	      </m:apply>
	      <m:apply>
		<m:minus/>
		<m:apply>
		  <m:minus/>
		  <m:apply>
		    <m:power/>
		    <m:ci>x</m:ci>
		    <m:cn>3</m:cn>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:cn>7</m:cn>
		    <m:ci>x</m:ci>
		  </m:apply>
		</m:apply>
		<m:cn>6</m:cn>
	      </m:apply>
            </m:apply>
	    
            <m:apply>
              <m:plus/>
	      <m:apply>
		<m:divide/>
		<m:cn>1</m:cn>
		<m:apply>
		  <m:plus/>
		  <m:ci>x</m:ci>
		  <m:cn>2</m:cn>
		</m:apply>
	      </m:apply>
	      <m:apply>
		<m:divide/>
		<m:cn>3</m:cn>
		<m:apply>
		  <m:minus/>
		  <m:ci>x</m:ci>
		  <m:cn>3</m:cn>
		</m:apply>
	      </m:apply>
	      <m:apply> 
		<m:divide/>
		<m:cn>4</m:cn>
		<m:apply>
		  <m:plus/>
		  <m:ci>x</m:ci>
		  <m:cn>1</m:cn>
		</m:apply>
	      </m:apply>
            </m:apply>
	  </m:apply>
	</m:math>
      </equation>
    </para>
    
    <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p2">
      There are several methods for expanding a rational function
      via partial fractions.  These include the method of clearing
      fractions, the Heaviside "cover-up" method, and different
      combinations of these two.  For many cases, the Heaviside
      "cover-up" method is the easiest, and is therefore the method
      that we will introduce here.  For a more complete discussion, 
      see <cite xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Signal Processing and Linear Systems</cite> by
      B.P. Lathi, Berkeley-Cambridge Press, 1998, pp-24-33.  Some
      of the material below is based upon this book.
    </para>
    
    <section xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="s1">
      <name xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Heaviside "Cover-Up" Method</name>
      
      <section xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="s1_1">
	<name xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">No Repeated Roots</name>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p3">
	  Let's say we have a proper function
	  
	  <m:math>
	    <m:apply>
	      <m:eq/>
              <m:apply>
                <m:ci type="fn">G</m:ci>
                <m:ci>x</m:ci>
              </m:apply>
              <m:apply>
                <m:divide/>
		<m:apply>
		  <m:ci type="fn">N</m:ci>
		  <m:ci>x</m:ci>
		</m:apply>
		<m:apply>
		  <m:ci type="fn">D</m:ci>
		  <m:ci>x</m:ci>
		</m:apply>
              </m:apply>
	    </m:apply>
	  </m:math>
	  
        (by proper we mean that the degree <m:math><m:ci>m</m:ci></m:math> of the numerator
	  
	  <m:math>
	    <m:apply>
	      <m:ci type="fn">N</m:ci>
	      <m:ci>x</m:ci>
	    </m:apply>
	  </m:math>
	  
	  is less than the degree <m:math><m:ci>p</m:ci></m:math>  	  
	  of denominator
	  
	  <m:math>
	    <m:apply>
	      <m:ci type="fn">D</m:ci>
	      <m:ci>x</m:ci>
	    </m:apply>
	  </m:math>
	  
	  ). In this section we assume that there are no repeated 
	  roots of the polynomial
	  
	  <m:math>
	    <m:apply>
	      <m:ci type="fn">D</m:ci>
	      <m:ci>x</m:ci>
	    </m:apply>
	  </m:math>.
	</para>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p4">
	  The first step is to factor the denominator
	  
	  <m:math>
	    <m:apply>
	      <m:ci type="fn">D</m:ci>
	      <m:ci>x</m:ci>
	    </m:apply>
	  </m:math>:
	  
	  <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq2">
	    <m:math>
	      <m:apply>
		<m:eq/>
                <m:apply>
                  <m:ci type="fn">G</m:ci>
                  <m:ci>x</m:ci>
                </m:apply>
                <m:apply>
                  <m:divide/>
		  <m:apply>
		    <m:ci type="fn">N</m:ci>
		    <m:ci>x</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mn>2</m:mn>
			</m:msub>
		      </m:ci>
		    </m:apply>
		    <m:ci>…</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mi>p</m:mi>
			</m:msub>
		      </m:ci>
		    </m:apply>
		  </m:apply>
                </m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	</para>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p5">
	  where
	  <m:math><m:ci><m:msub><m:mi>a</m:mi><m:mn>1</m:mn></m:msub></m:ci></m:math> … <m:math><m:ci><m:msub><m:mi>a</m:mi><m:mi>p</m:mi></m:msub></m:ci></m:math>
	  are the roots of
	  <m:math>
	    <m:apply>
	      <m:ci type="fn">D</m:ci>
	      <m:ci>x</m:ci>
	    </m:apply>
	  </m:math>.
	  We can then rewrite
	  <m:math>
	    <m:apply>
	      <m:ci type="fn">G</m:ci>
	      <m:ci>x</m:ci>
	    </m:apply>
	  </m:math>
	  as a sum of partial fractions:
	  
	  <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq3">
 	  <m:math>
	      <m:apply>
		<m:eq/>
                <m:apply>
                  <m:ci type="fn">G</m:ci>
                  <m:ci>x</m:ci>
                </m:apply>
                <m:apply>
                  <m:plus/>
		  <m:apply>
		    <m:divide/>
		    <m:ci>
		      <m:msub>
			<m:mi>α</m:mi>
			<m:mn>1</m:mn>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:divide/>
		    <m:ci>
		      <m:msub>
			<m:mi>α</m:mi>
			<m:mn>2</m:mn>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</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:ci>…</m:ci>
		  <m:apply>
		    <m:divide/>
		    <m:ci>
		      <m:msub>
			<m:mi>α</m:mi>
			<m:mi>p</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mi>p</m:mi>
			</m:msub>
		      </m:ci>
		    </m:apply>
		  </m:apply>
                </m:apply>
            </m:apply>
	    </m:math>
	  </equation>
	</para>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p6">where
	  <m:math><m:ci><m:msub><m:mi>a</m:mi><m:mn>1</m:mn></m:msub></m:ci></m:math> … <m:math><m:ci><m:msub><m:mi>a</m:mi><m:mi>p</m:mi></m:msub></m:ci></m:math>
	  are constants.  Now, to complete the process, we must
	  determine the values of these <m:math><m:ci>α</m:ci></m:math>
	  coefficients.  Let's look at how to find
	  <m:math>
	    <m:ci>
	      <m:msub>
		<m:mi>α</m:mi>
		<m:mn>1</m:mn>
	      </m:msub>
	    </m:ci>
	  </m:math>.
	  If we multiply both sides of the <cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" target="eq3" strength="7">equation of G(x) as a sum of partial fractions</cnxn>
	  by
	  <m:math>
	    <m:apply>
	      <m:minus/>
              <m:ci>x</m:ci>
              <m:ci>
                <m:msub>
                  <m:mi>a</m:mi>
                  <m:mn>1</m:mn>
                </m:msub>
              </m:ci>
	    </m:apply>
	  </m:math>
	  and then let
	  <m:math>
	    <m:apply>
	      <m:eq/>
              <m:ci>x</m:ci>
              <m:ci>
                <m:msub>
                  <m:mi>a</m:mi>
                  <m:mn>1</m:mn>
                </m:msub>
              </m:ci>
	    </m:apply>
	  </m:math>,
	  all of the terms on the right-hand side will go to zero
	  except for
	  <m:math>
	    <m:ci>
	      <m:msub>
		<m:mi>α</m:mi>
		<m:mn>1</m:mn>
	      </m:msub>
	    </m:ci>
	  </m:math>.
	  Therefore, we'll be left over with:
	  
	  <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq4">
	    <m:math>
	      <m:apply>
		<m:eq/>
                <m:ci>
                  <m:msub>
                    <m:mi>α</m:mi>
                    <m:mn>1</m:mn>
                  </m:msub>
                </m:ci>

		<m:apply>
		  <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		  <m:bvar><m:ci>x</m:ci></m:bvar>
		  <m:lowlimit> <m:ci><m:msub><m:mi>a</m:mi><m:mn>1</m:mn></m:msub></m:ci></m:lowlimit>
		  
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">G</m:ci>
		      <m:ci>x</m:ci>
		    </m:apply>
		  </m:apply>
		  
                </m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	</para>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p7">
	  We can easily generalize this to a solution for any one
	  of the unknown coefficients:
	  
	  <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq5">
	    <m:math>
	      <m:apply>
		<m:eq/>
                <m:ci>
                  <m:msub>
                    <m:mi>α</m:mi>
                    <m:mi>r</m:mi>
                  </m:msub>
                </m:ci>
		<m:apply>
		  <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		  <m:bvar><m:ci>x</m:ci></m:bvar>
		  <m:lowlimit><m:ci><m:msub><m:mi>a</m:mi><m:mi>r</m:mi></m:msub></m:ci></m:lowlimit>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mi>r</m:mi>
			</m:msub>
		      </m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">G</m:ci>
		      <m:ci>x</m:ci>
		    </m:apply>
		  </m:apply>
                </m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	</para>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p8">
	  This method is called the "cover-up" method because 
	  multiplying both sides by
        <m:math>
	    <m:apply>
	      <m:minus/>
              <m:ci>x</m:ci>
              <m:ci>
                <m:msub>
                  <m:mi>a</m:mi>
                  <m:mi>r</m:mi>
                </m:msub> 
              </m:ci>
          </m:apply>
	  </m:math>
	  can be thought of as simply using one's finger to cover
	  up this term in the denominator of
        <m:math>
	    <m:apply>
	      <m:ci type="fn">G</m:ci>
	      <m:ci>x</m:ci>
	    </m:apply>
	  </m:math>.
	  With a finger over the term that would be canceled by
	  the multiplication, you can plug in the value
	  <m:math>
	    <m:apply>
            <m:eq/>
              <m:ci>x</m:ci>
              <m:ci>
                <m:msub>
                  <m:mi>a</m:mi>
                  <m:mi>r</m:mi>
                </m:msub>
              </m:ci>
	    </m:apply>
	  </m:math>
	  and find the solution for
	  <m:math>
	    <m:ci>
	      <m:msub>
		<m:mi>α</m:mi> 
		<m:mi>r</m:mi>
	      </m:msub>
	    </m:ci>
	  </m:math>.
	</para>
	
	<example xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="ex1">
	  
        <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p9">
	    In this example, we'll work through the partial fraction
	    expansion of the ratio of polynomials introduced above.  
	    Before doing a partial fraction expansion, you must make
	    sure that the ratio you are expanding is proper.  If it
	    is not, you should do long division to turn it into the
	    sum of a proper fraction and a polynomial.  Once this is
          done, the first step is to factor the denominator of the
	    function:

	    <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq6">
	      <m:math>
		<m:apply>
                <m:eq/>
                  <m:apply>
                    <m:divide/>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:plus/>
			<m:apply>
			  <m:times/>
			  <m:cn>8</m:cn>
			  <m:apply>
			    <m:power/>
			    <m:ci>x</m:ci>
			    <m:cn>2</m:cn>
			  </m:apply>
			</m:apply>
			<m:apply>
			  <m:times/>
			  <m:cn>3</m:cn>
			  <m:ci>x</m:ci>
			</m:apply>
		      </m:apply>
		      <m:cn>21</m:cn>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:minus/>
                              <m:apply>
			  <m:power/>
			  <m:ci>x</m:ci>
			  <m:cn>3</m:cn>
			</m:apply>
			<m:apply>
			  <m:times/>
			  <m:cn>7</m:cn>
			  <m:ci>x</m:ci>
			</m:apply>
		      </m:apply>
		      <m:cn>6</m:cn>
		    </m:apply>
                  </m:apply>
		  
                  <m:apply>
                    <m:divide/>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:plus/>
			<m:apply>
			  <m:times/>
			  <m:cn>8</m:cn>
			  <m:apply>
			    <m:power/>
			    <m:ci>x</m:ci>
			    <m:cn>2</m:cn>
			  </m:apply>
			</m:apply>
			<m:apply>
			  <m:times/>
			  <m:cn>3</m:cn>
			  <m:ci>x</m:ci>
			</m:apply>
		      </m:apply>
		      <m:cn>21</m:cn>
		    </m:apply>
		    
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:cn>3</m:cn>
		      </m:apply>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
	      </m:math>
	    </equation>
	  </para>
	  
	  <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p10">
	    Now, we set this factored function equal to a sum
	    of smaller fractions, each of which has one of the
	    factored terms for a denominator.
	    
	    <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq7">
	      <m:math>
		<m:apply>
		  <m:eq/>
                  <m:apply>
                    <m:divide/>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:plus/>
			<m:apply>
			  <m:times/>
			  <m:cn>8</m:cn>
			  <m:apply>
			    <m:power/>
			    <m:ci>x</m:ci>
			    <m:cn>2</m:cn>
			  </m:apply>
			</m:apply>
			<m:apply>
			  <m:times/>
			  <m:cn>3</m:cn>
			  <m:ci>x</m:ci>
			</m:apply>
		      </m:apply>
		      <m:cn>21</m:cn>
		    </m:apply>
		    
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:cn>3</m:cn>
		      </m:apply>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:apply>
                  </m:apply>

                  <m:apply>
                    <m:plus/>
		    <m:apply>
		      <m:divide/>
		      <m:ci>
			<m:msub>
			  <m:mi>α</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:divide/>
		      <m:ci>
			<m:msub>
			  <m:mi>α</m:mi>
			  <m:mn>2</m:mn>
			</m:msub>
		      </m:ci>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:cn>3</m:cn>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:divide/>
		      <m:ci>
			<m:msub>
			  <m:mi>α</m:mi>
			  <m:mn>3</m:mn>
			</m:msub>
		      </m:ci>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
	      </m:math>
	    </equation> 
	  </para>

	  <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p11">
	    To find the alpha terms, we just cover up the
	    corresponding denominator terms in
	    <m:math>
            <m:apply>
		<m:ci type="fn">G</m:ci>
		<m:ci>x</m:ci>
            </m:apply>
	    </m:math>
          and plug in the root associated with the alpha:
	    
	    <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq8">
	      <m:math>
		<m:apply>
                <m:eq/>
                  <m:ci>
                    <m:msub>
                      <m:mi>α</m:mi>
                      <m:mn>1</m:mn>
                    </m:msub>
                  </m:ci>
		  <m:apply>
		    <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		    <m:bvar><m:ci>x</m:ci></m:bvar>
		    <m:lowlimit><m:cn>-2</m:cn></m:lowlimit>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
                        <m:ci type="fn">G</m:ci>
			<m:ci>x</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  
		  <m:apply>
		    <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		    <m:bvar><m:ci>x</m:ci></m:bvar>
		    <m:lowlimit><m:cn>-2</m:cn></m:lowlimit>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:divide/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:plus/>
			    <m:apply>
			      <m:times/>
			      <m:cn>8</m:cn>
			      <m:apply>
				<m:power/>
				<m:ci>x</m:ci>
				<m:cn>2</m:cn>
			      </m:apply>
			    </m:apply>
			    <m:apply>
			      <m:times/>
			      <m:cn>3</m:cn>
			      <m:ci>x</m:ci>
			    </m:apply>
			  </m:apply>
			  <m:cn>21</m:cn>
			</m:apply>
			
			<m:apply>
			  <m:times/>
			  <m:apply>
			    <m:minus/>
			    <m:ci>x</m:ci>
			    <m:cn>3</m:cn>
			  </m:apply>
			  <m:apply>
			    <m:plus/>
			    <m:ci>x</m:ci>
			    <m:cn>1</m:cn>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>

                  <m:cn>1</m:cn>
		</m:apply>
	      </m:math>
	    </equation>
	    
          <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq9">
	      <m:math>
		<m:apply>
		  <m:eq/>
                  <m:ci>
                    <m:msub>
                      <m:mi>α</m:mi>
                      <m:mn>2</m:mn>
                    </m:msub>
                  </m:ci>
		  <m:apply>
		    <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		    <m:bvar><m:ci>x</m:ci></m:bvar>
		    <m:lowlimit><m:cn>3</m:cn></m:lowlimit>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:cn>3</m:cn>
		      </m:apply>
		      <m:apply>
                        <m:ci type="fn">G</m:ci>
			<m:ci>x</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  
		  <m:apply>
		    <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		    <m:bvar><m:ci>x</m:ci></m:bvar>
		    <m:lowlimit><m:cn>3</m:cn></m:lowlimit>
		      <m:apply>
			<m:times/>
			<m:apply>
			  <m:divide/>
			  <m:apply>
			    <m:minus/>
			    <m:apply>
			      <m:plus/>
			      <m:apply>
				<m:times/>
				<m:cn>8</m:cn>
				<m:apply>
				  <m:power/>
				  <m:ci>x</m:ci>
				  <m:cn>2</m:cn>
				</m:apply>
			      </m:apply>
			      <m:apply>
				<m:times/>
				<m:cn>3</m:cn>
				<m:ci>x</m:ci>
			      </m:apply>
			    </m:apply>
			    <m:cn>21</m:cn>
			  </m:apply>
			  
			  <m:apply>
                            <m:times/>
			    <m:apply>
			      <m:plus/>
			      <m:ci>x</m:ci>
			      <m:cn>2</m:cn>
			    </m:apply>
			    <m:apply>
			      <m:plus/>
			      <m:ci>x</m:ci>
			      <m:cn>1</m:cn>
			    </m:apply>
			  </m:apply>
			</m:apply>
		      </m:apply>
                  </m:apply>

                  <m:cn>3</m:cn>
		</m:apply>
	      </m:math>
	    </equation>
	    
	    <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq10">
	      <m:math>
		<m:apply>
		  <m:eq/>
                  <m:ci>
                    <m:msub>
                      <m:mi>α</m:mi>
                      <m:mn>3</m:mn>
                    </m:msub>
                  </m:ci>
		  <m:apply>
		    <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		    <m:bvar><m:ci>x</m:ci></m:bvar>
		    <m:lowlimit><m:cn>-1</m:cn></m:lowlimit>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>3</m:cn>
		      </m:apply>
		      <m:apply>
			<m:ci type="fn">G</m:ci>
			<m:ci>x</m:ci>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		  
		  <m:apply>
		    <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		    <m:bvar><m:ci>x</m:ci></m:bvar>
		    <m:lowlimit><m:cn>-1</m:cn></m:lowlimit>
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:divide/>
			<m:apply>
			  <m:minus/>
			  <m:apply>
			    <m:plus/>
			    <m:apply>
			      <m:times/>
			      <m:cn>8</m:cn>
			      <m:apply>
				<m:power/>
				<m:ci>x</m:ci>
				<m:cn>2</m:cn>
			      </m:apply>
			    </m:apply>
			    <m:apply>
			      <m:times/>
			      <m:cn>3</m:cn>
			      <m:ci>x</m:ci>
			    </m:apply>
			  </m:apply>
			  <m:cn>21</m:cn>
			</m:apply>
			
			<m:apply>
			  <m:times/>
			  <m:apply>
			    <m:plus/>
			    <m:ci>x</m:ci>
			    <m:cn>2</m:cn>
			  </m:apply>
			  <m:apply>
			    <m:minus/>
			    <m:ci>x</m:ci>
			    <m:cn>3</m:cn>
			  </m:apply>
			</m:apply>
		      </m:apply>
		    </m:apply>
                  </m:apply>
                  <m:cn>4</m:cn>
		</m:apply>
	      </m:math>
	    </equation>
	  </para>
	  
        <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p12">
	    We now have our completed partial fraction expansion:
	    
	    <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq11">
	      <m:math>
              <m:apply>
		  <m:eq/>
                  <m:apply>
                    <m:divide/>
		    <m:apply>
		      <m:minus/>
		      <m:apply>
			<m:plus/>
			<m:apply>
			  <m:times/>
			  <m:cn>8</m:cn>
			  <m:apply>
			    <m:power/>
			    <m:ci>x</m:ci>
			    <m:cn>2</m:cn>
			  </m:apply>
			</m:apply>
			<m:apply>
			  <m:times/>
			  <m:cn>3</m:cn>
			  <m:ci>x</m:ci>
			</m:apply>
		      </m:apply>
		      <m:cn>21</m:cn>
		    </m:apply>
		    
		    <m:apply>
		      <m:times/>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:cn>3</m:cn>
		      </m:apply>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		  
                  <m:apply>
                    <m:plus/>
                      <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>2</m:cn>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:divide/>
		      <m:cn>3</m:cn>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:cn>3</m:cn>
		      </m:apply>
		    </m:apply>
		    <m:apply>
		      <m:divide/>
		      <m:cn>4</m:cn>
		      <m:apply>
			<m:plus/>
			<m:ci>x</m:ci>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:apply>
                  </m:apply>
		</m:apply>
	      </m:math>
	    </equation>
	  </para>
	</example>
	
      </section>

      <section xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="s1_2">
	<name xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Repeated Roots</name>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p13">
	  When the function
	  <m:math>
          <m:apply>
	      <m:ci type="fn">G</m:ci>
	      <m:ci>x</m:ci>
	    </m:apply>
	  </m:math>
	  has a repeated root in its denominator, as in

	  <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq12">
	    <m:math>
            <m:apply>
		<m:eq/>
                <m:apply>
                  <m:ci type="fn">G</m:ci>
                  <m:ci>x</m:ci>
                </m:apply>
                <m:apply>
                  <m:divide/>
		  <m:apply>
		    <m:ci type="fn">N</m:ci>
		    <m:ci>x</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:ci>b</m:ci>
		      </m:apply>
		      <m:ci>r</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		    </m:apply>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mn>2</m:mn>
			</m:msub>
		      </m:ci>
		    </m:apply>
		    <m:ci>…</m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mi>j</m:mi>
			</m:msub>
		      </m:ci>
		    </m:apply>
		  </m:apply>
                </m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	</para>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p14">
	  Somewhat more special care must be taken to find the
	  partial fraction expansion.  The non-repeated terms are
	  expanded as before, but for the repeated root, an extra
	  fraction is added for each instance of the repeated 
	  root:

	  <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq13">
	    <m:math>
	      <m:apply>
		<m:eq/>
                <m:apply>
                  <m:ci type="fn">G</m:ci>
                  <m:ci>x</m:ci>
                </m:apply> 
                <m:apply>
                  <m:plus/>
		  <m:apply>
		    <m:divide/>
		    <m:ci>
		      <m:msub>
			<m:mi>β</m:mi>
			<m:mn>0</m:mn>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:ci>b</m:ci>
		      </m:apply>
		      <m:ci>r</m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:divide/>
		    <m:ci>
		      <m:msub>
			<m:mi>β</m:mi>
			<m:mn>1</m:mn>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:ci>b</m:ci>
		      </m:apply>
		      <m:apply>
			<m:minus/>
			<m:ci>r</m:ci>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  <m:ci>…</m:ci>
		  <m:apply>
                      <m:divide/>
		    <m:ci>
		      <m:msub>
			<m:mi>β</m:mi>
			<m:mrow>
			  <m:mi>r</m:mi>
			  <m:mo>-</m:mo>
			  <m:mn>1</m:mn>
			</m:mrow>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>b</m:ci>
		    </m:apply>
		  </m:apply>
		  
		  <m:apply>
		    <m:divide/>
		    <m:ci>
		      <m:msub>
			<m:mi>α</m:mi>
			<m:mn>1</m:mn>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mn>1</m:mn>
			</m:msub>
		      </m:ci>
		    </m:apply>
		  </m:apply>
		  <m:apply>
		    <m:divide/>
		    <m:ci>
		      <m:msub>
			<m:mi>α</m:mi>
			<m:mn>2</m:mn>
		      </m:msub>
		    </m:ci>
                        <m:apply>
		      <m:minus/>
		      <m:ci>x</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:ci>…</m:ci>
		  
		  <m:apply>
		    <m:divide/>
		    <m:ci>
		      <m:msub>
			<m:mi>α</m:mi>
			<m:mi>j</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>
			<m:msub>
			  <m:mi>a</m:mi>
			  <m:mi>j</m:mi>
			</m:msub>
		      </m:ci>
		    </m:apply>
		  </m:apply>
                </m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	</para>
	
      <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p15">
	  All of the alpha constants can be found using the 
	  non-repeated roots method above.  Finding the beta
	  coefficients (which are due to the repeated root) has
	  the same Heaviside feel to it, except that this time we
	  will add a twist by using the derivative to eliminate
	  some unwanted terms.
	</para>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p16">
        Starting off directly with the cover-up method, we can find
	  <m:math>
	    <m:ci>
	      <m:msub>
		<m:mi>β</m:mi>
		<m:mn>0</m:mn>
	      </m:msub>
	    </m:ci>
	  </m:math>.
	  By multiplying both sides by
	  <m:math>
	    <m:apply>
	      <m:power/>
              <m:apply>
                <m:minus/>
		<m:ci>x</m:ci>
		<m:ci>b</m:ci>
              </m:apply>
              <m:ci>r</m:ci>
          </m:apply>
	  </m:math>,
	  we'll get:
	  
	  <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq14">
	    <m:math>
	      <m:apply>
              <m:eq/>
                <m:apply>
                  <m:times/>
		  <m:apply>
		    <m:power/>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>b</m:ci>
		    </m:apply>
		    <m:ci>r</m:ci>
		  </m:apply>
		  <m:apply>
		    <m:ci type="fn">G</m:ci>
		    <m:ci>x</m:ci>
		  </m:apply>
                </m:apply>
		
                <m:apply>
                  <m:plus/>
		  
		  <m:ci>
		    <m:msub>
		      <m:mi>β</m:mi>
		      <m:mn>0</m:mn>
		    </m:msub>
		  </m:ci>

		  <m:apply>
                      <m:times/>
		    <m:ci>
		      <m:msub>
			<m:mi>β</m:mi>
			<m:mn>1</m:mn>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:minus/>
		      <m:ci>x</m:ci>
		      <m:ci>b</m:ci>
		    </m:apply>
		  </m:apply>
		  
		  <m:ci>…</m:ci>
		  
		  <m:apply>
		    <m:times/>
		    <m:ci>
		      <m:msub>
			<m:mi>β</m:mi>
			<m:mrow>
			  <m:mi>r</m:mi>
			  <m:mo>-</m:mo>
			  <m:mn>1</m:mn>
			</m:mrow>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:ci>b</m:ci>
		      </m:apply>
		      <m:apply>
			<m:minus/>
			<m:ci>r</m:ci>
			<m:cn>1</m:cn>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  
		  <m:apply>
		    <m:times/>
		    <m:ci>
		      <m:msub>
			<m:mi>α</m:mi>
			<m:mn>1</m:mn>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:power/>
			<m:apply>
			  <m:minus/>
			  <m:ci>x</m:ci>
			  <m:ci>b</m:ci>
			</m:apply>
			<m:ci>r</m:ci>
		      </m:apply>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:ci>
			  <m:msub>
			    <m:mi>a</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>α</m:mi>
			<m:mn>2</m:mn>
		      </m:msub>
                        </m:ci>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:power/>
			<m:apply>
			  <m:minus/>
			  <m:ci>x</m:ci>
			  <m:ci>b</m:ci>
			</m:apply>
			<m:ci>r</m:ci>
		      </m:apply>
		      <m:apply>
			<m:minus/>
			<m:ci>x</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:apply>
		  
		  <m:ci>…</m:ci>
		  
		  <m:apply>
		    <m:times/>
		    <m:ci>
		      <m:msub>
			<m:mi>α</m:mi>
			<m:mi>j</m:mi>
		      </m:msub>
		    </m:ci>
		    <m:apply>
		      <m:divide/>
		      <m:apply>
			<m:power/>
			<m:apply>
			  <m:minus/>
			  <m:ci>x</m:ci>
			  <m:ci>b</m:ci>
			</m:apply>
			<m:ci>r</m:ci>
		      </m:apply>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:ci>
			  <m:msub>
			    <m:mi>a</m:mi>
			    <m:mi>j</m:mi>
			  </m:msub>
			</m:ci>
		      </m:apply>
		    </m:apply>
		  </m:apply>
		  
                </m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	</para>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p17">
	  Now that we have "covered up" the
	  <m:math>
	    <m:apply>
	      <m:power/>
              <m:apply>
                <m:minus/>
		<m:ci>x</m:ci>
		<m:ci>b</m:ci>
              </m:apply>
              <m:ci>r</m:ci>
	    </m:apply>
	  </m:math>
	  term in the denominator of
	  <m:math>
	    <m:apply>
	      <m:ci type="fn">G</m:ci>
	      <m:ci>x</m:ci>
	    </m:apply>
	  </m:math>,
	  we plug in
	  <m:math>
	    <m:apply>
	      <m:eq/>
              <m:ci>x</m:ci>
              <m:ci>b</m:ci>
	    </m:apply>
	  </m:math>
	  to each side; this cancels every term on the right-hand side
	  except for
	  <m:math>
	    <m:ci>
	      <m:msub>
		<m:mi>β</m:mi>
		<m:mn>0</m:mn>
	      </m:msub>
	    </m:ci>
	  </m:math>,
	  leaving the formula
 
	  <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq15">
	    <m:math>
	      <m:apply>
              <m:eq/>
                <m:ci>
                  <m:msub>
                    <m:mi>β</m:mi>
                    <m:mn>0</m:mn>
                  </m:msub>
                </m:ci>
		<m:apply>
		  <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		  <m:bvar><m:ci>x</m:ci></m:bvar>
		  <m:lowlimit><m:ci>b</m:ci></m:lowlimit>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:power/>
		      <m:apply>
			<m:minus/>
			<m:ci>x</m:ci>
			<m:ci>b</m:ci>
		      </m:apply>
		      <m:ci>r</m:ci>
		    </m:apply>
		    <m:apply>
		      <m:ci type="fn">G</m:ci>
		      <m:ci>x</m:ci>
		    </m:apply>
		  </m:apply>
                </m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	</para>
	
	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p18">
	  To find the other values of the beta coefficients, we can
	  take advantage of the derivative.  By taking the derivative 
	  of the <cnxn xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" target="eq14" strength="9">equation after cover-up</cnxn> (with respect to <m:math><m:ci>x</m:ci></m:math> 
	  the right-hand side becomes
	  <m:math>
	    <m:ci>
	      <m:msub>
		<m:mi>β</m:mi>
		<m:mn>1</m:mn>
	      </m:msub> 
	    </m:ci>
	  </m:math>
	  plus terms containing an
	  <m:math>
	    <m:apply>
	      <m:minus/>
              <m:ci>x</m:ci>
              <m:ci>b</m:ci>
	    </m:apply>
	  </m:math>
	  in the numerator.  Again, plugging in
	  <m:math>
	    <m:apply>
	      <m:eq/>
              <m:ci>x</m:ci>
              <m:ci>b</m:ci>
	    </m:apply>
	  </m:math> 
	  eliminates everything on the right-hand side except for
	  <m:math>
	    <m:ci>
	      <m:msub>
		<m:mi>β</m:mi>
		<m:mn>1</m:mn>
	      </m:msub>
          </m:ci>
	  </m:math>,
	  leaving us with a formula for
	  <m:math>
	    <m:ci>
	      <m:msub>
		<m:mi>β</m:mi>
		<m:mn>1</m:mn>
	      </m:msub>
          </m:ci>
	  </m:math>:
	  
	  <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq16">
	    <m:math>
	      <m:apply>
              <m:eq/>
                <m:ci>
                  <m:msub>
                    <m:mi>β</m:mi>
                    <m:mn>1</m:mn>
                  </m:msub>
                </m:ci>
		<m:apply>
		   <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		  <m:bvar><m:ci>x</m:ci></m:bvar>
		  <m:lowlimit><m:ci>b</m:ci></m:lowlimit>
		  <m:apply>
		    <m:times/>
                    <m:apply>
		      <m:diff/>
		      <m:bvar>
			<m:ci>x</m:ci>
		      </m:bvar>
		      <m:apply>
			<m:times/>
			<m:apply>
			  <m:power/>
			  <m:apply>
			    <m:minus/>
			    <m:ci>x</m:ci>
			    <m:ci>b</m:ci>
			  </m:apply>
			  <m:ci>r</m:ci>
			</m:apply>
			<m:apply>
			  <m:ci type="fn">G</m:ci>
			  <m:ci>x</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
                </m:apply>
	      </m:apply>
	    </m:math>
        </equation>
	</para>
	

	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p19">
	  Generalizing over this pattern, we can continue to take
	  derivatives to find the other beta terms.  The solution
	  for all beta terms is
	  
        <equation xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="eq17">
	    <m:math>
	      <m:apply>
		<m:eq/>
                <m:ci>
                  <m:msub>
                    <m:mi>β</m:mi>
                    <m:mi>k</m:mi>
                  </m:msub>
                </m:ci>
		<m:apply>
		  <m:csymbol definitionURL="http://cnx.rice.edu/cd/cnxmath.ocd#evaluateat"/>
		  <m:bvar><m:ci>x</m:ci></m:bvar>
		  <m:lowlimit><m:ci>b</m:ci></m:lowlimit>
		  <m:apply>
		    <m:times/>
		    <m:apply>
		      <m:divide/>
		      <m:cn>1</m:cn>
		      <m:apply>
			<m:factorial/>
			<m:ci>k</m:ci>
		      </m:apply>
                    </m:apply>
		    <m:apply>
		      <m:diff/>
		      <m:bvar>
			<m:ci>x</m:ci>
			<m:degree>
			  <m:ci>k</m:ci>
			</m:degree>
		      </m:bvar>
		      <m:apply>
			<m:times/>
			<m:apply>
			  <m:power/>
			  <m:apply>
			    <m:minus/>
			    <m:ci>x</m:ci>
			    <m:ci>b</m:ci>
			  </m:apply>
			  <m:ci>r</m:ci>
			</m:apply>
			<m:apply>
			  <m:ci type="fn">G</m:ci>
			  <m:ci>x</m:ci>
			</m:apply>
		      </m:apply>
		    </m:apply>
		  </m:apply>
                </m:apply>
	      </m:apply>
	    </m:math>
	  </equation>
	</para>

	<para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p20">
	  <note xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" type="Hint">To check if you've done the partial 
	    fraction expansion correctly, just add all of the partial
	    fractions together to see if their sum equals the original
	    ratio of polynomials. </note>
	</para>
	
      </section>
      
  </section>
    
    <section xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="s2_2">
    <name xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">Finding Partial Fractions in Matlab</name>
      
      <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p21">
	Matlab can be a useful tool in finding partial fraction
	expansions when the ratios become too unwieldy to expand by
	hand.  It can handle symbolic variables.  For example, if
	you type <code xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">syms s</code>, <m:math><m:ci>s</m:ci></m:math> will be treated as a symbolic variable.
	You can then use it as such when you make function assignments.
      </para>
      
    <para xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/" id="p22">
	If you've done this and have then made a function, say <m:math><m:apply><m:ci type="fn">H</m:ci><m:ci>s</m:ci></m:apply></m:math>, 
      which is a ratio of two polynomials in the symbolic variable <m:math><m:ci>s</m:ci></m:math>, 
	there are two ways to get the partial fraction expansion of it.
      A trick way is to say <code xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">diff(int(H))</code>.  When you use these 
	functions together, Matlab gives back <m:math><m:ci>H</m:ci></m:math> expanded into partial
	fractions. There's also a more formal way to do it using the
	<code xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">residue</code> command.  Type <code xmlns:md="http://cnx.rice.edu/mdml/0.4" xmlns:m="http://www.w3.org/1998/Math/MathML" xmlns:bib="http://bibtexml.sf.net/">help residue</code> in Matlab for details. 
      </para>
    </section>
    
</content>
  
</document>
