Chapter 4 System of Linear Equations

Section 4.4 More general Systems

4.4.2 Systems with a Free Parameter


We start with an example that is very easy but demonstrates the essential point concerning free parameters in systems of linear equations.
Example 4.4.1
Find the solution set of the following system of linear equations

equation (1):x-2y=3, equation (2):-2x+4y=α

depending on the parameter α.
Multiplying equation  (1) by the factor 2 and adding equation  (2) results in

2·(x-2y)+(-2x+4y)=2·3+α2x-4y-2x+4y=6+α0=6+α.


Now, two cases have to be distinguished:
Case A ( α-6): If the given free parameter α is not equal to -6, the last equation is a contradiction. In this case the system of linear equations has no solution, i.e.  L=.
Case B ( α=-6): If the given free parameter α is equal to -6, the last equation is always satisfied ( 0=0). In fact, the two initial equations in this case are multiples of each other such that only one of them indeed carries information. Accordingly, the solution set is infinite: L={(x=3+2t;y=t):t}.

The example shows that the solution set may strongly depend on the value of the free parameter.
Such a free parameter can occur not only on one of the right-hand sides of the system of linear equations, but also on the left-hand sides, multiple times or in a function both on the left-hand sides and on the right-hand sides. Also several parameters can occur in a system at the same time.
Let us now consider a slightly more complex example.
Example 4.4.2
Find the solution set of the following system of linear equations

x+y+αz = 1, x+αy+z = 1, αx+y+z = 1

depending on the value of the parameter α.
For this, e.g. the first equation is solved for the variable x

x=1-y-αz  : equation (1'),

and the result is substituted into the second and third equation:

(1-y-αz)+αy+z=1-(1-α)y+(1-α)z=0: equation (2'), α(1-y-αz)+y+z=1(1-α)y+(1- α2 )z=1-α: equation (3').

This results in a system of two linear equations in two variables y and z. It can immediately be seen that for the value α=1 something happens. Hence, a case analysis is required.
Case 1 ( α=1): In this case the two equations  (2') and (3') are satisfied identically ( 0=0) and provide no further information. The only relation between the variables x,y, and z is equation  (1') or equation  (1), respectively, that reads for α=1 as follows:

x+y+z=1  : equation ( 1 ^ ).

Hence, the solution set has an infinite number of elements. The set can be described using two free parameters, e.g. 

L={(s;t;1-s-t):s,t}.

Geometrically, the solution set is exactly the plane described by equation  ( 1 ^ ).
Case 2: ( α1): In this case both equation  (2') and equation  (3') can be divided by (1-α). Using the third binomial formula ( (1- α2 )=(1-α)(1+α)) results in

-y+z=0: equation (2''), y+(1+α)z=1: equation (3'').

According to equation  (2'') one has y=z. This is substituted into equation  (3''):

z+(1+α)z=1(2+α)z=1  : equation ().

Again, one has to take care and an additional case analysis is required since α=-2 and α-2 have different consequences:
Case 2a ( α=-2): In this (sub)case equation  () reads 0=1. This is a contradiction and the initial system of equations has no solution, i.e.  L=.
Case 2b: α-2: In this (sub)case the last equation can be solved easily for z:

z= 1 2+α .

So, y ( y=z) and x ( x=1-y-αz) are determined. The initial system of linear equations has a unique solution, namely L={(x= 1 2+α ;y= 1 2+α ; z= 1 2+α )}.

The previous example indicates the relevance of a clear and precise case analysis. Depending on the value of α ( α=1, α=-2, or α{-2;1}) the solution set is completely different! In the first case it is an infinite set, in the second the empty set, and in the third the solution set consists of exactly one element!
By the way, the exceptionality of the case α=1 could have seen directly from the initial system of linear equations: For α=1, the same equation occurs three times, namely x+y+z=1, i.e. two of the three equations in the initial system do not contribute any information and thus, they are unnecessary. For α=1, only the equation x+y+z=1 relates the three variables.