Define the function
|
•
|
Control-drag (or type) the equation
|
•
|
Context Panel: Assign Function
|
|
|
Extract numerator and show is one of its zeros
|
•
|
Type and press the Enter key.
|
•
|
Context Panel: Numerator
|
•
|
Context Panel: Evaluate at a Point≻
|
|
| (1) |
|
Factor the numerator
|
•
|
Reference the numerator by its equation label;
Press the Enter key.
|
|
| (2) |
|
Complete the "factor and cancel" step
|
•
|
Reference the factored numerator by its equation label; Press the Enter key.
|
•
|
Context Panel: Evaluate at a Point≻
(The domain of the simplified expression now includes , and this expression assumes the value 8 at this point.)
|
|
|
•
|
Expression palette: Limit template
|
•
|
Context Panel: Evaluate and Display Inline
|
|
=
|
|
|
Evaluating the rational function at produces a "division by zero" error. However, at , the numerator also evaluates to zero. The indeterminate form is no more a valid real number than is , and the function is not defined at . Since the numerator has a zero at , it must also have as one of its factors the linear factor . This is the essence of the Factor and Remainder theorem of elementary algebra. The "factor and cancel" step removes the common factor of from both the numerator and denominator, resulting in an expression that has in its domain. Evaluating this simplified expression yields 8, and that is what the original function tends towards as approaches 4.