Evaluating at will clearly result in a "division by zero" error. Note also that the numerator also evaluates to zero at . Hence, the function is not defined at . But even though it is a fraction, is not a rational function because it is not a ratio of two polynomials. Thus, the Factor and Remainder theorem does not apply. Yet, there may still be an algebraic transformation that results in the cancellation of a common factor of . Indeed, there is, and this is the device of rationalizing the numerator.
To rationalize the numerator, multiply the fraction by 1 in the form , where is referred to as the conjugate of .
|
|
|
|
|
|
|
|
|
|
|
|
|
Table 1.1.4(a) Rationalization of the numerator in
|
|
|
Because all five expressions on the right in Table 1.1.4(a) are equal to , the restriction that applies to all. However, the last one, regarded in its own right, can indeed be evaluated at , and the resulting value, namely, , is the required limit. In other words, by transforming by rationalizing its numerator, an expression results that extends the domain of . The value of the extended function at tells the behavior of near .
Unfortunately, if is multiplied by this form of 1, Maple would reduce the multiplier to 1 immediately, and would be multiplied by just 1. In Maple, the numerator and denominator of must be separately multiplied by the "conjugate" of its numerator, as per the following calculation.