Example 16: Every rational function is continuous
Prove that every rational function is continuous.
Let , where and are polynomials. Its domain is all real with .
Let be in the domain, so . Since polynomials are continuous, and . So
is continuous at every point of its domain, so every rational function is continuous. Hence proved.
Want the reason behind every step, the basics and the checks?
A rational function is a quotient of two polynomials, . Polynomials are continuous everywhere (Example 14), and Theorem 1(4) says a quotient of two functions continuous at is continuous at provided the denominator is not 0 at . That proviso is exactly the condition for to be in the domain of the rational function. So at every point of its domain the rational function is continuous.
- Given
- with , polynomial functions, defined where .
- To show
- is continuous at every point of its domain, so is a continuous function.
- Plan
- Identify the domain. Fix a point of the domain. Use Example 14 for and , then Theorem 1(4) with . Finally apply Definition 2, and explain the zeros of .
Basics you need
, and polynomials, not the zero polynomial. Division by 0 is not allowed, so the domain is . Example: has domain without and .
For every polynomial and every real , (Example 14).
If and are continuous at and , then is continuous at . It rests on the quotient rule of limits, which needs the limit of the denominator to be non-zero. (The book proves only part (1) of Theorem 1 and leaves part (4) to the reader; Step 3 below carries out that argument for .) Lesson: algebra of continuous functions
A function is continuous if it is continuous at every point of its domain; points outside the domain are not tested. Lesson: continuity at a point
Solution
The domain of
can be computed exactly when the denominator is non-zero. So
For example, is defined at every real number except and , where .
We need the domain first because Definition 2 asks for continuity at every point of the domain, and only there. A non-zero polynomial has finitely many zeros, so the domain is all of except finitely many points (possibly none, as for ).The book's notation "" records the domain in the formula itself.Fix a point of the domain
Let be any real number with . By Example 14, both polynomials are continuous at :
Polynomials are continuous at every real number, so in particular at our . These two limits are the two ingredients Theorem 1(4) needs.Example 14: every polynomial function is continuous.Apply Theorem 1(4)
and are continuous at and , so by Theorem 1(4) the quotient is continuous at . In terms of limits:
The quotient rule of limits ("the limit of a quotient is the quotient of the limits") only works when the limit of the denominator is not 0; otherwise the right-hand side would be a division by 0. Here that limit is , which is non-zero precisely because is in the domain. This is the "provided " in Theorem 1(4).Theorem 1(4), Section 5.2.1. Lesson: algebra of continuous functionsConclude with Definition 2
was an arbitrary point of the domain, so is continuous at every point of its domain. By Definition 2, every rational function is continuous.
This is the textbook's proof: "since polynomial functions are continuous (Example 14), is continuous by (4) of Theorem 1". Steps 1 to 3 spell out what each part of that sentence contributes.What happens at the zeros of ?
At a zero of , the number does not exist, so is not in the domain, and in this book's sense is not a point of discontinuity. The graph may break there (for , it shoots off to near ), but this does not stop being a continuous function.
This is the same situation as in Example 9 and the gap at 0 in Example 12: continuity is a property of points in the domain, so a missing point is not a failure.Do not cancel factors before finding the domain. equals for , but it is not defined at , so its domain is without 1. Lesson: continuity at a point
A rational function has domain , and at each point of it, equals . Hence every rational function is continuous (at every point of its domain). This agrees with the textbook's solution.
Take and : . Nearby,
both within of , as continuity at 1 predicts.
- Calling the zeros of points of discontinuity. They are not in the domain, so in this book's sense they are neither points of continuity nor of discontinuity.
- Dropping the condition . Theorem 1(4) needs it; without it the quotient rule of limits would divide by 0.
- Simplifying first. Cancelling in gives a different function (one defined at 1).
- Rational functions are continuous wherever they are defined, that is, wherever the denominator is non-zero.
- Theorem 1 turns known continuous functions into new ones; here Example 14 plus Theorem 1(4) gives the whole result in one line.
- The same pattern proves continuous in Example 18.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Rational function , | Steps 1, 5 | Example 16, Section 5.2.1; Class XI |
| Every polynomial function is continuous | Step 2 | Example 14, Section 5.2 |
| is continuous at if , are and | Step 3 | Theorem 1(4), Section 5.2.1 (Lesson: algebra of continuous functions) |
| Quotient rule of limits | Step 3 | Algebra of limits, Class XI (Basics: limits) |
| Continuous function; points outside the domain are not tested | Steps 4, 5 | Definitions 1 and 2, Section 5.2 (Lesson: continuity at a point) |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →