51.6 Rational Expression Evaluation

Rational Expression Evaluation is the process of substituting a specific numerical value for the variable in a rational expression and computing the resulting numerical output, beginning with a domain check to confirm the chosen value is actually permitted before any arithmetic is carried out. Because a rational expression is undefined at its excluded values, evaluation always starts by confirming the candidate input lies within the domain, only proceeding to compute a numerical result once that check has passed.

This process treats the numerator and denominator as separate expressions to be evaluated individually before the final division between them is performed, mirroring how the expression itself is structured as one polynomial divided by another.

Checking the Input First

Candidate Input Domain Check

Before any arithmetic is performed, the candidate input value is compared against the expression's known domain restriction, confirming it does not match any value that was previously found to make the denominator zero.

Excluded Input Rejection

If the candidate input value matches an excluded value, evaluation stops immediately at this point, and the expression is reported as undefined for that specific input, without proceeding to substitute the value into the numerator or denominator at all.

Evaluating the Two Parts

Rational Numerator Evaluation

Once the input passes the domain check, it is substituted into the numerator polynomial, and the resulting numerical value is computed using ordinary arithmetic, exactly as evaluating any polynomial at a specific value.

Rational Denominator Evaluation

The same input value is substituted into the denominator polynomial independently, and its resulting numerical value is likewise computed using ordinary arithmetic.

Completing the Evaluation

Evaluated Fraction Reduction

The two computed numerical values are combined as a numerator over a denominator, forming a numerical fraction that is then reduced to its simplest form using ordinary arithmetic, exactly as any numerical fraction would be simplified.

Special Numerical Outcomes

Zero Rational Value Condition

If the numerator evaluates to zero at a permitted input while the denominator evaluates to a nonzero value, the entire rational expression evaluates to zero at that input, since zero divided by any nonzero number is zero.

Undefined Rational Value Recognition

If, despite passing the initial domain check based on the factored denominator, the denominator still somehow evaluates to zero, this signals an error either in the domain restriction previously determined or in the evaluation arithmetic itself, since a correctly determined domain should have already excluded any input producing this outcome.

Cross-Checking the Result

Original-and-Simplified Value Agreement

If a simplified version of the rational expression is also available, evaluating both the original and the simplified expression at the same permitted input should produce identical numerical results, providing an independent check that the simplification was performed correctly.