Consider systems of three linear equations with unknowns , , and , 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 exactly when one equation adds nothing new: it is all zeros, it repeats another, or it is the sum of the other two.
Solution
Each equation is fixed by its three coefficients, like for . There are possible rows, so there are systems. We sort them by whether some equation "adds nothing new".
Key fact. Two equations in three unknowns never pin down a single answer; there is always a whole line of solutions, including nonzero ones. For example, and are solved by . So if one of the three equations adds no new information, the system has a nonzero solution.
Case 1: some equation is all zeros (). It says nothing, so only two real equations are left, and there is a nonzero solution. Count systems with at least one zero row: all systems minus those with none, .
Case 2: no zero row, but two equations are the same. Again only two different equations, so there is a nonzero solution. With nonzero rows there are systems; those with three different rows number . So systems have a repeat.
Case 3: three different nonzero equations. Solve the first two, then see which third equation still allows a nonzero solution. Up to renaming the letters, every pair of different nonzero rows is one of these:
| first two equations | their solutions | rows that these solutions also satisfy |
|---|---|---|
| only |
(Here is any number. A row like is satisfied by because .)
So three different nonzero rows share a nonzero solution only when they form one of these groups, where one row is the sum of the other two:
That is groups, and each can be put in orders, giving systems.
Total. .
The answer is .
Why this works
A system like this has only the all-zero answer when its three equations are "truly different", meaning none can be made from the others. So the question is really asking when an equation is redundant: it is empty, it is a copy, or it is the sum of the other two. Order matters and repeats are allowed, so count ordered lists all the way through.
Alternative approach
Count the systems with only the zero solution and subtract from . The first row can be any of the nonzero rows and the second any of the others. The third row must avoid every row that the first two already "produce" (zero, the two rows themselves, and their sum or difference if that is a - row). In most cases that rules out rows, leaving choices; but when the first two are like and (two 1s each), their sum and difference are not - rows, only rows are ruled out, and choices remain. There are such ordered pairs out of . So there are systems with only the zero solution, and with a nonzero one.
The trap
Counting only systems with an all-zero or repeated equation (302) and missing the 36 systems of three different equations where one is the sum of the others.
Concise 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 .
Review in the AoPS books
- Introduction to Algebra, Chapter 5: Multi-Variable Linear Equations (§5.2, §5.3, §5.6)
- Introduction to Counting & Probability, Chapter 1: Counting Is Arithmetic
- Introduction to Counting & Probability, Chapter 2: Basic Counting Techniques (§2.2)
- Intermediate Algebra, Chapter 1: Basic Techniques for Solving Equations (§1.4)
Techniques
Split into exhaustive cases and handle each · Count the complement and subtract from the total