Posts: 1,392
Threads: 142
Joined: Jun 2007
I was always taught that you can solve a system of equations as long as you have as many equations as variables. A friend asked how this system can be solved. There are three equations, but four variables:
x + y/4 = 11
x + z/5 = y/3
x/5 = h
I entered the three equations on my TINSpire CAS and it gave me the following solution:
x = 5 * c2
y = 4(5*c211)
z = (5(35*c244))/3
h = c2
So I'm assuming you enter whatever value you want for variable c2, and the corresponding values for x, y, z, and h are derived, so there are an infinite number of solutions.
My question is, how do you solve such a system using pencil and paper, without a CAS?
Posts: 591
Threads: 16
Joined: Feb 2012
Hi, Don. You OK?
I am not quite sure if this is what you want, but I'd use a variable replacement, which leads to:
x + 1/4·y = 11
x  1/3·y + 1/5·z = 0
1/5·x = h
Then I'd rearrange teh last expression: x=5·h So, replacing xvalue in first expression: 5·h + 1/4·y = 11 Then: 1/4·y = 11  5·h Then: y = 4·(11  5·h) > y = 44  20·h After that we already have x and y written as functions of h, so we replace these functions in the remaining expression, the one containing the three variables  x, y and z  and z will also be written as a function of h.
Is this what you want?
Cheers.
Luiz (Brazil)
Edited: 10 June 2012, 9:56 p.m.
Posts: 2,247
Threads: 200
Joined: Jun 2005
What is h? Is it a typo? I am asking because you have listed FOUR variables in THREE equations.
Namir
Edited: 11 June 2012, 12:01 a.m.
Posts: 1,392
Threads: 142
Joined: Jun 2007
No, h is not a typo. I do have four variables in three equations.
Posts: 1,392
Threads: 142
Joined: Jun 2007
Thanks Luiz.
I see where you can solve the first equation for Y and the last equation for X, but I'm having trouble solving the middle equation for Z after substituting for X and Y. But it's late and my brain is not cooperating.
Posts: 260
Threads: 0
Joined: Oct 2008
That the good question to post !
Effectively, the approach to solve such a system is greatly dependant about what is h standing for.
As a general convention in mathematics and scientific notations, the range of the letters in the alphabet generally indicate what the objects are :
 Letters at the end of the alphabet (x,y,z,t) are consider to be unknown (or variable),
 Letters in the middle of the alphabet (m,n,k,…) are consider to be a parameter; it is not an unknown by the actual value may change from one instance of the problem to another one.
 Letters at the beginning of the alphabet are know values or object, but numéric or complet expression are not write down for convenience or clarity of the formulae.
