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