19.2 Preliminary Reduction of Both Sides

Preliminary Reduction of Both Sides is the collection of simplification actions applied independently to the left side and the right side of a two-sided variable equation before any term is moved across the equal sign, ensuring that each side is reduced to a single combined variable term and a single combined constant term prior to consolidation. This preliminary work directly addresses the Preliminary Side Reduction Need identified during Two-Sided Variable Equation Recognition and must be completed in full on each side separately before the equation is ready for the transfer of variable terms.

Group Expansion within the Left Side is the action of applying the distributive property to any parenthetical grouping present on the left side of the equation, following the same logic as Positive Outer Factor Distribution and Negative Outer Factor Distribution, multiplying an outer factor across every term enclosed within the grouping. This expansion must be completed before any terms on the left side can be meaningfully combined, since a term still confined within an unexpanded grouping is not yet available for combination with other terms on that side.

Group Expansion within the Right Side is the identical action performed independently on the right side of the equation, expanding any parenthetical grouping present there through the same distributive process. Because the left and right sides are simplified independently of one another at this stage, expansion on one side has no bearing on whether expansion is needed, or has been correctly performed, on the other.

Left-Side Like-Term Reduction is the action of combining every variable term with every other variable term on the left side, and separately combining every constant term with every other constant term on that same side, following Group Expansion within the Left Side if such expansion was required. This reduction produces, at most, one combined variable term and one combined constant term on the left side alone.

Right-Side Like-Term Reduction is the corresponding action performed independently on the right side, combining its variable terms together and its constant terms together, following Group Expansion within the Right Side if such expansion was required, and producing at most one combined variable term and one combined constant term on the right side alone.

Constant Reduction within Each Side refers specifically to the combination of bare numerical terms, as distinguished from variable terms, on a single side of the equation, mirroring the action described for one-sided equations as Numerical Operation Reduction but applied independently and separately to both the left and the right side of a two-sided variable equation. This distinction matters because a two-sided equation requires this constant combination to be tracked twice, once per side, before any comparison or transfer of terms between the two sides is attempted.

Reduced Two-Sided Equation Form is the resulting structure once Left-Side Like-Term Reduction and Right-Side Like-Term Reduction have both been completed: an equation in which the left side contains one combined variable term and one combined constant term, and the right side likewise contains one combined variable term and one combined constant term, shown in the general form below.

This reduced form is the required starting point for the subsequent consolidation of variable terms onto a single side, and it must be reached through independent simplification of each side before any operation is applied that moves a term across the equal sign.