Examples of Linear Systems as Augmented Matrices .

> restart;with(linalg):

Warning, new definition for norm

Warning, new definition for trace

A Homogeneous system

Definition : A LS is called homogeneous if the constant terms are all zero. Clearly, every homogeneous LS has at least one solution, namely [Maple Math] = ... [Maple Math] (called the trivial solution ). Therefore, homogeneous LS's always have either just the trivial solution or infinitely many solutions.

> m2:=matrix([[2, 3, 5, 0], [-1, 7, -1, 0], [4, -11, k, 0]]);

Write out the homogeneous LS represented by m2 and determine k so that the LS has infinitely many solutions.

[Maple Math]

> m3:=gausselim(m2);gaussjord(m2);

[Maple Math]

[Maple Math]

Clearly, m2 will have infinitely many solutions if the last row of m3 becomes a zero row (why?). Therefore, take k = 7.

> m3[3,3];

[Maple Math]

> solve(%);

[Maple Math]

Theorem : A homogeneous LS with more unknowns (variables) than equations has infinitely many solutions.

Why?

Conditions on the constants of a LS.

Write out the LS represented by the augmented m4 matrix and determine the conditions on a, b and c so that the LS has infinitely many solutions.

> m4:=matrix(3,3,[3,2,-4,-4,1,-1,7,12,-22]);

[Maple Math]

> augment(m4,matrix(3,1,[a,b,c]));

[Maple Math]

> gausselim(%);

[Maple Math]

The result above shows that c - 5a - 2b must be zero for infinitely many sol.'s (why?).

> augment(m4,matrix(3,1,[1,-3,-1])); # check with concrete numbers that obey the conditions.

The system represented by this matrix obeys c - 5a - 2b = 0.

[Maple Math]

> rref(%);

[Maple Math]

Conditions on Coeff's & Constants of a LS.

Write out the LS represented by m5 and determine conditions on a so that the LS has:

a) infinitely many solutions b) no solution c) exactly one solution.

> m5:=matrix(3,4,[1,1,2,-1,1,2,1,a-1,-1,0,a^2-12,2*a+4]);

[Maple Math]

> gausselim(m5);rref(m5);

[Maple Math]

[Maple Math]

Look at the near REF above and analyze. Clearly there will be:

a) infinitely many solutions if [Maple Math] = 0 = [Maple Math] . I.E. if a = -3 .

b) no solution if [Maple Math] = 0 but [Maple Math] . I.E. if a = 3 .

c) exactly one solution for all other choices of a (why?)