sign in sign up
<<
Home , Differentiation rules, Power rule, Product rule, Quotient rule, Real analysis

Chapter 4 I Real 281

51. Disprove the claim: If lim f (x) L, then either lim f (x) L or x a | | = x a = lim f (x) L. → → x a = − 52. If→ lim f (x) and lim g(x) , then lim f g . x a = ∞ x a = ∞ x a + = ∞ → → → f (x) 53. If lim f (x) and lim g(x) L R∗, then lim . x a x a x a g(x) → = ∞ → = ∈ → = ∞ 54. If lim f (x) L, then lim (f (x) L) 0. x a = x a − = 55. Disprove→ the two claims:→ (a) If lim f (x) L, then f (a) L. x a = = (b) If f→(a) L, then lim f (x) L. x a = → = 56. The squeeze theorem (theorem 4.3.4). In exercises 57–68, prove each mathematical statement about continuity. 57. The constant is continuous (from theorem 4.3.5). 58. The sum of two continuous functions is continuous (from theorem 4.3.5). 59. The difference of two continuous functions is continuous (from theorem 4.3.5). 60. The product of two continuous functions is continuous (from theorem 4.3.5). 61. If f is continuous at x a, then f is continuous at x a. = − = 62. If f is continuous at x a, then f is continuous at x a. = | | = 63. Prove that f (x) xn is continuous for all n N via induction (and = ∈ theorem 4.3.5). 64. If lim f (a h) f (a), then f is continuous at x a. h 0 + = = 65. Disprove→ the claim: If f and g are not continuous at x a, then f g is not = + continuous at x a. = 66. Disprove the claim: If f is continuous at x a, then f is continuous at x a. | | = = 67. Disprove the claim: If the composite function f (g(x)) is continuous, then f (x) and g(x) are both continuous. 68. The following variation on the characteristic function of Q is continuous at x 0: = x if x Q f (x) ∈ = ½ 0 if x Q 6∈ In exercises 69–70, state both an intuitive description and a definition of each . 69. lim f (x) 70. lim f (x) L x a x → = −∞ →∞ =

4.4 The

Calculus is the study of change. While Sir and Gottfried Leibniz are both credited for independently developing in the late 1600s, mathematicians had already been working with for nearly a half century. The study of change as expressed by the derivative was motivated by a sixteenth and seventeenth century European reflection on and ultimate rejection of ancient Greek astronomy and physics. The European astronomers Nicolaus Copernicus, Tycho Brahe, and Johannes Kepler 282 A Transition to Advanced Mathematics

each had insights that challenged the theories of the ancient Greeks, setting the stage for the ground-breaking of the Italian scientist Galileo Galilei in the early 1600s. Many of the questions about a moving object (that is, an object changing position and velocity) that these scientists were studying are readily answered by considering lines to . A number of mathematicians from many different countries made important contributions to the question of finding the equation of a tangent line. studied of curves via tangent lines, essentially using the approach studied in contemporary calculus courses. This work prompted fellow French mathematician Joseph-Louis Lagrange to assert that Fermat should be credited with the development of calculus! The English mathematician , who was Newton’s teacher and mentor, corresponded regularly with Leibniz on these mathematical ideas. As we have mentioned, neither Newton nor Leibniz thought of the derivative as a of change in terms of our contemporary definition involving limits. Our study of the derivative follows more closely the work of Fermat and Barrow from the early 1600s, in which we think of a tangent line as a limit of secant lines. Naturally, the contemporary presentation is informed by an understanding of Cauchy’s notion of the limit from the early 1800s. The derivative enables the determination of the equation of a line tangent to a given at a given point. Given a function y f (x), the of a = joining two points ( c, f (c)) and ( c h, f (c h)) is + + rise 1y f (c h) f (c) f (c h) f (c) m + − + − . = run = 1x = (c h) c = h + − In this context, the symbol “ m” is the first letter in the French word montrer which translates as “to climb.” To find the slope of the line tangent to a function f at the point ( c, f (c)), we take a limit of the of secant lines, letting h approach 0. Figure 4.13 illustrates why this limit process makes intuitive sense; you can see that the slopes of the secant lines get closer and closer to the slope of the tangent line as the point ( c h, f (c h)) gets + + closer and closer to ( c, f (c)). The definition of the derivative reflects these ideas. The following definition expresses the c as a variable quantity x to identify a general formula for the derivative, enabling us to determine the slope of the line tangent to f (x) whenever this slope is defined.

