54.8 Radical Expression Verification

Radical Expression Verification is the collection of checks used to confirm that a radical expression has been correctly simplified, combined, multiplied, divided, or rationalized, examining both the mechanical correctness of each step and the completeness of the final simplified form. Because radical work spans several distinct operations, simplification, like-radical combination, multiplication, division, and rationalization, verification addresses each operation with its own targeted check while also confirming the final presentation meets the standard for a fully simplified radical.

These checks rely primarily on reversing each operation, extraction, combination, or rationalization, and confirming that reversal reproduces the expression that existed before that operation was applied.

Verifying Simplification

Extracted Factor Reconstruction

For a simplified radical, the extracted exterior coefficient is raised back to the power matching the radical's index and multiplied by the residual radicand, confirming that this reconstruction reproduces the original, unsimplified radicand exactly.

Residual Radicand Check

The radicand remaining under the radical after simplification is checked to confirm it contains no further factor that is a perfect power matching the index, ensuring the simplification was carried out completely rather than stopping partway.

Verifying Combination

Like Radical Structure Check

Every term claimed to have been combined during like-radical combination is checked to confirm it genuinely shared both the same index and the same fully simplified radicand as the term it was combined with, ruling out an invalid combination between terms that only appeared similar.

Verifying Multiplication and Division

Radical Product Recalculation

A radical multiplication result is checked by recombining the original coefficients and radicands independently, using the same product rules, and confirming the recalculated result matches the previously obtained product exactly.

Radical Quotient Recalculation

A radical division result is checked the same way, recombining the original coefficients and radicands using the quotient rule, and confirming the recalculated quotient matches the previously obtained result.

Verifying Rationalization

Rationalization Equivalence Check

A rationalized fraction is checked by dividing it back by the same multiplier used to rationalize it, confirming that this reversal reproduces the original, unrationalized fraction exactly, and by confirming the resulting denominator, once multiplied out, is genuinely free of any radical.

Verifying the Domain

Radical Domain Recheck

The domain condition on any radicand, nonnegativity for an even index or no restriction for an odd index, is rechecked against the final simplified or combined form, confirming the operation performed did not implicitly assume a domain condition that was never actually verified.

Final Presentation Check

Final Radical Form Check

The completed expression is checked against every standard requirement for fully simplified radical presentation at once: no perfect-power factor remains in any radicand, no like radicals remain uncombined, and no radical remains in any denominator, confirming the result meets every convention expected of a fully simplified radical expression.