Learning workflow

Checking a math solution step by step

A polished final number is not evidence by itself. A reliable check separates candidates from verified solutions, records domain constraints, audits transformations, and tests the result in the original problem.

Author
VibeMath Editorial TeamOriginal AI-assisted lesson content edited for clarity, accessibility, and product-truth accuracy.
Math reviewer
VibeMath Math ReviewIndependent equation, example, substitution, units, scope, and accessibility checks; not a claim of individual human credentials.
Last reviewed

What you will learn

  • State the original claim and all domain constraints before manipulating an equation.
  • Classify each transformation as reversible or potentially solution-expanding.
  • Verify every candidate in the original statement and report rejected candidates explicitly.

Build the idea

Checking begins before the first algebraic step. Copy the original statement accurately, identify the requested quantity, and record restrictions such as nonzero denominators, nonnegative square-root inputs, valid units, or geometric length conditions. These constraints define what a possible answer is allowed to mean.

Next, audit the chain of transformations. Adding the same quantity to both sides is reversible, but squaring both sides can turn a false sign relationship into a true squared relationship. A one-way transformation may create extra candidates, so later lines should call them candidates rather than confirmed solutions.

Finally, substitute each candidate into the untouched original statement. Simplifying only the final transformed equation is not enough because that equation may have a larger solution set. A complete report shows the original left and right values, rejects failures, and includes a reasonableness check such as sign, magnitude, units, or graph location.

A four-gate accuracy checklist

Arrange four gates from left to right: copy the claim, record constraints, audit each transformation, and substitute candidates into the original. A candidate that fails any gate moves to a rejected lane with the reason attached.

Visual description: A solution candidate passes through gates for original claim, domain constraints, reversible steps, and original-equation substitution. Failed candidates are visibly separated from verified solutions.
Read as: The square root of the quantity x plus five, end quantity, equals x minus one.
Read as: The radical domain requires x to be greater than or equal to negative five.

Worked example

Problem

Check the complete solution process for the square root of the quantity x plus five, end quantity, equals x minus one, including every candidate created after squaring.

Strategy

Record both the radical domain and the stronger sign constraint required by the equality, square to generate candidates, solve the resulting quadratic, and test each candidate in the original radical equation.

  1. Step 1

    The radical is defined for x greater than or equal to negative five. Because the principal square root is nonnegative, equality also requires x minus one to be nonnegative, so any solution must satisfy the stronger condition x greater than or equal to one.

    Read as: x plus five must be nonnegative, and x minus one must be nonnegative, so a solution must have x greater than or equal to one.
  2. Step 2

    Square both sides to remove the radical. This implication is useful but not fully reversible for arbitrary signs, so roots of the quadratic remain candidates.

    Read as: x plus five equals the quantity x minus one, squared, which equals x squared minus two x plus one.
  3. Step 3

    Move every term to one side and factor. The zero-product property gives two algebraic candidates, four and negative one.

    Read as: x squared minus three x minus four equals the quantity x minus four times the quantity x plus one, which equals zero.
  4. Step 4

    Substitute four into the original. The left side is the square root of nine, or three, and the right side is also three, so four passes.

    Read as: The square root of the quantity four plus five, end quantity, equals three, which equals four minus one.
  5. Step 5

    Negative one violates the recorded constraint and fails direct substitution: the left side is two while the right side is negative two.

    Read as: The square root of the quantity negative one plus five, end quantity, equals two, which is not equal to negative two, the value of negative one minus one.

Answer and verification

The only verified solution is x equals four; negative one is an extraneous candidate introduced by squaring.

Four satisfies the original equation exactly and meets x greater than or equal to one. Negative one solves the squared quadratic but not the original sign relationship. Reporting both checks explains why the candidate list and solution set differ.

Common mistakes

  • Checking candidates only in the squared equation because that is the last equation solved.

    Squaring can expand the solution set. Substitute into the untouched original statement, where sign and domain information are still present, before calling a candidate a solution.

  • Erasing a rejected candidate without recording where it came from or why it failed.

    Keep an audit trail: label the value as an algebraic candidate, show the failed constraint or substitution, and state that it is extraneous. This makes the reasoning reviewable.

Try it yourself

Solve and check the square root of the quantity x plus six, end quantity, equals x, explicitly testing every candidate from the squared equation.

Show hint

Record x greater than or equal to zero, square to obtain x squared minus x minus six equals zero, and test both factors' candidates.

Show answer

The candidates are three and negative two, but only x equals three satisfies the original equation and its nonnegative constraint.

Accessible lesson transcript

This reviewed reading order covers the lesson explanation, equations, example, and checks without claiming that a video exists.

  1. Part 1

    Preserve the original problem

    Start by copying the square-root equation exactly. Because a principal square root cannot be negative, x minus one must be nonnegative, so x must be at least one. Write that condition beside the original. It will remain available even after later algebra hides the square-root sign information.

  2. Part 2

    Mark squaring as a candidate generator

    Square both sides and simplify to a quadratic. Squaring preserves equality for a true original statement, but equal squares do not guarantee equal signed quantities. Therefore this step may add values. We can solve the quadratic, but its roots must be labeled candidates until the original equation accepts them.

  3. Part 3

    Return to the untouched equation

    Substitute four into the original: both sides equal three, so four passes. Substitute negative one: the square root side is positive two while the right side is negative two. Negative one also violates the earlier sign constraint. It is an explainable extraneous candidate, not a solution to erase silently.

  4. Part 4

    State the verified conclusion

    Report that the candidate set from the quadratic is four and negative one, while the verified solution set contains only four. Name squaring as the step that allowed the extra candidate and show the failed substitution. This short audit trail lets another learner review the claim, transformation, and evidence without trusting the final line on appearance.

Scope and limitations

  • This lesson demonstrates equation checking and does not replace a formal proof when a problem asks for a general theorem or all cases of an argument.
  • Numerical substitution can confirm a proposed value but cannot establish that no other solutions exist unless the preceding solution method is complete.