Definition 4.4.1 Let f (x) be a function with domain D. Then the derivative of f (x) is

f (x h) f (x) f 0(x) lim + − , = h 0 h → whenever this limit exists. We say that f (x) is differentiable at x c when f (c) = 0 exists for c D, and that f (x) is differentiable when f (x) exists for all x D. ∈ 0 ∈ The ratio f (x h) f (x) + − h is called the of the derivative. Chapter 4 I 283

800

600

400

200

0 Figure 4.13 A tangent line at x 2 as a 2 3 4 5 limit of secant= lines x

Recall from calculus that many different notations are used for the derivative of a function y f (x), including = df d dy f 0(x) (f ) y0 Dx(y) ˙y . = dx = dx = = dx = = Various phrases also refer to the derivative, including “ f (or y) prime,” “the derivative of f (or y) with respect to x,” the letters “d f d x” spoken individually, and “d y d x” spoken individually. Most of this notation for the derivative is attributable to Leibniz, who gave considerable thought to carefully identifying a useful symbolism and is recognized as a genius in developing notation to make subtle concepts understandable. The alternate definition of the derivative is sometimes helpful; if the limit exists, then f (t) f (x) f 0(x) lim − . = t x t x → − The proof of the equivalence of this alternate definition and the one given in definition 4.4.1 is left for exercise 50 at the end of this section.

Example 4.4.1 We use the two definitions of the derivative to determine the equation of a line tangent to f (x) x2 at (2 , 4). = Applying the definition, (x h)2 x2 x2 2xh h2 x2 2xh h2 f 0(x) lim + − lim + + − lim + lim 2x h 2x. = h 0 h = h 0 h = h 0 h = h 0 + = → → → → Hence the slope of the tangent line at (2 , 4) is f (2) 2 2 4, and the equation 0 = · = of the line tangent to f (x) x2 at (2 , 4) is given by y 4 4( x 2). = − = − Applying the alternate definition produces the same result: t2 x2 (t x)( t x) f 0(x) lim − lim + − lim t x 2x. t x t x t x t x t x = → = → = → + = − − I

When using the definition (as in example 4.4.1), we often algebraically manipulate the difference quotient so that h appears as a factor in the numerator. This factor 284 A Transition to Advanced Mathematics

then cancels the denominator, simplifying the difference quotient so the limit can be evaluated. If the original function f (x) is a rational function, then finding a common denominator will simplify the difference quotient in this way. If f (x) contains a square root, multiplying by the conjugate square root function will simplify the difference quotient.

Example 4.4.2 We use the definition of the derivative to find the derivative of f (x) 5√x 1. = + Multiplying both the numerator and the denominator of the difference quotient by the conjugate square root function and then simplifying yields the following calculation. 5√x h 1 5√x 1 f 0(x) lim + + − + = h 0 h → 5√x h 1 5√x 1 5√x h 1 5√x 1 lim + + − + + + + + = h 0 h · 5√x h 1 5√x 1 → + + + + 25 (x h 1) (x 1) 5h lim [ + + − + ] lim = h 0 5h(√x h 1 √x 1) = h 0 h(√x h 1 √x 1) → + + + + → + + + + 5 = 2√x 1 + I

Question 4.4.1 Using the definition of the derivative, differentiate each function. 1 (a) f (x) 2x 1 (c) s(x) = + = x 5 1+ (b) g(x) 7x3 (d) t(x) = = 3√x I

While we can use the formal definition of the derivative to compute derivatives of a given function, theoretical applications of the definition are more important. Using the definition, we can prove general theorems that hold for all derivatives, making it easy to differentiate many familiar functions without explicitly applying the definition one function at at time. Many functions are so complicated in structure that directly using the difference quotient becomes unwieldy or impossible. The next theorem states analytic properties of derivatives to facilitate such computations. Using these results is a common exercise in calculus courses, but you may not have considered the underlying proofs that justify them. These proofs are the focus of the remainder of this section.

