Example 2.  Solve the homogeneous linear system of equations  
        [Graphics:Images/HomogenLinSystemMod_gr_87.gif]    

Solution 2.

Enter the equations into Mathematica.  

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

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

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



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

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

 

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

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

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

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

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

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

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

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



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

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

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

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


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


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

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

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

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

[Graphics:../Images/HomogenLinSystemMod_gr_108.gif]
[Graphics:../Images/HomogenLinSystemMod_gr_109.gif]
[Graphics:../Images/HomogenLinSystemMod_gr_110.gif]

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

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

This time 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/HomogenLinSystemMod_gr_113.gif]


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

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

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

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


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

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

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

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

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

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

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

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

This linear system is equivalent to:

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

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

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

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

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

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

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

[Graphics:../Images/HomogenLinSystemMod_gr_133.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/HomogenLinSystemMod_gr_134.gif]


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

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

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

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

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

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

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

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


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

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

[Graphics:../Images/HomogenLinSystemMod_gr_144.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/HomogenLinSystemMod_gr_145.gif]  to those in the reduced row echelon form and then row reduce one more time to get the solution.

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


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

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

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

The solution vector is the fourth column of  M.

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


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


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

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


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

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

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

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

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

[Graphics:../Images/HomogenLinSystemMod_gr_157.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/HomogenLinSystemMod_gr_158.gif]


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

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

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

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

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

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

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

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

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


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

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

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

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


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


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

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

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

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

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

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

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

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


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

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

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

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

We are done.

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

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


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

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

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

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

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



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

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

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

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

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

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

Looking at the above calculations we see that  [Graphics:../Images/HomogenLinSystemMod_gr_195.gif], and the theorem guarantees that the system has an infinite number of solution.    However, it might be easier to just check out the determinant.  

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



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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004