Question 153·Hard·Nonlinear Equations in One Variable; Systems in Two Variables
Consider the system of equations
The constant is a nonnegative integer. If the system has no real solution, what is the least possible value of ?
(Express the answer as an integer)
For systems involving a line and a circle (or other nonlinear curve), a fast SAT approach is to eliminate one variable by substitution, turning the system into a single quadratic equation. Then use the discriminant to decide whether there are 0, 1, or 2 real intersections: set for no real solutions, simplify the inequality in the parameter, and finally apply any extra conditions (such as the parameter being an integer) to pick the correct value quickly.
Hints
Eliminate one variable
Try substituting the expression for from the line, , into the circle equation so that you get an equation involving only and .
Recognize the quadratic in x
After substitution and simplification, you should have a quadratic equation in . Think about what condition must be true for a quadratic to have no real solutions.
Use the discriminant
Write the discriminant in terms of for your quadratic in , then set up an inequality that reflects the no-real-solution condition and solve that inequality for .
Remember t is a nonnegative integer
Once you find the range of real values from the inequality, restrict to nonnegative integers and choose the smallest one that fits.
Desmos Guide
Graph the circle
In Desmos, enter the circle as x^2 + y^2 - 6x - 8y + 9 = 0. Desmos will plot the circle corresponding to the first equation.
Graph a family of lines with a slider
Type y = 3x + a so that Desmos creates a slider for a. This slider represents the parameter in the problem.
Use the slider to find when there is no intersection
Move the slider for a and watch how the line moves relative to the circle. Look for the point where the line just stops intersecting or touching the circle and lies completely outside it. Note the smallest nonnegative value of a at which there are no intersection points; that value of a is the you are looking for.
Step-by-step Explanation
Substitute the line into the circle
We have the system
Substitute into the first equation:
Expand and distribute the :
So the equation becomes
Combine like terms:
which we can rewrite as a quadratic in :
Use the discriminant condition for no real solutions
The quadratic in is
where , , and .
For a quadratic :
- Real solutions occur when the discriminant .
- No real solutions occur when .
So here we need .
Compute the discriminant:
First expand each part:
So
Simplify the discriminant and set up the inequality
Simplify the expression for :
For no real solutions we need :
Since is negative, dividing both sides by reverses the inequality:
Now we must solve this inequality in , remembering that is a nonnegative integer.
Solve the quadratic inequality in t
First find the roots of the related equation
Use the quadratic formula:
Since , we have , so
Thus the two real roots are and .
Because the coefficient of is positive, the parabola opens upward, so
for values outside the interval between the roots:
Use the nonnegative integer condition to find the least t
We are told that is a nonnegative integer, so only the inequality
can apply.
Now estimate to see between which integers it lies. Since and , we have , so
Therefore
So is between and .
The inequality then means must be larger than a number between and , and must be a nonnegative integer. The smallest such integer is
.