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

Solution 3.

Enter the equations into Mathematica.  

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

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

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



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

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

 

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

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

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

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

Form the augmented matrix  M = [A, B]  and find its reduced row echelon form.

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


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

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

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

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


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


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

The equation form for this matrix is  

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

There are two free variables which we choose to be  [Graphics:../Images/HomogenLinSystemMod_gr_217.gif]  and  [Graphics:../Images/HomogenLinSystemMod_gr_218.gif].   They is used in computing  [Graphics:../Images/HomogenLinSystemMod_gr_219.gif].  

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

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

Make the substitutions  [Graphics:../Images/HomogenLinSystemMod_gr_222.gif]  and  [Graphics:../Images/HomogenLinSystemMod_gr_223.gif].  

    [Graphics:../Images/HomogenLinSystemMod_gr_224.gif]
    
Get    
    [Graphics:../Images/HomogenLinSystemMod_gr_225.gif]

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

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



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

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

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

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

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

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

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

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

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


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

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

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

Notice.  Since the last two rows are entirely zero, the system has reduced to one equations and three unknowns.  

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

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


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

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

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

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

The solution vector is the fourth column of  M.

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


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


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

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



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

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

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

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

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

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

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

We are really done.

Aside.  We can graph the situation.  This is just for fun.  

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


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

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

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

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

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


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

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

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

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

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


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

Looking at the above calculations we see that  [Graphics:../Images/HomogenLinSystemMod_gr_270.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_271.gif]



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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(c) John H. Mathews 2004