Let be nonzero vectors in
. Further, assume
, and that
is parallel to
. Prove that
is parallel to
if and only if
is parallel to
.
Proof. Assume that is parallel to
. Since both
and
are parallel to
, they are parallel to each other by the previous exercise (Section 12.4, Exercise #9). So, we have
for some nonzero scalar
. This implies
Hence, is parallel to
(we know
since
is a nonzero vector by hypothesis). But then we have
and
parallel to
which implies (again, by the previous exercise) that they are parallel to each other.
Conversely, assume is parallel to
. Since
and
are parallel to
we know
and
for nonzero scalars
and
. Hence,
We know since
is nonzero by hypothesis. Therefore,
is parallel to