Problem 1

Use Gauss' method to find the unique solution for each system.

1. ${\displaystyle {\begin{array}{*{2}{rc}r}2x&+&3y&=&13\\x&-&y&=&-1\end{array}}}$
   
   
2. ${\displaystyle {\begin{array}{*{3}{rc}r}x&&&-&z&=&0\\3x&+&y&&&=&1\\-x&+&y&+&z&=&4\end{array}}}$

Answer

Gauss' method can be performed in different ways, so these simply exhibit one possible way to get the answer.

1. Gauss' method

   ${\displaystyle {\xrightarrow[{}]{-(1/2)\rho _{1}+\rho _{2}}}\;{\begin{array}{*{2}{rc}r}2x&+&3y&=&13\\&-&(5/2)y&=&-15/2\end{array}}}$

   gives that the solution is ${\displaystyle y=3}$ and ${\displaystyle x=2}$.

2. Gauss' method here

   ${\displaystyle {\xrightarrow[{\rho _{1}+\rho _{3}}]{-3\rho _{1}+\rho _{2}}}\;{\begin{array}{*{3}{rc}r}x&&&-&z&=&0\\&&y&+&3z&=&1\\&&y&&&=&4\end{array}}\;{\xrightarrow[{}]{-\rho _{2}+\rho _{3}}}\;{\begin{array}{*{3}{rc}r}x&&&-&z&=&0\\&&y&+&3z&=&1\\&&&&-3z&=&3\end{array}}}$

   gives ${\displaystyle x=-1}$, ${\displaystyle y=4}$, and ${\displaystyle z=-1}$.

Problem 2

Use Gauss' method to solve each system or conclude "many solutions" or "no solutions".

1. ${\displaystyle {\begin{array}{*{2}{rc}r}2x&+&2y&=&5\\x&-&4y&=&0\end{array}}}$
2. ${\displaystyle {\begin{array}{*{2}{rc}r}-x&+&y&=&1\\x&+&y&=&2\end{array}}}$
3. ${\displaystyle {\begin{array}{*{3}{rc}r}x&-&3y&+&z&=&1\\x&+&y&+&2z&=&14\end{array}}}$
4. ${\displaystyle {\begin{array}{*{2}{rc}r}-x&-&y&=&1\\-3x&-&3y&=&2\end{array}}}$
5. ${\displaystyle {\begin{array}{*{3}{rc}r}&&4y&+&z&=&20\\2x&-&2y&+&z&=&0\\x&&&+&z&=&5\\x&+&y&-&z&=&10\end{array}}}$
6. ${\displaystyle {\begin{array}{*{4}{rc}r}2x&&&+&z&+&w&=&5\\&&y&&&-&w&=&-1\\3x&&&-&z&-&w&=&0\\4x&+&y&+&2z&+&w&=&9\end{array}}}$

Answer

1. Gaussian reduction

   ${\displaystyle {\begin{array}{rcl}&{\xrightarrow[{}]{-(1/2)\rho _{1}+\rho _{2}}}&{\begin{array}{*{2}{rc}r}2x&+&2y&=&5\\&&-5y&=&-5/2\end{array}}\end{array}}}$

   shows that ${\displaystyle y=1/2}$ and ${\displaystyle x=2}$ is the unique solution.

2. Gauss' method

   ${\displaystyle {\begin{array}{rcl}&{\xrightarrow[{}]{\rho _{1}+\rho _{2}}}&{\begin{array}{*{2}{rc}r}-x&+&y&=&1\\&&2y&=&3\end{array}}\end{array}}}$

   gives ${\displaystyle y=3/2}$ and ${\displaystyle x=1/2}$ as the only solution.

3. Row reduction

   ${\displaystyle {\begin{array}{rcl}&{\xrightarrow[{}]{-\rho _{1}+\rho _{2}}}&{\begin{array}{*{3}{rc}r}x&-&3y&+&z&=&1\\&&4y&+&z&=&13\end{array}}\end{array}}}$

   shows, because the variable ${\displaystyle z}$ is not a leading variable in any row, that there are many solutions.

4. Row reduction

   ${\displaystyle {\begin{array}{rcl}&{\xrightarrow[{}]{-3\rho _{1}+\rho _{2}}}&{\begin{array}{*{2}{rc}r}-x&-&y&=&1\\&&0&=&-1\end{array}}\end{array}}}$

   shows that there is no solution.

