Sharedwww / 54soln1.texOpen in CoCalc
%%% First homework for Lenstra's 54.
%%% AmSLaTeX

%\font\bbb=msbm10 scaled \magstep 1

\newcommand{\prob}[1]{\vspace{.2in}\par\noindent {\bf #1}\par}

\title{MATH 54\\Linear Algebra and Diff. Eqns.\\
       Section 1 (Lenstra), assignment \# 1}
\author{William Stein}


{\em Anton}: I.1, \# 5,7,9,13; I.2, \# 3,4ad,5bc,6ad,7bd,12

\section{Chapter 1, Section 1}

(a) \begin{align*}
2x_1 & = 0\\
3x_1 - 4x_2 & = 0\\
x_2 & = 1

(b) \begin{align*}
3x_1 - 2x_3 & = 5\\
7x_1 + x_2 +4x_3 & = -3\\
-2x_2 + x_3 & = 7

(c) \begin{align*}
7x_1+2x_2+x_3-3x_4 & = 5\\
x_1+2x_2+4x_3 & = 1

(d) \begin{align*}
x_1 & = 7\\
x_2 & = -2\\
x_3 & = 3\\
x_4 & = 4

We must find a system of linear equations whose solution $(a,b,c)$ 
give the coefficients of $y=ax^2+bx+c$. Since $y=ax^2+bx+c$ 
passes through the three indicated points, then by substituting each 
of the three points $(x_1,y_1)$, $(x_2,y_2)$, 
and $(x_3,y_3)$ into the equation $y=ax^2+bx+c$ we see that
y_1& =ax_1^2+bx_1+c\\
y_2& =ax_2^2+bx_2+c\\
y_3& =ax_3^2+bx_3+c.
This system of equations corresponds to the augmented matrix
(a) The three lines must not all intersect in a common point.
For example they could form a "triangle" -- or two could be parallel. 

(b) The three lines all intersect in
one common point.

(c) All three of the lines coincide, that is,
lie on top of each other. 

We must show that if the equations $x_1+kx_2=c$ and
$x_1+lx_2=d$ have the same solution set, then
the equations are in fact identical. So assume the
two equations have the same solution set. To show
that the equations are the same means to  
show that $k=l$ and $c=d$. To do this we first 
subtract the second equation from the first
to see that $(k-l)x_2=c-d$. If $k\neq l$
then $k-l\neq 0$ so we may divide through to
see that $x_2=(c-d)/(k-l)$. But for every possible value
of $x_2$ there is a corresponding value of $x_1$
which provides a solution to $x_1+kx_2=c$ and
hence to $x_1+lx_2=d$ as well (since they have
the same solutions). Thus $x_2$ can't only take
on the value $(c-d)/(k-l)$ so our assumption
that $k\neq l$ must be false and hence $k=l$. 
But then $c-d=(k-l)x_2=0x_2=0$ so $c=d$ as well.
This completes the proof.

\section{Chapter 1, Section 2}

(a) both 

(b) neither since the second and third rows
violate property 3

(c) both

(d) row-echelon form, but not reduced row-echelon
form because the second column contains a leading one
but does not have zeros everywhere else which
violates property 4

(e) neither, because property 3 is violated by the
second row

(f) both

(a) Once we recover the system of equations from
its matrix form it is easy to read off the solutions.
For this matrix, the corresponding system is
x_1 + 0 x_2 + 0 x_3& = -3\\
0x_1 + x_2 + 0 x_3 & = 0 \\
0x_1 + 0x_2 +  x_3 & = 7
so we see at one that the solution is
$x_1=-3$, $x_2=0$, $x_3=7$. 

(d) The corresponding system of equations is
x_1-3x_2& = 0\\
x_3 & = 0\\ 
0 & = 1\\
Since the final equation $0=1$ cannot be satisfied
for any choice if $x_1, x_2, x_3$ we see that this
system has no solutions. 

(b) The corresponding system is
Solving for the leading variables yields
x_1 & =  13 x_4 -10  \\
x_2 & = 13 x_4 - 5 \\
x_3 & = -x_4 + 2
Since $x_4$ can be assigned an arbitrary value, $t$, there
are infinitely many solutions. The general solution is
given by the formulas
x_1 = 13t-10\quad x_2=13t-5\quad x_3=-t+2\quad x_4=t.

(c) The corresponding system is
Solving for the leading variables yields
Letting $x_2=s$ and $x_5=t$, the general solution is
given by the formulas
x_1=-11+2t-7s\quad x_2=s\quad x_3 = -4-3t
\quad x_4 = 9-3t\quad x_5=t

(a) We first form the augmented matrix
Reducing to reduced row-echelon form yields

(d) The corresponding matrix is
Reducing to row-echelon form yields

Since the bottom row corresponds to $0=6$ we
see the system has no solution.

The corresponding augmented matrix is
Reducing to row-echelon form yields
Back substituting now yields the desired solution
x_1=-\frac{3}{7}s-\frac{1}{7}\quad x_2=\frac{1}{7} - \frac{4}{7} s
\quad x_3 = s

(d) As in I.2.6, the system is inconsistent.

(a) Yes, since there are less equations than unknowns.

(b) No, since there are the same number of equations
as unknowns and there is no redundancy.

(c) Yes.

(b) Yes, since although there are the same number of equations
as unknowns there is redundancy.