Problem 68
Question
You are asked in these exercises to determine whether a piecewise-defined function \(f\) is differentiable at a value \(x=x_{0}\) where \(f\) is defined by different formulas on different sides of \(x_{0}\). You may use without proof the following result, which is a consequence of the Mean-Value Theorem (discussed in Section 4.8 ). Theorem. Let \(f\) be continuous at \(x_{0}\) and suppose that \(\lim _{x \rightarrow x_{0}} f^{\prime}(x)\) exists. Then \(f\) is differentiable at \(x_{0}\) and \(f^{\prime}\left(x_{0}\right)=\lim _{x \rightarrow \infty} f^{\prime}(x)\) Let $$ f(x)=\left\\{\begin{array}{ll} x^{2}-16 x, & x<9 \\ \sqrt{x}, & x \geq 9 \end{array}\right. $$ Is \(f\) continuous at \(x=9 ?\) Determine whether \(f\) is differentiable at \(x=9 .\) If so, find the value of the derivative there.
Step-by-Step Solution
VerifiedKey Concepts
Piecewise-Defined Functions
For the given exercise, the function is defined differently for inputs less than 9 and for inputs greater than or equal to 9. Specifically, when \( x < 9 \), the expression \( x^2 - 16x \) is used, and for \( x \geq 9 \), the expression \( \sqrt{x} \) is used.
To analyze such a function, it is crucial to inspect the behavior at the boundary points where the rules change, in this case at \( x = 9 \). This point is the key juncture to check for passing over smoothly from one rule to the next, addressing whether the function is continuous and differentiable.
Continuity
- The limit from the left side of the point exists.
- The limit from the right side of the point exists.
- These two limits, as well as the actual value of the function at the point, are the same.
Continuity is a necessary condition for differentiability. If a function is not continuous at a certain point, it cannot be differentiable there either.
Limits
In our exercise, we need to evaluate the limits as \( x \) approaches 9 from both sides:
- From the left, the expression \( x^2 - 16x \) gives a limit of \(-63\).
- From the right, the expression \( \sqrt{x} \) gives a limit of \(3\).