5. Gauss' method

   ${\displaystyle {\xrightarrow[{}]{\rho _{1}\leftrightarrow \rho _{4}}}\;{\begin{array}{*{3}{rc}r}x&+&y&-&z&=&10\\2x&-&2y&+&z&=&0\\x&&&+&z&=&5\\&&4y&+&z&=&20\end{array}}\;{\xrightarrow[{-\rho _{1}+\rho _{3}}]{-2\rho _{1}+\rho _{2}}}\;{\begin{array}{*{3}{rc}r}x&+&y&-&z&=&10\\&&-4y&+&3z&=&-20\\&&-y&+&2z&=&-5\\&&4y&+&z&=&20\end{array}}\;{\xrightarrow[{\rho _{2}+\rho _{4}}]{-(1/4)\rho _{2}+\rho _{3}}}\;{\begin{array}{*{3}{rc}r}x&+&y&-&z&=&10\\&&-4y&+&3z&=&-20\\&&&&(5/4)z&=&0\\&&&&4z&=&0\end{array}}}$

   gives the unique solution ${\displaystyle (x,y,z)=(5,5,0)}$.

6. Here Gauss' method gives

   ${\displaystyle {\xrightarrow[{-2\rho _{1}+\rho _{4}}]{-(3/2)\rho _{1}+\rho _{3}}}\;{\begin{array}{*{4}{rc}r}2x&&&+&z&+&w&=&5\\&&y&&&-&w&=&-1\\&&&-&(5/2)z&-&(5/2)w&=&-15/2\\&&y&&&-&w&=&-1\end{array}}\;{\xrightarrow[{}]{-\rho _{2}+\rho _{4}}}\;{\begin{array}{*{4}{rc}r}2x&&&+&z&+&w&=&5\\&&y&&&-&w&=&-1\\&&&-&(5/2)z&-&(5/2)w&=&-15/2\\&&&&&&0&=&0\end{array}}}$

   which shows that there are many solutions.

Problem 3

There are methods for solving linear systems other than Gauss' method. One often taught in high school is to solve one of the equations for a variable, then substitute the resulting expression into other equations. That step is repeated until there is an equation with only one variable. From that, the first number in the solution is derived, and then back-substitution can be done. This method takes longer than Gauss' method, since it involves more arithmetic operations, and is also more likely to lead to errors. To illustrate how it can lead to wrong conclusions, we will use the system

${\displaystyle {\begin{array}{*{2}{rc}r}x&+&3y&=&1\\2x&+&y&=&-3\\2x&+&2y&=&0\end{array}}}$

from Example 1.12.

1. Solve the first equation for ${\displaystyle x}$ and substitute that expression into the second equation. Find the resulting ${\displaystyle y}$.
2. Again solve the first equation for ${\displaystyle x}$, but this time substitute that expression into the third equation. Find this ${\displaystyle y}$.

What extra step must a user of this method take to avoid erroneously concluding a system has a solution?

Answer

1. From ${\displaystyle x=1-3y}$ we get that ${\displaystyle 2(1-3y)+y=-3}$, giving ${\displaystyle y=1}$.
2. From ${\displaystyle x=1-3y}$ we get that ${\displaystyle 2(1-3y)+2y=0}$, leading to the conclusion that ${\displaystyle y=1/2}$.

Users of this method must check any potential solutions by substituting back into all the equations.

Problem 4

For which values of ${\displaystyle k}$ are there no solutions, many solutions, or a unique solution to this system?

${\displaystyle {\begin{array}{*{2}{rc}r}x&-&y&=&1\\3x&-&3y&=&k\end{array}}}$

Answer

Do the reduction

${\displaystyle {\begin{array}{rcl}&{\xrightarrow[{}]{-3\rho _{1}+\rho _{2}}}&{\begin{array}{*{2}{rc}r}x&-&y&=&1\\&&0&=&-3+k\end{array}}\end{array}}}$

to conclude this system has no solutions if ${\displaystyle k\neq 3}$ and if ${\displaystyle k=3}$ then it has infinitely many solutions. It never has a unique solution.

Problem 5

This system is not linear, in some sense,

${\displaystyle {\begin{array}{*{3}{rc}r}2\sin \alpha &-&\cos \beta &+&3\tan \gamma &=&3\\4\sin \alpha &+&2\cos \beta &-&2\tan \gamma &=&10\\6\sin \alpha &-&3\cos \beta &+&\tan \gamma &=&9\end{array}}}$

and yet we can nonetheless apply Gauss' method. Do so. Does the system have a solution?