Theorem 4.4.1 If c R and both f and g are differentiable functions, then the following hold. ∈ d The constant rule: [ c ] 0 • dx = d The scalar multiple rule: [ c f (x) ] c f 0(x) • dx · = · Chapter 4 I Real Analysis 285

d The sum rule: [ f g ] f 0 g0 • dx + = + d The difference rule: [ f g ] f 0 g0 • dx − = −

d n n 1 The : x n x − , for n R • dx = · ∈ £ ¤ d The : [ f g ] g f 0 f g0 • dx · = · + · d f g f f g The : · 0 − · 0 , provided that g (x) 0 • dx ·g¸ = g2 6= d The : [ f (g(x)) ] f 0(g(x)) g0(x) • dx = ·

A standard goal of a calculus course is to develop a mastery in using these . Before diving into the proofs of various parts of this theorem, the next example provides the opportunity to revisit the skills you learned in calculus.

Question 4.4.2 Using theorem 4.4.1, differentiate each function. (a) f (x) 10 x3 7x2 5 (d) p(x) (x5 x) tan(2 x) = − + = + (b) g(x) √5x 2 (e) q(x) ln(4 x2 1) sin 2(5 x 3) = + = + · + cos (3 x 1) 5 √3 x (c) h(x) + (f) r(x) (2 x 3) 4e 6x = 5x2 2 = + + + I

The next three examples give the proofs of some of these differentiation rules. As in the study of limits and continuity, we first consider the scalar multiple and sum rules, and then discuss a couple of different approaches to proving the power rule.

Example 4.4.3 We prove the scalar multiple rule from theorem 4.4.1: For any constant c R and ∈ f ,

d [ c f (x) ] c f 0(x). dx · = · Proof Apply the definition of the derivative and the limit of a scalar multiple rule.

d c f (x h) c f (x) c f (x h) f (x) [ c f (x) ] lim · + − · lim · [ + − ] dx · = h 0 h = h 0 h → → f (x h) f (x) c lim + − c f 0(x) = · h 0 h = · → I

d Example 4.4.4 We prove the sum rule: If f and g are differentiable functions, then [ f g ] dx + = f 0(x) g0(x). + 286 A Transition to Advanced Mathematics

Proof Apply the definition of the derivative and the limit of a sum rule. d f (x h) g(x h) f (x) g(x) [ f g ] lim [ + + + ] − [ + ] dx + = h 0 h → f (x h) f (x) g(x h) g(x) lim [ + − ] + [ + − ] = h 0 h → f (x h) f (x) g(x h) g(x) lim + − lim + − f 0(x) g0(x) = h 0 h + h 0 h = + → → I

Example 4.4.5 We prove the power rule: If n R, then ∈ d n n 1 x n x − . dx = · £ ¤ Proof We prove the power rule in the case of the positive integers n N by using the ∈ to expand the term f (x h) (x h)n in the difference quotient + = + as follows:

n n n 1 n(n 1) n 2 2 n 1 n (x h) x n x − h − x − h n x h − h . + = + · · + 2 · · + · · · + · · + Applying the definition of the derivative, d (x h)n xn xn lim + − dx = h 0 h £ ¤ → n n 1 n(n 1) n 2 2 n 1 n n x n x − h − x − h n x h − h x lim [ + · · + 2 · · +···+ · · + ]− = h 0 h → n 1 n(n 1) n 2 2 n 1 n n x − h − x − h n x h − h lim · · + 2 · · +···+ · · + = h 0 h → n 1 n(n 1) n 2 n 2 n 1 h n x − − x − h n x h − h − lim ·[ · + 2 · · +···+ · · + ] = h 0 h → n 1 n(n 1) n 2 n 2 n 1 lim n x − − x − h n x h − h − = h 0 · + 2 · · +···+ · · + → n 1 n x − . = · Alternatively, the power rule for n N follows by induction (see exercise 67 ∈ d in section 3 .6). The definition of the derivative proves the base case x dx [ ] = 1 x0 1, and the product rule applies in the inductive step (for xn 1 xn x). · = + = · A complete proof of the power rule must consider arbitrary real numbers n R, not just positive integers n N. The power rule extends to the negative ∈ ∈ integers via the quotient rule, to rational powers via implicit differentiation, and to all real numbers via logarithmic differentiation. The details of such a complete proof are left for your later studies. I Chapter 4 I Real Analysis 287

