<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">

<!--Converted with LaTeX2HTML 2002-2-1 (1.70)
original version by:  Nikos Drakos, CBLU, University of Leeds
* revised and updated by:  Marcus Hennecke, Ross Moore, Herb Swan
* with significant contributions from:
  Jens Lippmann, Marek Rouchal, Martin Wilck and others -->
<HTML>
<HEAD>
<TITLE>Matrix equation and matrix inverse</TITLE>
<META NAME="description" CONTENT="Matrix equation and matrix inverse">
<META NAME="keywords" CONTENT="book1">
<META NAME="resource-type" CONTENT="document">
<META NAME="distribution" CONTENT="global">

<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="Generator" CONTENT="LaTeX2HTML v2002-2-1">
<META HTTP-EQUIV="Content-Style-Type" CONTENT="text/css">

<LINK REL="STYLESHEET" HREF="book1.css">

<LINK REL="next" HREF="node5.html">
<LINK REL="previous" HREF="node1.html">
<LINK REL="up" HREF="book1.html">
<LINK REL="next" HREF="node4.html">
</HEAD>

<BODY >
<!--Navigation Panel-->
<A NAME="tex2html39"
  HREF="node4.html">
<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
 SRC="file:/usr/local/share/lib/latex2html/icons/next.gif"></A> 
<A NAME="tex2html37"
  HREF="book1.html">
<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
 SRC="file:/usr/local/share/lib/latex2html/icons/up.gif"></A> 
<A NAME="tex2html31"
  HREF="node2.html">
<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
 SRC="file:/usr/local/share/lib/latex2html/icons/prev.gif"></A>   
<BR>
<B> Next:</B> <A NAME="tex2html40"
  HREF="node4.html">Exercises</A>
<B> Up:</B> <A NAME="tex2html38"
  HREF="book1.html">book1</A>
<B> Previous:</B> <A NAME="tex2html32"
  HREF="node2.html">Exercises</A>
<BR>
<BR>
<!--End of Navigation Panel-->

<H1><A NAME="SECTION00200000000000000000">
Matrix equation and matrix inverse</A>
</H1>

<P>
The system of linear equations can be written in many different forms. In this course we discuss only some of them. The form that includes unknown variables <!-- MATH
 $(x_1,x_2,\dots x_n)$
 -->
<IMG
 WIDTH="101" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img91.gif"
 ALT="$(x_1,x_2,\dots x_n)$"> was already considered in the previous chapter.