Answer

Let ${\displaystyle x=\sin \alpha }$, ${\displaystyle y=\cos \beta }$, and ${\displaystyle z=\tan \gamma }$:

${\displaystyle {\begin{array}{rcl}{\begin{array}{*{3}{rc}r}2x&-&y&+&3z&=&3\\4x&+&2y&-&2z&=&10\\6x&-&3y&+&z&=&9\end{array}}&{\xrightarrow[{-3\rho _{1}+\rho _{3}}]{-2\rho _{1}+\rho _{2}}}&{\begin{array}{*{3}{rc}r}2x&-&y&+&3z&=&3\\&&4y&-&8z&=&4\\&&&&-8z&=&0\end{array}}\end{array}}}$

gives ${\displaystyle z=0}$, ${\displaystyle y=1}$, and ${\displaystyle x=2}$. Note that no ${\displaystyle \alpha }$ satisfies that requirement.

Problem 6

What conditions must the constants, the ${\displaystyle b}$'s, satisfy so that each of these systems has a solution? Hint. Apply Gauss' method and see what happens to the right side (Anton 1987).

1. ${\displaystyle {\begin{array}{*{2}{rc}r}x&-&3y&=&b_{1}\\3x&+&y&=&b_{2}\\x&+&7y&=&b_{3}\\2x&+&4y&=&b_{4}\end{array}}}$
2. ${\displaystyle {\begin{array}{*{3}{rc}r}x_{1}&+&2x_{2}&+&3x_{3}&=&b_{1}\\2x_{1}&+&5x_{2}&+&3x_{3}&=&b_{2}\\x_{1}&&&+&8x_{3}&=&b_{3}\end{array}}}$

Answer

1. Gauss' method

   ${\displaystyle {\xrightarrow[{\begin{array}{c}\\[-19pt]\scriptstyle -\rho _{1}+\rho _{3}\\[-5pt]\scriptstyle -2\rho _{1}+\rho _{4}\end{array}}]{-3\rho _{1}+\rho _{2}}}\;{\begin{array}{*{2}{rc}r}x&-&3y&=&b_{1}\\&&10y&=&-3b_{1}+b_{2}\\&&10y&=&-b_{1}+b_{3}\\&&10y&=&-2b_{1}+b_{4}\end{array}}\;{\xrightarrow[{-\rho _{2}+\rho _{4}}]{-\rho _{2}+\rho _{3}}}\;{\begin{array}{*{2}{rc}r}x&-&3y&=&b_{1}\\&&10y&=&-3b_{1}+b_{2}\\&&0&=&2b_{1}-b_{2}+b_{3}\\&&0&=&b_{1}-b_{2}+b_{4}\end{array}}}$

   shows that this system is consistent if and only if both ${\displaystyle b_{3}=-2b_{1}+b_{2}}$ and ${\displaystyle b_{4}=-b_{1}+b_{2}}$.

2. Reduction

   ${\displaystyle {\xrightarrow[{-\rho _{1}+\rho _{3}}]{-2\rho _{1}+\rho _{2}}}\;{\begin{array}{*{3}{rc}r}x_{1}&+&2x_{2}&+&3x_{3}&=&b_{1}\\&&x_{2}&-&3x_{3}&=&-2b_{1}+b_{2}\\&&-2x_{2}&+&5x_{3}&=&-b_{1}+b_{3}\end{array}}\;{\xrightarrow[{}]{2\rho _{2}+\rho _{3}}}\;{\begin{array}{*{3}{rc}r}x_{1}&+&2x_{2}&+&3x_{3}&=&b_{1}\\&&x_{2}&-&3x_{3}&=&-2b_{1}+b_{2}\\&&&&-x_{3}&=&-5b_{1}++2b_{2}+b_{3}\end{array}}}$

   shows that each of ${\displaystyle b_{1}}$, ${\displaystyle b_{2}}$, and ${\displaystyle b_{3}}$ can be any real number— this system always has a unique solution.

Problem 7

True or false: a system with more unknowns than equations has at least one solution. (As always, to say "true" you must prove it, while to say "false" you must produce a counterexample.)

Answer

This system with more unknowns than equations

${\displaystyle {\begin{array}{*{3}{rc}r}x&+&y&+&z&=&0\\x&+&y&+&z&=&1\end{array}}}$

has no solution.

Problem 8

Must any Chemistry problem like the one that starts this subsection— a balance the reaction problem— have infinitely many solutions?

