Can 3 equations with 2 unknowns have more than 1, but not infinite solutions?

I was listening to a lecture video my algebra teacher sent us, about systems of equations. As I understood, we can show our system of equations as lines with points at which they cross, where each line presents an equation and and the crossing points present solutions. In pdf it says that, for example:

For a system of equations with 3 equations and 2 unknowns, we can either have 1 point(solution) where they intersect, or infinitely many solutions if they are all overlapping. My question is:

Can't we have 3 solutions for example? Or any other amount more than 1 but not infinite?

• What kind of equations? In what context? I’ll bet that the context of the quote is that of linear equations with coefficients in the rationals, real, or complex numbers, where the statement is correct: any system of linear equations over any of those types of coefficients has either no solutions, exactly one solution, or infinitely many solutions. If you allow different types of equations, then the situation changes. Apr 17, 2021 at 22:14
• @ArturoMagidin Yes, I forgot to mention that. You are correct, it's about linear equations, but why can't it have 2 or 5 solutions? We can plot the lines and intersecting points like that^ Apr 17, 2021 at 22:17
• $(x^{2}-1)^{2} + y^{2} = 0$ Apr 17, 2021 at 22:17
• No, you can’t have straight lines intersection “like that”: if two straight lines have more than one point in common, then they are the same line and have infinitely many points in common (because a line is completely determined by any two of its points). That is not true for other types of curves. Each equation determines a straight line; so if there is more than one solution, then each pair of lines has more than one point in common, and so they are all the same line. And a line has infinitely many points. Apr 17, 2021 at 22:20
• @ArturoMagidin Thanks, I got it now Apr 17, 2021 at 22:23

Suppose the number of solutions is more than $$1$$ but less than infinity. Then it is at least $$2$$. Find $$2$$ points that are solutions to all 3 equations. Then every equation is a straight line going through these two points. Since there is one unique line going through two distinct points, this means that each of the $$3$$ equations is the same line. But this means that there are infinitely many points that solve all $$3$$ equations simultaneously. This contradicts the assumption that “the number of solutions is more than $$1$$ but less than infinity”.

• Why bother with the assumption that there are infinitely many? You never use it until the end when you contradict it in order to conclude it is true. Might as well just start with the assumption “more than two” and end with the conclusion “then infinitely many”. Apr 17, 2021 at 22:52
• @ Arturo I see your point. But...it’s swings and roundabouts imo. OP says he knows you can have $1$ or infinitely many points, so I was starting with that. Also I just sprained my ankle so my thought process might be compromised. Apr 17, 2021 at 22:57
• Nothing personal; it’s a common trope in proof writing, and one of my pet peeves... e.g. here, there, and everywhere. Apr 17, 2021 at 23:00

As noted in the comments (and possibly guess-able from the tags), the quote is about linear equations. This is, of course, key.

The statement holds in any number of variables:

Theorem. A system of $$m$$ linear equations in $$n$$ unknowns, $$A\mathbf{x}=\mathbf{b}$$ (where $$A$$ is an $$m\times n$$ matrix, $$\mathbf{x}=(x_1,\ldots,x_n)^T$$, and $$\mathbf{b}=(b_1,\ldots,b_m)^T$$) has either no solutions, exactly one solution, or at least as many solutions as there are scalars; in particular, if there are infinitely many scalars, then the system has either no solutions, exactly one solution, or infinitely many solutions.

Proof. It is enough to show that if the system has more than one solution, then it has at least as many solutions as there are scalars. Assume that $$\mathbf{s} = (s_1,\ldots,s_n)^T$$ and $$\mathbf{t}=(t_1,\ldots,t_n)^T$$ are two distinct solutions. Then $$\mathbf{s}-\mathbf{t}\neq\mathbf{0}$$.

I claim that for any scalar $$\alpha$$, $$\mathbf{s}_{\alpha}=\mathbf{s}+\alpha(\mathbf{s}-\mathbf{t})$$ is also a solution. Note that $$\mathbf{s}_{\alpha}=\mathbf{s}_{\beta}$$ if and only if $$\alpha=\beta$$ (precisely because $$\mathbf{s}-\mathbf{t}\neq\mathbf{0}$$), so that means that there are at least as many solutions as there are scalars.

Indeed, we have that $$A\mathbf{s}=A\mathbf{t}=\mathbf{b}$$; therefore: \begin{align*} A\mathbf{s}_{\alpha} &= A(\mathbf{s}+\alpha(\mathbf{s}-\mathbf{t}))\\ &= A\mathbf{s} + \alpha A\mathbf{s} - \alpha A\mathbf{t}\\ &= \mathbf{b} + \alpha\mathbf{b}-\alpha\mathbf{b}\\ &= \mathbf{b}. \end{align*} Thus, $$\mathbf{s}_{\alpha}$$ is also a solution, as claimed. $$\Box$$