How many ordered triples of integers satisfy the following system of inequalities?
- A)
- B)
- C)
- D)
- E)
Answer
C
Key insight
Add the inequalities in pairs to trap x, y and z between 0 and 2. Then list the few triples, sorted by their sum.
Solution
There could be infinitely many triples, so first find a small box that all the answers must lie in. Adding two inequalities together often makes variables cancel, so try that.
Step 1: upper bounds. Add the third and fourth inequalities:
The same trick with other pairs gives and .
Step 2: lower bounds. Add the first and second:
Likewise and .
So each of is , or . That is only triples to think about.
Step 3: rewrite the rules using the sum. Let .
- The first inequality says .
- The second says . Since , this means , that is, .
- The third and fourth say the same for and .
So the rules are: the sum is at least , and every number is at least .
Step 4: go through the possible sums.
| Sum | Each number must be at least | Triples |
|---|---|---|
| or | (not allowed, ) | none |
| , in any order: | ||
| , so at least | : | |
| in any order: | ||
| , so at least | three s add to , not : none | |
| : |
The total is .
The answer is .
Why this works
With several inequalities, adding two of them can cancel variables and give a simple bound on one letter. Once every letter is stuck in a small range, a careful list is safe. Organizing the list by the sum works well here because every rule can be written in terms of that sum.
The trap
Forgetting the first inequality (the sum must be at least 2) while listing. That lets in (0,0,0), (1,0,0), (0,1,0) and (0,0,1), giving 15, choice (D).
Concise solution
Write . Multiplying the first inequality by turns it into
The other three can be rewritten using as well: , , and . So they say
and all three hold precisely when the largest of the left sides does, that is when
The whole system is therefore
This already bounds everything. From we get , so . And if , the other two coordinates are each at least , so , giving . Hence
Because the system is symmetric in , , , count by the value of .
. The condition becomes , so with at least one coordinate . The triples with entries in summing to are the arrangements of and of : triples, and all of them do contain a .
. All entries lie in with at least one , and . Writing for the number of s, forces . That gives and the three arrangements of : triples.
. Then , : triple.
Altogether triples, namely
The answer is .
Review in the AoPS books
- Introduction to Counting & Probability, Chapter 1: Counting Is Arithmetic
- Introduction to Algebra, Chapter 5: Multi-Variable Linear Equations (§5.2, §5.3, §5.6)
- Prealgebra, Chapter 15: Problem-Solving Strategies (§15.2)
- Introduction to Counting & Probability, Chapter 2: Basic Counting Techniques
Techniques
Bound the quantity above/below or estimate to pin it down · Organized listing / direct enumeration