Answer

Yes. For example, the fact that the same reaction can be performed in two different flasks shows that twice any solution is another, different, solution (if a physical reaction occurs then there must be at least one nonzero solution).

Problem 9

Find the coefficients ${\displaystyle a}$, ${\displaystyle b}$, and ${\displaystyle c}$ so that the graph of ${\displaystyle f(x)=ax^{2}+bx+c}$ passes through the points ${\displaystyle (1,2)}$, ${\displaystyle (-1,6)}$, and ${\displaystyle (2,3)}$.

Answer

Because ${\displaystyle f(1)=2}$, ${\displaystyle f(-1)=6}$, and ${\displaystyle f(2)=3}$ we get a linear system.

${\displaystyle {\begin{array}{*{3}{rc}r}1a&+&1b&+&c&=&2\\1a&-&1b&+&c&=&6\\4a&+&2b&+&c&=&3\end{array}}}$

Gauss' method

${\displaystyle {\begin{array}{rcl}{\xrightarrow[{-4\rho _{1}+\rho _{2}}]{-\rho _{1}+\rho _{2}}}\;{\begin{array}{*{3}{rc}r}a&+&b&+&c&=&2\\&&-2b&&&=&4\\&&-2b&-&3c&=&-5\end{array}}&{\xrightarrow[{}]{-\rho _{2}+\rho _{3}}}&{\begin{array}{*{3}{rc}r}a&+&b&+&c&=&2\\&&-2b&&&=&4\\&&&&-3c&=&-9\end{array}}\end{array}}}$

shows that the solution is ${\displaystyle f(x)=1x^{2}-2x+3}$.

Problem 10

Gauss' method works by combining the equations in a system to make new equations.

1. Can the equation ${\displaystyle 3x-2y=5}$ be derived, by a sequence of Gaussian reduction steps, from the equations in this system?

   ${\displaystyle {\begin{array}{*{2}{rc}r}x&+&y&=&1\\4x&-&y&=&6\end{array}}}$

2. Can the equation ${\displaystyle 5x-3y=2}$ be derived, by a sequence of Gaussian reduction steps, from the equations in this system?

   ${\displaystyle {\begin{array}{*{2}{rc}r}2x&+&2y&=&5\\3x&+&y&=&4\end{array}}}$

3. Can the equation ${\displaystyle 6x-9y+5z=-2}$ be derived, by a sequence of Gaussian reduction steps, from the equations in the system?

   ${\displaystyle {\begin{array}{*{3}{rc}r}2x&+&y&-&z&=&4\\6x&-&3y&+&z&=&5\end{array}}}$

Answer

1. Yes, by inspection the given equation results from ${\displaystyle -\rho _{1}+\rho _{2}}$.
2. No. The given equation is satisfied by the pair ${\displaystyle (1,1)}$. However, that pair does not satisfy the first equation in the system.
3. Yes. To see if the given row is ${\displaystyle c_{1}\rho _{1}+c_{2}\rho _{2}}$, solve the system of equations relating the coefficients of ${\displaystyle x}$, ${\displaystyle y}$, ${\displaystyle z}$, and the constants:

   ${\displaystyle {\begin{array}{*{2}{rc}r}2c_{1}&+&6c_{2}&=&6\\c_{1}&-&3c_{2}&=&-9\\-c_{1}&+&c_{2}&=&5\\4c_{1}&+&5c_{2}&=&-2\end{array}}}$

   and get ${\displaystyle c_{1}=-3}$ and ${\displaystyle c_{2}=2}$, so the given row is ${\displaystyle -3\rho _{1}+2\rho _{2}}$.

Problem 11

Prove that, where ${\displaystyle a,b,\ldots ,e}$ are real numbers and ${\displaystyle a\neq 0}$, if

${\displaystyle ax+by=c}$

has the same solution set as

${\displaystyle ax+dy=e}$

then they are the same equation. What if ${\displaystyle a=0}$?

Answer

If ${\displaystyle a\neq 0}$ then the solution set of the first equation is ${\displaystyle \{(x,y)\,{\big |}\,x=(c-by)/a\}}$. Taking ${\displaystyle y=0}$ gives the solution ${\displaystyle (c/a,0)}$, and since the second equation is supposed to have the same solution set, substituting into it gives that ${\displaystyle a(c/a)+d\cdot 0=e}$, so ${\displaystyle c=e}$. Then taking ${\displaystyle y=1}$ in ${\displaystyle x=(c-by)/a}$ gives that ${\displaystyle a((c-b)/a)+d\cdot 1=e}$, which gives that ${\displaystyle b=d}$. Hence they are the same equation.

