Solution:
Henceforth, we assume that every equation has some ai=0, since otherwise it is of the form 0=a, and then we can change it to either 0≤a or 0≥a to form an inequality which is always true. We use induction on n.
If n=1, we have the two equations ax=b, cx=d. We can divide out by a and c to obtain the two equations x=b′, x=d′ equivalent to our original equations. Without loss of generality we can assume b′≤d′; then if we form the inequalities equivalent to x≥b′, x≤d′, at least one of these always holds.
Suppose n>1 and that the statement has been proven for n equations in n−1 variables. Given n+1 equations in n variables, look at the last equation. By assumption, some coefficient - say the coefficient of xn - is nonzero, so we can solve this equation for xn in terms of the other variables. Plugging this result into the first n equations, we obtain n linear equations in x1,…,xn−1. By the induction hypothesis, we can replace each of these equalities with a ≤ or ≥ sign so that, for any choice of x1,…,xn−1, some one of these n inequalities is true.
We thus assign either the ≤ or the ≥ sign for the first n original equations, and we claim we can choose the sign in our n+1th equation so that this result still holds. Suppose, otherwise, that, either way we choose the sign, some choice of the variables causes all of the inequalities to be violated. If the n+1th equation was a1x1+⋯+anxn=a, then we can choose x1′,…,xn′ to violate the first n inequalities so that a1x1′+⋯+anxn′=a′<a, and we can also choose x1′′,…,xn′′ to violate the first n inequalities so that a1x1′′+⋯+anxn′′=a′′>a. Now, consider what happens when we set
xi=a′′−a′[a′′−a]xi′+[a−a′]xi′′.
The n+1th equation now holds (as an equality), since
i=1∑naia′′−a′[a′′−a]xi′+[a−a′]xi′′=a′′−a′[a′′−a]∑i=1naixi′+[a−a′]∑i=1naixi′′=a′′−a′[a′′−a]a′+[a−a′]a′′=a.
We claim that each of the first n inequalities is still violated. Suppose, for example, that the inequality c1x1+⋯+cnxn≤c is violated, so that c1x1′+⋯+cnxn′>c and c1x1′′+⋯+cnxn′′>c. We can multiply the first of these inequalities by a′′−a and the second by a−a′ (preserving their signs, since these quantities are positive), add them, and divide by a′′−a′ to obtain
i=1∑ncia′′−a′[a′′−a]xi′+[a−a′]xi′′>c,
as claimed. The ≥ case is, of course, analogous. Thus, we have found values of xi for which the n+1th equality holds but none of the first n inequalities hold. But this contradicts the way the first n signs were chosen. So our assumption was wrong, and it was indeed possible to choose the sign of the n+1th inequality so that there would always be at least one true inequality, completing the induction step and the proof.