S001 · implies
Before
2x+(10)=0, x∈Q
After
a=2; b=10
Conditions: none
Read the rational solution domain and check the leading coefficient before dividing by a.
Step identifiers and dependencies
Rule: equation_domain · Uses: G001
Explore related knowledge and questions →
Question 48: Solution Classification of a Linear Equation
On this page
← Question derivation index · Original question batch
P250-0048 · q-20260927-linear-equation-solution-class-0023
Original question and givens
Over the rational numbers, classify the solution set of 2x+(10)=0.
G001— Over the rational numbers, classify the solution set of 2x+(10)=0.
Definition and scope
Use the rational domain. Treat constant equations separately when a=0; divide by a only when a is nonzero.
Step-by-step derivation
S002 · equivalent
Before
2x+(10)=0
After
2x=-10
Conditions: none
Subtract 10 from both sides, preserving equivalence.
Step identifiers and dependencies
Rule: subtract_same_constant · Uses: G001, S001
S003 · calculation
Before
x := div(-10, 2)
After
x = -5
Conditions: none
Now a=2 is known to be nonzero, so division by it is valid.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S002
S004 · calculation
Before
a·x := mul(2, -5)
After
a·x = -10
Conditions: none
Substitute the candidate and calculate the linear term.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S003
S005 · calculation
Before
a·x+b := sum(-10, 10)
After
a·x+b = 0
Conditions: none
Add the constant back; a result of 0 verifies the original equation.
Step identifiers and dependencies
Rule: exact_rational_arithmetic · Uses: G001, S004
S006 · implies
Before
a x₁+b=0 and a x₂+b=0
After
a(x₁−x₂)=0 ⇒ x₁=x₂
Conditions: a≠0
Subtract two proposed solution equations and cancel the nonzero a; no distinct second solution exists.
Step identifiers and dependencies
Rule: nonzero_cancellation · Uses: G001, S005
Reverse checks
S006· premise_and_result_audit — The hypothesis a≠0 is essential to this uniqueness argument.S005· premise_and_result_audit — Recompute a·x+b with exact rational arithmetic, not rounded decimals.S004· premise_and_result_audit — Recompute a·x with exact rational arithmetic, not rounded decimals.S003· premise_and_result_audit — Recompute x with exact rational arithmetic, not rounded decimals.S002· premise_and_result_audit — Adding b back to both sides recovers the original equation.S001· premise_and_result_audit — When a=0 this is a degenerate constant equation, not a nondegenerate linear equation.
Result
unique solution x=-5
The unique rational solution is x=-5.
This question review and source binding
Review date: 2026-10-24
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.
Source hashes and review receipts
input commit: 0f7be61e2c22317a4075561dc822c87d881a50dboriginal question SHA-256: 274cb6a00dcfc6f260360ea7b26608f17d6e9fe2b8922c718603a1b6a1ca6bb8candidate record SHA-256: 57b627fe905ffadce21a71e797ccca7114d2801fd214f59a97cb85eb4ffddebdsemantic review receipt SHA-256: 4727d1bd957a9b7f6cadb7972ddb5ab80a31f5259dc5394c1dff2b71944ed36bquestion-first witness SHA-256: 51e18649133238ac992229f6e16542a5f3af53ca73b2262ab0524508ea937deeLean: NOT_RUN · human review: NOT_PERFORMED