When ${\displaystyle a=0}$ the equations can be different and still have the same solution set: e.g., ${\displaystyle 0x+3y=6}$ and ${\displaystyle 0x+6y=12}$.

Problem 12

Show that if ${\displaystyle ad-bc\neq 0}$ then

${\displaystyle {\begin{array}{*{2}{rc}r}ax&+&by&=&j\\cx&+&dy&=&k\end{array}}}$

has a unique solution.

Answer

We take three cases: that ${\displaystyle a\neq 0}$, that ${\displaystyle a=0}$ and ${\displaystyle c\neq 0}$, and that both ${\displaystyle a=0}$ and ${\displaystyle c=0}$.

For the first, we assume that ${\displaystyle a\neq 0}$. Then the reduction

${\displaystyle {\begin{array}{rcl}&{\xrightarrow[{}]{-(c/a)\rho _{1}+\rho _{2}}}&{\begin{array}{*{2}{rc}r}ax&+&by&=&j\\&&(-{\frac {cb}{a}}+d)y&=&-{\frac {cj}{a}}+k\end{array}}\end{array}}}$

shows that this system has a unique solution if and only if ${\displaystyle -(cb/a)+d\neq 0}$; remember that ${\displaystyle a\neq 0}$ so that back substitution yields a unique ${\displaystyle x}$ (observe, by the way, that ${\displaystyle j}$ and ${\displaystyle k}$ play no role in the conclusion that there is a unique solution, although if there is a unique solution then they contribute to its value). But ${\displaystyle -(cb/a)+d=(ad-bc)/a}$ and a fraction is not equal to ${\displaystyle 0}$ if and only if its numerator is not equal to ${\displaystyle 0}$. Thus, in this first case, there is a unique solution if and only if ${\displaystyle ad-bc\neq 0}$.

In the second case, if ${\displaystyle a=0}$ but ${\displaystyle c\neq 0}$, then we swap

${\displaystyle {\begin{array}{*{2}{rc}r}cx&+&dy&=&k\\&&by&=&j\end{array}}}$

to conclude that the system has a unique solution if and only if ${\displaystyle b\neq 0}$ (we use the case assumption that ${\displaystyle c\neq 0}$ to get a unique ${\displaystyle x}$ in back substitution). But— where ${\displaystyle a=0}$ and ${\displaystyle c\neq 0}$— the condition "${\displaystyle b\neq 0}$" is equivalent to the condition "${\displaystyle ad-bc\neq 0}$". That finishes the second case.

Finally, for the third case, if both ${\displaystyle a}$ and ${\displaystyle c}$ are ${\displaystyle 0}$ then the system

${\displaystyle {\begin{array}{*{2}{rc}r}0x&+&by&=&j\\0x&+&dy&=&k\end{array}}}$

might have no solutions (if the second equation is not a multiple of the first) or it might have infinitely many solutions (if the second equation is a multiple of the first then for each ${\displaystyle y}$ satisfying both equations, any pair ${\displaystyle (x,y)}$ will do), but it never has a unique solution. Note that ${\displaystyle a=0}$ and ${\displaystyle c=0}$ gives that ${\displaystyle ad-bc=0}$.

Problem 13

In the system

${\displaystyle {\begin{array}{*{2}{rc}r}ax&+&by&=&c\\dx&+&ey&=&f\end{array}}}$

each of the equations describes a line in the ${\displaystyle xy}$-plane. By geometrical reasoning, show that there are three possibilities: there is a unique solution, there is no solution, and there are infinitely many solutions.

Answer

Recall that if a pair of lines share two distinct points then they are the same line. That's because two points determine a line, so these two points determine each of the two lines, and so they are the same line.

Thus the lines can share one point (giving a unique solution), share no points (giving no solutions), or share at least two points (which makes them the same line).

Problem 14

Finish the proof of Theorem 1.4.

Answer

For the reduction operation of multiplying ${\displaystyle \rho _{i}}$ by a nonzero real number ${\displaystyle k}$, we have that ${\displaystyle (s_{1},\ldots ,s_{n})}$ satisfies this system

