Extraneous and Missing Solutions¶
Opposite solution-set errors in equation solving: a non-equivalent step admits candidates absent from the original equation or discards genuine solutions.
Core Idea¶
Equation-solving steps do not always preserve exactly the same solutions. An extraneous solution satisfies a transformed equation but not the original; a missing solution satisfies the original but was discarded during the working. Squaring can admit wrong-sign candidates, while dividing by a possibly zero expression can remove a genuine zero-case root. Both errors arise when a one-way or conditionally reversible step is treated as unconditional equivalence.
Scope of Application¶
This paired diagnosis applies to radical, polynomial, rational and trigonometric equation solving on a declared domain. The direction of the error matters: expansion-prone steps call for checking candidates in the original equation; restriction-prone steps call for tracking exceptional cases as separate branches. A merely undefined value in the original domain was never a valid missing solution.
Clarity¶
The final transformed equation produces candidates, not automatically the original problem's answers. Squaring √(x+2)=x yields candidate roots 2 and −1, but −1 fails the original. Dividing 2x²=8x by x leaves only 4 and silently loses the valid root zero. These are opposite set changes, not the same kind of mistake.
Manages Complexity¶
A short record of the original domain, each step's implication direction, and its zero or undefined cases makes a long derivation auditable. Ordinary reversible operations need little extra bookkeeping; attention goes to squaring, variable multiplication or division, restricted inverse operations, and denominator clearing.
Abstract Reasoning¶
Ask whether each step works both forward and backward for every value under consideration. If only the forward direction holds, verify all final candidates against the original. If a step requires a nonzero factor, test the zero case separately before dividing. Substitution removes extras but cannot recover a solution that was never carried into the candidate list.
Knowledge Transfer¶
The same solution-set audit transfers among different equation classes because it concerns the logic of transformation, not one notation. False positives or omitted cases in other fields may resemble the pattern, but this named abstraction requires a mathematical original problem, its transformed equation and their solution sets. See the staged V2 for sources, full examples and boundaries.
Neighborhood in Abstraction Space¶
Extraneous and Missing Solutions sits in a sparse region of the domain-specific corpus (72nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Formal Models & Logical Foundations (33 abstractions)
Nearest neighbors
- Cut-Elimination Theorem — 0.84
- Constructional System — 0.83
- Proof calculus — 0.83
- Beck–Chevalley Condition — 0.83
- Resolution Proof Compression by Splitting — 0.83
Computed from structural-signature embeddings · 2026-10-08