Question 4.4.3 The following steps outline a proof of the quotient rule: If f (x), g(x) are differentiable functions with g(x) 0, then 6= d f (x) g(x) f (x) f (x) g (x) · 0 − · 0 . dx ·g(x)¸ = g(x)2 f (x) (a) What is the difference quotient for the function ? g(x) (b) Using the common denominator g(x) g(x h) h, simplify the difference · + · quotient from part (a). (c) In the numerator from part (b), subtract and add the term g(x) f (x). Now split · the fraction into a difference of two differences, gathering together the two terms with g(x) as a common factor and the two terms with f (x) as a common factor. (d) What is the limit of the difference of difference quotients from part (c) as h approaches 0? (e) Based on parts (a)–(d), craft a complete proof of the quotient rule as modeled in examples 4.4.3, 4.4.4, and 4.4.5. I

Question 4.4.4 The following steps outline a proof of the chain rule: If f (x), g(x) are differentiable functions, then d [ f g(x) ] f 0 g(x) g0(x). dx [ ] = [ ] ·

(a) What is the difference quotient h(t) h(x) − t x − (from the alternate definition of the derivative) for the function h(x) = f g(x) ? [ ] (b) Assuming there are no values x for which g(x) g(t), multiply both the = numerator and the denominator of the difference quotient from part (a) by g(t) g(x). Factor out the resulting difference quotient for g(x). − (c) Take the limit of the product of difference quotients from part (b) as t approaches x to obtain the chain rule formula. (d) Based on parts (a)–(d), craft a proof of the chain rule under the assumption that g(x) g(t) as modeled in examples 4.4.3, 4.4.4, and 4.4.5. 6= The assumption that there are no values for which g(x) equals g(t) may be unreasonable; a complete proof of the chain rule that does not use this assumption is outlined in exercises 67–70 at the end of this section. I

We end this section by considering the relationship between two of the most sig- nificant properties of functions studied in this chapter: continuity and differentiability. Some properties of functions are completely independent of one another, as we saw in our discussion of one-to-one and onto functions; some functions are both, some are neither, while still others have just one of these properties. This observation leads us 288 A Transition to Advanced Mathematics

to ask if continuity and differentiability are independent of one another, or is there a between these two properties? As you may recall, every differentiable function is continuous, but not every is differentiable. We consider the theorem and its proof, along with a counterexample that together justify these assertions.

Theorem 4.4.2 If a function f with domain D is differentiable at a (b, c) D, then f is continuous ∈ ⊆ at a. Proof By the alternate definition of the derivative, given any ε > 0, there exists a value δ > 0 so that f (x) f (a) − f 0(a) < ε ¯ x a − ¯ ¯ ¯ ¯ − ¯ whenever 0 < x a <¯ δ . Multiplying both¯ sides by x a , we see that | − | | − | f (x) f (a) f 0(a)( x a) < ε x a . | − − − | | − | Applying the second inequality ( x y x y ) from theorem 4.3.3 in | | − | | ≤ | − | section 4 .3, we have

f (x) f (a) f 0(a)( x a) f (x) f (a) f 0(a)( x a) . | − | − | − | ≤ | − − − | This fact implies f (x) f (a) < f 0(a)( x a) ε x a , and so | − | | − | + | − | f (x) f (a) < ( f 0(a) ε) x a . | − | | | + · | − | The term on the right can be made arbitrarily small: we restrict values of x in that term so that x a is smaller than both δ (so that the first inequality holds) and | − | ε/ ( f 0(a) ε). Then f (x) f (a) < ε , which proves the result. | | + | − | I