${\displaystyle {\begin{array}{*{4}{rc}r}a_{1,1}x_{1}&+&a_{1,2}x_{2}&+&\cdots &+&a_{1,n}x_{n}&=&d_{1}\\&&&&&&&\vdots \\ka_{i,1}x_{1}&+&ka_{i,2}x_{2}&+&\cdots &+&ka_{i,n}x_{n}&=&kd_{i}\\&&&&&&&\vdots \\a_{m,1}x_{1}&+&a_{m,2}x_{2}&+&\cdots &+&a_{m,n}x_{n}&=&d_{m}\end{array}}}$

if and only if

${\displaystyle {\begin{array}{rl}a_{1,1}s_{1}+a_{1,2}s_{2}+\cdots +a_{1,n}s_{n}&=d_{1}\\&\vdots \\{\text{and }}ka_{i,1}s_{1}+ka_{i,2}s_{2}+\cdots +ka_{i,n}s_{n}&=kd_{i}\\&\vdots \\{\text{and }}a_{m,1}s_{1}+a_{m,2}s_{2}+\cdots +a_{m,n}s_{n}&=d_{m}\end{array}}}$

by the definition of "satisfies". But, because ${\displaystyle k\neq 0}$, that's true if and only if

${\displaystyle {\begin{array}{rl}a_{1,1}s_{1}+a_{1,2}s_{2}+\cdots +a_{1,n}s_{n}&=d_{1}\\&\vdots \\{\text{and }}a_{i,1}s_{1}+a_{i,2}s_{2}+\cdots +a_{i,n}s_{n}&=d_{i}\\&\vdots \\{\text{and }}a_{m,1}s_{1}+a_{m,2}s_{2}+\cdots +a_{m,n}s_{n}&=d_{m}\end{array}}}$

(this is straightforward cancelling on both sides of the ${\displaystyle i}$-th equation), which says that ${\displaystyle (s_{1},\ldots ,s_{n})}$ solves

${\displaystyle {\begin{array}{*{4}{rc}r}a_{1,1}x_{1}&+&a_{1,2}x_{2}&+&\cdots &+&a_{1,n}x_{n}&=&d_{1}\\&&&&&&&\vdots \\a_{i,1}x_{1}&+&a_{i,2}x_{2}&+&\cdots &+&a_{i,n}x_{n}&=&d_{i}\\&&&&&&&\vdots \\a_{m,1}x_{1}&+&a_{m,2}x_{2}&+&\cdots &+&a_{m,n}x_{n}&=&d_{m}\end{array}}}$

as required.

For the pivot operation ${\displaystyle k\rho _{i}+\rho _{j}}$, we have that ${\displaystyle (s_{1},\ldots ,s_{n})}$ satisfies

${\displaystyle {\begin{array}{*{4}{rc}r}a_{1,1}x_{1}&+&\cdots &+&a_{1,n}x_{n}&=&d_{1}\\&&&&&\vdots \\a_{i,1}x_{1}&+&\cdots &+&a_{i,n}x_{n}&=&d_{i}\\&&&&&\vdots \\(ka_{i,1}+a_{j,1})x_{1}&+&\cdots &+&(ka_{i,n}+a_{j,n})x_{n}&=&kd_{i}+d_{j}\\&&&&&\vdots \\a_{m,1}x_{1}&+&\cdots &+&a_{m,n}x_{n}&=&d_{m}\end{array}}}$

if and only if

${\displaystyle {\begin{array}{rl}a_{1,1}s_{1}+\cdots +a_{1,n}s_{n}&=d_{1}\\&\vdots \\{\text{and }}a_{i,1}s_{1}+\cdots +a_{i,n}s_{n}&=d_{i}\\&\vdots \\{\text{and }}(ka_{i,1}+a_{j,1})s_{1}+\cdots +(ka_{i,n}+a_{j,n})s_{n}&=kd_{i}+d_{j}\\&\vdots \\{\text{and }}a_{m,1}s_{1}+a_{m,2}s_{2}+\cdots +a_{m,n}s_{n}&=d_{m}\end{array}}}$