<P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
\left\{ \begin{array}{ccccccccc}
a_{11}x_{1}&+&a_{12}x_{2}&+&\ldots &+&a_{1n}x_{n} & = & b_{1},\\
a_{21}x_{1}&+&a_{22}x_{2}&+&\ldots &+&a_{2n}x_{n} & = & b_{2},\\
\vdots && \vdots &&  \ddots && \vdots &&  \vdots\\
a_{m1}x_{1}&+&a_{m2}x_{2}&+&\ldots &+&a_{mn}x_{n} & = & b_{m},
\end{array}\right.
\end{displaymath}
 -->

<IMG
 WIDTH="371" HEIGHT="93" BORDER="0"
 SRC="img8.gif"
 ALT="\begin{displaymath}
\left\{ \begin{array}{ccccccccc}
a_{11}x_{1}&amp;+&amp;a_{12}x_{2}&amp;+...
...}x_{2}&amp;+&amp;\ldots &amp;+&amp;a_{mn}x_{n} &amp; = &amp; b_{m},
\end{array}\right.
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
Now we take a look at the matrix representation of this system. The following table of numbers is a matrix of the system.

<P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A=\left(
\begin{array}{cccc}
a_{11} & a_{12} & \ldots & a_{1n} \\
a_{21} & a_{22} & \ldots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{m1} & a_{m2} & \ldots & a_{mn}
\end{array}
\right)
\end{displaymath}
 -->

<IMG
 WIDTH="221" HEIGHT="93" BORDER="0"
 SRC="img92.gif"
 ALT="\begin{displaymath}
A=\left(
\begin{array}{cccc}
a_{11} &amp; a_{12} &amp; \ldots &amp; a_{1...
...vdots \\
a_{m1} &amp; a_{m2} &amp; \ldots &amp; a_{mn}
\end{array}\right)
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
The right hand side of the system is the following column.

<P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
b =\left(
\begin{array}{c}
b_{1},\\
b_{2},\\
\vdots \\
b_{m}
\end{array}
\right)
\end{displaymath}
 -->

<IMG
 WIDTH="85" HEIGHT="93" BORDER="0"
 SRC="img93.gif"
 ALT="\begin{displaymath}
b =\left(
\begin{array}{c}
b_{1},\\
b_{2},\\
\vdots \\
b_{m}
\end{array}\right)
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
We use notations <IMG
 WIDTH="29" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img94.gif"
 ALT="$A, b$"> in order to write the system in matrix form. The string of unknowns <!-- MATH
 $(x_1, x_2, \dots ,x_n)$
 -->
<IMG
 WIDTH="108" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img95.gif"
 ALT="$(x_1, x_2, \dots ,x_n)$"> is denoted by <IMG
 WIDTH="12" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img1.gif"
 ALT="$x$">. We can treat <IMG
 WIDTH="12" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img1.gif"
 ALT="$x$"> as the following matrix.

<P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
x =\left(
\begin{array}{c}
x_{1},\\
x_{2},\\
\vdots \\
x_{n}
\end{array}
\right)
\end{displaymath}
 -->

<IMG
 WIDTH="89" HEIGHT="93" BORDER="0"
 SRC="img96.gif"
 ALT="\begin{displaymath}
x =\left(
\begin{array}{c}
x_{1},\\
x_{2},\\
\vdots \\
x_{n}
\end{array}\right)
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
Now we define the multiplication between <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> and <IMG
 WIDTH="12" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img1.gif"
 ALT="$x$"> such that
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
Ax = 
\left( \begin{array}{cccccccc}
a_{11}x_{1}&+&a_{12}x_{2}&+&\ldots &+&a_{1n}x_{n}\\
a_{21}x_{1}&+&a_{22}x_{2}&+&\ldots &+&a_{2n}x_{n}\\
\vdots && \vdots &&  \ddots && \vdots &\\
a_{m1}x_{1}&+&a_{m2}x_{2}&+&\ldots &+&a_{mn}x_{n}  
\end{array}\right)
\end{displaymath}
 -->

<IMG
 WIDTH="381" HEIGHT="93" BORDER="0"
 SRC="img98.gif"
 ALT="\begin{displaymath}
Ax =
\left( \begin{array}{cccccccc}
a_{11}x_{1}&amp;+&amp;a_{12}x_{...
..._{1}&amp;+&amp;a_{m2}x_{2}&amp;+&amp;\ldots &amp;+&amp;a_{mn}x_{n}
\end{array}\right)
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
Then the system of linear equation can be written in the matrix form.
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
Ax =b.
\end{displaymath}
 -->

<IMG
 WIDTH="52" HEIGHT="24" BORDER="0"
 SRC="img99.gif"
 ALT="\begin{displaymath}
Ax =b.
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
This form is convenient for theoretical analysis of linear systems. Notice that the matrix <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> has
<IMG
 WIDTH="17" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img100.gif"
 ALT="$m$"> rows and <IMG
 WIDTH="13" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img101.gif"
 ALT="$n$"> columns (<IMG
 WIDTH="46" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img102.gif"
 ALT="$m \times n$">-matrix) while <IMG
 WIDTH="12" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img1.gif"
 ALT="$x$"> has <IMG
 WIDTH="13" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img101.gif"
 ALT="$n$"> rows and only one column (<IMG
 WIDTH="40" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img103.gif"
 ALT="$n \times 1$">-matrix). The result of their multiplication is <IMG
 WIDTH="10" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img104.gif"
 ALT="$b$"> that has <IMG
 WIDTH="17" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img100.gif"
 ALT="$m$"> rows and one column (<IMG
 WIDTH="44" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img105.gif"
 ALT="$m \times 1$">-matrix).

<P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
\begin{array}{cccc}
\left(
\begin{array}{cccc}
a_{11} & a_{12} & \ldots & a_{1n} \\
a_{21} & a_{22} & \ldots & a_{2n} \\
\vdots & \vdots & \ddots & \vdots \\
a_{m1} & a_{m2} & \ldots & a_{mn}
\end{array}
\right)
&
\left(
\begin{array}{c}
x_{1},\\
x_{2},\\
\vdots \\
x_{n}
\end{array}
\right)
&
=
&
\left(
\begin{array}{c}
b_{1},\\
b_{2},\\
\vdots \\
b_{m}
\end{array}
\right)\\
(m \times n) & (n \times 1) && (m \times 1)
\end{array}
\end{displaymath}
 -->

<IMG
 WIDTH="371" HEIGHT="113" BORDER="0"
 SRC="img106.gif"
 ALT="\begin{displaymath}
\begin{array}{cccc}
\left(
\begin{array}{cccc}
a_{11} &amp; a_{1...
...t)\\
(m \times n) &amp; (n \times 1) &amp;&amp; (m \times 1)
\end{array}
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
As you can see  the multiplication of <IMG
 WIDTH="46" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img102.gif"
 ALT="$m \times n$"> and <IMG
 WIDTH="40" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img103.gif"
 ALT="$n \times 1$"> matrices gives us an <IMG
 WIDTH="44" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img105.gif"
 ALT="$m \times 1$"> matrix. It is also true  that the product of <IMG
 WIDTH="46" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img102.gif"
 ALT="$m \times n$"> and <IMG
 WIDTH="41" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img107.gif"
 ALT="$n \times k$"> matrices is an <IMG
 WIDTH="45" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img108.gif"
 ALT="$m \times k$"> matrix if the multiplication is defined as follows.

<P>
<P>
<DIV><B>Definition  2.1</B> &nbsp; 
<I>Given an <IMG
 WIDTH="46" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img102.gif"
 ALT="$m \times n$"> matrix <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> and an <IMG
 WIDTH="41" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img107.gif"
 ALT="$n \times k$"> matrix <IMG
 WIDTH="16" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img109.gif"
 ALT="$B$"> then <IMG
 WIDTH="39" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img110.gif"
 ALT="$A\cdot B$"> is an <IMG
 WIDTH="45" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img108.gif"
 ALT="$m \times k$"> matrix defined as
</I>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A\cdot B = (A\cdot b^1\; A\cdot b^2 \dots A\cdot b^k),
\end{displaymath}
 -->

<IMG
 WIDTH="215" HEIGHT="28" BORDER="0"
 SRC="img111.gif"
 ALT="\begin{displaymath}
A\cdot B = (A\cdot b^1\; A\cdot b^2 \dots A\cdot b^k),
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P><I>
where <!-- MATH
 $b^1,\;b^2 ,\dots b^k$
 -->
<IMG
 WIDTH="85" HEIGHT="35" ALIGN="MIDDLE" BORDER="0"
 SRC="img112.gif"
 ALT="$b^1,\;b^2 ,\dots b^k$"> are columns of <IMG
 WIDTH="20" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img113.gif"
 ALT="$B.$">
</I>
<P>
<I><!-- MATH
 $\qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \diamond$
 -->
<IMG
 WIDTH="488" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img52.gif"
 ALT="$ \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \diamond $">
</I>
<P></DIV><P></P>

<P>
<IMG
 WIDTH="39" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img110.gif"
 ALT="$A\cdot B$"> has <IMG
 WIDTH="17" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img100.gif"
 ALT="$m$"> rows and <IMG
 WIDTH="12" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img114.gif"
 ALT="$k$"> columns.
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A\cdot b^j = 
\left( \begin{array}{cccccccc}
a_{11}b_{1j}&+&a_{12}b_{2j}&+&\ldots &+&a_{1n}b_{nj}\\
a_{21}b_{1j}&+&a_{22}b_{2j}&+&\ldots &+&a_{2n}b_{nj}\\
\vdots && \vdots &&  \ddots && \vdots &\\
a_{m1}b_{1j}&+&a_{m2}b_{2j}&+&\ldots &+&a_{mn}b_{nj}  
\end{array}\right)
\end{displaymath}
 -->

<IMG
 WIDTH="407" HEIGHT="93" BORDER="0"
 SRC="img115.gif"
 ALT="\begin{displaymath}
A\cdot b^j =
\left( \begin{array}{cccccccc}
a_{11}b_{1j}&amp;+&amp;...
...j}&amp;+&amp;a_{m2}b_{2j}&amp;+&amp;\ldots &amp;+&amp;a_{mn}b_{nj}
\end{array}\right)
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
is its  <IMG
 WIDTH="10" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img17.gif"
 ALT="$j$">-th column. The product <IMG
 WIDTH="39" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img110.gif"
 ALT="$A\cdot B$"> is defined only when the number of columns in <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> is equal to the number of rows in <IMG
 WIDTH="20" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img113.gif"
 ALT="$B.$"> Moreover the product is <B>associative</B>. That means
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(A\cdot B) \cdot C = A\cdot(B\cdot C)
\end{displaymath}
 -->

<IMG
 WIDTH="163" HEIGHT="28" BORDER="0"
 SRC="img116.gif"
 ALT="\begin{displaymath}
(A\cdot B) \cdot C = A\cdot(B\cdot C)
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
as long as <!-- MATH
 $(A\cdot B) \cdot C$
 -->
<IMG
 WIDTH="76" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img117.gif"
 ALT="$(A\cdot B) \cdot C$"> is defined. 
<P>
<DIV><A NAME="associative"><B>Theorem  2.1</B></A> &nbsp; 
<I>Let <IMG
 WIDTH="35" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img118.gif"
 ALT="$A, B$"> and <IMG
 WIDTH="16" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img119.gif"
 ALT="$C$"> be i<!-- MATH
 $n\times m,\;\; m\times k,$
 -->
<IMG
 WIDTH="109" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img120.gif"
 ALT="$n\times m,\;\; m\times k,$"> and <IMG
 WIDTH="38" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img121.gif"
 ALT="$k\times \ell$"> matrices, respectively. Then
</I>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(A\cdot B) \cdot C = A\cdot(B\cdot C)
\end{displaymath}
 -->

<IMG
 WIDTH="163" HEIGHT="28" BORDER="0"
 SRC="img116.gif"
 ALT="\begin{displaymath}
(A\cdot B) \cdot C = A\cdot(B\cdot C)
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P></DIV><P></P>

<B>Proof.</B>

<P>
Let us show that <IMG
 WIDTH="16" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img122.gif"
 ALT="$ij$">-th entries of <!-- MATH
 $(A\cdot B) \cdot C$
 -->
<IMG
 WIDTH="76" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img117.gif"
 ALT="$(A\cdot B) \cdot C$"> and <!-- MATH
 $A\cdot(B\cdot C)$
 -->
<IMG
 WIDTH="76" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img123.gif"
 ALT="$ A\cdot(B\cdot C)$"> are the same.
 Indeed,  
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A\cdot(B\cdot C)= A\cdot (B \cdot c^1 \; B \cdot c^2 \dots  B \cdot c^\ell),
\end{displaymath}
 -->

<IMG
 WIDTH="276" HEIGHT="28" BORDER="0"
 SRC="img124.gif"
 ALT="\begin{displaymath}
A\cdot(B\cdot C)= A\cdot (B \cdot c^1 \; B \cdot c^2 \dots B \cdot c^\ell),
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
where <IMG
 WIDTH="10" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img125.gif"
 ALT="$\ell$"> is the number of columns in <IMG
 WIDTH="19" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img126.gif"
 ALT="$C.$"> For the <IMG
 WIDTH="10" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img17.gif"
 ALT="$j$">-th column we have
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A\cdot (B \cdot c^j)= A\cdot 
\left( \begin{array}{cccccccc}
b_{11}c_{1j}&+&b_{12}c_{2j}&+&\ldots &+&b_{1n}c_{nj}\\
b_{21}c_{1j}&+&b_{22}c_{2j}&+&\ldots &+&b_{2n}c_{nj}\\
\vdots && \vdots &&  \ddots && \vdots &\\
b_{m1}c_{1j}&+&b_{m2}c_{2j}&+&\ldots &+&b_{mn}c_{nj}
\end{array}\right),
\end{displaymath}
 -->

<IMG
 WIDTH="475" HEIGHT="93" BORDER="0"
 SRC="img127.gif"
 ALT="\begin{displaymath}
A\cdot (B \cdot c^j)= A\cdot
\left( \begin{array}{cccccccc}...
...j}&amp;+&amp;b_{m2}c_{2j}&amp;+&amp;\ldots &amp;+&amp;b_{mn}c_{nj}
\end{array}\right),
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
where <IMG
 WIDTH="37" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img128.gif"
 ALT="$\{b_{ij}\}$"> are entries for <IMG
 WIDTH="20" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img113.gif"
 ALT="$B.$"> Thus, <IMG
 WIDTH="16" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img122.gif"
 ALT="$ij$">-th entry for <!-- MATH
 $A\cdot(B\cdot C)$
 -->
<IMG
 WIDTH="76" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img123.gif"
 ALT="$ A\cdot(B\cdot C)$"> is
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
a_{i1}(b_{11}c_{1j}+b_{12}c_{2j}+\ldots +b_{1n}c_{nj} )+a_{i2}(b_{21}c_{1j}+b_{22}c_{2j}+\ldots +b_{2n}c_{nj} )+\ldots
\end{displaymath}
 -->

<IMG
 WIDTH="521" HEIGHT="29" BORDER="0"
 SRC="img129.gif"
 ALT="\begin{displaymath}
a_{i1}(b_{11}c_{1j}+b_{12}c_{2j}+\ldots +b_{1n}c_{nj} )+a_{i2}(b_{21}c_{1j}+b_{22}c_{2j}+\ldots +b_{2n}c_{nj} )+\ldots
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
<BR>
<DIV ALIGN="RIGHT">

<!-- MATH
 \begin{equation}
\end{equation}
 -->
<TABLE WIDTH="100%" ALIGN="CENTER">
<TR VALIGN="MIDDLE"><TD ALIGN="CENTER" NOWRAP><A NAME="sum"></A>&nbsp;</TD>
<TD WIDTH=10 ALIGN="RIGHT">
(2.1)</TD></TR>
</TABLE>
<BR CLEAR="ALL"></DIV><P></P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
+a_{in}(b_{n1}c_{1j}+b_{n2}c_{2j} +\ldots +b_{nk}c_{kj} )
\end{displaymath}
 -->

<IMG
 WIDTH="248" HEIGHT="29" BORDER="0"
 SRC="img130.gif"
 ALT="\begin{displaymath}
+a_{in}(b_{n1}c_{1j}+b_{n2}c_{2j} +\ldots +b_{nk}c_{kj} )
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
Multiplication of real numbers is associative and we can group terms in (<A HREF="#sum"><IMG  ALIGN="BOTTOM" BORDER="1" ALT="[*]"
 SRC="file:/usr/local/share/lib/latex2html/icons/crossref.gif"></A>) as follows.
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(a_{i1} b_{11} + a_{i2} b_{21}+\dots a_{in} b_{n1})c_{1j} + (a_{i1} b_{12} + a_{i2} b_{22}+\dots a_{in} b_{n2})c_{2j}+\dots
\end{displaymath}
 -->

<IMG
 WIDTH="487" HEIGHT="29" BORDER="0"
 SRC="img131.gif"
 ALT="\begin{displaymath}
(a_{i1} b_{11} + a_{i2} b_{21}+\dots a_{in} b_{n1})c_{1j} + (a_{i1} b_{12} + a_{i2} b_{22}+\dots a_{in} b_{n2})c_{2j}+\dots
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(a_{i1} b_{1k} + a_{i2} b_{2k}+\dots a_{in} b_{nk})c_{kj}
\end{displaymath}
 -->

<IMG
 WIDTH="216" HEIGHT="29" BORDER="0"
 SRC="img132.gif"
 ALT="\begin{displaymath}
(a_{i1} b_{1k} + a_{i2} b_{2k}+\dots a_{in} b_{nk})c_{kj}
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
This is the <IMG
 WIDTH="9" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img21.gif"
 ALT="$i$">-th entry of 
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(A\cdot b^1)\cdot c_{1j}+(A\cdot b^2)\cdot c_{2j}+ \dots + (A\cdot b^k)\cdot c_{kj}
\end{displaymath}
 -->

<IMG
 WIDTH="318" HEIGHT="29" BORDER="0"
 SRC="img133.gif"
 ALT="\begin{displaymath}
(A\cdot b^1)\cdot c_{1j}+(A\cdot b^2)\cdot c_{2j}+ \dots + (A\cdot b^k)\cdot c_{kj}
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
which is the <IMG
 WIDTH="10" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img17.gif"
 ALT="$j$">-th column of <!-- MATH
 $(A\cdot B)\cdot C.$
 -->
<IMG
 WIDTH="79" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img134.gif"
 ALT="$(A\cdot B)\cdot C.$">

<P>
<!-- MATH
 $\qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \diamond$
 -->
<IMG
 WIDTH="488" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img52.gif"
 ALT="$ \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \diamond $">

<P>
Now we consider <IMG
 WIDTH="42" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img135.gif"
 ALT="$n\times n$">- matrices. They are called <B>square</B>.  Some of the square matrices possess the following very important property - they might be <B>invertible</B>.
<P>
<DIV><B>Definition  2.2</B> &nbsp; 
<I>An <IMG
 WIDTH="42" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img135.gif"
 ALT="$n\times n$">- matrix <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> is invertible if there exists an <IMG
 WIDTH="42" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img135.gif"
 ALT="$n\times n$">-matrix <IMG
 WIDTH="32" HEIGHT="16" ALIGN="BOTTOM" BORDER="0"
 SRC="img136.gif"
 ALT="$A^{-1}$"> such that
</I>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A\cdot A^{-1} = A^{-1} \cdot A = I_n,
\end{displaymath}
 -->

<IMG
 WIDTH="167" HEIGHT="27" BORDER="0"
 SRC="img137.gif"
 ALT="\begin{displaymath}
A\cdot A^{-1} = A^{-1} \cdot A = I_n,
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P><I>
where <IMG
 WIDTH="11" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img138.gif"
 ALT="$I$"> denotes the identity <IMG
 WIDTH="42" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img135.gif"
 ALT="$n\times n$">-matrix,
</I>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
I_n=
\left(
\begin{array}{cccc}
1 & 0 & \ldots & 0 \\
0 & 1 & \ldots & 0 \\
\vdots & \vdots & \ddots & \vdots \\
0 & 0 & \ldots & 1
\end{array}
\right)
\end{displaymath}
 -->

<IMG
 WIDTH="166" HEIGHT="93" BORDER="0"
 SRC="img139.gif"
 ALT="\begin{displaymath}
I_n=
\left(
\begin{array}{cccc}
1 &amp; 0 &amp; \ldots &amp; 0 \\
0 &amp; 1...
...ts &amp; \ddots &amp; \vdots \\
0 &amp; 0 &amp; \ldots &amp; 1
\end{array}\right)
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P><I>
that has all entries outside its diagonal equal to zero while on the diagonal they are equal to <IMG
 WIDTH="15" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img140.gif"
 ALT="$1.$">
<IMG
 WIDTH="32" HEIGHT="16" ALIGN="BOTTOM" BORDER="0"
 SRC="img136.gif"
 ALT="$A^{-1}$"> is called the inverse of <IMG
 WIDTH="19" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img141.gif"
 ALT="$A.$">
</I>
<P>
<I><!-- MATH
 $\qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \diamond$
 -->
<IMG
 WIDTH="488" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img52.gif"
 ALT="$ \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \diamond $">
</I>
<P></DIV><P></P>
If the inverse <IMG
 WIDTH="32" HEIGHT="16" ALIGN="BOTTOM" BORDER="0"
 SRC="img136.gif"
 ALT="$A^{-1}$"> exists then the solution for the matrix equation
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A\cdot x = b
\end{displaymath}
 -->

<IMG
 WIDTH="60" HEIGHT="24" BORDER="0"
 SRC="img142.gif"
 ALT="\begin{displaymath}
A\cdot x = b
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
is given by 
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
x = A^{-1} b
\end{displaymath}
 -->

<IMG
 WIDTH="65" HEIGHT="24" BORDER="0"
 SRC="img143.gif"
 ALT="\begin{displaymath}
x = A^{-1} b
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
Indeed, after using <IMG
 WIDTH="39" HEIGHT="16" ALIGN="BOTTOM" BORDER="0"
 SRC="img144.gif"
 ALT="$A^{-1}b$"> instead of <IMG
 WIDTH="12" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img1.gif"
 ALT="$x$"> in <IMG
 WIDTH="52" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img145.gif"
 ALT="$Ax=b$"> we obtain
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A\cdot (A^{-1}b) = (A\cdot A^{-1})b= I\cdot b =b
\end{displaymath}
 -->

<IMG
 WIDTH="240" HEIGHT="28" BORDER="0"
 SRC="img146.gif"
 ALT="\begin{displaymath}
A\cdot (A^{-1}b) = (A\cdot A^{-1})b= I\cdot b =b
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
Notice that
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A\cdot (A^{-1}b) = (A\cdot A^{-1})b
\end{displaymath}
 -->

<IMG
 WIDTH="164" HEIGHT="28" BORDER="0"
 SRC="img147.gif"
 ALT="\begin{displaymath}
A\cdot (A^{-1}b) = (A\cdot A^{-1})b
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
follows from the fact that the matrix multiplication is associative, Theorem <A HREF="#associative"><IMG  ALIGN="BOTTOM" BORDER="1" ALT="[*]"
 SRC="file:/usr/local/share/lib/latex2html/icons/crossref.gif"></A>.

<P>
Given a <IMG
 WIDTH="42" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img135.gif"
 ALT="$n\times n$">- matrix <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> there is a simple and efficient algorithm of calculating its inverse <IMG
 WIDTH="36" HEIGHT="16" ALIGN="BOTTOM" BORDER="0"
 SRC="img148.gif"
 ALT="$A^{-1}.$">

<P>
<DIV ALIGN="CENTER">
<B>Algorithm for finding the inverse of a square matrix <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"></B>

</DIV>
<DL COMPACT>
<DT>i.</DT>
<DD>Write the augmented matrix 
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(A \vert I_n),
\end{displaymath}
 -->

<IMG
 WIDTH="47" HEIGHT="28" BORDER="0"
 SRC="img149.gif"
 ALT="\begin{displaymath}
(A \vert I_n),
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
where <IMG
 WIDTH="13" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img101.gif"
 ALT="$n$"> is the number of rows (columns) in <IMG
 WIDTH="19" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img141.gif"
 ALT="$A.$">
</DD>
<DT>ii.</DT>
<DD>Try to convert <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> into <IMG
 WIDTH="19" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img150.gif"
 ALT="$I_n$"> by the elementary row operations (see Chapter 1) where the rows are from <!-- MATH
 $(A \vert I_n).$
 -->
<IMG
 WIDTH="52" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img151.gif"
 ALT="$(A \vert I_n).$"> 
</DD>
<DT>iii.</DT>
<DD>If it is possible to convert <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> into <IMG
 WIDTH="23" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img152.gif"
 ALT="$I_n,$"> then the augmented matrix takes the form <!-- MATH
 $(I_n \vert A^{-1}).$
 -->
<IMG
 WIDTH="69" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
 SRC="img153.gif"
 ALT="$(I_n \vert A^{-1}).$">
</DD>
</DL>

<P>
In other words, you need to play a game with <IMG
 WIDTH="47" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img154.gif"
 ALT="$(A \vert I_n)$"> the goal of the game is to bring <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> into <IMG
 WIDTH="19" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img150.gif"
 ALT="$I_n$"> by using only elementary row operations. If it is possible to make <IMG
 WIDTH="19" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img150.gif"
 ALT="$I_n$"> out of <IMG
 WIDTH="19" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img155.gif"
 ALT="$A, $"> then <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> is invertible and as soon as <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> becomes <IMG
 WIDTH="19" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img150.gif"
 ALT="$I_n$"> the augmented matrix <IMG
 WIDTH="47" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img154.gif"
 ALT="$(A \vert I_n)$"> becomes <!-- MATH
 $(I_n \vert A^{-1}).$
 -->
<IMG
 WIDTH="69" HEIGHT="34" ALIGN="MIDDLE" BORDER="0"
 SRC="img153.gif"
 ALT="$(I_n \vert A^{-1}).$">

<P>
<P>
<DIV><B>Example  2.1</B> &nbsp; </DIV><P></P>
Find the inverse <IMG
 WIDTH="32" HEIGHT="16" ALIGN="BOTTOM" BORDER="0"
 SRC="img136.gif"
 ALT="$A^{-1}$"> of the matrix 
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A=
\left(
\begin{array}{cc}
1 & 2  \\
3 & 1 
\end{array}
\right),
\end{displaymath}
 -->

<IMG
 WIDTH="111" HEIGHT="45" BORDER="0"
 SRC="img156.gif"
 ALT="\begin{displaymath}
A=
\left(
\begin{array}{cc}
1 &amp; 2 \\
3 &amp; 1
\end{array}\right),
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
if <IMG
 WIDTH="32" HEIGHT="16" ALIGN="BOTTOM" BORDER="0"
 SRC="img136.gif"
 ALT="$A^{-1}$"> exists.

<P>
<B>Solution.</B> We start by writing the augmented matrix <!-- MATH
 $(A \vert I_2),$
 -->
<IMG
 WIDTH="50" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img157.gif"
 ALT="$(A \vert I_2),$">
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(A \vert I_2) = 
\left(\begin{array}{cc}
1 & 2  \\
3 & 1
\end{array}
\left|
\begin{array}{cc}
1 & 0  \\
0 & 1
\end{array}
\right.
\right)
\end{displaymath}
 -->

<IMG
 WIDTH="188" HEIGHT="45" BORDER="0"
 SRC="img158.gif"
 ALT="\begin{displaymath}
(A \vert I_2) =
\left(\begin{array}{cc}
1 &amp; 2 \\
3 &amp; 1
\en...
...t
\begin{array}{cc}
1 &amp; 0 \\
0 &amp; 1
\end{array}\right.
\right)
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
After replacing the second row by its sum with the first row multiplied by <IMG
 WIDTH="23" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img159.gif"
 ALT="$-3$"> the matrix becomes
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(A \vert I_2) = 
\left(\begin{array}{cc}
1 & 2  \\
0 & -5 
\end{array}
\left|
\begin{array}{cc}
1 & 0  \\
-3 & 1
\end{array}
\right.
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="222" HEIGHT="45" BORDER="0"
 SRC="img160.gif"
 ALT="\begin{displaymath}
(A \vert I_2) =
\left(\begin{array}{cc}
1 &amp; 2 \\
0 &amp; -5
\...
...\begin{array}{cc}
1 &amp; 0 \\
-3 &amp; 1
\end{array}\right.
\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
Dividing the second row by <IMG
 WIDTH="23" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img161.gif"
 ALT="$-5$"> brings it into the form
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(A \vert I_2) = 
\left(\begin{array}{cc}
1 & 2  \\
0 & 1 
\end{array}
\left|
\begin{array}{cc}
1 & 0  \\
\frac{3}{5} & -\frac{1}{5}
\end{array}
\right.
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="214" HEIGHT="45" BORDER="0"
 SRC="img162.gif"
 ALT="\begin{displaymath}
(A \vert I_2) =
\left(\begin{array}{cc}
1 &amp; 2 \\
0 &amp; 1
\e...
...&amp; 0 \\
\frac{3}{5} &amp; -\frac{1}{5}
\end{array}\right.
\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
Replacing the first row by its sum with the second row multiplied by <IMG
 WIDTH="23" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img163.gif"
 ALT="$-2$"> leads us to the following matrix.
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(A \vert I_2) = 
\left(\begin{array}{cc}
1 & 0  \\
0 & 1 
\end{array}
\left|
\begin{array}{cc}
-\frac{1}{5} & -\frac{2}{5}  \\
\frac{3}{5} & -\frac{1}{5}
\end{array}
\right.
\right)
\end{displaymath}
 -->

<IMG
 WIDTH="216" HEIGHT="45" BORDER="0"
 SRC="img164.gif"
 ALT="\begin{displaymath}
(A \vert I_2) =
\left(\begin{array}{cc}
1 &amp; 0 \\
0 &amp; 1
\e...
...}{5} \\
\frac{3}{5} &amp; -\frac{1}{5}
\end{array}\right.
\right)
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
The algorithm is completed. As you can see <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> is invertible and its inverse is
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A^{-1}=\left(
\begin{array}{cc}
-\frac{1}{5} & -\frac{2}{5}  \\
\frac{3}{5} & -\frac{1}{5}
\end{array}
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="156" HEIGHT="45" BORDER="0"
 SRC="img165.gif"
 ALT="\begin{displaymath}
A^{-1}=\left(
\begin{array}{cc}
-\frac{1}{5} &amp; -\frac{2}{5} \\
\frac{3}{5} &amp; -\frac{1}{5}
\end{array}\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
<!-- MATH
 $\qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \diamond$
 -->
<IMG
 WIDTH="488" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img52.gif"
 ALT="$ \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \diamond $">

<P>
To transform a square matrix <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> into the identity <IMG
 WIDTH="19" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img150.gif"
 ALT="$I_n$"> one can start with Gaussian Elimination Procedure and try to bring <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> into a
triangular form. If <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> can be made triangular with all elements on the diagonal not zeroes, then <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> is invertible and moving upwards from the last row one can "kill" all elements above the diagonal. We illustrate this idea with the following example.

<P>
<P>
<DIV><B>Example  2.2</B> &nbsp; </DIV><P></P>
Find the inverse of
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A=\left(
\begin{array}{ccc}
2 & 3 & 4  \\
1 & 1 & 1 \\
1 & 4 & 9
\end{array}
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="138" HEIGHT="64" BORDER="0"
 SRC="img166.gif"
 ALT="\begin{displaymath}
A=\left(
\begin{array}{ccc}
2 &amp; 3 &amp; 4 \\
1 &amp; 1 &amp; 1 \\
1 &amp; 4 &amp; 9
\end{array}\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
<B>Solution</B>. The augmented matrix <IMG
 WIDTH="46" HEIGHT="32" ALIGN="MIDDLE" BORDER="0"
 SRC="img167.gif"
 ALT="$(A\vert I_3)$"> has the following form.
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
(A\vert I_3)=\left(
\begin{array}{ccc}
2 & 3 & 4  \\
1 & 1 & 1 \\
1 & 4 & 9
\end{array}
\left|
\begin{array}{ccc}
1 & 0 & 0  \\
0 & 1 & 0 \\
0 & 0 & 1
\end{array}
\right.
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="248" HEIGHT="64" BORDER="0"
 SRC="img168.gif"
 ALT="\begin{displaymath}
(A\vert I_3)=\left(
\begin{array}{ccc}
2 &amp; 3 &amp; 4 \\
1 &amp; 1 &amp;...
... 0 &amp; 0 \\
0 &amp; 1 &amp; 0 \\
0 &amp; 0 &amp; 1
\end{array}\right.
\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
Now we apply Gaussian Elimination Procedure in order to bring <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> into a triangular form. After interchanging the first and the second row we have

<P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
\left(
\begin{array}{ccc}
1 & 1 & 1  \\
2 & 3 & 4 \\
1 & 4 & 9
\end{array}
\left|
\begin{array}{ccc}
0 & 1 & 0  \\
1 & 0 & 0 \\
0 & 0 & 1
\end{array}
\right.
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="181" HEIGHT="64" BORDER="0"
 SRC="img169.gif"
 ALT="\begin{displaymath}
\left(
\begin{array}{ccc}
1 &amp; 1 &amp; 1 \\
2 &amp; 3 &amp; 4 \\
1 &amp; 4 ...
... 1 &amp; 0 \\
1 &amp; 0 &amp; 0 \\
0 &amp; 0 &amp; 1
\end{array}\right.
\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
We replace the second and the third row by their sums with the first row multiplied by <IMG
 WIDTH="23" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img163.gif"
 ALT="$-2$"> and <IMG
 WIDTH="28" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img170.gif"
 ALT="$-1,$"> respectively. 
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
\left(
\begin{array}{ccc}
1 & 1 & 1  \\
0 & 1 & 2 \\
0 & 3 & 8
\end{array}
\left|
\begin{array}{ccc}
0 & 1 & 0  \\
1 & -2 & 0 \\
0 & -1 & 1
\end{array}
\right.
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="194" HEIGHT="64" BORDER="0"
 SRC="img171.gif"
 ALT="\begin{displaymath}
\left(
\begin{array}{ccc}
1 &amp; 1 &amp; 1 \\
0 &amp; 1 &amp; 2 \\
0 &amp; 3 ...
... &amp; 0 \\
1 &amp; -2 &amp; 0 \\
0 &amp; -1 &amp; 1
\end{array}\right.
\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
Replacing the third row by its sum with the second row multiplied by <IMG
 WIDTH="23" HEIGHT="29" ALIGN="MIDDLE" BORDER="0"
 SRC="img159.gif"
 ALT="$-3$"> gives us the following matrix.
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
\left(
\begin{array}{ccc}
1 & 1 & 1  \\
0 & 1 & 2 \\
0 & 0 & 2
\end{array}
\left|
\begin{array}{ccc}
0 & 1 & 0  \\
1 & -2 & 0 \\
-3 & 5 & 1
\end{array}
\right.
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="207" HEIGHT="64" BORDER="0"
 SRC="img172.gif"
 ALT="\begin{displaymath}
\left(
\begin{array}{ccc}
1 &amp; 1 &amp; 1 \\
0 &amp; 1 &amp; 2 \\
0 &amp; 0 ...
... &amp; 0 \\
1 &amp; -2 &amp; 0 \\
-3 &amp; 5 &amp; 1
\end{array}\right.
\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
We already have transformed <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> into a triangular form. That means <IMG
 WIDTH="15" HEIGHT="14" ALIGN="BOTTOM" BORDER="0"
 SRC="img97.gif"
 ALT="$A$"> is invertible. To calculate <IMG
 WIDTH="42" HEIGHT="30" ALIGN="MIDDLE" BORDER="0"
 SRC="img173.gif"
 ALT="$A-1$"> we have to zero all elements above the diagonal. We start with the last row and eliminate all elements above <IMG
 WIDTH="15" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img174.gif"
 ALT="$2.$"> Subtracting the last row from the second leads us to

<P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
\left(
\begin{array}{ccc}
1 & 1 & 1  \\
0 & 1 & 0 \\
0 & 0 & 2
\end{array}
\left|
\begin{array}{ccc}
0 & 1 & 0  \\
4 & -7 & -1 \\
-3 & 5 & 1
\end{array}
\right.
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="219" HEIGHT="64" BORDER="0"
 SRC="img175.gif"
 ALT="\begin{displaymath}
\left(
\begin{array}{ccc}
1 &amp; 1 &amp; 1 \\
0 &amp; 1 &amp; 0 \\
0 &amp; 0 ...
...&amp; 0 \\
4 &amp; -7 &amp; -1 \\
-3 &amp; 5 &amp; 1
\end{array}\right.
\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
Divide the third row by <IMG
 WIDTH="11" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img40.gif"
 ALT="$2$"> and then substract from the first row.

<P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
\left(
\begin{array}{ccc}
1 & 1 & 0  \\
0 & 1 & 0 \\
0 & 0 & 1
\end{array}
\left|
\begin{array}{ccc}
\frac{3}{2} & -\frac32 & -\frac12  \\
4 & -7 & -1 \\
-\frac{3}{2} & \frac{5}{2} & \frac12
\end{array}
\right.
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="225" HEIGHT="64" BORDER="0"
 SRC="img176.gif"
 ALT="\begin{displaymath}
\left(
\begin{array}{ccc}
1 &amp; 1 &amp; 0 \\
0 &amp; 1 &amp; 0 \\
0 &amp; 0 ...
...frac{3}{2} &amp; \frac{5}{2} &amp; \frac12
\end{array}\right.
\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
Finally, subtracting the second row from the first gives us

<P>
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
\left(
\begin{array}{ccc}
1 & 0 & 0  \\
0 & 1 & 0 \\
0 & 0 & 1
\end{array}
\left|
\begin{array}{ccc}
-\frac{5}{2} & \frac{11}{2} & \frac12  \\
4 & -7 & -1 \\
-\frac{3}{2} & \frac{5}{2} & \frac12
\end{array}
\right.
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="221" HEIGHT="64" BORDER="0"
 SRC="img177.gif"
 ALT="\begin{displaymath}
\left(
\begin{array}{ccc}
1 &amp; 0 &amp; 0 \\
0 &amp; 1 &amp; 0 \\
0 &amp; 0 ...
...frac{3}{2} &amp; \frac{5}{2} &amp; \frac12
\end{array}\right.
\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>
The inverse matrix is calculated,
<BR><P></P>
<DIV ALIGN="CENTER">
<!-- MATH
 \begin{displaymath}
A^{-1}=\left(
\begin{array}{ccc}
-\frac{5}{2} & \frac{11}{2} & \frac12  \\
4 & -7 & -1 \\
-\frac{3}{2} & \frac{5}{2} & \frac12
\end{array}
\right).
\end{displaymath}
 -->

<IMG
 WIDTH="194" HEIGHT="64" BORDER="0"
 SRC="img178.gif"
 ALT="\begin{displaymath}
A^{-1}=\left(
\begin{array}{ccc}
-\frac{5}{2} &amp; \frac{11}{2}...
...1 \\
-\frac{3}{2} &amp; \frac{5}{2} &amp; \frac12
\end{array}\right).
\end{displaymath}">
</DIV>
<BR CLEAR="ALL">
<P></P>

<P>
<!-- MATH
 $\qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \diamond$
 -->
<IMG
 WIDTH="488" HEIGHT="13" ALIGN="BOTTOM" BORDER="0"
 SRC="img52.gif"
 ALT="$ \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \diamond $">

<P>
<BR><HR>
<!--Table of Child-Links-->
<A NAME="CHILD_LINKS"><STRONG>Subsections</STRONG></A>

<UL>
<LI><A NAME="tex2html41"
  HREF="node4.html">Exercises</A>
</UL>
<!--End of Table of Child-Links-->
<HR>
<!--Navigation Panel-->
<A NAME="tex2html39"
  HREF="node4.html">
<IMG WIDTH="37" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="next"
 SRC="file:/usr/local/share/lib/latex2html/icons/next.gif"></A> 
<A NAME="tex2html37"
  HREF="book1.html">
<IMG WIDTH="26" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="up"
 SRC="file:/usr/local/share/lib/latex2html/icons/up.gif"></A> 
<A NAME="tex2html31"
  HREF="node2.html">
<IMG WIDTH="63" HEIGHT="24" ALIGN="BOTTOM" BORDER="0" ALT="previous"
 SRC="file:/usr/local/share/lib/latex2html/icons/prev.gif"></A>   
<BR>
<B> Next:</B> <A NAME="tex2html40"
  HREF="node4.html">Exercises</A>
<B> Up:</B> <A NAME="tex2html38"
  HREF="book1.html">book1</A>
<B> Previous:</B> <A NAME="tex2html32"
  HREF="node2.html">Exercises</A>
<!--End of Navigation Panel-->
<ADDRESS>
Sergey Nikitin
2004-01-28
</ADDRESS>
</BODY>
</HTML>
