0
$\begingroup$

I started working through Hefferon's Linear Algebra book, and am stuck on one of the exercises (exercise 1.30). The question is as follows:

Prove that, where $a, b, c, d, e$ are real numbers with $a≠0$, if this linear equation $ax+by=c$ has the same solution set as this one $ax+dy=e$, then they are the same equation.

After struggling a bit I think I understood the logic of the proof, which goes like this:

The solution set of the first equation is this: $$ \left\{(x, y) \in \mathbb{R}^2 \left| x = \frac{c − by}{a} = \frac{c}{a} − \frac{b}{a} \cdot y\right.\right\} \tag{∗} $$ Thus, given $y$, we can compute the associated $x$. Taking $y=0$ gives the solution $(c/a,0)$, and since the second equation $ax+dy=e$ is supposed to have the same solution set, substituting into it gives that $a(c/a)+d⋅0=e$, so $c=e$. Taking $y=1$ in (∗) gives $a((c−b)/a)+d⋅1=e$, and so $b=d$. Hence they are the same equation.

However, after experimenting a bit with some simple examples, I found the following two linear equations: $x+y=2$, and $x+2y=3$. Here, $a$ is the same in both equations and the two equations have the same solution set, namely: $(1,1)$. However, in this example $b\ne d$ and $c \ne e$, which seems to counter the proof. I feel like I'm overlooking something basic here, but can't find what it is.

PS I'm fairly new to math.

$\endgroup$
1
  • 3
    $\begingroup$ $(1,1)$ is only one solution, those two equations don't have the same solution set. $\endgroup$ Commented Sep 15, 2021 at 5:31

1 Answer 1

2
$\begingroup$

As alex said, $(1,1)$ is just one solution among many others. $x+y=2$ has $(x,y)=(2,0)$ as a solution, but $x+2y=3$ does not have that same solution. Hence, the sets of solutions for the two equations are not the same.

$\endgroup$
1
  • $\begingroup$ Ah, now it is clear to me, thank you. $\endgroup$ Commented Sep 15, 2021 at 5:45

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.