When a Quadric Collapses
A quadric equation usually describes a curved surface such as a sphere, cylinder, or cone. But a change in a constant can make the surface shrink, disappear, or split into simpler pieces. These limiting cases are called degenerate: the equation is still quadratic, but its real solution set is no longer the expected full curved surface.
To interpret a degenerate equation, do not rely on its appearance alone. Ask which quantities are squared, whether they can be zero, and how many coordinates the equation actually restricts. Those checks determine whether the solutions form a point, a line, a pair of planes, or no real points at all.
Zero and Negative Constants in Sums of Squares
A square of a real number is always nonnegative. Therefore a sum of squares can never be negative, and it equals zero only when every squared quantity equals zero. This simple fact explains several important degeneracies.
In a sphere equation, a positive squared radius gives a sphere, a zero squared radius leaves only its center, and a negative squared radius is impossible over the real numbers. For equations involving fewer coordinates, setting a sum of squares to zero may leave the unmentioned coordinates unrestricted. Those free coordinates change the result from a point to a line or plane.
Worked Example: A Sphere Reduced to One Point
Consider the equation
Each term on the left is nonnegative. Their sum can equal zero only if every term is zero:
Solving these three equations gives \(x=1\), \(y=-2\), and \(z=3\). Thus the entire solution set is the single point \((1,-2,3)\). Substituting it back gives
There are no other solutions, because any other point would make at least one squared term positive.
The number of squared terms matters. With three independent squared coordinates, setting all of them to zero fixes a point. With only two, the third coordinate can vary freely, leaving a line.
Worked Example: A Sum of Squares That Leaves a Line
Find all real solutions of
Both terms are nonnegative, so both must be zero:
It follows that \(x=2\) and \(y=-1\). There is no restriction on \(z\), because \(z\) does not appear in the equation. The solution set is therefore the line
For a direct check, any point of this form gives \((2-2)^2+(-1+1)^2=0\). Conversely, the sum-of-squares result forces \(x=2\) and \(y=-1\), so every solution is on that line.
If the same left-hand side were equal to \(-1\), there would be no real solutions: a sum of two squares cannot be negative. The equation would describe the empty set, not a tiny circle or an imaginary-radius circle in real three-dimensional space.
Factoring Can Reveal a Plane Pair
A different kind of degeneration occurs when a quadratic expression factors into two linear expressions. The equation then says that at least one of those factors must be zero. In three dimensions, each linear equation generally describes a plane, so the original solution set can be a pair of planes.
Worked Example: Two Intersecting Planes
Factor the equation
Use the difference-of-squares identity \(a^2-b^2=(a-b)(a+b)\):
A product is zero exactly when at least one factor is zero. Therefore the equation is equivalent to
These conditions describe the planes \(y=x\) and \(y=-x\). The coordinate \(z\) is unrestricted on both planes. They meet where both equations hold: adding \(y=x\) and \(y=-x\) gives \(2y=0\), so \(y=0\), and then \(x=0\). Their intersection is the \(z\)-axis.
For a check, any point on either plane has \(x=y\) or \(x=-y\), so \(x^2-y^2=0\). For example, \((2,2,5)\) lies on the first plane and gives \(4-4=0\); \((2,-2,5)\) lies on the second and also gives \(4-4=0\). The planes are distinct, since \((1,1,0)\) is on the first but not the second.
A related limiting constant produces two parallel planes. For example, \(x^2=9\) means \(x=3\) or \(x=-3\); the other coordinates remain unrestricted. In contrast, \(x^2=0\) gives the single plane \(x=0\), counted twice by the factorization \(x^2=(x)(x)\). If \(x^2=-1\), there are no real solutions.
Why Intersecting Lines Are Not the Same as Intersecting Planes
The equation \(x^2-y^2=0\) has two different geometric descriptions depending on the space in which its solutions are being considered. In three-dimensional space it gives two planes, because \(z\) is free. If the equation is considered in the \(xy\)-plane, where points have only coordinates \(x\) and \(y\), the same factorization gives two intersecting lines.
Worked Example: Two Intersecting Lines in a Plane
In the \(xy\)-plane, solve
Factoring gives \((x-y)(x+y)=0\), so \(y=x\) or \(y=-x\). These are two lines through the origin. Their only common point satisfies both conditions: \(x=-x\), hence \(x=0\), and then \(y=0\).
To check the description, points \((1,1)\) and \((1,-1)\) satisfy the equation, since \(1^2-1^2=0\). Every point on either line satisfies one of the two factors, so it satisfies the original equation. The two lines are distinct, for instance because \((1,1)\) is on \(y=x\) but not on \(y=-x\).
Thus, the phrase “intersecting lines” is appropriate for this equation in a plane, but not for its full solution set in three-dimensional space. In three dimensions, those lines extend along the unrestricted \(z\)-direction to form intersecting planes.
A Reliable Way to Read a Limiting Case
When a constant reaches a limiting value, use the equation itself to determine what remains. This is more reliable than trying to identify a surface by resemblance to a familiar formula.
Rewrite the equation so the signs and constant on the right are easy to inspect.
A sum of real squares is nonnegative; it equals zero only when each square is zero.
Coordinates absent from the equation remain free, so they can turn a point into a line or a plane.
A difference of squares may split into linear equations, each describing a plane in three dimensions or a line in a plane.
Substitute representative solutions, and explain why the equation excludes any other points.
The reasoning behind the first two checks is complete and short. If \(u_i\) is real, then \(u_i^2\geq 0\). Hence \(\sum_i u_i^2\geq 0\), so it cannot equal a negative constant. If \(\sum_i u_i^2=0\), no term can be positive: a positive term combined with the other nonnegative terms would make the total positive. Therefore every \(u_i^2=0\), which is equivalent to every \(u_i=0\). This proves both the empty-set test and the collapse-to-zero test.
A Common Misreading
A frequent mistake is to identify a degenerate equation with a geometric object of the wrong dimension. For instance, one might see \(x^2-y^2=0\) and write “two intersecting lines” without checking that the equation is in three-dimensional space.
Another common error is to treat a zero sum of squares as a point without checking for missing variables. The equation \(x^2+y^2=0\) fixes \(x\) and \(y\) at zero but leaves \(z\) arbitrary, so its three-dimensional solution set is a line. Always distinguish “every squared coordinate is fixed” from “every coordinate is fixed.”
Why Degenerate Cases Matter
Degenerate equations are not merely exceptions to memorize. They show how geometry responds to the limiting values of constants: a surface can contract, split, or disappear. Recognizing the exact solution set also prevents a misleading sketch. A point cannot be sketched as a very small sphere, and an empty real set should not be drawn as a surface at all.
The key questions are simple: Can the left side attain the stated constant? Which coordinates are constrained? Can the quadratic expression be factored? Answering them determines whether the solutions form a point, line, plane, plane pair, line pair in a plane, or empty set.
Check Your Understanding
For each equation, identify its real solution set and give a brief reason.
- What is the solution set of \((x+1)^2+(y-4)^2+(z-2)^2=0\)?
- What does \(x^2+z^2=0\) describe in three-dimensional space? Which coordinate is unrestricted?
- Why does \((x-3)^2+(y+2)^2=-4\) have no real solutions?
- Describe the full three-dimensional solution set of \(x^2-4y^2=0\).
- In the \(xy\)-plane, what geometric set is described by \(x^2-4y^2=0\)? How does that differ from the three-dimensional answer?