Theorem 4.4.2 asserts that every differentiable function is continuous. Are there continuous functions that are not differentiable? Perhaps you can recall from calculus examples of continuous functions that are not differentiable. The next example provides one such counterexample.

Example 4.4.6 We discuss the continuity and differentiability of f (x) x at x 0. = | | = We can show that y x is continuous at x 0, using the definition. Let = | | = ε > 0 and choose δ ε. For any x such that x 0 < δ , the following string of = | − | relations holds: f (x) f (0) x 0 x x < ε. | − | = || | − | || = || || = | | By the definition of continuity, x is continuous at x 0. | | = On the other hand, we can show that x is not differentiable at x 0, using the | | = alternate definition of the derivative. The difference quotient for f (x) at x 0 is = f (x) f (0) x 0 x − | | − | | | |. x 0 = x = x − Taking the limit of this difference quotient as x approaches 0, x x lim | | 1 and lim | | 1. x 0 x = − x 0 x = → − → + Chapter 4 I Real Analysis 289

Therefore the limit f (x) f (0) lim − x 0 x 0 → − does not exist, and f (x) x is not differentiable at x 0. = | | = I

Question 4.4.5 Give an example of a continuous function that is not differentiable at the following points: (a) x 1 (c) x n π, for every n Z = = · ∈ (b) both x 1 and x 1 (d) x 2n, for every n Z = = − = ∈ I

These results show that (intuitively speaking) it is “more difficult” for a function to be differentiable than continuous. From an informal, graphical perspective, this fact is quite natural; at a point of discontinuity for a graph, we cannot draw a unique tangent line. The results also provide another reason for the importance of studying continuity: the functions that are the most “well behaved” from the perspective of are continuous. Section 4 .6 will identify an important connection between continuity and Riemann integrability. The derivative has transformed the way mathematicians think about functions. Many questions about mathematical objects and our real-world can be phrased in terms of the derivative’s measure of change. In this way, the development of the derivative set the stage for much of the last three centuries of investigations into function theory. From your calculus courses, you know that these investigations include finding maxima and minima, and determining increasing and decreasing sections of curves, concavity, and points of inflection, as well as the construction of power . In summary, the derivative flows through function theory in a useful and meaningful way.

4.4.1 Reading Questions for Section 4.4 1. Define and give an example of the slope of a line. 2. Describe an intuitive motivation for the definition of the derivative in terms of secant lines and tangent lines to a curve. 3. State the definition of the derivative f 0(x). 4. State the alternative definition of the derivative f 0(x). 5. Give an example of a differentiable function. 6. What is the distinction between a function being differentiable at a point x c = and a function being differentiable? 7. State theorem 4.4.1. How is this result helpful when studying derivatives? 8. Give an example of each differentiation rule stated in theorem 4.4.1. 9. Define and give an example of a conjugate square root function. 10. State the binomial theorem. How is this result helpful when studying derivatives? 11. Discuss the relationship between continuity and differentiability. 12. Give two examples of functions that are continuous, but not differentiable. 290 A Transition to Advanced Mathematics

4.4.2 Exercises for Section 4.4 In exercises 1–6, express the slope of a secant line to each function for the designated x-coordinates as a difference quotient, and sketch the corresponding graph. 1. f (x) x2 2 at x 3 and x 4 4. f (x) x3 at x 0 and x 1 = + = = = = = 2. f (x) x2 2 at x 3 and 5. f (x) x3 at x 0 and = + = = = x 3.01 x 0.01 = = 3. f (x) x2 2 at x 3 and 6. f (x) x3 at x 0 and = + = = = x 3.0001 x 0.0001 = = In exercises 7–18, use the definition of the derivative to compute the derivative (if it exists) of each function. 7. f (x) 2x 3 14. s(x) √x = + = 8. g(x) 3x 5 15. t(x) √2x 2 = − = + 9. h(x) x2 1 1 = + 16. u(x) 2 = √x 7 10. j(x) x x + = + 4x if x 2 11. p(x) 1/x 17. v(x) ≤ = 2x2 if x > 2 1 = ½ 12. q(x) x 4x 3 if x 2 = 1 18. w(x) + ≤ +1 = ½ 2x2 if x > 2 13. r(x) = x 3 − In exercises 19–28, compute the derivative of each function using the analytic differentiation rules from theorem 4.4.1, along with your recollection of the derivatives of functions from calculus. 19. f (x) (x9 x6)37 25. f (x) log (cot(2 x)) = + = 3 20. f (x) (x x 1)4 26. f (x) ln( x2 2) log (csc( x) = + − = + · 5 + 21. f (x) (3 x2 √6x 5 4) 2x) = + + − · (2 x 1/x) 27. f (x) (k x5 2x)√3 x, where + = · + 22. f (x) (x2 1) 3 (5 x3 2x)2 1 k R = + · + + ∈ 3n 5 3 p 1 23. f (x) sin (x 2x) 28. f (x) √3x2 2x , = + = µ + + kx ¶ 24. f (x) ln( x) cos(2 x 7) where k, n R = · + ∈ In exercises 29–34, determine the exact value of h0(3 π/ 4) and state the equation of the line tangent to h(x) at x 3π/ 4 using the information in the following table. =