h is parameter
If h is a parameter, the system have to be consider has three equations of three unknow variables. It can be solve with the classic methods and the solution will be expressed as a function of the h parameter.
{ x + y/4 = 11 <=> { x + y/4 = 11 <=> { x = 5.h <=> { x = 5.h
{ x + z/5 = y/3 { x  y/3 + z/5 = 0 { y = 44  20.h { y = 44  20.h
{ x/5 = h { x/5 = h { z = 5.( 44  35.h )/3 { z = ( 220  175.h )/3
For each value of parameter h the system admit an unique solution that coordinates (x,y,z) = ( 5.h , 4420.h , 5.(4435.h)/3 ) are affine functions of h.
h is an unkonwn
If h is a unknown, then the system is an underdimensioned system of linear equations . In this case, there is only thre possible ways:
1. The system has infinitely many solutions.
2. The system has a single unique solution.
3. The system has no solution.
Because there is less variable than equation, we know that such a system admit an infinity number of solutions.
{ x + y/4 = 11 <=> { x + y/4 = 11
{ x + z/5 = y/3 { x  y/3 + z/5 = 0
{ x/5 = h { x/5  h = 0
The corresponding augmented matrix of such a linear system is:
( 1 1/4 0 0 11 )
( 1 1/3 1/5 0 0 )
( 1/5 0 0 1 0 )
Which lead to the echelon form:
( 1 0 0 5 0 )
( 0 1 0 20 44 )
( 0 0 1 175/3 220/3 )
This indicate that the system admit an infinity number of solution:
For every of real t, the following quadruplet is a solution of the system:
{ x = 5.t
{ y = 44.  20.t
{ z = (220.  175.t)/3
{ h = t
Conclusion
As can be observe, in the both case, the resolution follow the same ways and leads to the same coefficients. That why very few documentation explain how to handle under/over dimensioned systems. The mechanical of the resolution is similar to good dimensioned or square system.
Only the meaning of the solution is different, the same figure may be interpreted as an unique solution of parameter h or an infinite set of solution due to unknown h variable !
{ x = 5.t versus { x = 5.h
{ y = 44.  20.t { y = 44  20.h
{ z = (220.  175.t)/3 { z = ( 220  175.h )/3
{ h = t
EDIT : Have corrected one HUDGE ERROR concerning the infinite set of solution. Only parameter t is need !
Parameter s always egals to 1 (other value don't fullfill iniital system ).
Edited: 13 June 2012, 6:06 a.m. after one or more responses were posted
Posts: 591
Threads: 16
Joined: Feb 2012
Hmm!
That's the final painting, I thank you for that!
Complete! And beautifully written!
I have saved the page for future references, if I may... The way you exposed it makes it fairly easy to understand. A good way to start explaining what is the SIMPLEX method of solving for a system of nonequations.
Cheers.
Luiz (Brazil)
Posts: 468
Threads: 17
Joined: May 2011
Parfait et trés clair, comme toujours C.ret ;)
Cela me dépoussière mes maths qui deviennent anciennes.
Posts: 528
Threads: 40
Joined: Dec 2008
I'm working from 25 year old memories here, but as I recall, if a system of equations is linear then if you have N equations in M variables, the solution is a flat MN dimensional space. More specifically, 3 questions in 4 variables results in a onedimensional solution  a line. If you had 5 variables, the solution would be a plane.
Hopefully someone who knows their linear algebra will respond to clean up my mistakes here, but I'm nearly certain that this is nearly right. :)
Dave
Posts: 1,755
Threads: 112
Joined: Jan 2005
Quote:
I'm working from 25 year old memories here, but as I recall, if a system of equations is linear then if you have N equations in M variables, the solution is a flat MN dimensional space. More specifically, 3 questions in 4 variables results in a onedimensional solution  a line. If you had 5 variables, the solution would be a plane.
Hopefully someone who knows their linear algebra will respond to clean up my mistakes here, but I'm nearly certain that this is nearly right. :)
It all depends on the rank of the NxM coefficient matrix when augmented with the Nx1 (column) independent terms, i.e., an Nx(M+1) matrix in all.
Depending on its rank you may have one solution, infinite solutions, or none at all.
 If just one solution, you'll get the unique set of variable values which solve the system and that's easy to compute.
 if infinite solutions, you'll get a parametric solution, where the number of independent parameters depends on the rank.
 if no solutions, you can get a leastsquares solution vector which will minimize the Frobenius (square root of squared errors) norm of the error. That's also extremely easy to compute.
Best regards from V.
Posts: 1,392
Threads: 142
Joined: Jun 2007
Thanks Luiz. Now I see how to solve the second equation for Z, so you end up with X, Y, and Z all expressed as functions of H, with an infinite number of solutions. Thanks for pointing this out. Now I understand how to get the TINSpire derived solution using pencil and paper and the standard rules of algebra.
This is enlightening, because I always thought you would need four equations to solve for four variables.
Posts: 1,392
Threads: 142
Joined: Jun 2007
Thanks C.Ret, I'm going to study your post. This is fascinating stuff.
Posts: 2,247
Threads: 200
Joined: Jun 2005
SOLUTION #2
You CAN create a table for x, y, and z vs h, then assign 2 values for h, solve the equations each time, and then calculate the coefficients for the linear relationship between x, y, and z as a function of h.
Namir
Edited: 11 June 2012, 9:49 a.m.
Posts: 2,247
Threads: 200
Joined: Jun 2005
Don,
It's kind interesting that you present a linear system of 4 variables, at a time when I have been reading about the various iterative algorithms that solves hundreds if not thousands of linear equations. I have handled problems up to 5000 equations so far!!
Of course my goal (or hope) is to design a new algorithm that can handle cases where the prominent algorithms (most of them based on the method of conjugate gradients) fall short. This is by no means an easy task.
:)
Namir
Edited: 11 June 2012, 9:54 a.m.
Posts: 1,392
Threads: 142
Joined: Jun 2007
Thanks Namir. I have to admit that this is a fascinating field of study, certainly more fascinating than my hobby of using the 17b solver as a programming language.
Posts: 2,247
Threads: 200
Joined: Jun 2005
I agree. I use mainly Matlab and secondarily Excel VBA code to implement these iterative methods.
Posts: 1,368
Threads: 212
Joined: Dec 2006
This is the way I think about it.
In pencil and paper approaches I would just put the original system in standard form, create the 5x3 augmented matrix, and do a classical Gaussian elimination to get rowechlelon form. If there are solutions in the general problem this gives the third row as a linear equation in two of the unknowns. Solve this for one unknown with respect to the other, and backsubstitute. How the final solution vector looks depends on which variable is set as the parameter. Looks like TINSpire was thinking along the lines of C.Ret and chose h, setting it to an arbitrary symbolic constant.
Posts: 468
Threads: 17
Joined: May 2011
I remember the same things ;)
We can solve this in (almost) 2 ways on the 50G, and get the parametric equation of a line in a 3D space :
['x + y/4 = 11'
'x + z/5 = y/3'
'x/5 = h']
['x' 'y' 'z'] LINSOLVE
or with matrix (RPN mode):
[[ 1 '1/4' 0 ]
[ 1 '1/3' '1/5' ]
[ '1/5' 0 0 ]]
INV
[ 11 0 'h' ]
*
Both return :
[ 'x=5*h' 'y=(20*h44)' 'z=(175*h220)/3' ]
Posts: 1,368
Threads: 212
Joined: Dec 2006
I think your s parameter is bound to unity, not any value.
Substitute the results for x and y into the first equation of the original system. LHS = 11s, but RHS = 11. Ergo, s =1.
The original system in four variables is underdetermined by one equation. As I understand it, if those three equations are linearly independent, so that that the system does not actually reduce to two or even one equation, we need only one arbitrary parameter.
Les
Posts: 260
Threads: 0
Joined: Oct 2008
You are perfectly right, I have to correct my post.
I have missed one least step when interpreting the reduce low form matri. As you explain I miss checking dimension (or degre of freedom) there.
Thank you a lot.
