Inequalities: Star problems
Ten optional challenges to stretch your reasoning. Work on paper, use hints when you need them, and check the answer or full solution when you are ready. You can skip these problems and continue the course.
- 1 of 3 stars: Stretch
- 2 of 3 stars: Challenge
- 3 of 3 stars: Deep challenge
Stars indicate difficulty within this set.
0 of 10 completed · 0 skipped
Progress saved in this browser.
Progress can't be saved in this browser, so your choices last for this visit only.
-
Problem 1 Two clues make a sharper bound
Difficulty: 1 of 3 stars, Stretch
Real numbers satisfy , , , and .
Find the least and greatest possible values of . For each extreme, find every pair attaining it and prove optimality.
Builds on Inequality Basics, Solving Linear Inequalities
- Hint 1
Adding the first two inequalities makes the coefficients of and match.
- Hint 2
Check when equality can hold in the combined lower bound and in the upper bounds.
Answer
The least value is 7, attained only at . The greatest is 9, attained only at .
Full solution
Adding the first two inequalities gives , hence .
For equality in this sum, both original inequalities must be equalities: neither can exceed its lower bound because their sum is already exactly 21.
Solving and gives
This pair also satisfies and , so the lower bound is attained.
The upper constraints give
Equality requires and , since a shortfall in either coordinate cannot be compensated by exceeding the other coordinate's upper bound.
At , the lower constraints read and , so this pair is feasible.
These inequalities establish universal bounds, while the feasible equality cases show that neither bound can be improved.
They also prove uniqueness of each attaining pair without requiring a drawing or a search through the region.
Answer
The least value is 7, attained only at . The greatest is 9, attained only at .
Key idea
An optimal value needs both a universal bound and a feasible equality case.
- Hint 1
-
Problem 2 A parameter that changes the direction
Difficulty: 1 of 3 stars, Stretch
For a real parameter , consider the inequality in the real variable .
(a) Describe its full solution set for every real .
(b) Find every for which is a solution but is not. Explain the endpoint exclusions.
Builds on Solving Linear Inequalities
- Hint 1
The sign of determines whether division preserves or reverses the inequality.
- Hint 2
Expand to check that it equals the right side. Treat before dividing.
Answer
(a) If , then ; if , every real works; if , then . (b) Exactly .
Full solution
Expansion gives
If , division by the positive factor gives .
If , division reverses the sign and gives .
At the original inequality is , so every real x is a solution; this case cannot be recovered by division.
For part (b), fails because it includes both 4 and 1.
If , the upper bound is greater than 4, so both numbers again satisfy the inequality.
Thus only can work.
In that case the condition is .
The number 4 satisfies it automatically because .
The number 1 fails exactly when , or .
Combining the conditions gives .
At , the lower bound is exactly 1, so 1 is included and the requirement fails.
At , the zero coefficient makes every real number a solution.
The two endpoints are excluded for different reasons.
Answer
(a) If , then ; if , every real works; if , then . (b) Exactly .
Key idea
A vanishing coefficient and a sign change are separate cases, and both matter in parameter problems.
- Hint 1
-
Problem 3 Exactly three integers in a moving interval
Difficulty: 1 of 3 stars, Stretch
Find every integer for which exactly three integers satisfy . Your description must include negative as well as positive .
Among those values of , find the one for which the three allowed integers have sum 30.
Builds on Solving Linear Inequalities
- Hint 1
Write , where is an integer and is 0, 1, or 2.
- Hint 2
Check the three possible remainders separately, keeping both endpoints strict.
Answer
Exactly for an integer . The sum condition gives , with allowed integers .
Full solution
Every integer, including a negative integer, can be written uniquely as , where is an integer and is one of .
We inspect the interval in each case.
If , the interval is , so its integers are .
If , it is , again allowing only because the upper endpoint is excluded.
If , it is , allowing .
Therefore exactly three integers occur precisely when .
The remainder analysis exhausts all integers n and does not assume q is positive.
For these values, the sum of the three allowed integers is
Setting it equal to 30 gives , hence .
Directly, the interval is , whose integers are indeed 9, 10, and 11.
Answer
Exactly for an integer . The sum condition gives , with allowed integers .
Key idea
When strict interval endpoints move by fractions of an integer, remainders organize the complete case analysis.
- Hint 1
-
Problem 4 An inequality for every ordered triple
Difficulty: 2 of 3 stars, Challenge
Find every real number for which holds for every triple of real numbers satisfying .
For each allowed , describe exactly when equality holds. For every excluded , give an ordered triple that disproves the claim. The numbers may be negative.
Builds on Inequality Basics, Solving Linear Inequalities
- Hint 1
The three coefficients add to zero, so shifting all three numbers by the same amount does not change the expression.
- Hint 2
Write and . Both gaps are nonnegative. Express the left side using only u and v.
Answer
Exactly . At , equality means ; at , it means ; for , it means .
Full solution
Let and , so and .
Substitution cancels the terms containing b and gives
If , both coefficients on the right are nonpositive.
Since u and v are nonnegative, the expression is at most zero for every ordered triple.
This argument allows negative a, b, or c because only their gaps matter.
If , take
The expression is , disproving the claim.
If , take
The expression is , again disproving it.
These counterexamples establish that no parameter outside the stated interval works.
For , both gap coefficients are strictly negative, so equality requires , or .
At , the expression is , giving equality exactly when ; a may be any smaller or equal number.
At , it is , giving equality exactly when ; c may be any larger or equal number.
Answer
Exactly . At , equality means ; at , it means ; for , it means .
Key idea
For an inequality that must hold for every ordered triple, nonnegative gaps expose both the valid coefficients and the counterexamples.
- Hint 1
-
Problem 5 When are there exactly two solutions?
Difficulty: 2 of 3 stars, Challenge
Find every real number for which the compound inequality has exactly two integer solutions . Prove that your list of parameter intervals is complete, including all endpoint decisions.
Builds on Solving Linear Inequalities
- Hint 1
For a fixed integer x, determine the interval of t for which x works. Any such integer must be at least 3.
- Hint 2
For , only can work. For larger t, rewrite the condition as and control the interval length.
Answer
Exactly or .
Full solution
A solution must have , so .
For integer x this means .
If , the strict inequality also forces , leaving only 3, 4, and 5.
Their respective parameter intervals are , , and .
For , exactly two of these intervals overlap precisely on and .
The strict left endpoints come from ; the closed right endpoints come from .
In particular, allows only , while allows .
If , the three integers all work.
For , the allowed x interval is , of length
Every interval that includes its left endpoint, excludes its right endpoint, and has length at least 3 contains at least three integers: take the first integer at or above the left endpoint and the next two.
The third is strictly less than the left endpoint plus 3.
Hence no yields exactly two solutions.
Together with the complete small-t analysis, this proves the two stated intervals are the entire answer.
Answer
Exactly or .
Key idea
Parameter counting needs endpoint control and a bound that rules out the unexamined infinite tail.
- Hint 1
-
Problem 6 The best guaranteed score
Difficulty: 2 of 3 stars, Challenge
Choose nonnegative real numbers with . Three possible tests award scores , , and , respectively. Your guaranteed score is the smallest of these three numbers.
Find the greatest possible guaranteed score and every allocation that attains it. Explain why making all three scores equal is not necessarily the best strategy.
Builds on Inequality Basics
- Hint 1
A guaranteed score G cannot exceed any of the three test scores.
- Hint 2
Combine three copies of the first score with two copies of the third. Express the result using .
Answer
The greatest guaranteed score is 36, attained only at .
Full solution
Let G be the guaranteed score.
In particular, and
Taking three copies of the first bound and two of the second gives
Therefore for every allowed allocation.
At , the three scores are 36, 72, and 36, so the bound is attained.
If G equals 36, equality must hold throughout the displayed bound.
Thus , and both positively weighted scores must equal G.
The equations and then force and .
This proves uniqueness.
Making all three scores equal instead forces .
Together with , this gives , , and , whose common score is .
The second test need not be a limiting test at the optimum.
Spending resources to lower its excess score can improve the two scores that actually determine the guarantee.
Answer
The greatest guaranteed score is 36, attained only at .
Key idea
Optimize the weakest outcome by identifying the constraints that truly limit it; equalizing every outcome may waste resources.
- Hint 1
-
Problem 7 A largest value that does not exist
Difficulty: 2 of 3 stars, Challenge
Real numbers satisfy , , and .
(a) Describe every possible triple.
(b) Does x have a greatest possible value? If so, find it. If not, find its smallest upper bound and prove both that the bound is never attained and that no smaller number is an upper bound.
Builds on Solving Linear Inequalities
- Hint 1
Subtract three times the first equation from the second to express x in terms of z, then recover y.
- Hint 2
Write and translate every strict ordering condition into a condition on s.
Answer
(a) for . (b) x has no greatest value; its smallest upper bound is 2.
Full solution
Subtracting from the second equation gives , hence .
The sum equation then gives .
Positivity of x requires .
The condition gives , so .
Finally, gives , which is already guaranteed by .
Therefore .
Writing yields the displayed family with .
Every such s satisfies all original equations and strict inequalities, so the description is both necessary and sufficient.
Now runs through the open interval .
Thus 2 is an upper bound, but it is never attained because would give , violating the strict order.
There is no greatest x: from any , replacing s by gives another allowed parameter and a strictly larger x.
Moreover, if , choosing gives ; if , every allowed positive x exceeds M.
Hence no number below 2 is an upper bound.
Answer
(a) for . (b) x has no greatest value; its smallest upper bound is 2.
Key idea
Strict inequalities may permit values arbitrarily near a boundary while excluding the boundary itself.
- Hint 1
-
Problem 8 When the best corner changes
Difficulty: 3 of 3 stars, Deep challenge
Nonnegative real numbers satisfy and . A parameter is any nonnegative real number. The value of a feasible point is .
For every , find the greatest possible value and every point attaining it. Include the parameter values at which a whole line segment is optimal, and prove that no cases are missing.
Text description of this figure
A pair of axes labeled x and y, meeting at the origin, which is marked 0. Two lines are drawn across the first quadrant: one labeled x plus y equals 10, and a steeper one labeled 2x plus y equals 14. A shaded four-sided region, labeled feasible region, is bounded by the vertical axis, the horizontal axis, and the two lines: its upper edge follows x plus y equals 10 from the vertical axis to the point where the two lines cross, then follows 2x plus y equals 14 down to the horizontal axis. Outside the region, the first line continues down to the horizontal axis further right, and the steeper line continues upward above the region.
Builds on Graphing Inequalities
- Hint 1
The relevant corners are , , and , but equal corner values may indicate an entire optimal edge.
- Hint 2
For , write . For other p, use nonnegativity to sharpen one constraint.
Answer
For : maximum 10 only at . For : maximum 10 on , . For : maximum only at . For : maximum 14 on , . For : maximum only at .
Full solution
If , then
Equality requires and , giving .
At , every feasible point on is optimal.
Substitution into the other constraint gives , so that full optimal edge is , .
If , both coefficients in the identity
are positive.
Hence the value is at most
Equality requires both constraints to be tight, whose unique intersection is .
At , the second constraint directly gives maximum 14.
Points on satisfy the first constraint exactly when ; nonnegativity gives .
This yields the stated optimal edge.
Finally, if , then
Equality requires and , giving .
Each claimed point or segment is feasible, and the five cases cover every nonnegative p.
Answer
For : maximum 10 only at . For : maximum 10 on , . For : maximum only at . For : maximum 14 on , . For : maximum only at .
Key idea
A changing objective can select a corner or an entire edge; equality conditions identify all optimal choices.
- Hint 1
-
Problem 9 Parity hidden in unused capacity
Difficulty: 3 of 3 stars, Deep challenge
Nonnegative integers satisfy , , and . Find the greatest possible value of and every triple attaining it.
Your proof should explain why the natural bound obtained by adding weighted constraints cannot be attained by integers, and then show exactly how much must be lost.
- Hint 1
Use weights 1, 3, and 2 on the three constraints, respectively.
- Hint 2
Let , , and . These unused capacities are nonnegative integers, and their sum is odd.
Answer
The maximum is 101, attained only at .
Full solution
The weighted sum of the constraints gives
Equality would require all three pair sums to be tight.
But adding those three equalities would give , impossible for integers.
To measure the unavoidable loss, define nonnegative integer slacks , , and .
Their sum is , an odd integer.
In particular, the slacks cannot all vanish.
The objective is exactly
Since at least one slack is a positive integer and all its weights are positive integers,
Thus the objective is at most 101.
Equality in this bound forces and , because any positive b or c would cost at least 3 or 2.
The resulting equations are , , and .
They give , which is nonnegative, satisfies every original constraint, and has objective
The forced slack values and the unique system solution prove that no other triple attains the maximum.
Answer
The maximum is 101, attained only at .
Key idea
Unused capacity can carry arithmetic information that is invisible in the continuous feasible region.
- Hint 1
-
Problem 10 Making four readings as close as possible
Difficulty: 3 of 3 stars, Deep challenge
Choose nonnegative real numbers . Four readings are , , , and . Define their spread to be the largest reading minus the smallest reading.
Find the least possible spread and every pair attaining it. Prove optimality over all nonnegative real choices; a numerical trial or an approximately balanced set of readings is not enough.
Builds on Inequality Basics
- Hint 1
If the spread is R, every difference of one reading minus another is at most R, even if that difference happens to be negative.
- Hint 2
Look at , , and . One copy of the first, five copies of the second, and three copies of the third cancel both x and y.
Answer
The least spread is , attained only at . There and .
Full solution
Let R be the spread.
Every reading is at most the largest reading and at least the smallest, so , , and .
Their expressions are , , and .
To choose useful weights u, v, w, require the variable terms in to cancel.
This gives and
Taking yields , all positive.
With these weights,
Therefore , giving the universal lower bound .
This argument does not assume in advance which reading is largest or smallest.
To attain equality, all three positively weighted differences must equal R.
The equations and give and .
Written in x and y, these are and .
Thus and , both nonnegative.
At this pair, and , so the spread is exactly .
Hence the bound is attained.
Any optimal pair must satisfy the same equality conditions, whose solution is unique, proving the complete answer.
Answer
The least spread is , attained only at . There and .
Key idea
A weighted combination of pairwise differences can bound a spread without guessing its largest and smallest entries.
- Hint 1