Consider systems of three linear equations with unknowns , , and , \begin{align} a_1 x + b_1 y + c_1 z & = 0 \\ a_2 x + b_2 y + c_2 z & = 0 \\ a_3 x + b_3 y + c_3 z & = 0 \end{align} where each of the coefficients is either or and the system has a solution other than . For example, one such system is with a nonzero solution of . How many such systems of equations are there? (The equations in a system need not be distinct, and two systems containing the same equations in a different order are considered different.)
- A)
- B)
- C)
- D)
- E)
Answer
B
Key insight
A nonzero solution exists iff the rows are dependent: a zero row, a repeated row, or three distinct rows with one equal to the sum of the others.
Solution
Think of each equation as its coefficient row, one of the vectors in ; a system is an ordered triple of rows, in all. Three homogeneous equations have a nonzero solution exactly when the rows are linearly dependent, i.e. one row is a combination of the other two (each equation is a plane through the origin; three such planes share a line iff their normals are coplanar).
Count the dependent triples in three exclusive cases.
A zero row. Then only two real equations remain, and two equations in three unknowns always have a nonzero solution. Triples with at least one row : .
No zero row, a repeated row. Again only two distinct equations. Ordered triples of nonzero rows that are not all distinct: .
Three distinct nonzero rows, dependent. Suppose is a combination of and . Comparing coordinates where and have entries , , forces the coefficients into , and since , one row must be the sum of the other two. The sum of two - rows is again a - row only if they share no s, giving the sets
Six sets, each in orders: .
Total: .
The answer is .
Why this works
"Has a nonzero solution" is a statement about the equations being redundant, not about solving anything. Sorting the redundancy into "an equation is trivial," "an equation repeats," and "an equation is the sum of the others" makes the count mechanical, and the - restriction keeps the last case tiny. Order matters and repeats are allowed, so count ordered triples throughout.
Alternative approach
Count the complement, systems with only the trivial solution, i.e. independent rows. First row: any of nonzero rows. Second: any of the others (no two distinct nonzero - rows are proportional). The plane spanned by the first two contains of the rows (, both rows, and their sum or difference), except when both are weight- rows like , where it contains only . So the third row has choices in cases and choices in cases: independent systems, and .
The trap
Counting only systems with a zero row or a repeated row (302) and missing the 36 systems whose three distinct rows satisfy u + v = w.
Common mistakes
- Counting only systems with a zero row or a repeated row (302) and missing the 36 systems whose three distinct rows satisfy u + v = w.
- Treating systems with the same equations in a different order as identical, or forgetting that a row may repeat.
Techniques
Split into exhaustive cases and handle each · Count the complement and subtract from the total