Example 3.  Solve the linear system  
        [Graphics:Images/EchelonFormMod_gr_133.gif]  

Solution 3.

Enter the equations into Mathematica.  

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

Identify the matrix of coefficients A and column vector B for the matrix problem AX = B.  

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



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

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

 

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

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

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

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

Form the augmented matrix  M = [A, B]  and perform Gauss-Jordan elimination with row interchanges.

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


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

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

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

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


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


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

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

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

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

[Graphics:../Images/EchelonFormMod_gr_152.gif]
[Graphics:../Images/EchelonFormMod_gr_153.gif]
[Graphics:../Images/EchelonFormMod_gr_154.gif]

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

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

Again, Gauss-Jordan elimination encountered division by error and could not find a solution.  
We might have suspected a problem because the determinant of  A  is zero.

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

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

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

Let us investigate further and the reduced row echelon form of the augmented matrix  M = [A, B].  

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

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

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

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

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

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

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

The equation form for this matrix is  

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


There is one free variable which we choose to be  [Graphics:../Images/EchelonFormMod_gr_168.gif].  It is used in computing  [Graphics:../Images/EchelonFormMod_gr_169.gif].  

Solve the previous equations for   [Graphics:../Images/EchelonFormMod_gr_170.gif].  

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


Make the substitution  [Graphics:../Images/EchelonFormMod_gr_172.gif].

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


The solution vector  [Graphics:../Images/EchelonFormMod_gr_174.gif]  is

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

We are done.

Aside.  We can verify that this is the solution by direct multiplication A X.  This is just for fun !

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



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

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

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

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

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

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

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

Aside.  We can let Mathematica find the reduced row echelon matrix.  This is just for fun !

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


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

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

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

Notice.  Since the last row is entirely zero, the system has reduced to two equations and three unknowns.  

We can add the equation  [Graphics:../Images/EchelonFormMod_gr_188.gif]  to those in the reduced row echelon form and then row reduce one more time to get the solution.

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


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

The 3×3 identity matrix appears in the left 3 columns of  M, and the given linear system is equivalent to:

    

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

The solution vector is the fourth column of  M.

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


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


We can verify that this is the solution by direct multiplication A X.  This is just for fun !

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



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

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

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

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

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

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

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

We are really done.

Aside.
  We might wonder if Gauss-Jordan elimination could be use to find some solution, after all there is an infinite number of them.

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



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

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

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

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

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

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

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

Form the augmented matrix  M = [A, B]  and perform Gauss-Jordan elimination with row interchanges.

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


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

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

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

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

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


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

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

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

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

So we have found one of the infinite number of solutions to be  [Graphics:../Images/EchelonFormMod_gr_220.gif].

Notice that this is merely substituting t=1 in the general solution  [Graphics:../Images/EchelonFormMod_gr_221.gif].  

Aside.  We can graph general solution.  This is just for fun.  

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


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

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

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

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

Aside.  We check out  [Graphics:../Images/EchelonFormMod_gr_227.gif].  

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


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

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

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

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

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

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

Looking at the above calculations we see that  [Graphics:../Images/EchelonFormMod_gr_235.gif]  and  [Graphics:../Images/EchelonFormMod_gr_236.gif].    
Since  [Graphics:../Images/EchelonFormMod_gr_237.gif]  the theorem guarantees that there will be an infinite number of solutions.  

We are really really done.

Aside.  The following Mathematica steps will also solve the problem automatically.  It starts with the equations, creates the matrices, and ends up with the vector form of the solution.  This is just for fun !

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


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

 

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

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

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

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

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

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

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

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

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

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004