S001 · implies
Before
5x+(-1)=0, x∈Q
After
a=5; b=-1
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 37: Solution Classification of a Linear Equation
On this page
← Question derivation index · Original question batch
P250-0037 · q-20260927-linear-equation-solution-class-0012
Original question and givens
Over the rational numbers, classify the solution set of 5x+(-1)=0.
G001— Over the rational numbers, classify the solution set of 5x+(-1)=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
5x+(-1)=0
After
5x=1
Conditions: none
Subtract -1 from both sides, preserving equivalence.
Step identifiers and dependencies
Rule: subtract_same_constant · Uses: G001, S001
S003 · calculation
Before
x := div(1, 5)
After
x = 1/5
Conditions: none
Now a=5 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(5, 1/5)
After
a·x = 1
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(1, -1)
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=1/5
The unique rational solution is x=1/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: 4a31afee6d48472c44c742c5965cbcffbc167a60a2c7ea9d328e65b3c9bf1a3ecandidate record SHA-256: 8dfd584a6f41abef71e2bfd7506ecee9f15357f048bd60535da8559c41e2725csemantic review receipt SHA-256: 4727d1bd957a9b7f6cadb7972ddb5ab80a31f5259dc5394c1dff2b71944ed36bquestion-first witness SHA-256: 51e18649133238ac992229f6e16542a5f3af53ca73b2262ab0524508ea937deeLean: NOT_RUN · human review: NOT_PERFORMED