f (x) f 0(x) g(x) g0(x) x 3π/ 4 4 2 5 3 =

29. h(x) 7 f (x) sec( x) π 3 32. h(x) tan( x) π cot 2(g(x)) = · − + = + · 30. h(x) g(x) cos( x) 33. h(x) sin π f (x) cos π g(x) = · = [ · ]+ [ · ] g(x) x f (x) x2 31. h(x) + 34. h(x) = f (x) 2 = x − g(x) + Chapter 4 I Real Analysis 291

In exercises 35–38, answer each question about f (x) √x. = 35. Using the definition of the derivative, find f 0(x). 36. Using the power rule, find f 0(x). 37. Determine the equation of the tangent line to f (x) √x at (9 , 3). = 38. Determine the equation of the tangent line to f (x) √x that is perpendicular = to the line determined by 2 y 8x 16. + = Exercises 39–43 develop a proof that the derivative of sin θ is cos θ. 39. Prove that sin θ cos θ < θ < tan θ. · Hint: Compare the areas of the three nested regions in figure 4.14 and use the fact that a pie-shaped sector of the unit circle with central angle θ (in ) has an area of θ/ 2. 40. Identify upper and lower bounds on sin θ/θ using the inequalities from exercise 39. Hint: Divide by sin θ and take reciprocals. 41. Prove that lim sin θ/θ 1. θ 0 = Hint: Apply→ the squeeze theorem (see theorem 4.3.4 from section 4 .3) to the inequalities from exercise 40. 42. Prove that lim (1 cos θ)/θ 0. θ 0 − = Hint: Multiply→ both the numerator and the denominator by 1 cos θ and + then use both the Pythagorean identity sin 2 θ cos 2 θ 1 and the limit from + = exercises 41. 43. Prove that the derivative of sin θ is cos θ. Hint: Working with the definition of the derivative, simplify the resulting difference quotient using the limits from exercises 41 and 42 along with the trigonometric identity sin( u v) sin u cos v sin v cos u. + = + In exercises 44–48, derive the formulas for the derivative of the other ; all but exercise 44 use the quotient rule. 44. Prove that the derivative of cos θ is sin θ. − Hint: Use the cofunction identity cos x sin( π/ 2 x) and the derivative from = − exercises 43.

(1, tan q) (cos q, sin q)

q Figure 4.14 Figure for exercise 39 (0,0) (1,0) 292 A Transition to Advanced Mathematics

