← Back to Math 010

1.6 More on Linear Systems and Invertible Matrices: Class Notes

Theorem 1.6.1

A system of linear equations has zero, one, or infinitely many solutions. There are no other possibilities.

Proof

Since we know a system can have no solution or one solution, we’ll establish that if there is more than one solution, there are infinitely many.

If Ax→=b→ has solutions x→1 and x→2, then

Ax→2−Ax→1=b→−b→=0→.

Let x→0=x→2−x→1. Then Ax→0=A(x→2−x→1)=0→. If k is any scalar, then

A(x→1+kx→0)=Ax→1+A(kx→0)=Ax→1+kAx→0=b→+0→=b→.

So x→1+kx→0 is a solution for every k. Infinitely many choices for k give infinitely many solutions.

Theorem 1.6.2

If A is an invertible n×n matrix, then for every n×1 matrix 𝐛, the system of equations A𝐱=𝐛 has exactly one solution, namely 𝐱=A−1𝐛.

There is exactly one solution because A−1 is unique.

#4

Solve the system by inverting the coefficient matrix and using Theorem 1.6.2.

5x1+3x2+2x3=43x1+3x2+2x3=2x2+x3=5

Solution

Use the inversion algorithm on the coefficient matrix A:

[532100332010011001]

R2→3R1−5R2:

1596300
−15−15−100−50
0−6−43−50

[5321000−6−43−50011001]

R3→R2+6R3:

0−6−43−50
066006
0023−56

[5321000−6−43−500023−56]

R1→R1−R3 and R2→R2+2R3:

532100
00−2−35−6
530−25−6
0−6−43−50
0046−1012
0−609−1512

[530−25−60−609−15120023−56]

R1→2R1+R2:

1060−410−12
0−609−1512
10005−50

[10005−500−609−15120023−56]

Then R1→110R1, R2→−16R2, R3→12R3:

A−1=[1/2−1/20−3/25/2−23/2−5/23]

By Theorem 1.6.2, Ax→=b→⇒x→=A−1b→:

[x1x2x3]=[1/2−1/20−3/25/2−23/2−5/23][425]=[1−1116]

Answer: x→=[1−1116], that is, (x1,x2,x3)=(1,−11,16)

#11

Solve the linear systems. Using the given values for the b’s solve the systems together by reducing an appropriate augmented matrix to reduced row echelon form.

4x1−7x2=b1x1+2x2=b2

i. b1=0, b2=1
ii. b1=−4, b2=6
iii. b1=−1, b2=3
iv. b1=−5, b2=1

Solution

Reduce the augmented matrix with general b1 and b2, then substitute each pair of values.

[4−7b112b2]

R2→R1−4R2:

4−7b1
−4−8−4b2
0−15b1−4b2

[4−7b10−15b1−4b2]

R1→15R1−7R2:

60−10515b1
0105−7b1+28b2
6008b1+28b2

[6008b1+28b20−15b1−4b2]→[10215b1+715b201−115b1+415b2]

For example, in ii, (b1,b2)=(−4,6):

x1=−815+4215=3415x2=415+2415=2815

Answer: i. (x1,x2)=(715,415)ii. (x1,x2)=(3415,2815)iii. (x1,x2)=(1915,1315)iv. (x1,x2)=(−15,35)

Tip: We could also put all four right-hand sides into one augmented matrix and row reduce it: [4−70−4−1−5121631].

#17

Determine conditions on the bi’s, if any, in order to guarantee that the linear system is consistent.

x1−x2+3x3+2x4=b1−2x1+x2+5x3+x4=b2−3x1+2x2+2x3−x4=b34x1−3x2+x3+3x4=b4

Solution

[1−132b1−2151b2−322−1b34−313b4]→[10−8−3−b1−b201−11−5−2b1−b20000b1−b2+b30000−2b1+b2+b4]

The last two rows have no variables, so this is consistent if

b1−b2+b3=0−2b1+b2+b4=0.

This becomes a system in the bi’s:

[1−110−2101]→[1−11001−2−1]→[10−1−101−2−1]

so b1−b3−b4=0 and b2−2b3−b4=0.

Answer: The system is consistent if b1=b3+b4 and b2=2b3+b4.

Theorem 1.6.4 Equivalent Statements (extends Theorem 1.5.3)

If A is an n×n matrix, then the following are equivalent.

  1. A is invertible.
  2. A𝐱=𝟎 has only the trivial solution.
  3. The reduced row echelon form of A is In.
  4. A is expressible as a product of elementary matrices.
  5. A𝐱=𝐛 is consistent for every n×1 matrix 𝐛.
  6. A𝐱=𝐛 has exactly one solution for every n×1 matrix 𝐛.

Recall

Theorem 1.4.6: If A and B are invertible, then AB is invertible, and (AB)−1=B−1A−1. It was proved by showing that (AB)(B−1A−1)=I.

Theorem 1.6.5

Let A and B be square matrices of the same size. If AB is invertible, then A and B must also be invertible.

Proof

Let x→0 be a solution of Bx→=0→. Then, by associativity of matrix multiplication,

(AB)x→0=A(Bx→0)=A0→=0→.

Since AB is invertible, (AB)x→=0→ has only the trivial solution (Theorem 1.6.4 (a) and (b)), so x→0=0→. Then Bx→=0→ has only the trivial solution. Thus B is invertible (B−1 exists), and

A=A(BB−1)=(AB)B−1.

Since AB and B−1 are invertible, their product is invertible, so A is invertible.

Theorem 1.4.6 together with Theorem 1.6.5 give

A and B are invertible⇔AB is invertible,

with ⇒ from Theorem 1.4.6 and ⇐ from Theorem 1.6.5.