Because an equivalent expression has the same value under the stated conditions, replacing one form with the other does not change the relationship being analyzed. This allows a solver to transform an equation into a simpler form while retaining its original meaning. The new form can reveal an unknown value or make a calculation easier to evaluate.
When one equation expresses a variable in terms of another, that relationship can replace the matching variable in a second equation. The system then becomes an equation involving only one remaining variable. Solving that equation determines one value, and using the original isolated relationship determines the other value needed for the simultaneous solution.
Back-substitution uses a value found during the first solution stage in the earlier expression for the other variable. This produces the remaining unknown and also provides a check on the work. If the resulting values satisfy the original relationships, the proposed solution is consistent with the conditions of the problem.
First, isolate one variable in one equation, preferably in a form that is easy to use. Substitute that expression into the other equation and simplify the resulting relationship. Solve for the remaining variable, then return to the isolated expression to find the first variable. Finally, check both values against the original equations.
Known values can replace their corresponding variables in a formula, after which the expression is simplified to obtain a result. This approach keeps the original relationship visible while converting it into a numerical calculation. It is useful when a formula represents a condition or relationship and specific variable values are available.
In mathematics, substitution supports simultaneous equations, formula evaluation, and rearrangement of mathematical models. Geometry can use it to connect related quantities, while physics and engineering can apply it when relationships contain several variables. Quantitative analysis also benefits because substitution converts linked expressions into forms that can be calculated or checked.