45. Prove that the derivative of tan θ is sec 2 θ. 46. Prove that the derivative of cot θ is csc 2 θ. − 47. Prove that the derivative of sec θ is sec θ tan θ. 48. Prove that the derivative of csc θ is csc θ cot θ. − In exercises 51–66, prove each mathematical statement about derivatives. 49. The derivative of a differentiable function is unique. Hint: See the unique limit theorem (theorem 4.3.1 from section 4 .3). 50. The two definitions of the derivative are equivalent. Hint: Let h a x. = − 51. The constant rule from theorem 4.4.1. 52. The difference rule from theorem 4.4.1. 53. The product rule from theorem 4.4.1. Hint: Add and subtract f (x h) g(x) + · in the numerator of the difference quotient for f (x) g(x). · 54. The quotient rule from theorem 4.4.1. Hint: See question 4.4.3. 55. The chain rule from theorem 4.4.1. Hint: See question 4.4.4. 56. Every is differentiable. 57. The derivative of a polynomial of degree n is a polynomial of degree n 1. − 58. The derivative of an even function is odd; that is, if f (x) f ( x), then f (x) = − 0 = f ( x). − 0 − 59. If f is a differentiable function on an ( x h, x h) for some h R, − + ∈ then the derivative f 0(x) equals lim h 0 f 0(x h). Hint: Apply L’Hôpital’s rule → + from calculus to the limit of the difference quotient. 60. Appling the alternative definition of the derivative at x 0, the following = function is not differentiable at x 0. = 1 x sin if x 0 f (x)  · · x ¸ 6= =  0 if x 0 =  61. The function f (x) defined as follows has derivative f (0) 0. 0 =

1 x2 sin if x 0 f (x)  · · x ¸ 6= =  0 if x 0 =  62. For every k R, the function f (x) defined as follows has derivative f (0) 0. ∈ 0 =

k x2 if x Q f (x) · ∈ = ½ 0 if x Q 6∈

63. If a function f is differentiable on ( b, c) and f (a) 0 for a (b, c), then it is 0 = ∈ not necessarily true that either a relative maximum or relative minimum for f occurs at x a. = 64. If f and g are differentiable functions on ( a, b) with the same derivative, then f (x) g(x) is a constant for any x (a, b). − ∈ Chapter 4 I Real Analysis 293

65. If f and g are differentiable functions on ( a, b) with f g a constant, then f − and g have the same derivative at any x (a, b). ∈ 66. Define a function f that is nowhere differentiable, while f 2 is everywhere differentiable. Hint: Consider a variation on the characteristic function of Q. Exercises 67–70 develop a proof of the chain rule in a fuller generality than was discussed in question 4.4.4. Throughout these exercises assume that g(x) is differentiable at a point x a and that f (x) is differentiable at g(a). = 67. Prove that the following function F is continuous at h 0; intuitively, we = think of F as the derivative of f with respect to t g(a). = f g(a) h f g(a) [ + ] − [ ] if h 0 f (h)  h 6= =  f g(a) if h 0 0[ ] = 68. Prove that f g(a) h f g(a) h F(h) for sufficiently small values of h [ + ] = [ ] + · by taking the limit of these two expressions as h approaches 0. 69. In a parallel way, we can define a function G so that G(0) g (a) and g(a = 0 + k) g(a) k G(k) for sufficiently small values of k. Use this fact, the = + · result from exercise 68, and the choice of h g(a k) g(a) k G(k) to = + − = · prove that: f g(a) h f g(a k) and h F(h) k G(k) F(k G(k)) . [ + ] = [ + ] · = · · · 70. Using the two equations obtained in exercise 69, substitute the first equation into the second to prove that f g(a k) f g(a) k G(k) F(k G(k)) . [ + ] = [ ] + · · · The last term on the right is continuous at 0 based on the definitions of F and G. Subtract f g(a) on both sides of this equation, divide both sides by k and [ ] take the limit as k approaches 0 to obtain the chain rule.

4.5 Understanding Infinity

The notion of infinity has been an important element in many cultures’ attempts to understand life: people refer to eternal time; an eternal spiritual afterlife; a boundless ; an all-powerful deity. Mathematics has a unique and important perspective on infinity; the insights arising from mathematics’rigorous, logical approach to infinity have had an important influence on Western society’s view of the world. But many advanced mathematical results on infinity (especially those that grew out of ’s work in the late 1860s) are not widely known. In this section, we explore a mathematical understanding of the infinite. We have already taken the first steps in this direction in our study of limits. One major breakthrough in the development of calculus is the harnessing of infinity in the very specific and powerful way expressed by the notion of limit to obtain the derivative (and the as discussed in section 4 .6).As mathematicians developed and refined their understanding of limits, derivatives, and in the eighteenth and nineteenth