again by the definition of "satisfies". Subtract ${\displaystyle k}$ times the ${\displaystyle i}$-th equation from the ${\displaystyle j}$-th equation (remark: here is where ${\displaystyle i\neq j}$ is needed; if ${\displaystyle i=j}$ then the two ${\displaystyle d_{i}}$'s above are not equal) to get that the previous compound statement holds if and only if

${\displaystyle {\begin{array}{rl}a_{1,1}s_{1}+\cdots +a_{1,n}s_{n}&=d_{1}\\&\vdots \\{\text{and }}a_{i,1}s_{1}+\cdots +a_{i,n}s_{n}&=d_{i}\\&\vdots \\{\text{and }}(ka_{i,1}+a_{j,1})s_{1}+\cdots +(ka_{i,n}+a_{j,n})s_{n}\\\quad -(ka_{i,1}s_{1}+\cdots +ka_{i,n}s_{n})&=kd_{i}+d_{j}-kd_{i}\\&\vdots \\{\text{and }}a_{m,1}s_{1}+\cdots +a_{m,n}s_{n}&=d_{m}\end{array}}}$

which, after cancellation, says that ${\displaystyle (s_{1},\ldots ,s_{n})}$ solves

${\displaystyle {\begin{array}{*{4}{rc}r}a_{1,1}x_{1}&+&\cdots &+&a_{1,n}x_{n}&=&d_{1}\\&&&&&\vdots \\a_{i,1}x_{1}&+&\cdots &+&a_{i,n}x_{n}&=&d_{i}\\&&&&&\vdots \\a_{j,1}x_{1}&+&\cdots &+&a_{j,n}x_{n}&=&d_{j}\\&&&&&\vdots \\a_{m,1}x_{1}&+&\cdots &+&a_{m,n}x_{n}&=&d_{m}\end{array}}}$

as required.

Problem 15

Is there a two-unknowns linear system whose solution set is all of ${\displaystyle \mathbb {R} ^{2}}$?

Answer

Yes, this one-equation system:

${\displaystyle 0x+0y=0}$

is satisfied by every ${\displaystyle (x,y)\in \mathbb {R} ^{2}}$.

Problem 16

Are any of the operations used in Gauss' method redundant? That is, can any of the operations be synthesized from the others?

Answer

Yes. This sequence of operations swaps rows ${\displaystyle i}$ and ${\displaystyle j}$

${\displaystyle {\xrightarrow[{}]{\rho _{i}+\rho _{j}}}\quad {\xrightarrow[{}]{-\rho _{j}+\rho _{i}}}\quad {\xrightarrow[{}]{\rho _{i}+\rho _{j}}}\quad {\xrightarrow[{}]{-1\rho _{i}}}}$

so the row-swap operation is redundant in the presence of the other two.

Problem 17

Prove that each operation of Gauss' method is reversible. That is, show that if two systems are related by a row operation ${\displaystyle S_{1}\rightarrow S_{2}}$ then there is a row operation to go back ${\displaystyle S_{2}\rightarrow S_{1}}$.

Answer

Swapping rows is reversed by swapping back.

${\displaystyle {\begin{array}{rcl}{\begin{array}{*{3}{rc}r}a_{1,1}x_{1}&+&\cdots &+&a_{1,n}x_{n}&=&d_{1}\\&&&&&\vdots \\a_{m,1}x_{1}&+&\cdots &+&a_{m,n}x_{n}&=&d_{m}\end{array}}&{\xrightarrow[{}]{\rho _{i}\leftrightarrow \rho _{j}}}\;{\xrightarrow[{}]{\rho _{j}\leftrightarrow \rho _{i}}}&{\begin{array}{*{3}{rc}r}a_{1,1}x_{1}&+&\cdots &+&a_{1,n}x_{n}&=&d_{1}\\&&&&&\vdots \\a_{m,1}x_{1}&+&\cdots &+&a_{m,n}x_{n}&=&d_{m}\end{array}}\end{array}}}$

Multiplying both sides of a row by ${\displaystyle k\neq 0}$ is reversed by dividing by ${\displaystyle k}$.

${\displaystyle {\begin{array}{rcl}{\begin{array}{*{3}{rc}r}a_{1,1}x_{1}&+&\cdots &+&a_{1,n}x_{n}&=&d_{1}\\&&&&&\vdots \\a_{m,1}x_{1}&+&\cdots &+&a_{m,n}x_{n}&=&d_{m}\end{array}}&{\xrightarrow[{}]{k\rho _{i}}}\;{\xrightarrow[{}]{(1/k)\rho _{i}}}&{\begin{array}{*{3}{rc}r}a_{1,1}x_{1}&+&\cdots &+&a_{1,n}x_{n}&=&d_{1}\\&&&&&\vdots \\a_{m,1}x_{1}&+&\cdots &+&a_{m,n}x_{n}&=&d_{m}\end{array}}\end{array}}}$

Adding ${\displaystyle k}$ times a row to another is reversed by adding ${\displaystyle -k}$ times that row.

${\displaystyle {\begin{array}{rcl}{\begin{array}{*{3}{rc}r}a_{1,1}x_{1}&+&\cdots &+&a_{1,n}x_{n}&=&d_{1}\\&&&&&\vdots \\a_{m,1}x_{1}&+&\cdots &+&a_{m,n}x_{n}&=&d_{m}\end{array}}&{\xrightarrow[{}]{k\rho _{i}+\rho _{j}}}\;{\xrightarrow[{}]{-k\rho _{i}+\rho _{j}}}&{\begin{array}{*{3}{rc}r}a_{1,1}x_{1}&+&\cdots &+&a_{1,n}x_{n}&=&d_{1}\\&&&&&\vdots \\a_{m,1}x_{1}&+&\cdots &+&a_{m,n}x_{n}&=&d_{m}\end{array}}\end{array}}}$

Remark: observe for the third case that if we were to allow ${\displaystyle i=j}$ then the result wouldn't hold.

${\displaystyle {\begin{array}{*{2}{rc}r}3x&+&2y&=&7\end{array}}\;{\xrightarrow[{}]{2\rho _{1}+\rho _{1}}}\;{\begin{array}{*{2}{rc}r}9x&+&6y&=&21\end{array}}\;{\xrightarrow[{}]{-2\rho _{1}+\rho _{1}}}\;{\begin{array}{*{2}{rc}r}-9x&-&6y&=&-21\end{array}}}$

? Problem 18

A box holding pennies, nickels and dimes contains thirteen coins with a total value of ${\displaystyle 83}$ cents. How many coins of each type are in the box? (Anton 1987)

Answer

Let ${\displaystyle p}$, ${\displaystyle n}$, and ${\displaystyle d}$ be the number of pennies, nickels, and dimes. For variables that are real numbers, this system

${\displaystyle {\begin{array}{rcl}{\begin{array}{*{3}{rc}r}p&+&n&+&d&=&13\\p&+&5n&+&10d&=&83\end{array}}&{\xrightarrow[{}]{-\rho _{1}+\rho _{2}}}&{\begin{array}{*{3}{rc}r}p&+&n&+&d&=&13\\&&4n&+&9d&=&70\end{array}}\end{array}}}$

has infinitely many solutions. However, it has a limited number of solutions in which ${\displaystyle p}$, ${\displaystyle n}$, and ${\displaystyle d}$ are non-negative integers. Running through ${\displaystyle d=0}$, ..., ${\displaystyle d=8}$ shows that ${\displaystyle (p,n,d)=(3,4,6)}$ is the only sensible solution.

? Problem 19

Four positive integers are given. Select any three of the integers, find their arithmetic average, and add this result to the fourth integer. Thus the numbers 29, 23, 21, and 17 are obtained. One of the original integers is:

1. 19
2. 21
3. 23
4. 29
5. 17

(Salkind 1975, 1955 problem 38)

Answer

Solving the system

${\displaystyle {\begin{array}{*{2}{rc}r}(1/3)(a+b+c)&+&d&=&29\\(1/3)(b+c+d)&+&a&=&23\\(1/3)(c+d+a)&+&b&=&21\\(1/3)(d+a+b)&+&c&=&17\end{array}}}$

we obtain ${\displaystyle a=12}$, ${\displaystyle b=9}$, ${\displaystyle c=3}$, ${\displaystyle d=21}$. Thus the second item, 21, is the correct answer.

? Problem 20

Laugh at this: ${\displaystyle {\mbox{AHAHA}}+{\mbox{TEHE}}={\mbox{TEHAW}}}$. It resulted from substituting a code letter for each digit of a simple example in addition, and it is required to identify the letters and prove the solution unique (Ransom & Gupta 1935).

Answer

This is how the answer was given in the cited source.

A comparison of the units and hundreds columns of this addition shows that there must be a carry from the tens column. The tens column then tells us that ${\displaystyle A<H}$, so there can be no carry from the units or hundreds columns. The five columns then give the following five equations.

${\displaystyle {\begin{array}{rl}A+E&=W\\2H&=A+10\\H&=W+1\\H+T&=E+10\\A+1&=T\end{array}}}$

The five linear equations in five unknowns, if solved simultaneously, produce the unique solution: ${\displaystyle A=4}$, ${\displaystyle T=5}$, ${\displaystyle H=7}$, ${\displaystyle W=6}$ and ${\displaystyle E=2}$, so that the original example in addition was ${\displaystyle 47474+5272=52746}$.