52.3 Rational Expression Division

Rational Expression Division is the procedure for dividing one rational expression by another, carried out by rewriting the division as multiplication by the reciprocal of the divisor and then proceeding exactly as with rational expression multiplication. It introduces one additional domain consideration beyond ordinary multiplication, since the divisor expression itself must not equal zero for the division to be defined, adding a further restriction on top of whatever restrictions the individual numerators and denominators already impose.

This procedure treats division as multiplication in disguise, converting an unfamiliar operation into one already fully understood, which is why rational division always begins by identifying and inverting the divisor before any other work proceeds.

Identifying the Divisor

Rational Divisor Identification

The second rational expression in the division, the one playing the role of divisor, is identified explicitly, since it is this specific expression that will be inverted in the next step rather than the first expression, called the dividend.

Divisor Expression Nonzero Condition

Because dividing by zero is undefined, the entire divisor expression must not equal zero; this requirement adds to the domain restrictions already known from the individual numerators and denominators involved.

Divisor Numerator Zero Exclusion

Specifically, any value that would make the divisor's own numerator equal zero must be excluded from the domain, since a rational expression itself equals zero exactly when its numerator is zero while its denominator is nonzero, and the entire divisor expression is not permitted to be zero.

Converting to Multiplication

Divisor Reciprocal Conversion

The divisor expression is inverted, swapping its numerator and denominator, producing its reciprocal, which will replace the original divisor in the operation that follows.

Reciprocal Product Formation

The original division is rewritten as the dividend multiplied by this reciprocal, converting the division problem into an equivalent multiplication problem.

Completing the Operation as Multiplication

Division-Stage Factoring

With the division now expressed as multiplication, every numerator and denominator involved, the dividend's numerator and denominator, along with the reciprocal's numerator and denominator, is factored completely, exactly as in rational expression multiplication.

Division-Stage Factor Reduction

Every factor shared between any numerator and any denominator among the four resulting polynomials is cancelled, following the same cross-comparison process used in ordinary rational multiplication.

Rational Quotient Assembly

The remaining factors after cancellation are multiplied together in the numerator and in the denominator separately, forming the final simplified quotient of the original division.

Tracking the Domain

Quotient Domain Carryover

The final domain restriction combines every excluded value from the dividend's original denominator, the divisor's original denominator, and the divisor's original numerator, since all three contribute a condition that must hold for the division to have been valid in the first place.