Example 18: is a continuous function
Prove that the function defined by is a continuous function.
is defined when , that is, for , .
Let be in the domain, so . Since and are continuous,
is continuous at every point of its domain, so is a continuous function. Hence proved.
Want the reason behind every step, the basics and the checks?
is a quotient of two continuous functions (Example 17 and its Remark). Theorem 1(4) makes a quotient continuous at every point where the denominator is not 0, and "" is exactly the condition for to be defined. So is continuous at every point of its domain. The breaks in its graph occur only at the excluded points .
- Given
- ; and are continuous at every real number (Example 17).
- To show
- is continuous at every point of its domain, so it is a continuous function.
- Plan
- Find where to get the domain. At each point of the domain apply Theorem 1(4). Conclude with Definition 2, and explain the excluded points.
Basics you need
exactly when is an odd multiple of : , , that is (Class XI). Basics: trigonometric identities
Proved in Example 17 (sine) and its Remark (cosine): and for every real .
If and are continuous at and , then is continuous at . The book proves only part (1) and leaves part (4) to the reader; it follows from the quotient rule of limits (Class XI), as Step 3 shows for . Lesson: algebra of continuous functions
A function is continuous if it is continuous at every point of its domain. Lesson: continuity at a point
Solution
Find the domain
is defined exactly when . Since precisely at the odd multiples of ,
Division by 0 is undefined, so every zero of the denominator must be removed. Knowing the domain tells us exactly which points need to be checked, as Definition 2 requires.On the unit circle, is the horizontal coordinate, which is 0 only at the top and bottom , that is at angles . Basics: trigonometric identitiesFix a point of the domain
Let be any real number with , so . By Example 17 and its Remark,
These two continuity facts hold at every real number, so in particular at our . They are the two ingredients needed by Theorem 1(4).Example 17: sine and cosine are continuous.Apply Theorem 1(4)
and are continuous at and , so is continuous at :
The quotient of the limits makes sense because the limit of the denominator, , is not 0. That is exactly the proviso "" of Theorem 1(4), and it holds because is in the domain.Conclude with Definition 2
was an arbitrary point of the domain, so is continuous at every point of its domain. By Definition 2, is a continuous function.
This is the book's sentence " being a quotient of two continuous functions is continuous wherever it is defined", with each part justified.The excluded points
At the value does not exist, so these points are not in the domain and, in this book's sense, are not points of discontinuity. The graph does break there: just left of , is large and positive, and just right of it, large and negative (neither one-sided limit is a real number). But since is not in the domain, this does not stop being a continuous function.
The graph of for (horizontal unit 48 px, vertical unit 40 px). Each blue branch is unbroken. The dashed rose lines at , mark points outside the domain, where the graph breaks. Compare Example 12 and in Example 9: a graph in several pieces is fine for a continuous function, as long as the breaks happen only at points where the function is not defined.
is defined for , , and at every such , . Hence is a continuous function. This agrees with the textbook's solution.
At : . With inputs :
both within of 1. Near the excluded point : but , showing the break where is undefined.
- Calling a point of discontinuity. It is not in the domain of , so it is not a point of discontinuity in this book's sense.
- Leaving out the condition . Theorem 1(4) needs a non-zero denominator at ; that condition is what limits the result to the domain.
- Writing the excluded points as . Those are the zeros of , where . The zeros of are the odd multiples of .
- Quotients of continuous functions are continuous wherever the denominator is non-zero: here .
- The same reasoning shows , and are continuous functions (by Theorem 1(4) and Remark (ii)).
- Continuous functions can have graphs in several separate pieces, provided the gaps are outside the domain.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Steps 1, 3 | Class XI, Trigonometric Functions | |
| Steps 1, 5 | Class XI, Trigonometric Functions (Basics: trigonometric identities) | |
| Sine and cosine are continuous | Step 2 | Example 17 and its Remark, Section 5.2.1 |
| is continuous at if , are and | Step 3 | Theorem 1(4), Section 5.2.1 (Lesson: algebra of continuous functions) |
| 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 →