Professional Documents
Culture Documents
AND
T ECHNIQUES
OF
C ALCULUS
C ONTENTS
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
15
15
15
18
22
28
31
33
37
41
41
43
45
48
49
49
51
60
61
61
61
61
61
62
62
CONTENTS
1.3
1.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
62
63
63
63
64
64
64
65
66
66
66
67
67
68
68
68
68
70
70
70
70
70
70
70
71
71
71
71
71
72
72
72
73
73
73
73
73
74
74
74
74
75
75
75
75
75
CONTENTS
1.5
5
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
76
76
76
76
76
77
77
77
78
78
78
78
79
79
79
79
79
80
81
81
81
82
82
82
83
84
85
86
86
87
88
88
89
90
91
91
93
93
95
95
95
98
6
2
CONTENTS
Trigonometry
2.1 Definitions and Results . . . . . . . . . . . . . . . . . . . . .
2.1.1 Plane Angles . . . . . . . . . . . . . . . . . . . . . .
2.1.2 Geometric Definition of Trigonometric Functions . . .
2.1.3 Circular Functions . . . . . . . . . . . . . . . . . . .
2.1.4 Trigonometric Identities . . . . . . . . . . . . . . . .
2.1.5 Taylor Series Expansions of Trigonometric Functions
2.1.6 The Laws of Sines and Cosines . . . . . . . . . . . .
2.1.7 Inverse Trigonometric Functions . . . . . . . . . . . .
2.1.8 Hyperbolic Functions . . . . . . . . . . . . . . . . .
2.1.9 Hyperbolic Identities . . . . . . . . . . . . . . . . . .
2.1.10 Derivatives of Hyperbolic Functions . . . . . . . . . .
2.1.11 Integrals of Hyperbolic Functions . . . . . . . . . . .
2.1.12 Taylor/Laurent Series Expansions of
Hyperbolic Functions . . . . . . . . . . . . . . . . .
2.1.13 Inverse Hyperbolic Functions . . . . . . . . . . . . .
2.2 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2.1 Simplifying Trigonometric Expressions . . . . . . . .
2.2.2 Sum and Difference Formulas for Sine and Cosine . .
2.2.3 Pythagorean Identities . . . . . . . . . . . . . . . . .
2.2.4 Double and Half Angle Formulas . . . . . . . . . . .
2.2.5 The Laws of Sines and Cosines . . . . . . . . . . . .
2.2.6 Special Values of Trigonometric Functions . . . . . .
2.2.7 Simplify Trigonometric Expression
Involving Inverse Trigonometric Functions . . . . . .
2.2.8 Graphing Trigonometric Functions . . . . . . . . . .
2.2.9 Trigonometric Equations . . . . . . . . . . . . . . . .
2.2.10 Converting Cartesian into Polar Coordinates . . . . .
2.2.11 Converting Polar into Cartesian Coordinates . . . . .
2.2.12 Hyperbolic Functions . . . . . . . . . . . . . . . . .
2.2.13 Hyperbolic Identies . . . . . . . . . . . . . . . . . .
2.3 Hints to the Exercises . . . . . . . . . . . . . . . . . . . . .
2.3.1 Simplifying Trigonometric Expressions . . . . . . . .
2.3.2 Sum and Difference Formulas for Sine and Cosine . .
2.3.3 Pythagorean Identities . . . . . . . . . . . . . . . . .
2.3.4 Double and Half Angle Formulas . . . . . . . . . . .
2.3.5 The Laws of Sines and Cosines . . . . . . . . . . . .
2.3.6 Special Values of Trigonometric Functions . . . . . .
2.3.7 Simplify Trigonometric Expression
Involving Inverse Trigonometric Functions . . . . . .
2.3.8 Graphing Trigonometric Functions . . . . . . . . . .
2.3.9 Trigonometric Equations . . . . . . . . . . . . . . . .
2.3.10 Converting Cartesian into Polar Coordinates . . . . .
2.3.11 Converting Polar into Cartesian Coordinates . . . . .
2.3.12 Hyperbolic Functions . . . . . . . . . . . . . . . . .
2.3.13 Hyperbolic Identies . . . . . . . . . . . . . . . . . .
101
101
101
102
103
106
109
110
111
112
113
114
115
116
117
118
118
118
119
119
119
120
120
120
121
121
121
122
122
123
123
123
123
124
124
124
124
124
124
125
125
125
125
CONTENTS
2.4
2.5
Differential Calculus
3.1 Definitions and Results . . . . . . . . . . . . . . .
3.1.1 Limits of Functions . . . . . . . . . . . . .
3.1.2 Techniques for Computing Limits . . . . .
3.1.3 Extrema . . . . . . . . . . . . . . . . . . .
3.1.4 Continuity . . . . . . . . . . . . . . . . .
3.1.5 Differentiability . . . . . . . . . . . . . .
3.1.6 Applications of Differential Calculus . . .
3.2 Exercises . . . . . . . . . . . . . . . . . . . . . .
3.2.1 Two-Sided Limits . . . . . . . . . . . . .
3.2.2 One-Sided Limits . . . . . . . . . . . . . .
3.2.3 Limits at Infinity . . . . . . . . . . . . . .
3.2.4 Squeeze Play . . . . . . . . . . . . . . . .
3.2.5 LHopitals Rule . . . . . . . . . . . . . .
3.2.6 Continuity, Removable Dicontinuities, etc.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
126
126
126
126
127
127
127
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
128
128
129
129
130
130
130
131
131
133
134
134
135
137
.
.
.
.
.
.
.
.
.
.
.
.
.
.
137
137
137
138
138
139
139
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
141
141
141
145
149
150
152
155
157
157
157
158
158
159
159
CONTENTS
8
3.2.7
3.2.8
3.2.9
3.2.10
3.2.11
3.2.12
3.3
3.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
161
161
162
163
163
164
164
164
165
165
166
166
167
167
167
168
169
169
169
169
170
170
170
170
171
171
171
171
171
171
172
172
172
172
172
173
173
173
174
175
175
175
175
175
175
176
CONTENTS
3.4.7
3.4.8
3.4.9
3.4.10
3.4.11
3.4.12
3.5
Integral Calculus
4.1 Definitions and Results . . . . . . . . . . . . .
4.1.1 Definition of the Riemann Integral . . .
4.1.2 Estimating Definite Integrals . . . . . .
4.1.3 Properties of the Definite Integral . . .
4.1.4 The Fundamental Theorem of Calculus
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
176
176
176
177
177
178
178
178
179
179
180
180
181
183
183
185
186
186
190
190
191
191
192
194
194
194
194
196
197
197
197
197
197
197
197
201
202
202
202
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
205
205
205
208
210
212
CONTENTS
10
4.1.5
4.1.6
4.1.7
4.1.8
4.2
4.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
214
216
217
220
220
221
224
226
227
228
229
233
233
233
234
235
235
235
236
238
239
240
240
240
240
241
241
241
242
242
242
243
243
243
243
244
244
244
244
244
245
245
245
245
246
246
CONTENTS
4.4
Integration by Substitution . . . . . . . . . . . .
Integration by parts: . . . . . . . . . . . . . . .
Trigonometric integrals: . . . . . . . . . . . . .
Partial fractions: . . . . . . . . . . . . . . . . .
Improper integrals: . . . . . . . . . . . . . . . .
4.3.2 Applications of Integration . . . . . . . . . . . .
Area between two curves . . . . . . . . . . . . .
Volume by slicing . . . . . . . . . . . . . . . .
Volume by shells: . . . . . . . . . . . . . . . . .
Arc length: . . . . . . . . . . . . . . . . . . . .
Surface area: . . . . . . . . . . . . . . . . . . .
Mass from density: . . . . . . . . . . . . . . . .
Center of mass and centroid: . . . . . . . . . . .
Fluid pressure: . . . . . . . . . . . . . . . . . .
Work: . . . . . . . . . . . . . . . . . . . . . . .
4.3.3 Parametric Curves: . . . . . . . . . . . . . . . .
Converting Parametric Curves . . . . . . . . . .
Parametrizing Curves . . . . . . . . . . . . . . .
The Slope of Parametric Curves . . . . . . . . .
Arc Length of Parametric Curves . . . . . . . .
4.3.4 Polar Coordinates: . . . . . . . . . . . . . . . .
Converting Equations into Polar Coordinates . .
Converting Equations into Cartesian Coordinates
Graphs of Polar Curves . . . . . . . . . . . . . .
Area in Polar Coordinates . . . . . . . . . . . .
Slope of Polar Curves . . . . . . . . . . . . . .
Arc Length of Polar Curves . . . . . . . . . . .
Answers to the Exercises . . . . . . . . . . . . . . . . .
4.4.1 Evaluating Integrals . . . . . . . . . . . . . . .
Integration by Substitution . . . . . . . . . . . .
Integration by parts: . . . . . . . . . . . . . . .
Trigonometric integrals: . . . . . . . . . . . . .
Partial fractions: . . . . . . . . . . . . . . . . .
Improper integrals: . . . . . . . . . . . . . . . .
4.4.2 Applications of Integration . . . . . . . . . . . .
Area between two curves . . . . . . . . . . . . .
Volume by slicing . . . . . . . . . . . . . . . .
Volume by shells: . . . . . . . . . . . . . . . . .
Arc length: . . . . . . . . . . . . . . . . . . . .
Surface area: . . . . . . . . . . . . . . . . . . .
Mass from density: . . . . . . . . . . . . . . . .
Center of mass and centroid: . . . . . . . . . . .
Fluid pressure: . . . . . . . . . . . . . . . . . .
Work: . . . . . . . . . . . . . . . . . . . . . . .
4.4.3 Parametric Curves: . . . . . . . . . . . . . . . .
Converting Parametric Curves . . . . . . . . . .
11
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
246
246
247
247
247
248
248
248
248
248
248
248
248
248
248
248
248
248
248
248
248
248
249
249
249
249
249
250
250
250
251
252
253
253
254
254
254
254
254
254
254
254
254
254
254
254
CONTENTS
12
4.5
Parametrizing Curves . . . . . . . . . . . . . . .
The Slope of Parametric Curves . . . . . . . . .
Arc Length of Parametric Curves . . . . . . . .
4.4.4 Polar Coordinates: . . . . . . . . . . . . . . . .
Converting Equations into Polar Coordinates . .
Converting Equations into Cartesian Coordinates
Graphs of Polar Curves . . . . . . . . . . . . . .
Area in Polar Coordinates . . . . . . . . . . . .
Slope of Polar Curves . . . . . . . . . . . . . .
Arc Length of Polar Curves . . . . . . . . . . .
Solutions to Selected Exercises . . . . . . . . . . . . .
4.5.1 Evaluating Integrals . . . . . . . . . . . . . . .
Integration by Substitution . . . . . . . . . . . .
Integration by parts: . . . . . . . . . . . . . . .
Trigonometric integrals: . . . . . . . . . . . . .
Partial fractions: . . . . . . . . . . . . . . . . .
Improper integrals: . . . . . . . . . . . . . . . .
4.5.2 Applications of Integration . . . . . . . . . . . .
Area between two curves . . . . . . . . . . . . .
Volume by slicing . . . . . . . . . . . . . . . .
Volume by shells: . . . . . . . . . . . . . . . . .
Arc length: . . . . . . . . . . . . . . . . . . . .
Surface area: . . . . . . . . . . . . . . . . . . .
Mass from density: . . . . . . . . . . . . . . . .
Center of mass and centroid: . . . . . . . . . . .
Fluid pressure: . . . . . . . . . . . . . . . . . .
Work: . . . . . . . . . . . . . . . . . . . . . . .
4.5.3 Parametric Curves: . . . . . . . . . . . . . . . .
Converting Parametric Curves . . . . . . . . . .
Parametrizing Curves . . . . . . . . . . . . . . .
The Slope of Parametric Curves . . . . . . . . .
Arc Length of Parametric Curves . . . . . . . .
4.5.4 Polar Coordinates: . . . . . . . . . . . . . . . .
Converting Equations into Polar Coordinates . .
Converting Equations into Cartesian Coordinates
Graphs of Polar Curves . . . . . . . . . . . . . .
Area in Polar Coordinates . . . . . . . . . . . .
Slope of Polar Curves . . . . . . . . . . . . . .
Arc Length of Polar Curves . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
254
254
254
254
254
255
255
255
255
255
256
256
256
259
260
264
264
264
264
264
264
264
264
264
264
264
264
264
264
265
265
265
265
265
265
265
265
265
265
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
267
267
267
270
271
273
CONTENTS
5.2
5.3
Index
13
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
275
278
278
278
278
279
279
280
280
281
282
282
283
283
284
284
284
286
286
286
286
287
287
287
287
288
288
288
288
288
288
289
289
290
14
CONTENTS
1
BASIC
T ECHNIQUES OF
A LGEBRA
Figure 1.1:
16
Although this is not a valid definition (since it just replaces the name set by
the equally undefined name collection), it it is sufficient for our purpose.
For us a set S is well-defined if for each object x it can be decided whether
it is an element of S, which we will denote by x S, or whether it is not an
element of S, which will be expressed by x 6 S.
We can describe a set S by listing its elements in the following way between
curly parenthesis: for instance:
S = {x1 , x2 , . . . , xn },
Figure 1.2: Venn Diagram of a Set.
The figure shows the Venn-diagram
of the set S containing the elements
x1 , x2 , . . . , xn . The elements of the set
are enclosed by a curve separating the elements belonging to the set from those that
do not belong to the set. Here, for instance,
the elements y1 , y2 , . . . , ym do not belong
to the set S.
Often it is more convenient not to represent the elements of the set by dots, but to
let the region inside the curve represent the
elements of the set, while the region outside represents the elements that do not belong to the set.
(1.1)
(1.2)
Thus S is the set of all those elements that satisfy the property P . This way
of defining sets is often referred to as the set-builder or descriptive form. If
all elements belong to some bigger set N from which they are selected by the
property P , we simply write
S = {x N | x has the property P }.
Definition 1.2 (Empty Set)
The unique set := {x | x 6= x} which does not contain any element is
called the empty set.
Example 1.1
1. R := {x | x is a real number}
This is the set of all real numbers, which is usually denoted by the
blackboard bold version of the letter R. The symbol := (equal by
definition) indicates that the expression on the left (where the colon is)
is defined by the expression on the right.
2. N := {n | n is a natural number} = {1, 2, 3, . . .}.
3. N0 := {n | n is a natural number or n = 0} = {0, 1, 2, 3, . . .}.
4. Z := {z | z is an integer} = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.
5. Q := {x | x is a rational number} = { pq | p Z and q N}.
6. C := {z | z is a complex number} = {x + yi | x, y R}.
17
18
The following useful statements concerning the inclusion can be easily established. We list them as
Lemma 1.1 (Properties of )
If M , N , and L are sets then the following statements hold:
1. If M N and N M then M = N .
2. If M N and N L then M L.
(anti-symmetric)
(transitive)
To verify the correctness of these statements, we have to show that they follow from the definitions of = and , respectively. We include the simple
proof as an easy example for mathematical reasoning.
Figure 1.4: Intersection Set.
The intersection A B of the sets A and B
is represented by the dark region common
to both light regions representing the sets
A and B.
A B := {x | x A and x B}
is called the intersection of A and B. If A B = , the sets A and B are
called disjoint.
Definition 1.7 (Union)
If A and B are sets then the set
A\B
A B := {x | x A or x B}
A \ B := {x | x A and x 6 B}
is called the difference of A and B. A \ B is usually read as A without B.
19
n
Y
k=1
Ak := {(a1 , . . . , an ) | ak Ak , k = 1, . . . , n}
product
set
Example 1.4
Let A := {1, 2, 3, 4} and B := {2, 5} then
A B = {2},
A B = {1, 2, 3, 4, 5},
A \ B = {1, 3, 4},
A B = {(1, 2), (2, 2), (3, 2), (4, 2), (1, 5), (2, 5), (3, 5), (4, 5)}
and
B A = {(2, 1), (2, 2), (2, 3), (2, 4), (5, 1), (5, 2), (5, 3), (5, 4)}
Remark 1.1
Note that the Cartesian product, in general, is not commutative, as the previous
example illustrates.
Example 1.5
Let A := (1, 5] and B := [2, 5], then
A B = (1, 5] [2, 5] = {(x, y) | 1 < x 5 and 2 y 5}
Example 1.6
The sets
R2 = {(x, y) | x, y R},
R3 = {(x, y, z) | x, y, z R},
or more general,
Rn = {(x1 , x2 , . . . , xn ) | x1 , . . . , xn R}
20
represent the Euclidean plane, the 3-dimensional Euclidean space and the ndimensional Euclidean space, respectively.
Some important properties of the set operations introduced above are listed
for easy reference in the following
Lemma 1.2 (Algebraic Properties of , and \)
For sets M , N , and L the following properties hold:
1. M N = N M and M N = N M
(commutativity)
2. M (N L) = (M N ) L
M (N L) = (M N ) L
(associativity)
3. M (N L) = (M N ) (M L)
M (N L) = (M N ) (M L)
4. M \ (N L) = (M \ N ) (M \ L)
M \ (N L) = (M \ N ) (M \ L)
(distributive law)
(De Morgans rules)
21
If I = {1, . . . , n} we write
for the union.
Tn
i=1 Si instead of
iI
2. S \
iI
Si
iI
(S \ Si ).
22
Functions
This is done with the understanding that the domain is the largest subset of Rn
for which the term f (x1 , . . . , xn ) is defined, and that the codomain is R.
Example 1.9
Let S = T = R, and let f : R R be the map defined by f (x) := x2 for
23
all x R. We can also express this by saying that f is the map from R into R
such that x 7 x2 for all x R. The image of f is the interval [0, ).
Example 1.10
Find the domain and range of the function
f (x) =
S OLUTION :
for which
x2
9 x2
.
3x + 2
9 x2
9 x2
9 x2
=
=
f (x) = 2
2
x 3x + 2
(x 2)(x 1)
x 32
1
4
3
f 2 =
= 6 3.
1
4
Hence, again by the Intermediate-value Theorem, the
range of the restriction
of f to the interval (1, 2) is given by the interval [6 3, ).
24
Finally, consider the interval (2, 3]. Clearly, f (x) 0 for all x (2, 3],
f (3) = 0 and limx2+ = , as can be easily verified. Hence, again by the
Intermediate-value Theorem, the range of the restriction of f to the interval
(2, 3] is [0, ).
The range of f on its total domain Df = [3, 1)(1, 2)(2, 3] is therefore
the union of the ranges of the restrictions of f . Hence
= [6 3, ) [0, ).
Remark 1.3
Recall the following geometric formulation of Definition 1.13, called the horizontal line test: Suppose S, T R. Then the function f : S T is injective,
if any horizontal line (line parallel to the x-axis) intersects the graph of f in at
most one point.
Example 1.11
The map f (x) := x2 for all x R defined in the previous example is not
injective, since, for example f (1) = f (1). However, the map g : R R
defined by g(x) := x + 1 is injective, since x1 + 1 = x2 + 1 implies x1 = x2
for all x1 , x2 R.
Definition 1.14 (Surjective)
A map f : S T is called surjective or onto if its image f (S) = T , i.e. if
for any y T there exists an x S such that f (x) = y. Those elements
x S with f (x) = y are called inverse images of y.
Example 1.12
The map f (x) := x2 for all x R defined above is not surjective, since, for
example 1 does not have an inverse image. However, the map g : R R
defined by g(x) := x+1 is surjective, since for all y R we have y = g(y1).
25
f g(x) (x) = f (x + 1) = (x + 1)2
f g 6= g f.
Example 1.14
Suppose that
f (x) = ln(1 x)
and
g(x) = x2 .
Determine the domain of the composition f g of f and g.
S OLUTION :
Since ln is only defined for x > 0, the function f has the
domain Df = (, 1). g is defined on R. Thus, the domain of f g can only
contain those x R for which g(x) = x2 (, 1), ie. for which x2 < 1.
Hence, the domain of f g is given by
Df g = (1, 1).
26
Example 1.15
Let f (x) = x2 + 9x + 5. Determine whether f has an inverse. If so, find it.
S OLUTION :
Clearly, the function f : R R defined by
f (x) = x2 + 9x + 5 = x +
9 2
2
61
4
(note that its graph is a parabola!) is not injective (one-to-one), since, for
example,
f
1
2
=
=
=
9 2
61
2
4
2
5 61
=
(5)
61
4
4
19
9 2
61
2 +2 4 =f
1
2
2
19
2 .
yields
9 2
2
=x+
61
4
q
y + 9 = x +
2
61
4
27
and
y+
9
2
q
x+
61
4
since y [ 29 , ), implies y + 29 = y + 92 . Thus
y = 92 +
q
x+
61
4 .
is given by
1
f+
(x) = 92 +
q
x+
61
4
for x [ 61
4 , ).
1
We conclude by showing that f+
is indeed inverse to f on [ 29 , ): Let
9
x [ 2 , ) then
2
1
1
x + 29 61
f+ (x) = f+
f+
4
q
2
9
= 2 +
x + 92 61
4 +
9
9
= + x+
2
= 29 + x +
61
4
2
9
2
= x.
Conversely, let x [ 61
4 , ) then
q
f+ f 1 (x) = f+ 29 + x + 61
4
q
2
9
= 29 + x + 61
+
4
2
=x+
= x.
61
4
61
4
61
4
28
n
1
(1.5)
Example 1.16
1
2
3
4
1k
= = = = =
,
2
4
6
8
2k
3=
3
6
9
3k
= = =
1
2
3
k
for all k Z.
Definition 1.20 (Multiplication, Inverse)
Let a/b, c/d Q. Then their product (a/b) (c/d) is defined by
a c
ac
:=
b d
bd
(1.6)
1
a
b
b
a
(1.7)
provided c 6= 0.
Example 1.17
1
1. 21 = 12
=
1
2. 21
= 21 = 2
3. 3
5
6
3
1
5
6
4.
1
2
35
16
5
2
5.
2
3
5
6
2
3
2
3
2
3
4
1
(1.8)
6
5
2
3
4
5
1
4
1
6
29
(1.9)
or more general
a
c
ad
bc
ad + bc
+ :=
+
=
b
d
bd
bd
bd
(1.10)
a
a a
=
=
b
b
b
(1.11)
hence
a
c a c ad bc
=
= +
b
d b
d
bd
(1.12)
Adding the fractions (1.10) can usually be simplified by first finding the
least common denominator lcd(b, d) of b and d and then writing the the
two fractions with this lcd.
Example 1.18
Find the difference
7
5
14 60
S OLUTION :
1. Find the least common denominator (multiple) of 14 and 60:
14 = 21 30 50 71
60 = 22 31 51 70
hence
5
7
5 21 31 51
7 71
14
60
14 21 31 51
60 71
150
49
199
=
=
420
420
420
30
b
d
if and only if ad cb
(1.13)
Example 1.19
Order the following pairs of rational numbers:
(a) 12 , 34 , (b) 35 , 74 , (c) 53 , 76
S OLUTION : (a) 12 43 , since 1 4 = 4 6 = 2 3
3
4
(b) Recall that 53 = 3
5 . Hence 5 7 , since (3) 7 = 21 20 = 4 5
6
3
1. a a
(reflexive)
2. If a b and b a then a = b
(anti-symmetric)
3. If a b and b c then a c
(transitive)
4. a b or b a
5. satisfies the Monotony Laws: For all a, b, c Q,
(a) If a b then a + c b + c for all a, b Q.
(dichotomic)
31
(d) a b or b a
(reflexive)
(anti-symmetric)
(transitive)
(dichotomic)
32
= a2 2ab + b2
(a) If a + c = b + c then a = b
(b) If a c = b c then a = b, provided c 6= 0,
2. a 0 = 0 for all a R.
3. a b = 0 if and only if a = 0 or b = 0 for all a, b R.
4. Laws for the Inverse: Let a, b R, then
(a) a = (1) a
(a)
33
1
a
1
b
<
1
a
11. 0 < 1
Example 1.21
Find the solution set of the inequality |3x 1| < 2.
S OLUTION :
|3x 1| < 2 is equivalent to 2 < 3x 1 < 2. In order
to isolate x, we first apply Theorem 1.2:4(e)i and add 1 to each component
of the double-inequality, which implies 1 < 3x < 3. Applying 4(e)ii of
the same theorem and multiplying each component of the double-inequality by
1
1
3 , yields 3 < x < 1. The solution set of the given inequality is therefore
1
S := ( 3 , 1).
34
35
Example 1.24
Determine whether the set S := {(x + 1)/x | x (0, )} is bounded and
determine sup(S), inf(S) if they exist.
S OLUTION :
Clearly,
1
x+1
lim
= ,
= lim+ 1 +
x
x
x0+
x0
so that S is not bounded from above. Hence sup(S) does not exist. On the
other hand, S is bounded from below, for instance, by 1, which is the greatest
lower bound, i.e. inf(S) = 1. Note that 1 6 S. Therefore, min(S) does not
exist!
Suppose
m
2=
n
m2
n2
36
n
a
i.e. x =
or a1/n
n
a = a1/n .
P ROOF : (1) Uniqueness: Since 0 < x1 < x2 implies that 0 < xn1 < xn2 ,
there can at most be one such x.
(2) Existence: Consider the set
X := {t R | t > 0, tn < a}
(a) E 6= : consider t := a/(1+a). Clearly, 0 < t < 1, hence tn < t < a
and thus t E, i.e. E 6= .
(b) E is bounded from above: E is bounded by 1 + a. If t > 1 + a > 1
then tn > t > 1 + a > a, hence t 6 E.
Hence, by Theorem 1.3, sup(E) exists. Let
x := sup(E)
To verify that xn = a, show that both xn < a and xn > a lead to contradictions. Well omit this technical part of the proof.
37
an := a1 )n = an
1
The number a is called the base, while the number n is called the exponent
of the power.
Example 1.26
Find 53 and 53 .
S OLUTION :
53 = 5 5 5 = 125
1 1 1
53 =
5 5 5
1
1
=
=
555
125
This unique number r is called the principal n-th root of a and denoted by
1
n
a := a n := r.
38
S OLUTION :
51/5
2
=
=
2
51/5
1
52/5
1
52/5
53/5
1 53/5
=
= 15 53/5
3/5
5
5
k = 0, 1, . . . , n 1,
namely,
1
k = r n cos
1
= r n ei
+2k
n
2k
n
+ i sin
2k
n
Figure 1.17:
wk = 81/4 cos 41
for k = 0, 1, 2, 3, or explicitly
3
2
+ 2k + i sin 41
3
w0 = 81/4 cos 3
8 + i sin 8
7
w1 = 81/4 cos 7
8 + i sin 8
11
w2 = 81/4 cos 11
8 + i sin 8
15
w3 = 81/4 cos 15
8 + i sin 8
3
2
+ 2k
39
n
n
a m := m an = m a .
n
m
Q, we
Example 1.29
2
Find 8 3 !
S OLUTION :
By definition,
32
=8
2
3
3
= 82 =
r
3
1
=
82
r
3
1
1
= .
64
4
X
x2
x3
xn
=1+x+
+
+
n!
2!
3!
n=0
for all x R.
Example 1.30
2
Evaluate the power 3 !
S OLUTION :
2
3 = e 2 ln( 3)
40
1. ar as = ar+s
2.
1
ar
= ars = sr
s
a
a
3. ar br = (a b)r
a r
ar
4. r =
, b 6= 0
b
b
5. (ar )s = ars
(1) =
if n is even
1,
1, if n is odd
1. n 1 = 1, n 0 = 0
n
n
2. m an = m a = a m
3. n a n b = n a b
r
n
a
a
n
=
4.
n
b
b
p
p
5. n m a = m n a = nm a
n
6. n a = a
(
|a| if n is even
n
n
7. a =
a
if n is odd
41
if x 0,
if x < 0
3. |x + y| |x| + |y|
(triangle inequality)
Lemma 1.6
Suppose x, a, R and > 0, then
i.e.: n! = 1 2 3 (n 1) n
Example 1.31
Compute 3! and 4!.
S OLUTION :
3! = 1 2 3 = 6, 4! = 3! 4 = 6 4 = 24.
42
a
k
recursively
=
1
2
3
k
k
Example 1.32
Compute the binomial coefficients
2
k
and
3
k
for k = 0, 1, 2, 3.
S OLUTION :
2
=1
0
2
2
= =2
1
1
2 (2 1)
2
=
=1
2
1 2
3
=1
0
3
3
= =3
1
1
3 (3 1)
3
=
=3
2
1 2
3
3 (3 1) (3 2)
=1
=
1 2
3
3
Lemma 1.7
Let k, n N0 , then
n!
n
=
1.
, for k n.
k!(n k)!
k
n
n
=
, for k n.
2.
k
nk
n
n
n+1
+
=
, k n 1.
3.
k
k+1
k+1
n
4.
= 0, for k > n.
k
43
1
@
R
@
1
2
1
@
R @
@
R
@
3
3
1
1
@
R @
@
R @
@
R
@
4
6
4
The trianglular arrangment of the binomial coefficients nk suggested by the
recursion formula 3 allows
a systematic computation
of the binomial coeffi
cients starting with 00 = 1. The coefficients n0 = nn (n N0 ) forming
the sides of the triangle are all 1, while the coefficients in the interior are the
sum of the two binomial coefficients directly above as indicated by the arrows
in the diagram above.
k=0
in particular
(a + b)2 = a2 + 2ab + b2
(a + b)3 = a3 + 3a2 b + 3ab2 + b3
(a + b)4 = a4 + 4a3 b + 6a2 b2 + 4ab3 + b4
Example 1.33
Expand the binomials (a b)2 and (a b)3
S OLUTION :
2
(a b)2 = a + (b) = a2 + 2a(b) + (b)2 = a2 2ab + b2
Similarly
3
(a b)3 = a + (b) = a3 + 3a2 (b) + 3a(b)2 + (b)3
= a3 3a2 b + 3ab2 b3
44
Example 1.34
2
Expand the binomial expression 2x3 y z 2
S OLUTION :
2x3 y z 2
2
2
= 2x3 y + (z 2 ) = (2x3 y)2 + 2(2x3 y)(z 2 ) + (z 2 )2
= 22 (x3 )2 y 2 4x3 yz 2 + (z 2 )2 = 4x6 y 2 4x3 yz 2 + z 4
Remark 1.9
Note that a is half the coefficient of the linear term on the left side!
Example 1.35
Solve the quadratic equation x2 + 4x 7 = 0 by completing the square.
S OLUTION : 0 = x2 + 4x 7 = [x2 + 4x] 7 = [(x + 2)2 22 ] 7 =
(x + 2)2 11 which is equivalent to(x + 2)2 = 11. Taking the
square root
11
and
thus
x
+
2
=
11. Hence,
on both sides,
we
obtain
|x
+
2|
=
x = 2 11.
n1
X
an1k bk
k=0
in particular
a2 b2 = (a b)(a + b)
a3 b3 = (a b)(a2 + ab + b2 )
a4 b4 = (a b)(a3 + a2 b + ab2 + b3 )
45
2n+1
+b
2n+1
= (a + b)
2n
X
(1)k a2nk bk
k=0
in particular
a3 + b3 = (a + b)(a2 ab + b2 )
a5 + b5 = (a + b)(a4 a3 b
+ a2 b2 ab3 + b4 )
a7 + b7 = (a + b)(a6 a5 b + a4 b2
a3 b3 + a2 b4 ab5 + b6 )
Example 1.36
Sketch the graphs of the exponential functions
exp1/2 (x) :=
exp2 (x) :=2
exp4 (x) :=4
S OLUTION :
1 x
2
x
Figure 1.18:
Graphs of exp1/2 , exp2
and exp4
Note that expa is increasing for a > 1 and
decreasing for 0 < a < 1. Also note that
all exponential functions have y-intercept
y = 0.
46
1. expa (0) = 1
2. expa (x1 + x2 ) = expa (x1 ) expa (x2 )
3. expa (x1 ) = expa (x2 ) x1 = x2
i.e. expa is injective (one-to-one) and therefore invertible. Its inverse
is the logarithmic function loga .
4. If 0 < a < 1 then expa is decreasing
If a > 1 then expa is increasing.
5. expa has domain R
6. expa has range (0, )
Remark 1.10
Because of Theorem 1.12:1,2, expa (x) is usually written as ax . Therefore,
these equations can be written in the more familar form:
1. a0 = 1
2. ax1 +x2 = ax1 ax2
3. ax1 = ax2 x1 = x2
Definition 1.34 (Logarithmic Functions)
Let a R, a > 0, a 6= 1. The logarithmic function loga : (0, ) R with
base a is the inverse of the base-a exponential function expa : R R and is
implicitly defined by
loga (x) = y expa (y) = x
ay = x
for all x (0, ) and y R. The logarithm with base e, loge , is called the
natural logarithm and is usually denoted by ln
Example 1.37
Sketch the graphs of log2 and exp2 .
Figure 1.19:
S OLUTION :
47
2.
loga (x1 x2 )= loga (x1 ) + loga (x2 )
x1
loga
= loga (x1 ) loga (x2 )
x2
3. hloga xr = r log
i a (x)
r
loga a = r
loga ax = x x R
logb (x)
logb (a)
Example 1.38
Evaluate log6 5 correctly to nine decimal places.
S OLUTION :
ln 5
0.898 244 401 7
ln 6
48
1.1.10 Polynomials
Example 1.39
Classify the following polynomials and sketch their graph:
p1 (x) = x 3
p2 (x) = x2 + 3
2 x3 2
p3 (x) = 12 x5 21 x4 + 21 x3 + 6x2
Figure 1.20:
171
20 x
27
2
49
Linear Functions
Theorem 1.14 (Line Equations)
1. Slope of a line: If (x1 , y1 ) and (x2 , y2 ) are two points of a line and
if x1 6= x2 , then the slope m = m() of is defined by
m = m() =
y2 y1
y
=
x
x2 x1
50
S OLUTION :
y1
Example 1.41
Solve the quadratic equation x2 + 4x 7 = 0.
S OLUTION :
We first transform the quadratic function into standard form
using completing the square:
0 = x2 + 4x 7 = [x2 + 4x] 7 = [(x + 2)2 22 ] 7 = (x + 2)2 11
2
which is equivalent
the square root on both
sides, we
to (x + 2) = 11. Taking
b b2 4ac
.
x=
2a
Example 1.42
Rewrite the quadratic function p(x) = x2 6x + 7 in standard form, find its
line of symmetry, vertex and zeroes.
S OLUTION :
= (x 3)2 (3)2 + 7
= (x 3)2 2
Hence, x = 3 is the line of symmetry of p and (3, 2) its vertex. To find its
zeroes (x-intercepts), we solve
0 = p(x) = (x 3)2 2
Figure 1.21:
which is equivalent to
(x 3)2 = 2
51
x=3
2. x2 + (a + b)x + ab = (x + a)(x + b)
3. a1 a2 x2 + (a1 b2 + a2 b1 ) x + b1 b2 = (a1 x + b1 )(a2 x + b2 )
Lemma 1.10 (Differences of Powers)
For all x, a R and n N, we have
n
x a = (x a)
n1
X
xn1k ak
k=0
in particular
x2 a2 = (x a)(x + a)
x3 a3 = (x a)(x2 + xa + a2 )
x4 a4 = (x a)(x3 + x2 a + xa2 + a3 )
Lemma 1.11 (Sums of Powers)
For all x, a R and n N, we have
x2n+1 + a2n+1 = (x + a)
2n
X
(1)k x2nk ak
k=0
in particular
x3 + a3 = (x + a)(x2 xa + a2 )
x5 + a5 = (x + a)(x4 x3 a + x2 a2 xa3 + a4 )
x7 + a7 = (x + a)(x6 x5 a + x4 a2 x3 a3 + x2 a4 xa5 + a6 )
52
x + 2x 3
2x2
+
2x + 4x 5x2 + 3x
2x4 + 4x3 6x2
x2 + 3x
x2 + 2x
x +
1
2
2
3
1
We obtain
p(x)
}|
{
z
2x4 + 4x3 5x2 + 3x 2 =
=
(x2 + 2x 3)(2x2 + 1) + x + 1
|
{z
}| {z } | {z }
d(x)
q(x)
r(x)
6x2
6x 19x2
6x3 12x2
7x2
7x2
3
7x + 2
+ 16x 7
+ 16x
+ 14x
2x 7
2x 4
3
53
Thus
p(x)
z
}|
{
6x3 19x2 + 16x 7 =
= (x 2)(6x2 7x + 2) + (3)
| {z }|
{z
} | {z }
d(x)
q(x)
r(x)
as claimed.
Corollary 1.5 (The Factor Theorem)
Let p be a polynomial over C and C. Then
p() = 0 (x ) | p,
54
x0
an
an1
an2
...
x0 an
?
?
?
an
a1
a0
?
?
r
The vertical arrow represent addition of the column elements above the horizontal line, the diagonal arrows multiplication by x0 . After completion of the
algorithm, the entries in the bottom row of the diagram starting with an are the
coefficients of the quotient polynomial, the right most entry is the remainder r
which coincides with the function value of p at x0 : p(x0 ) = r.
Example 1.46 (Synthetic Division)
Divide the polynomial p(x) = 6x3 19x2 + 16x 7 by the polynomial
d(x) = x 2 using synthetic division.
S OLUTION :
2
6
19
16
12
14
?
?
?
?
6
Again, we obtain
p(x)
}|
{
z
6x3 19x2 + 16x 7 =
= (x 2)(6x2 7x + 2) + (3)
| {z }|
{z
} | {z }
d(x)
q(x)
r(x)
Note that the numbers in the bottom row of the synthetic division diagram
are the coefficients of the quotient polynomial in descending order, the right
most coefficient is the remainder which equals the value of the poylnomial p at
x0 = 3.
55
1
?
?
?
?
?
1
Let q0 (x) := x3 x2 + x 1 denote the quotient polynomial. Note that its
coefficients are given by the entries of the last row in the table above. Then
p(x) = (x 1)q0 (x).
Clearly, q0 (1) = 0. We devide q0 by (x 1) using synthetic division:
1
1
?
?
?
?
1
56
Let q1 (x) := x2 + 1 denote the quotient ploynomial. Again its coefficients can
be read of the last row of the synthetic division table. Hence
q0 (x) = (x 1)q1 (x)
and thus
p(x) = (x 1)q0 (x) = (x 1)(x 1)q1 (x)
= (x 1)2 (x2 + 1)
57
i.e the numerator divides the constant term and the denominator divides the
leading coefficient of p.
Example 1.49
Given the polynomial
p(x) = 6x3 4x2 + 3x 2
Determine all rational numbers that by Theorem 1.18 could be rational zeros
of p!
S OLUTION : The positive divisors of the constant term 2 are: 1, 2; the positive divisors of the leading coefficient 6 are: 1, 2, 3, 6. Hence the rational zeros
of p are a subset of
1 1 1 2
1, , , , , 2
2 3 6 3
and can be checked by inspection using synthetic division.
Figure 1.23:
1650).
58
Example 1.51
Determine the number of positive/negative zeros of the polynomial p(x) =
3x3 5x2 + 6x 4.
S OLUTION : We have seen in Example 1.50 that p(x) has 3 variations in sign.
Hence p has either 3 positive zeros or 1 positive zero and a pair of complex
conjugate zeros. As also seen by counting the variations in sign of p(x) =
6x3 4x2 3x 2, p does not have any negative zeros.
6
?
?
?
?
6
59
Since the remainder r = 3 in the last row of the table, we see that x = 1
is not a zero of p. However, since the last row consists only of non-negative
entries, we know from the Upper and Lower Bound Rule that 1 is an upper
bound for the zeroes of p. Hence
n1 1 1 2o
.
, , ,
Z
2 3 6 3
By inspection, we find that x =
2
3
2
3
is a zero of p:
6
Figure 1.24:
?
?
?
?
6
Hence p(x) = (x 32 )(6x2 + 3). Since 6x2 + 3 has no real zeroes, x =
the only real zero of the polynomial p.
2
3
is
Let a + bi C. Then
p(x) = x (a + bi) x (a bi)
= (x a) bi (x a) + bi
= (x a)2 (bi)2
= x2 2ax + a2 + b2
60
Example 1.54
Solve the inequality
x(6x + 9)(x 3) > 0
S OLUTION :
The term on the left-hand side of the inequality is a continuous function f whose (only) zeroes are 3/2, 0 and 3. By the corollary to
the Intermediate-value Theorem, f cannot change its sign on the subintervals
(, 3/2), (3/2, 0), (0, 3) and (3, ), otherwise it would create further
zeroes! By inspection, we find that f is positive on the intervals (3/2, 0),
(3, ) and negative on the two other intervals. Hence, the solution set of the
inequality above is S := (3/2, 0) (3, ).
Figure 1.26:
1.2. EXERCISES
61
1.2 Exercises
1.2.1 Fractions
Simplify the following arithmetic expressions:
5
2
1.
2.
3
4
5
4
1
2
3
8
2
7
has
1
8
3. 12
4.
10
11
1
4
has
6
33
13
66
3
22
1. 5 5
2.
2
2
4
25
3. 25
3/4
3/4 2
1/3
4. 125
27
96a5 b3
5.
3a5 b
x4/3 y 2/3
(xy)1/3
p
3
7.
10a7 b
6.
16 + 3 3 54
8.
5
9.
10
has
5
10.
3
10
has
a
has
11.
5+ 6
3 6+5 7
12.
2 63 7
13.
3
5 36
has
|x + 2|
for x < 2
x+2
1.2.4 Factorials
Simplify the expressions involving factorials:
has
a
62
1. 5!
2.
8!4!
3!5!
3.
4!
3!3!
2. f (x) =
x31
3. f (x) =
4 x2
x
5x 3
9 x2
5. f (x) = 2
x 3x + 2
4. f (x) =
1
6. f (x) =
1 4x2
has
3
x 1, g(x) = x3 + 1
2x + 3
for x R \ {1}
3(x + 1)
2. Let f (x) =
3. Let f (x) =
x+1
for x R \ {2}
x2
4 x2
4. Let f (x) = x2 + 9x + 5
5. Let f (x) = (4x 1)3
has
1.2. EXERCISES
63
2. f (x) = x 1 x2
has
3. f (x) = 4x2/3
ha
4. f (x) = tan x
ha
5. f (x) =
3x3 7x
x4 2x2 7
has
6. f (x) = x3 5x
ha
7. f (x) = x3 5
has
8. f (x) = 1 + x2 cos 2x + x
has
2. f (x) = 5x2 + 4
3. f (x) = 1 ln(x 5)
1.2.10 Logarithms
Manipulate logarithmic expressions:
1. Evaluate log2 64
2. Evaluate log32 8
3. Evaluate log2 43
has
has
64
7. Simplify 4 ln 6 3 ln 2 + 2 ln 3 ln 8
has
8. Simplify 5 ln 6 ln 30 + ln 15
has
2. (2 + 3i)2 + (2 3i)2
3.
4.
5.
6 7i
1 2i
3 i
1 2i
i
2i
+
3 2i 3 + 8i
has
has
has
2. y = 3x2 6x + 12
has
3. y = 2x2 + 20x + 3
has
has
2. x2 10x + 25 = 0
3. x2 + 5x + 6 = 0
4. 2x2 + 5x + 3 = 0
5. 25t2 + 5t 2 = 0
ha
1.2. EXERCISES
65
ha
8. 4x4 + 4x2 + 1 = 0
has
9. 4x2 + 12x + 9 = 0
10. x4 6x2 + 8 = 0
has
2. x2 x 42 = 0
3. x2 9 = 0
4. x2 6x + 9 = 0
5. 4m2 8m + 1 = 0
6. 2x2 5x 3 = 0
+ 29 x 1 = 0
7.
1 2
3x
8.
x2
=x3
x+2
9. x2 2x + 2 = 0
10. x2 2x + 5 = 0
11. 2x + 5 x = 3
12.
1
x+2
2
4
=5
x+2
13. w4 5w2 36 = 0
has
has
ha
has
ha
ha
66
1.2.15 Inequalities
Solve the following inequalities using the Intermediate-value Theorem:
1. 3x + 5 > 14 (x 2)
2. 2x2 + 9x + 6 x + 2
4.
x2 9
>0
x+1
5.
1
4
+
>0
x1 x6
has
6.
x2 4x + 3
>0
x2
has
3. |5y 2| = |4y + 7|
3
2
2. |x 32 |
has
4. |x 3| |x + 1| x
has
1.2. EXERCISES
67
17 2x + 1 = x
2.
z2 z 7 + 3 = z + 2
3.
3w + 4 = 2 + w
4.
2x + 5 x 1 = 2
5.
5
x + 23 = 2
6. (5x 2)1/3 + 3 = 0
+3x
= 1024
has
2. 6(23x1 ) 7 = 9
has
3. e2x 4ex 5 = 0
has
400
= 350
1 + ex
4.
5. ln x + 2 = 1
6. ln x + ln(x 2) = 1
7. ln (2x + 1)(x + 2) = 2 ln(x + 2)
8. 2 ln(x + 2)
1
2
ln x4 = 1
9. log4 x log4 (x 1) =
10. log10 4x log10 12 +
1
2
x =2
has
68
3. through ( 21 , 1), ( 52 , 43 )
3. ( 12 , 1), ( 52 , 43 )
1.2.22 Conics
Graph the following quadratic equations:
1. x2 6x + 2y + 9 = 0
as
has
3. x2 + y 2 2x 31 = 0
has
4. 9x2 24x + 4y 2 8y + 16 = 0
has
3i
3i
has
3. Simplify i39
has
1.2. EXERCISES
69
has
has
70
1.3.4 Factorials
Simplify the expressions involving factorials:
71
1.3.10 Logarithms
Manipulate logarithmic expressions:
3. Consider the corresponding exponential equation and write 4 as power
of 2.
6. Use the logarithmic rules to write the term as the logarithm of one term.
7. Use the logarithmic rules to express the logarithms in terms of ln 2 and
ln 3.
8. Use the logarithmic rules to express the logarithms in terms of ln 5 and
ln 6.
72
73
1.3.15 Inequalities
Solve the following inequalities using the Intermediate-value Theorem:
5. Consider the left side of the inequality as a rational function. Consider
where this rational functions can change sign using the Intermediatevalue Theorem.
6. Consider the left side of the inequality as a rational function and study
where this function can change its sign using the Intermediate-value Theorem
74
1.3.22 Conics
Graph the following quadratic equations:
2. First transform the equation into normal form by completing the square.
Then interpret the resulting equation.
3. First transform the equation into normal form by completing the square.
Then interpret the resulting equation.
4. First transform the equation into normal form by completing the square.
Then interpret the resulting equation.
3. Reduce the power by using the fact that in = im if and only if 4 divides
m n, i.e. 4 | (m n).
4. Transform 16 + 12i into polar form and then apply dMoivres Theorem.
5. What is the polar representation of 64?
75
1. 7
2.
3
2
4.
59
484
1
5
2. 5
3.
8. 2 3 2 + 9 3 2
9. 12 10
10. 21 3 100
11. 3 6 5
3
5
5
125
8
4. 3/5
4a5
2
b2
6. x 3 y
6
7. 10a7 b
5.
141 + 19 42
12.
39
13. 3 52/3 + 301/3 + 62/3
1
5
5 5 51
2. 1
3. 1
1.4.4 Factorials
Simplify the expressions involving factorials:
1. 120
2. 1344
3.
2
3
5. Df = [3, 3] \ {1,
2},
Rf = , 6 3 [0, )
6. Df = 21 , 12 , Rf = [1, )
76
x3 + 8x + 16
1
, (f g)(x) = 3
3
x
x + x2 + 1/2
2. (g f )(x) = x, (f g)(x) = x
1
2. f (x) = 4 x2
1. f 1 (x) =
3. f 1 (x) =
2x 1
1x
for all x [ 61
4 , ).
3
x+1
5. f 1 (x) =
4
4. odd
2. odd
5. odd
3. even
6. odd
7. neither
8. neither
1.4.10 Logarithms
Manipulate logarithmic expressions:
3. D:(5, ), R:(, )
3
5
3. 6
77
7. 2 ln 2 + 6 ln 3
4. 3
5. 2
6. log8
y 1/3 (y+4)2/3
y1
8. 4 ln 6 2 ln 5
3. 4 + i
2. 10
4. 1 i
5.
62
949
8. x1 = x2 = 2i 2, x3 = x4 = 2i 2
9. x1 = x2 = 3/2
10. x = 2, 2
297
949
78
5. x1 = 1 12 3, x2 = 1 + 12 3
6. x1 = 12 , x2 = 3
7. x1 = 13 32 7, x2 = 13 + 32 7
8. x1 = 1 5, x2 = 1 + 5
9. x1 = 1 + i, x2 = 1 i
10. x1 = 1 + 2i, x2 = 1 2i
11. x = 1/4
12. x1 = 11
5 , x2 = 1
13. w1 = 3, w2 = 2i, w3 = 2i, w4 = 3
1.4.15 Inequalities
Solve the following inequalities using the Intermediate-value Theorem:
1. x > 2
2. 2 2 x 2 + 2
5. S := (1, 2) (6, )
6. S := (, 0) (0, 1) (3, )
3. 5/9, 9
2. 7/3, 3
79
1. 1 < x < 3
79
3. (, 65
8 ) ( 8 , )
2. 0 x 3
4. [ 23 , )
3. 0, 4
5. 9
2. 8
4. 2, 10
6. 5
1
3
4 log2 3
6. x =
e+1+1
7. x = 1
2
e1
3. x1 = ln(5), x2 = i
8. x =
4. x = ln(7)
9. x = 2
5. x = e2 2
10. x =
2
25 5+ 73
4
3. y = 1/6x + 11/12
1. y = 3/4x + 1/4
4. y = 4x 3
2. y = 15/8x + 5/2
5. y = 2x + 10
1.4.22 Conics
1 2
2
+ y+
3 2
4
3
1
2, 4
.
80
(x+ 43 )2
(y1)2
= 1; hyperbola with asymptotes y = 1 32 x
7
foci F1 = 34 31 91, 1 , F2 = 34 + 13 91, 1 , vertices
34 32 7, 1), V2 = 34 + 32 7, 1) and center 34 , 1 .
28
9
2. -8
3. -i
4. Let = arg(16+12i), then the
two square roots of 16 + 12i are
given by
z0 = 2 5e 2 i
z1 = 2 5e 2 i+i
z0 = 2
z1 = 1 + i 3
z2 = 1 + i 3
z3 = 2
z4 = 1 i 3
z5 = 1 i 3.
+ 43 ),
V1 =
81
2
2
2
1 7 = 1
14
2 = 7
7
2
27
12
1
4
= 12
= 48
4
1
12
1
4
1
124
11
48
1
1
=
=
10:
1
125 3
27
1
27 3
=
125
27 3
125 3
= 53
5
5
5 10
5
10
= 1 = =
10
10
10
10
10
5 10
=
= 12 10
10
10. We expand the fraction by 102/3 :
5
5
102/3
5 102/3
5 10
5 102/3
3
= 21 100.
= 1/3+2/3 =
10
10
82
5 6 and use the identity (a+ b)(a b) =
3 5 6
3
=
5+ 6
5+ 6
5 6
3 5 6
= 2
2
5
6
3 5 6
=
56
3 5 6
=
1
=3 6 5
1
= 5 51 = 51 5 5 15 .
5
1.5.4 Factorials
Simplify the expressions involving factorials:
9 x2
9 x2
=
f (x) = 2
x 3x + 2
(x 2)(x 1)
2
9x
=
2
x 32 41
83
3
q
9
41
3 2
2
= 6 3.
Finally, consider the interval (2, 3]. Clearly, f (x) 0 for all x (2, 3],
f (3) = 0 and limx2+ = , as can be easily verified. Hence, again by
the Intermediate-value Theorem, the range of the restriction of f to the
interval (2, 3] is [0, ).
= [6 3, ) [0, ).
84
9 2
2
61
4
(note that its graph is a parabola!) is not injective (one-to-one), since, for
example,
f
1
2
=
=
=
9 2
61
2
4
61
5 4 = (5)2 61
4
19
9 2
61
2 +2 4 =f
1
2
2
19
2 .
Therefore, f is not invertible on R. However, we can, for example, restrict it to the subinterval [ 92 , ). This restriction, which we will also
denote by f , constitutes a bijection f : [ 29 , ) [ 61
4 , ) as can
be easily verified. We will determine its inverse: To this end, first set
2
y = x + 92 61
4 . Next interchange x and y, which leads to the
9 2
equation x = y + 2 61
4 . Then solve for y: Taking the square root
of
2
y + 92 = x + 61
4
yields
and
q
y + 9 = x +
2
y+
9
2
q
x+
61
4
61
4
since y [ 29 , ), implies y + 29 = y + 92 . Thus
y = 92 +
q
x+
61
4 .
9
f 1 : [ 61
4 , ) [ 2 , )
is given by
f 1 (x) = 29 +
for x [ 61
4 , ).
q
x+
61
4
85
= 29 + x +
= x.
2
9
2
Conversely, let x [ 61
4 , ) then
q
f f 1 (x) = f 29 + x + 61
4
q
2
9
= 29 + x + 61
4 + 2
=x+
= x.
61
4
61
4
61
4
f (x) =
86
1.5.10 Logarithms
Manipulate logarithmic expressions:
3. Recall that the base-2 exponential function exp2 is the inverse function of log2 . Applying exp2 on both sides of the equation, we see that
3
log2 43 = y 2y = 43 = 22 = 26 . Since exp2 is one-to-one, it
follows that y = 6.
6. Using the logarithmic rules, we obtain
1
3
log8 y + 2 log8 (y + 4) log8 (y 1)
= 13 log8 y + log8 (y + 4)2 log8 (y 1)
= 13 log8 y(y + 4)2 log8 (y 1)
1/3
= log8 y(y + 4)2
log8 (y 1)
1/3
2/3
y (y + 4)
= log8
.
y1
87
= 4 ln(2 3) 3 ln 2 + 2 ln 3 ln 23
= 4 ln 2 + ln 3 3 ln 2 + 2 ln 3 3 ln 2
= 4 ln 2 + 4 ln 3 3 ln 2 + 2 ln 3 3 ln 2
= (4 3 3) ln 2 + (4 + 2) ln 3
= 2 ln 2 + 6 ln 3.
1 2i
1 2i 1 + 2i
6 1 + (7i)(2i) + 6 2i + (7i)1
=
1 (2i)2
6 + 14 + i(12 7)
=
1+4
20 + 5i
= 4 + i.
=
5
4. We first simplify the fraction and then expand by the conjugate of the
denominator:
(3 + i)
3+i
3 i
=
=
1 2i
(1 + 2i)
1 + 2i
3 + i 1 2i
=
1 + 2i 1 2i
3 + 2 + i(6 + 1)
=
12 (2i)2
5 5i
=
= 1 i.
5
88
5. We first add the two fractions and then transform the sum into standard
form by expanding by the conjugate of its denominator:
i
2i
i(3 + 8i) + 2i(3 2i)
+
=
3 2i 3 + 8i
(3 2i)(3 + 8i)
3i 8 + 6i + 4
=
9 + 16 + i(24 6)
4 + 9i
=
25 + 18i
4 + 9i 25 18i
=
25 + 18i 25 18i
100 + 162 + i(72 + 225)
=
625 + 324
62 + 297i
=
949
297
62
+
i
=
949 949
= 3(x 1)2 + 9.
89
2
3
or x = 23 .
Hence, x = 2i 2 or x =
mial.
i
2
2 2i
2 4
=
= 1 i.
=
2
2
90
1.5.15 Inequalities
Solve the following inequalities using the Intermediate-value Theorem:
5. We consider the left side of the inequality as a rational function and set
1
4
5x 10
+
=
x1 x6
(x 1)(x 6)
5(x 2)
=
(x 1)(x 6)
r(x) =
< 0, x (, 1)
> 0, x (1, 2)
r(x)
< 0, x (2, 6)
> 0, x (6, ).
(x 1)(x 3)
x2 4x + 3
=
x2
x2
> 0 x (, 0)
> 0 x (0, 1)
r(x)
< 0 x (1, 3)
> 0 x (3, )
91
79 < 8x
79
8
< x,
(ii) Next, let x D2 = (, 9), then |8x 72| = 8x+ 72 and similar
as in the preceeding case
7 < |8x 72|
is equivalent to the inequalities
7 < 8x + 72
8x < 65
x<
65
8 ,
92
from which follows that the solution set of the given inequality on D2 is
S2 := (, 65
8 ).
The solution set of the inequality 7 < |8x 72| on R is therefore the
union of the solution sets on the subdomains, i.e.
65
S := S1 S2 = ( 79
8 , ) (, 8 ).
x + 1,
x+10
(x + 1), x + 1 < 0
x + 1,
x 1
x 1, x < 1
x3x1 x
and thus to
4 x,
which implies that the solution set of the given inequality on D1 is S1 :=
D1 = [3, ).
93
(ii) Next, let x D2 = [1, 3), then |x3| = x+3 and |x+1| = x+1
and
|x 3| |x + 1| x
is equivalent to the following inequalities
x + 3 (x + 1) x
2x + 2 x
x 3x
2
3
x,
from which follows that the solution set of the given inequality on D2 is
S2 := [ 32 , 3).
(iii) Finally, let x D3 = (, 1), then |x 3| = x + 3 and
|x + 1| = x 1. Then
|x 3| |x + 1| x
is again equivalent to the following inequalities
x + 3 (x 1) x
x + 3 + x + 1 x
4 x,
from which follows that the solution set of the given inequality on D3 is
empty, i.e. S3 := .
= [3, ) [ 32 , 3)
= [ 23 , )
+3x
94
and therefore
0 = x2 + 3x 10 = (x + 5)(x 2),
hence x = 5 or x = 2.
2. Clearly, the exponential equation
6 23x1 7 = 9
is equivalent to
23x1 =
16
23
=
23
3
and thus to
1
.
3
Applying the logarithmic function log2 to this equations first yields
23x4 =
3x 4 = log2 3
and then
x=
3. The exponential equation
1
3
4 log2 3 .
0 = e2x 4ex 5
can be reduced to a quadratic equation by the substitution y := ex :
0 = y 2 4y 5 = (y 5)(y + 1).
The solutions of the quadratic equation are y = 5 and y = 1. We have
to resubstitute the permissible values of y back into the equation y = ex .
The first solution y = 5, produces the equation 5 = ex which implies
that x = ln 5, while the second solution y = 1 yields the equation
1 = ex which has the complex solution x = i.
8. First, we observe that the given equation has domain (0, ). Thus, if
x (0, ), we can conclude using the logarithmic rules that
1
ln x4
2
= 2 ln(x + 2) 2 ln x
= 2 ln(x + 2) ln x
x+2
.
= 2 ln
x
1 = 2 ln(x + 2)
95
x+2
x
Applying the natural exponential function exp (which is the inverse function of ln) on both sides of the equation yields
1
x+2
x+2
=
e 2 = exp ln
x
x
from which by multiplying the equation by x first follows that
x e=x+2
and then
x
hence,
e 1 = 2,
2
.
x=
e1
1.5.22 Conics
Graph the following quadratic equations:
1. We transform the equation
x2 6x + 2y + 9 = 0
into normal form by completing the square
(x 3)2 9 + 2y + 9 = 0
(x 3)2 + 2y = 0,
96
Division by 16 yields
1 2
2
+ y+
3 2
4
= 1,
1
3
2, 4
.
x2 + y 2 2x 31 = 0
into normal form by completing the square
(x2 2x) + y 2 31 = 0
(x 1)2 1 + y 2 31 = 0
(x 1)2 + y 2 = 32,
28
7
9
Clearly,
x+
28
9
4 2
3
(y 1)2
= 1.
7
(1.14)
97
y2
= 1,
7
(1.15)
which is in standard position, by a shift by the vector 34 , 1 .
We will first determine the asymptotes, vertices, center and foci of the
hyperbola (1.15). Recall that the asymptotes of (1.15) can be easily determined from the modified equation
x2
28
9
y2
=0
7
9 2
2
by solving for y. Clearly, y 2 = 79
28 x = 4 x . Therefore, the asymptotes
of the hyperbola (1.15) are given by the equations
y = 23 x.
Moreover, the foci (c, 0) can be determinedqfrom the equation c2 =
28
1
2
a2 +b2 , where a2 = 28
9 and b = 7. Since c =
9 + 7 = 3 28 + 63 =
1
3 91, the foci of (1.15) are given by
F1 = 31 91, 0 ,
F2 =
V1 = 23 7, 0 ,
V2 =
1
3
91, 0 .
28
9
2
3
2
3
7 and are
7, 0 .
4
3
x+ ,
2
3
F1 = 13 91 34 , 0 + 1
= 43 31 91, 1
F2 = 13 91 43 , 0 + 1
= 43 + 31 91, 1
98
the vertices
V1 = 32 7 43 , 0 + 1
= 43 32 7, 1
V2 = 23 7 43 , 0 + 1
= 43 + 32 7, 1
C = 0 34 , 0 + 1 = 43 , 1 .
2. We will first transform 1 3 i intopolar form. Since the point represented by the complex number 1 3 i is located in the 4th quadrant,
we can compute its argument by
arg(1 3 i) = arctan
!
3
1
= arctan 3 =
3.
3 i| =
q
2
(1)2 + 3 = 2.
3 i = 2e 3 i
3 i 3
3 i = 2e 3
= 23 e3 3 i
k
in = i4k+r = i4k ir = i4 ir = 1k ir
= ir ,
99
and thus
i
in =
n0
n1
n2
n3
(mod
(mod
(mod
(mod
4)
4)
4)
4).
12
16 )
= 4 25 = 20.
p
42 + 32
Thus
16 + 12i = 20ei .
By dMoivres Theorem, the two square roots of 16 + 12i are given by
z0 = 20e 2 i = 2 5e 2 i
and
z0 =
20e 2 i+
2
2
= 2 5e 2 i+ .
100
Explicitely
z0 = 2
z1 = 2 cos 3 + i sin 3
= 2 12 + 2i 3 = 1 + i 3
2
z3 = 2 cos 2
3 + i sin 3
= 2 12 + 2i 3 = 1 + i 3
z3 = 2
z4 = 1 i 3
z5 = 1 i 3.
Note that the six roots of 64 are equally spaced around the circle of radius
2 starting with the angle 0 with counterclockwise increments of /3.
2
T RIGONOMETRY
101
Figure 2.1:
ulator
CHAPTER 2. TRIGONOMETRY
102
Figure 2.2:
Measuring Angles
sk
,
r
where s is the length of the arc, r the radius of the circle and k a scaling constant depending on the angle units used. Note that a full angle has magnitude
2k. The most common units for measuring angles are radian and degree.
1. Degree: The degree which is denoted by is 1/360 of a full circle
which has measure 360 . Note that in this case the scaling constant
k = 360.
2. Radian: The radian, denoted by rad is the angle subtended by an
arc of a circle with the same length as its radius. Note that a full angle
has measure 2, hence the scaling constant k = 1.
Lemma 2.1 (Conversion: Radian, Degree)
If r and d denote the measure of an angle in radian and degree, respectively,
then
r
d
=
360
2
Example 2.1
Convert 1 radian into degrees!
S OLUTION :
Since
d =
r 360
,
2
we have
1 rad =
1 360
2
57.30
103
a
a
=
h
h
Clearly, these ratios only depend on the angle and constitute invariants of
the class of all similar right triangles with base angle and are called sin(),
cos() etc.
Hence the trigonometric functions for acute angles , i.e. 0 < < 90 can
be defined by
Figure 2.3: Geometric Definition of the
Trigonometric Functions
adjacent
opposite
hypotenuse
sec() =
adjacent
hypotenuse
csc() =
opposite
sin() =
cot() =
0
30
45
60
90
Note!
1
2 0
1
2 1
1
2 2
1
2 3
1
2 4
sin
0
1
2
cos
1
1
2 2
1
2 3
1
2 3
1
2 2
1
2
tan
cot
1
3
1
3
3
0
CHAPTER 2. TRIGONOMETRY
104
tan() =
Figure 2.4:
sin and cos
for 6= (2n + 1) 2
for 6= n
for 6= (2n + 1) 2
for 6= n
for all n Z.
Definition 2.5 (Periodic)
A function f defined on a set I R is said to be periodic if there exists a
positive number p R such that
f (x + p) = f (x)
for all x I. Any such p is called a period of f . The smallest period (if it
exists) is called the fundamental period or just the period of f .
Definition 2.6 (Even, Odd Functions)
Suppose f is defined on the symmetric set I R, (i.e. x I x I).
Then f is said to be
1. even if f (x) = f (x) for all x I,
2. odd if f (x) = f (x) for all x I.
Theorem 2.1 (Periodicity and Parity of the Trigonometric Functions)
1. sin and cos have period 2 .
105
1. sin(x) = 0 x = n , n Z
2. cos(x) = 0 x = (2n + 1)/2, n Z
3. tan(x) = 0 x = n , n Z
4. cot(x) = 0 x = (2n + 1)/2, n Z
Figure 2.6:
tan
Figure 2.7:
cot
Figure 2.5:
Figure 2.8:
sec
Figure 2.9:
csc
Figure 2.10:
CHAPTER 2. TRIGONOMETRY
106
1. cos2 x + sin2 x = 1
2. 1 + tan2 x = sec2 x
3. 1 + cot2 x = csc2 x
provided the expressions are defined.
Theorem 2.4 (Addition Formulae)
For all x, y R
tan x + tan y
1 tan x tan y
4. cot(x + y) =
cot x cot y 1
cot x + cot y
2 tan x
1 tan2 x
cot2 x 1
2 cot x
107
1. sin x sin y =
1
2
cos(x y)
1
2
cos(x + y)
2. sin x cos y =
1
2
sin(x y) +
1
2
sin(x + y)
3. cos x cos y =
1
2
cos(x y) +
1
2
cos(x + y)
3. tan x2 =
sin x
1 cos x
=
1 + cos x
sin x
Corollary 2.1
For all x R
1. cos x =
1
2
2. sin x =
1
2i
eix + eix
e
ix
ix
Figure 2.11:
(17071783)
Leonhard Euler
CHAPTER 2. TRIGONOMETRY
108
Theorem 2.11 (Derivatives)
For all x R
|x| < 1
1
,
2. (cos1 ) (x) =
1 x2
|x| < 1
3. (tan1 ) (x) =
1
1 + x2
4. (cot1 ) (x) =
1
1 + x2
5. (sec1 ) (x) =
,
|x| x2 1
|x| > 1
6. (csc1 ) (x) =
,
|x| x2 1
|x| > 1
109
1. sin(x) =
(1)n
n=0
2. cos(x) =
(1)n
n=0
3. tan(x) =
x2n+1
(2n + 1)!
x2n
(2n)!
n1 2
2n
(1)
n=0
22n 1 B2n x2n1
,
(2n)!
5. sec(x) =
(1)n
n=0
6. csc(x) =
n+1 2
(1)
n=0
E2n x2n
,
(2n)!
|x| <
|x| <
Figure 2.12:
(16541705)
Jakob Bernoulli
Figure 2.13:
(17071783)
Leonhard Euler
22n1 1 B2n x2n1
,
(2n)!
Remark 2.3
Note that Bn and En denote the n-th Bernoulli and Euler number, respectively.
The Bernoulli numbers, named after Jakob Bernoulli, can be defined by the
generating function
X
tn
t
=
Bn
t
e 1 n=0
n!
The B n are all rational numbers, B2n+1 = 0 for n 1 and the (nonzero) Bernoulli numbers alternate in sign. The Bernoulli numbers can also be
computed using the recursion
B0 = 1,
n1
X
k=0
n
Bk
k
for n = 2, 3, . . .
1
Thus B0 = 1, B1 = 12 , B2 = 16 , B3 = 0, B4 = 31 , B5 = 0, B6 = 42
,
1
5
B7 = 0, B8 = 3 , B9 = 0, B10 = 66 , . . .
The Euler numbers or secant numbers, named after Leonhard Euler, can be
defined by the generating function
n
X
X
En tn
En t
2et/2
=
=
et + 1 n=0 2n n!
n! 2
n=0
CHAPTER 2. TRIGONOMETRY
110
where the sides and angles are labeled as usual (see the figure in the margin).
Figure 2.14:
b2 = a2 + c2 2ac cos
c2 = a2 + b2 2ab cos
1
2
bc sin() =
1
2
ab sin() =
1
2
ac sin()
p
s(s a)(s b)(s c)
111
sin(y) = x
2. Arccosine: The inverse of the restriction of cos to its principal domain [0, ] is the function arccos : [1, 1] [0, ] which is implicitly
defined by
arccos(x) = y cos(y) = x
3. Arctangent: The inverse of the restriction of tan to its principal domain ( 2 , 2 ) is the function arctan : R ( 2 , 2 ) which is implicitly defined by
arctan(x) = y
tan(y) = x
sec(y) = x
6. Arccosecant: The inverse of the restriction of csc to its principal domain [ 2 , 2 ] \ {0} is the function arccsc : R \ (1, 1) [ 2 , 2 ] \ {0}
which is implicitly defined by
arccsc(x) = y
csc(y) = x
Remark 2.4
The inverse trigonometric functions are often denoted by sin1 , cos1 , etc.
However this notation where the exponent 1 refers to composition easily creates a conflict with the common semantics for expressions like sin2 (x)
where the exponents refer to ordinary multiplication.
Figure 2.15:
The Restriction of Sine to
Its Principal Domain
sin = arcsin =
CHAPTER 2. TRIGONOMETRY
112
1
2
1
2
ex ex
ex + ex
e2x 1
sinh x
= 2x
cosh x
e +1
cosh x
e2x + 1
coth x =
= 2x
, x 6= 0
sinh x
e 1
2
1
= x
sech x =
cosh x
e + ex
1
2
csch x =
, x 6= 0
= x
sinh x
e ex
tanh x =
Figure 2.18:
113
Figure 2.19:
1. cosh2 x sinh2 = 1
2. tanh2 x + sech2 x = 1
Theorem 2.19 (Addition Formulae)
For all x, y R
tanh x + tanh y
1 + tanh x tanh y
2 tanh x
1 + tanh2 x
Figure 2.20:
CHAPTER 2. TRIGONOMETRY
114
Theorem 2.21 (Power Identities)
For all x R
1. sinh2 x = 12 cosh 2x 1
2. cosh2 x = 12 cosh 2x + 1
Theorem 2.22 (Half-Angle Identities)
For all x R
r
cosh x 1
x
1. sinh 2 = sgn(x)
2
r
cosh x + 1
2. cosh x2 =
2
3. tanh x2 =
sinh x
cosh x 1
=
,
cosh x + 1
sinh x
x 6= 0
1. ex = cosh x + sinh x
2. ex = cosh x sinh x
x 6= 0
x 6= 0
115
3. (tanh1 ) (x) =
4. (coth1 ) (x) =
1
1 x2
1
1 x2
|x| > 1
|x| =
6 1
|x| =
6 1
1
5. (sech1 ) (x) =
,
x 1 x2
6. (csch1 ) (x) =
|x| < 1
|x| 1 + x2
2.
3.
4.
Z
Z
Z
cosh x dx = sinh x + C
tanh x dx = ln(cosh x) + C
coth x dx = ln | sinh x| + C,
x 6= 0
CHAPTER 2. TRIGONOMETRY
116
1.
= sinh1 (x) + C
x2 + 1
Z
dx
2.
= cosh1 (x) + C, |x| 1
x2 1
Z
dx
3.
= tanh1 (x) + C, |x| < 1
1 x2
Z
dx
= coth1 (x) + C, |x| > 1
4.
1 x2
Z
dx
5.
= csch1 (x) + C
2
x 1+x
Z
dx
1. sinh(x) =
2. cosh(x) =
X
x2n+1
(2n + 1)!
n=0
X
x2n
(2n)!
n=0
X
22n 22n 1 B2n x2n1
,
3. tanh(x) =
(2n)!
n=1
4. coth(x) =
5. sech(x) =
X
E2n x2n
,
(2n)!
n=0
|x| <
|x| <
117
Remark 2.6
Note that Bn and En denote the n-th Bernoulli and Euler numbers, respectively. See Remark 2.3 on page 109.
1. sinh1 (x) = ln x + x2 + 1
2. cosh1 (x) = ln x + x2 1 , x 1
1+x
3. tanh1 (x) = 12 ln
, |x| < 1
1x
x+1
1
1
, |x| > 1
4. coth (x) = 2 ln
x1
!
2
1
x
1
+
, 0<x1
5. sech1 (x) = ln
x
1
6. csch
(x) = ln
1
+
x
1 + x2
|x|
CHAPTER 2. TRIGONOMETRY
118
2.2 Exercises
2.2.1 Simplifying Trigonometric Expressions
1. sin x cos x + cos2 x
has
has
3.
sec4 x tan4 x
sec2 x + tan2 x
has
4.
2 sin2 x cos x 2
cos3 x
2 sin x
has
5.
cos2 x
sin2 x cos2 x
has
6.
2 tan
1 + tan2
has
7.
tan x sin x
2 tan x
has
8. sin( + ) sin( )
9.
10.
cot x
csc x
2
1
csc2 x
cos + sin
cos
1 + tan2 x
11. cos2 x
1 cos2 x
has
has
has
has
has
2. Give a formula for cos(x+y) in terms of cos x, sin x, sin y and cos y.
has
3. Give a formula for sin(xy) in terms of cos x, sin x, sin y and cos y.
has
4. Give a formula for cos(xy) in terms of cos x, sin x, sin y and cos y.
has
2.2. EXERCISES
119
has
has
has
has
has
has
has
has
has
has
has
1. c = 5, b = 3 and = 32 .
B
B
Ba
B
B
B
c
has
2. a = 15, c = 7, = 62 .
has
has
4. = 36.5, a = 24, b = 34
has
5. = 14 , = 31 , a = 4
has
CHAPTER 2. TRIGONOMETRY
120
2. cos 3
3. tan
4. sin
3
4
6. tan
11
5
4
5. csc
7. sin9
cos(4)
2. sin cos1 ( 12 )
3. cos sec1 (2)
4. cos tan1 (x)
5. csc cot1 ( x2 )
6. sin cos1 (x)
7. sec sin1 (x)
as
2. y = cot x
as
3. y = sin x
as
4. y = cos x
as
5. y = sec x
as
6. y = csc x
as
7. y = 2 sin
1
2x
8. y = cos x
as
as
2.2. EXERCISES
121
9. y = sin(x ) 2
10. y =
1
2
cos 2x +
as
as
2. sin x =
3. tan
4.
has
1
2x
has
=1
has
sin2 x = 1
has
5. sin 2x = 21 3
6. cos x =
1
2
has
ha
7. cos2 x + 6 cos x + 4 = 0
has
has
9. sec2 x + 2 tan x = 6
has
2. (3, 0)
3. (2, 2)
4.
x, x
5. 3, 3 3
6.
3, 1
a
a
a
5. (3, 21 )
2. (3, 43 )
6. (2, 3)
3. (2, 0)
7. (1, 41 )
4. (3, 31 )
8. ( 13 , 32 )
CHAPTER 2. TRIGONOMETRY
122
2. cosh x
3. tanh x
4. coth x
5. sech x
6. csch x
4. sinh x cosh x
5. cosh2 x + sinh2 x
cosh2 x sinh2 x
tanh2 x
6.
123
1
2
1 + cos 2x
CHAPTER 2. TRIGONOMETRY
124
125
A2 = |A|.
CHAPTER 2. TRIGONOMETRY
126
1
2
2.
1
2
1 + cos(2x) + sin(2x)
sin(4x)
3. 1
4.
1
2
5.
3 tan(x)
sin x cos x
sec (x)
6. sin (2)
7.
1
2
8.
1
2
1 cos x
cos (2)
1
2
cos (2)]
9. 1
10. 1 + tan
11. csc2 x
2. Follows directly from the definition of sin and cos using the unit circle!
3. See solution!
127
2 tan x
1 tan2 x
4. cos2 x =
1
2
5. sin2 x =
1
2
6. sin
x
2
7. cos
x
2
1 cos 2x
8. tan x2 =
1 + cos 2x
1 cos x
2
1 + cos x
2
1 cos x
sin x
=
1 + cos x
sin x
5
12 ,
b 5.4641, c = 2 6 4.8990
1
2
3. 1
4.
2
2
5.
6.
7.
3
3
1
512
CHAPTER 2. TRIGONOMETRY
128
3/2
3.
1
2
4.
1
1+x2
5.
4+x2
2
6.
1 x2
7.
1
1x2
3. See Summary!
4. See Summary!
5. See Summary!
6. See Summary!
7. Note y = 2 sin 21 x oscillates with half the frequency of sin(x) but
twice the amplitude!
8. Note that the graph of y = cos x 2 is obtained from the graph of
y = cos(x) by reflection on the x-axes and a phase-shift of 2 (to the
right).
Figure 2.22:
Figure 2.23:
129
Figure 2.24:
10. Note y = 21 cos 2x + 2 has amplitude 12 , phase shift
frequency 2.
+ 2n or x = 4 + 2m for all m, n Z
8. x = n for all n Z
9. x = arctan(1 + 6) + n or
x = arctan(1 6) + m for all m, n Z
3. (2 2, 7
4 )
4. ( 2x, 4 )
5. ( 6, 5
3 )
6. (2, 11
6 )
CHAPTER 2. TRIGONOMETRY
130
3
2 )
( 3 2 2 , 3 2 2 )
1. ( 21 ,
5. (0, 3)
2.
6. (2, 0)
3 3
4. ( 3
2 , 2 )
8. ( 1
6 ,
1
2
ex ex
2.
1
2
ex + ex
3.
e2x 1
e2x + 1
4.
e2x + 1
e2x 1
5.
6.
2ex
+1
e2x
2ex
e2x 1
sinh(2x)
2
5. cosh(2x)
6. coth2 (x)
7. ( 2 2 , 2 2 )
3. (2, 0)
3
6 )
131
1
2
1 + cos 2x
1
2
1
2
sin(2x) +
1
2
1
2
cos(2x)
1 + cos(2x) + sin(2x) .
2. We will factor out 2 sin x cos x and apply the Double Angle Identities
several times:
2 sin x cos3 x 2 sin3 x cos x =
= 2 sin x cos x cos2 x sin2 x
= sin(2x) cos(2x) =
1
2
sin(4x).
3
cos x
2 sin x
cos3 x 4 sin2 x
1
= 21 sec x
=
2 cos x
5. We can reduce the fraction by first factoring out sin x cos x in the numer-
CHAPTER 2. TRIGONOMETRY
132
ator:
=
cos2 x
sin2 x cos2 x
3(sin x cos2 x + sin2 x cos x)
=
cos2 x(sin2 x cos2 x)
3 sin x cos x(cos x + sin x)
=
cos2 x(sin x cos x)(sin x + cos x)
3 sin x
=
cos x(sin x cos x)
3 tan(x)
.
=
sin x cos x
6. We first compactify the denominator by applying the Pythagorean Identity 1 + tan2 = sec2 . Then we reduce the fraction after rewriting it
in terms of sin and cos:
2 tan
2 tan
2 sin cos2
=
=
2
2
sec
cos
1 + tan
= 2 sin cos = sin(2).
7. We separate the fraction and then rewrite tan in terms of sin and cos:
tan x
sin x
tan x sin x
=
2 tan x
2 tan x 2 tan x
1 sin x cos x
=
2
2 sin x
= 12 21 cos x = 21 (1 cos x).
8. With the Addition formula for sin, follows
sin( + ) sin( ) =
= sin cos + sin cos
sin cos sin cos
133
= 12 cos 2 +
1
2
cos 2.
9. We combine the fractions and reduce after applying the third Pythagorean
Identity:
2
cot x
1
+
=
csc x
csc2 x
1
cot2 x
+
=
cscx
csc2 x
cot2 x + 1
=
csc2 x
csc2 x
= 1.
=
csc2 x
10. We separate the fraction and obtain
cos
sin
cos + sin
=
+
cos
cos cos
= 1 + tan .
11. Applying the Pythagorean identities 1+tan2 x = sec2 x and 1 = cos2 x+
sin2 x, we obtain
1 + tan2 x
cos2 x
=
1 cos2 x
cos2 x sec2 x
=
sin2 x
cos2 x
=
2
sin x cos2 x
1
=
= csc2 s.
sin2 x
CHAPTER 2. TRIGONOMETRY
134
sin2 (x)
cos2 (x)
sin2 (x)
cos2 (x)
+
cos2 (x) cos2 (x)
2 tan x
1 tan2 x
1 + cos 2x
5. sin2 x = 21 1 cos 2x
r
1 cos x
x
6. sin 2 =
2
r
1 + cos x
7. cos x2 =
2
4. cos2 x =
8. tan x2 =
1
2
1 cos x
sin x
=
1 + cos x
sin x
135
2
3
sin2 3
= 9 + 25 2 3 5 cos
= 34 30 cos2
= 34 30
1
4
hence
a=
3
3
4 =
49
49 = 7.
3
7
sin =
3
7
1
2
3=
3
14
and therefore
= arcsin
3
14
3 .
hence
b=
15
sin 62 ,
b
CHAPTER 2. TRIGONOMETRY
136
hence
= arcsin
15
sin 62
b
89.8180
and thus
= (180 62 ) 28.1820.
3. We use the Law of Cosines to first compute . Since c2 = a2 + b2
2ab cos , we obtain
2
a + b 2 c2
= arccos
39.2072.
2ab
Similarly, we obtain
= arccos
b 2 + c2 a 2
2bc
33.7133.
b
sin
a
which implies
= arcsin
b
sin 57.4227
a
5. Clearly, = = ( 41 31 ) =
using the Law of Sines:
sin
c
=
a
sin
5
12 .
and therefore
c=
a sin
= 2 6 4.8990
sin
similarly
b
sin
=
a
sin
and thus
b=
a sin
5.4641.
sin
137
Figure 2.25:
Figure 2.26:
CHAPTER 2. TRIGONOMETRY
138
6 2 5
6 36 16
=
y=
2
2
= 3 5.
Figure 2.27:
We now
solve the remaining equations cos x = y. Clearly, only y =
3+
5 leads to an equation that can be solved in R. Let := arccos(3+
5). Note that [0, ]. Consulting the figure below (or remembering that cos is an
even function!), we see that also = 2 solves
cos x = 3 + 5. Hence, x = + 2n or x = 2 + 2m for all
m, n Z.
8. Using the Double-Angle Identity sin 2x = sin x cos x, we see that sin 2x cos x+
sin x = 0 is equivalent to
2 sin x cos2 x + sin x = 0
sin x(2 cos2 x + 1) = 0
which splits into the equations sin x = 0 and cos2 x = 21 . Clearly,
the last equation does not have a solution in R. Hence, x = n for all
n Z.
Figure 2.28:
2 4 + 20
= 1 6
y=
2
x = arctan(1 + 6) + n
x = arctan(1 6) + m
for all m, n Z.
139
140
CHAPTER 2. TRIGONOMETRY
3
D IFFERENTIAL
C ALCULUS
xc
if and only if for all > 0 there exists a > 0 such that for all x Df
0 < |x c| < |f (x) L| <
(Df denotes the domain of f ).
142
xc
if and only if for all > 0 there exists a > 0 such that for all x Df
0 < c x < |f (x) L| <
if and only if for all > 0 there exists a > 0 such that for all x Df
0 < x c < |f (x) L| <
if and only if for all > 0 there exists a B > 0 such that for all
x (a, )
x > B |f (x) L| < .
The line y = L is called a horizontal asymptote of f .
2. Suppose the function f is defined on an interval of the form (, b).
We say that f has limit L as x approaches and write
lim f (x) = L
if and only if for all > 0 there exists a B > 0 such that for all
x (, b)
x < B |f (x) L| < .
The line y = L is called a horizontal asymptote of f .
143
xc
if and only if for all B > 0 there exists a > 0 such that for all
x Df
0 < |x c| < f (x) > B.
The line x = c is called a vertical asymptote.
2. Suppose the function f is defined in a neighborhood of c R. We say
that f approaches as x approaches c and write
lim f (x) =
xc
if and only if for all B > 0 there exists a > 0 such that for all
x Df
0 < |x c| < f (x) < B.
The line x = c is called a vertical asymptote.
xc
xc
xc
xc
3. If lim f (x) or lim+ f (x) fail to exist, then lim f (x) fails to exist.
xc
xc
xc
xc
xc
2. lim x = c
xc
144
Theorem 3.3
(Limits
of Elementary Functions II)
1. lim n x = n c, (x 0 if n is even).
xc
4. lim ex = ec .
xc
5. lim ln x = ln c,
xc
6. lim
x0
x > 0.
sin x
= 1.
x
cos x 1
=0
x0
x
7. lim
8.
lim
9. lim+
x0
1
=0
x
1
1
= , lim
= .
x
x
x0
x0
,
2
1
lim tan x = .
x
2
145
xc
xc
2. lim kf (x) = k lim f (x).
xc
xc
3. lim f (x)g(x) = lim f (x) lim g(x).
xc
xc
xc
lim f (x)
f (x)
, provided that lim g(x) 6= 0.
= xc
xc g(x)
xc
lim g(x)
4. lim
xc
f (x)
does not exist.
xc g(x)
xc
n
X
ak xk
k=0
xc
xc
n=0
k=0
xc
which with the Product Rule (Theorem 3.4:3) and Theorem 3.2:2 yields
=
n
X
k=0
n
k X
k
ak (c) = p(c)
ak lim x =
xc
k=0
Thus, the limit of the polynomial p at c is the function value p(c). In other
words, polynomials are continuous on R.
146
S OLUTION :
Since by the previous example, polynomials are continuous,
limxc p(x) = p(c) and limxc q(x) = q(c) 6= 0. Hence, by the Quotient
Rule for Limits (Theorem 3.4:4), we have
lim p(x)
p(c)
p(x)
= xc
=
= r(c).
xc q(x)
lim q(x)
q(c)
lim
xc
Thus, the limit of the rational function r at an element c of its domain is the
function value r(c). In other words, rational functions are continuous on their
domain.
yy0
lim g f (x) = g lim f (x) = g(y0 )
xx0
xx0
Example 3.3
Evaluate the limit
3x 6
lim
3
x2
x1
S OLUTION :
3(x 2)
3x 6
= lim
= lim 3(x 2)2/3
lim
3
x1
x 2 x1 (x 2)2/3
x1
then apply the Scalar-Multiple and the Substitution Rule for limits (Theorem 3.4:2 and Theorem 3.5) which yields
2/3
= 3 lim (x 2)2/3 = 3 lim (x 2)
x1
x1
and, since the argument of the remaining limit is a polynomial, its value equals
1 2 = 1. Hence, we obtain
= 3(1 2)2/3 = 3
Corollary 3.1
Suppose the function f has a limit at c and n N, then
h
in
1. lim [f (x)]n = lim f (x)
xc
xc
q
p
2. lim n f (x) = n lim f (x),
xc
xc
147
xx0
xc
Example 3.4
Suppose limxc f (x) = 0 and suppose that |g(x)| B for all x in an open
interval containing c. Show that
lim f (x)g(x) = 0
xc
for all x I,
for all x I.
Applying the Scalar Multiple Rule for limits (Theorem 3.4:2) and the assumption limxc f (x) = 0, which is equivalent to limxc |f (x)| = 0 to the outside
terms of the double-inequality, we obtain
lim |f (x)|A = (A) lim |f (x)| = 0 = A lim |f (x)| = lim A|f (x)|
xc
xc
xc
xc
Therefore, we can conclude with the Squeeze Play (Theorem 3.7) that
lim f (x)g(x) = 0
xc
148
xc
lim g (x)
xc
exists then
lim f (x)
lim f (x)
xc
lim g(x)
xc
xc
lim g (x)
xc
2.
: If f and g are differentiable in a neighborhood of the point
c R {}, limc f (x) = limc g(x) = and if
lim f (x)
xc
lim g (x)
xc
exists then
lim f (x)
lim f (x)
xc
lim g(x)
xc
xc
lim g (x)
xc
Example 3.5
tan x
Evaluate the limit lim x
x0 e 1
S OLUTION : Since limx0 tan x = limx0 (ex 1) = 0 and the numerator and denominator functions are differentiable, we can apply LHopitals
Rule (Theorem 3.8) to the given limit and differentiate the numberator and the
denominator functions separately. Clearly, the resulting limit can now be evaluated with the Limit Theorem (Theorem 3.4) in conjuction with Theorem 3.3:
sec x
tan x
=
= lim
x0
x0 ex 1
ex
lim
2
lim sec x
x0
lim e
x0
12
=
1
149
3.1.3 Extrema
Definition 3.6 (Absolute or Global Extrema)
Let the function f be defined on the set Df and let c Df . We say that the
function f has a
1. (global or absolute) maximum at c if f (x) f (c) for all x Df ;
f (c) is then called the maximum value of f .
2. (global or absolute) minimum at c if f (x) f (c) for all x Df ; f (c)
is then called the minimum value of f .
3. (global) extremum at c if f has a (global) maximum or minimum at c.
Definition 3.7 (Relative or Local Extrema)
Let the function f be defined on the set Df and let c Df . We say that the
function f has a
1. local or relative maximum at c if there is an interval (a, b) containing
c such that f (x) f (c) for all x (a, b)
2. local or relative minimum at c if there is an interval (a, b) containing c
such that f (x) f (c) for all x (a, b).
3. local or relative extremum at c if f has local or relative maximum or
minimum at c.
150
3.1.4 Continuity
Definition 3.8 (Continuity)
A function f is continuous at c if and only if for any > 0 there is a > 0
such that for all x Df (Df denotes the domain of f )
|x c| < |f (x) f (c)| <
If S Df is a subset of the domain Df of f , then we say that f is continuous
on S if and only if f is continuous at every point c S.
Theorem 3.9 (Limit Description of Continuity)
If f is an interior point of Df then
f is continuous at c lim f (x) = f (c)
xc
1. f + g is continuous at c
2. f g is continuous at c
3. f is continuous at c for any R
4. f /g is continuous at c provided g(c) 6= 0
5. If f is continuous at c and g is continuous at f (c) then the composition
g f is continuous at c.
Theorem 3.11 (Continuity of Elementary Functions)
The following classes of functions are continuous on their domain:
1. Polynomials,
2. Rational Functions,
3. Root Functions,
4. Trigonometric Functions,
5. Inverse Trigonometric Functions,
6. Exponential Functions,
7. Inverse Trigonometric Functions.
151
152
3.1.5 Differentiability
Definition 3.10 (Differentiable, Derivative)
Suppose the function f is defined in an open interval containing the point c.
We say that f is differentiable at c if the limit
lim
xc
f (x) f (c)
xc
153
(x) =
5. The Chain Rule: If the function f is differentiable at x and the function g is differentiable at f (x), then the compositon g f is differentiable at x and
(g f ) (x) = g f (x) f (x)
6. The Inverse Function Rule: If f is differentiable with inverse function
f 1 then f 1 is differentiable at x if f f 1 (x) 6= 0 and
f 1 (x) =
f 1 (x)
154
1. xr
= rxr1 , (r R)
2. sin x = cos x,
cos x = sin x
8. tanh x = sech2 x,
coth x = csch2 x
9. sech x = sech x tanh x,
csch x = csch x coth x
3. tan x = sec2 x,
cot x = csc2 x
4. sec x = sec x tan x,
csc x = csc x cot x
5. ex = ex ,
ax = ax ln a
1
,
x
1
loga x =
x ln a
6. ln x =
1
10. arcsin x =
,
1 x2
1
arccos x =
1 x2
1
,
1 + x2
1
arccot x =
1 + x2
11. arctan x =
,
|x| x2 1
1
arccsc x =
|x| x2 1
12. arcsec x =
7. sinh x = cosh x,
cosh = sinh x
f (b) f (a)
ba
or equivalently
f (b) f (a) = f (c)(b a).
155
2. Suppose f and g are differentiable on (a, b). If f (x) = g (x) for all
x (a, b) then f (x) = g(x) + C for all x (a, b) and some constant
C R.
1. If f (x) > 0 for all x (a, b), then f is increasing on (a, b);
2. If f (x) < 0 for all x (a, b), then f is decreasing on (a, b);
3. If f (x) = 0 for all x (a, b), then f is constant on (a, b);
156
1. If f (x) > 0 for all x (a, b), then f is concave upward on (a, b).
2. If f (x) < 0 for all x (a, b), then f is concave downward on (a, b).
Theorem 3.22 (Fermats Theorem)
If f has a local extremum at c then f (c) = 0 or f (c) does not exist.
Definition 3.14 (Critical Numbers)
Given a function f with domain Df . The point c Df is called a critical
number of f if either f (c) = 0 or f (c) does not exist.
1. f (x) > 0 for all x (c , c) and f (x) < 0 for all x (c, c + ),
then f (c) is a relative maximum.
2. f (x) < 0 for all x (c , c) and f (x) > 0 for all x (c, c + ),
then f (c) is a relative minimum
3. If f keeps constant sign on (c , c) (c, c + ) then f (c) is not an
extreme value.
Theorem 3.24 (First Derivative Test for Absolute Extrema)
Suppose c is a critical point of f defined on an interval, and suppose f is
continuous at c. If
1. f (x) > 0 for all x < c and f (x) < 0 for all x > c, then f (c) is an
absolute maximum of f .
2. f (x) < 0 for all x < c and f (x) > 0 for all x > c, then f (c) is an
absolute minimum of f .
Theorem 3.25 (Second Derivative Test)
Suppose that f (c) = 0 and that f (c) exists. Then
3.2. EXERCISES
157
3.2 Exercises
3.2.1 Two-Sided Limits
Find the following limits if they exist:
1. lim
x3
2. lim
x3
2x 6
x3
x3
x2 6x 9
3. lim
x1 x2
x1
5x + 4
1
x0 1 +
4. lim
1
x
1
x
1
2
1
x
x2
x2
x2/3 1
x1 x 1
7. lim
has
has
has
has
sin x
x
has
9. lim
10. lim
x0
sin 2x
sin 3x
tan( 4x)
x/4
x /4
lim
13.
has
tan2 x
x0
x
8. lim
11.
has
has
3x 3
5. lim
x1
x1
6. lim
has
sin(x + 41 ) 1
x/4
x 14
lim
has
has
has
158
1. lim+
x8
|8 x|
8x
sin x
2. lim
x
x0+
3. lim+
1
x4
4. lim
1
x4
x4
has
x4
5. lim+ x sin
x0
6. lim x sin
x0
1
x
1
x
x+1
x3
x2 + 1
x 2x2 + 4
2. lim
has
1 x3
x x3 + 4x + 3
x+1
x2 3
3. lim
4. lim
` 5
5x3 + 4 x + 2x + tanh x
x
4x3 + 2x + 4
5. lim
6. lim
7. lim
8. lim
9.
lim
p
x2 + 4x x
p
x2 + 4x x
1
1 + ex
a
a
a
1
1 + ex
sin x
x
2. lim x sin
x0
1
x
en
n n!
3. lim
has
5. lim (x ) cos2
x
1
x+3
1
x
3.2. EXERCISES
159
6. lim |x 1| sin x
x1
4. lim
x0+
has
has
ln x
cot x
6x
tan 4x
1
1
6. lim
x0 sin x
x
p
7. lim
x2 + 2x x
5. lim
x0
8. lim
1
cos
x
9. lim x3 + 1
x
x
1/ ln x
a
a
x0
ln sin x
11. lim
x/2 x 2
Z
1 x
1
12. lim
dt
sin
x x 0
1+t
13. lim
x2
arctan(4x 8)
arcsin(7x 14)
x
f (x) =
x0
0<x<1
1x<2
2x
160
and classify the discontinuities (if any) as being a removable discontinuity, a jump discontinuity, or an infinite discontinuity.
has
2. Sketch the graph of the function
x+7
|x 2|
f (x) =
x2 2x
2x 3
x < 3
3 < x < 1
1 < x < 3
3x
x+1
x2 + 5x + 4
is continuous.
has
x+3
x3
has
5. Let
f (x) =
x2
,
x2 4
x R \ {2, 2}.
has
6. Let
f (x) =
x2
,
x2 + 3x 10
x R \ {5, 2}.
ha
7. Let
f (x) =
x2
x3
,
+ 8x + 12
x R \ {2, 6}
ha
3.2. EXERCISES
161
7. If there exists x [a, b] such that f (x) = c, then either f (a) < c < f (b)
or f (b) < c < f (a).
a
8. None or the above.
162
3. There exists x [a, b] such that f (x) f (y) for all y [a, b].
4. If either f (a) or f (b) is larger than c, then there exists x [a, b] such
that f (x) = c.
a
5. The function has either a maximum or minimum value but we cannot
say which.
a
6. There exists x [a, b] such that f (x) = f (y) for all y [a, b].
7. If either f (a) or f (b) is smaller than c, then there exists x [a, b] such
that f (x) = c.
a
8. If there exists x [a, b] such that f (x) = c, then either f (a) < c < f (b)
a
or f (b) < c < f (a).
9. None of the above.
3.2. EXERCISES
163
( 6 , 12 )
has
x + 1,
(3, 2)
has
3. f (x) = 1 ex ,
(0, 0)
has
4. f (x) = 1 + ln x,
(3, 1 + ln 3)
has
2. f (x) =
ha
ha
a
x0 = 0.
x<2
1 x
(c) f (x) = 3
x=2,
2
x 8x + 9 x > 2
at x0 = 2.
ha
164
ha
1
2. f (x) =
x 3 + 2x2
ha
x2 1
x3 + 1
4
3
4. f (x) = x1 + 2x2 + 3x3
3. f (x) =
5. g(x) =
x2 + x + 1
x2 x + 1
6. g(t) =
t2 + 5t + 4
t2 + t 20
x3 1 2
(x + 1)
x4 + 1
1
1
8. f (x) = 1
2
x
x
5
1
9. f (x) = x2 3
x +1
3
4x + 3
10. f (x) =
5x 2
7. f (x) =
Trigonometric Functions
11. f (x) = sin x cos x
sec x
tan2 x + 1
q
14. f (x) = 3 sec2 tan(x)
13. f (x) =
15. f (x) = tan sec(x + 1)
16. f (x) = 2x2 tan x sec x
ha
ha
a
a
3.2. EXERCISES
165
a
1
1
19. f (x) = sec(tan x) 4
20. f (x) = cot2 2 3x + 1
21. f (x) = x2 sec x3
24. f (x) = ln ln(2x + 1)
ha
Miscellaneous
27. f (x) = cos(2x + 2x )
28. f (x) = (tan x)ln(x
a
2
a
a
a
a
166
36. f (x) =
1
3
arcsin 3x 4x2
37. f (x) = cos arcsec(ln x)
38. f (x) = earccot x
39. f (x) = arctan
x
1 + x2
a
a
a
(a) tan x + y = 2x
(d) tan(xy) = x
2. Find Equations for the Tangent and Normal Lines at the indicated Point,
respectively:
(a) 9x2 + 4y 2 = 72, (2, 3)
(b) y 2 + 2xy + x2 = 9,
(2, 1)
(c) x = cos y, ( 21 , 3 )
has
2. f (x) = x4 x2 + 4
has
3. f (x) = x3 (4 x)2
has
4. f (x) =
x2
, x [2, 6]
1 + x2
5. f (x) = 6 + 216x2 + x2 ,
6. f (x) =
x (0, )
x
, x [3, 1]
4 + x2
ha
ha
ha
3.2. EXERCISES
167
7. f (x) = x 4 x2
8. f (x) = 2 cos3 x + 3 sin x, x [0, ]
3 x < 0
|x + 1|
2
9. f (x) = x 4x + 2 0 x < 3
2x 7
3x<4
has
has
has
6x
x2 + 1
ha
ha
ha
4. f (x) = x 4 x2
ha
5. f (x) = x + sin x
(
x3
x<1
6. f (x) =
3x 2 x 1
has
has
3.2.16 Monotonicity
Find the intervals on which f increases/decreases:
1. f (x) = x +
1
x
x2 + 1
x2 1
4. f (x) = x + sin x
ha
ha
ha
ha
ha
x4
x2
ha
2. f (x) =
168
3. f (x) =
2x2
x+1
ha
4. f (x) = 3 |x2 1|
1
5. f (x) = x(x 1) 5
ha
ha
6. Conical paper cups are usually made so that the depth is 2 times the
radius of the rim. Show that this design requires the least amount of
paper per unit volume.
has
7. What is the maximum volume for a rectangular box (square base, no top)
made from 12 square feet of cardboard?
a
169
x 2
x+ 2 .
7. Factor the numerator and denominator of the fraction and reduce it.
8. Write tan in terms of sin and cos and use Theorem 3.3:2, 3 and 6.
9. Use the substitution y = x , the addition formula for sin (Theorem 2.4:1) and Theorem 3.3:6.
10. Expand the argument of the limit operator by 2x and use Theorem 3.3:6.
11. Use LHopitals Rule (Theorem 3.8) or Theorem 3.3:6.
12. Use the inequality 1 cos x 1 for x R in conjunction with the
Squeezing Theorem (Theorem 3.7).
170
e3 1
en
n!
2 n
for all n N with n 4 and apply the Squeezing Theorem (Theorem 3.7).
1+
a
a x
= ex ln(1+ x )
x
and use the Substitution Rule (Theorem 3.5) and LHopitals Rule (Theorem 3.8).
171
172
Trigonometric Functions
13. Can you simplify the term before you differentiate?
14. Simplify the term before you differentiate!
Exponential and Logarithmic Functions
25. You can use logarithmic differentiation or rewrite the expression using
the identity ab = eb ln a
Miscellaneous
173
3.3.16 Monotonicity
Find the intervals on which f increases/decreases:
1. Determine the intervals on which f is positive and where it is negative.
2. Determine the intervals on which f is positive and where it is negative.
3. Determine the intervals on which f is positive and where it is negative.
4.
174
175
6.
1
8
2. 0
7.
2
3
3. 31
8. 0
4. 1
9. 1
1. 2
5. 0
10.
2
3
11. 4
12. 0
13. 0
3.
5. 0
2. 0
4. -
6. 0
1
2
3. -1
4. 0
7. 2
5
4
8. 1
5.
6.
9. 0
3. 0
5. 0
2. 0
4. 0
6. 0
3.
5. - 23
2. ea
4. 0
6. 0
176
7. 1
10. 1
8. 1
11. 0
9. e3
12. 0
13. - 47
Figure 3.5:
1. true
4. true
2. false
5. false
3. true
6. false
7. false
8. false
5. true
9. true
2. true
6. false
10. false
3. false
7. false
4. false
8. false
177
1. false
4. true
7. true
2. false
5. false
8. false
3. true
6. false
9. false
3
1. Tangent line: T (x) = 21 3 x + 12 12
Normal line: N (x) = 32 3 x + 12 + 9 3 .
xc
f (x) f (c)
xc
1
9
(c) 1
(b)
1
16
(d) 1
178
3+4x2
x2 3+2x2
x(x2)
3/2
2
x2 x+1
3
384 2x3 + 3x2 + 6x + 4 x3 + 2x2 + 5x + 4
x25
2 x2 1
5.
2
x2 x + 1
4 t2 + 12t + 26
6.
2
t2 + t 20
x x7 + 5x3 x5 + 3x + 2x4 + 4x2 2
7.
2
x4 + 1
4.
8.
3x 2
x3
9.
5x x5 + x2 1
2
69 4x + 3
10.
4
5x 2
4
2x6 + 4x3 + 3x + 2
6
x3 + 1
Trigonometric Functions
11. cos2 (x) sin2 (x) = cos(2x)
12. 2x cos(x) x2 sin(x)
13. sin x
2/3
14. 23 sec tan(x)
tan tan(x) sec2 (x)
15. sec2 sec(x + 1) sec(x + 1) tan(x + 1)
16. 4x tan(x) sec(x) + 2x2 sec3 (x) + 2x2 tan2 (x) sec(x)
17. sin sin(x) cos(x)
cos(x)
3(1 + sin(x))2/3
19.
1
4
179
1/4
sec tan(x)
tan tan(x) sec2 (x)
6 cot 2 3x + 1 csc2 2 3x + 1
3x + 1
2x3 sec x3 3 sec x3 tan x3
21.
x2
20.
23.
2
(2x + 1) ln(2x + 1)
h
25. (x + 1)x ln(x + 1) +
24.
x i
x+1
xx +x1
26. x
x ln x(ln x + 1) + 1
Miscellaneous
27. ( ln 2) 2x 2x ] sin 2x + 2x
28.
`
ln xx
sec2 x
tan x
ln x ln(tan x) + ln(tan x) + x ln
tan x
cos x
29. (sin x)
cos2 x
sin x ln(sin x) +
sin x
30.
tan etan(4x
4e4 ln(x)
x
34. 2esin 2x cos 2x ln cos(e2x ) e2x tan(e2x )
33.
180
35.
36.
abs. max.
1
b
K1
1
p
x ln x ln2 x 1
2
3 8x
2
3 1 9x + 24x3 16x4
37.
1
x ln2 x
38.
earccot(x)
x2 + 1
39.
1 x2
x2 + (x2 + 1)2
rel. max.
K2
(a) 4 x + y cos2 ( x + y) 1
abs. min.
Figure 3.6:
(b) 1
3 y
(c)
3
x
cos2 (xy) y
x
34x 8xy + 3y
(e)
8yx2 3x
(d)
rel. max.
y
b
abs. min.
b
b
abs. min.
3
2. Find Equations for the Tangent and Normal Lines at the indicated Point,
respectively:
1.5
1.0
0.5
Figure 3.7:
0.5
1.0
1.5
5
3
(c) T (x) = 23 3 x + 3 + 33
N (x) = 21 3 x 41 3 + 3
absolute minima at 12 2, 15
4 .
rel. min.
b
181
3. Critical numbers: 0, 12
5 , 4; f has an inflection point at (0, 0), a rela110 592
tive maximum at ( 12
,
5
3 125 ) and a relative minimum at (4, 0). Note
that f does not have any absolute extrema, compare the Extreme Value
Theorem!
4. Critical numbers: 2, 0, 6; f has a relative maximum at (2, 54 ), an
absolute minimum at (0, 0) and an absolute maximum at (6, 36
37 ).
5. Critical numbers: 16 ; f has an absolute minimum at 16 , 24 , but no absolute maximum. Note hat f does not satisfy the assumptions of the
Extreme Value Theorem!
3
6. Critical numbers: 3, 2, 1; f has
a relative maximum at 3, 13
,
an absolute minimum at 2, 41 and an absolute maximum at 1, 15 .
7. critical numbers: 2, 2, 2, 2; f has a relative maximum at (2,
0),
an absolute minimum at ( 2, 2), an absolute maximum at ( 2, 2)
and a relative minimum at (2, 0).
abs. max.
b
0.9
rel. max.
b
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
abs. min.
Figure 3.9:
8. critical points: 0, /4, /2, ; f has a relative minimum at (0, 2), its
absolute maximum at (/2,
3), its absolute minimum at (, 2) and an
inflection point at (/4, 2 2).
40
9. Critical numbers: 3, 1, 0, 2, 3, note that the domain of f is the halfopen interval [0, 4); f has a relative maximum at (3, 2), a relative minimum at (1, 0), a relative maximum at (0, 2) and an absolute minimum
at (2, 2), however no absolute maximum. Note that f does not satisfy
the assumption of the Extreme Value Theorem!
30
f
b
abs. min.
y
20
10
abs. max.
2
b
b
abs. max.
infl. point
2
0
0
rel. min.
K2
0.4
Figure 3.10:
rel. min.
K1
K1
K2
K2
abs. min.
Figure 3.12:
0.3
K1
0.2
rel. max.
b
0.1
abs. min.
abs. max.
b
0.2
Figure 3.13:
0.1
K
f
Decribe the concavity of the graph of f and find the points of inflections:
0.1
0.2
b
b
rel. max.
abs. min.
Figure 3.11:
182
1. f is concave down on (, 0), concave up on (0, ) and has an inflection point at (0, 2).
2. f is concave down on , 3 0, 3 , concave up on 3, 0
3, and has an inflection points at 3, 23 3 , (0, 0) and 3, 23 3 .
1
1
,
and has an
,
concave
up
on
3. f is concave down on ,
2
2
inflection point at 12 , 21 .
10
4. f is concave up on (2, 0), concave down on (0, 2), and has an inflection
point at (0, 0).
Inflection Point.
f
Conc. Up
Conc. Down
K3
K2
K1
10
b
Inflection Point.
Inflection Point.
b
Conc. Up
Conc. Down
3
bc
K5
Inflection Point.
b
K10
K3
rel. max.
2
rel. max.
Figure 3.16:
K2
K1
rel. min.
K2
K1
f
bc
K3
Convcave Up
Concave Down
K5
K2
bc
K10
b
abs. min.
Figure 3.15:
b
Figure 3.14:
I.P.
C.U.
I.P.
C.D.
10
I.P.
K6
K4
K2
C.U.
I.P.
C.D.
K2
f
y
f
Conc. Down
Inflection Point.
K4
Inflection Point.
I.P.
K2
K6
b
K1
Conc. Up
Conc. Down
K1
K4
Figure 3.17:
Figure 3.18:
3
y
f
1
I.P.
K2
K1
f
C.D.
K1
K2
K3
K4
Figure 3.20:
C.U.
1
x
[
nZ
(2n 1), 2n
1
x
Conc. Up
K10
4
K2
K5
Figure 3.19:
K2
183
concave down on
[
2n, (2n + 1)
nZ
3.4.16 Monotonicity
rel. min.
f incr.
K4
K3
K2
f decr.
+
K1
f incr.
+
K3
K4
Figure 3.21:
15
10
f incr.
rel. max.
f
10
5
y
f decr.
+
K2
K1
f
K2
10
K3
K1
rel. max.
14
rel. min.
1
K10
K5
K5
10
K5
f incr.
Figure 3.24:
f decr.
f incr.
K3
K2
K10
K10
Figure 3.23:
K1
K5
Figure 3.22:
10
f
5
K2
K1
b
b
f incr.
184
rel. min.
rel. max.
infl. point
f decr.
+
f incr.
f concave down
f concave up
+
K5
Figure 3.25:
y
0.1
infl. point
abs. max.
0.2
20
10
f decr.
20
f incr.
+
0.1
f conc. down
10
y = 1, (v) Monotonicity:
f is increasing on , 31 (1, ) and
decreasing
on 13 , 1 , (vi) Extrema:
f has a relative maximum at
1 31
,
and
a
relative
minimum
at
(1,
1),
but no absolute
extremum,
3 27
2
(vii) Concavity:
f is concave down on , 3 and concave up
2 29
on 32 , , (viii) Inflection Points:
3 , 27 , (ix) Asymptotes: none,
limx f (x) = , limx f (x) = .
2. (i) Domain: Df := R \ {0}, (ii) Symmetry: none, (iii) x-Intercepts:
x = 4, (iv) y-Intercept: none, (v) Monotonicity: f is decreasing on
(, 0) (8, ) and decreasing
on (0, 8), (vi) Extrema: f has an
1
, (vii) Concavity: f is concave down on
absolute maximum at 8, 16
(, 0)
(0, 12) and concave up on (12, ), (viii) Inflection Point:
1
, (ix) Asymptotes: y = 0 is a horizontal asymptote, x = 0 is a
12, 18
vertical asymptote of f .
3. (i) Domain: Df := R\{1}, (ii) Symmetry: none, (iii) x-Intercepts:
x = 0, (iv) y-Intercepts: y = 0, (v) Monotonicity: f is increasing on
(, 2)(0, ) and decreasing on (2, 1)(1, 0), (vi) Extrema:
f has a relative maximum at (2, 8) and a relative minimum at (0, 0),
(vii) Concavity: f is concave down on (, 1) and concave up on
(1, ), (viii) Inflection Points: none, (ix) Asymptotes: Since
f decr.
+
f conc. down
0.2
f conc. up
+
Figure 3.26:
f (x) =
2
2x2
= 2x 2 +
x+1
x+1
15
f
10
f conc. down
y = 2x 2.
f conc. up
+
y
f in.
f de. f de.
5
K4
K2
f
y=
2x
f in.
in.0
.m
r el
K5
2
b
ax
.m
r el
K10
K15
Figure 3.27:
abs. max., IP
rel. min
abs. max., IP
10
K4
K3
K2
K1
f in.
f de.
+
f conc. down
K5
f in.
+
f de.
f conc. down
+
K10
f conc. up
+
Figure 3.28:
185
3. 4 6 ft.
4. Width: 265 ft (occurs 2 times), depth: 106 ft (occurs 5 times!).
5. 34 3 r2 units2
6. Suppose the conical cup has radius r and height h and volume V . We
would like to minimize its (surface)
area A and will show that A attains
2
1
3 r h
and thus
h=
3V
.
r2
Moreover,
9V 2
2
+
= r + 2 4
A = r
r
2 6
2
r + 9V
.
=
r2
p
r2
h2
Note that A gives the surface area of the conical cup of radius r > 0
with fixed volume V . In order to find its minimum, we first compute its
derivative
6 2 r7 2r( 2 r6 + 9V 2 )
4
r r
A (r) =
2 6
r + 9V 2
2
r2
2 7
2 2 r6 9V 2
4 r 18rV 2
r
= r
=
2 r6 + 9V 2
2 r6 + 9V 2
2r4
r3
2
r
r2
It can be easily seen that A (r) = 0 if and only if r3 = 3V2 and that A
has an absolute minimum at this point. Hence, since 3V = hr2 ,
hr2
3V
hr2
=
r3 =
=
2
2,
2
4
3
y
2
b
IP
K4
K3
K2
K1
f de.
f conc. up
Figure 3.29:
K1
K2
IP
abs. min.
f in.
K3
++
K4
f in.
f c.d.
+
f conc. up
186
xc
2(x 3)
2x 6
= lim
= lim 2
xc
xc
x3
x3
x3
33
x3
= 2
= 0.
x2 6x 9
3 639
x1
x1
x1
1
= lim
= lim
x2 5x + 4 x1 (x 1)(x 4) x1 x 4
1
= 31
14
1
x
1
x
x 1 x1
x1
= lim
= lim
x0 x 1 + 1
x0 x + 1
x
which satisfies the assumptions of Theorem 3.2:4. Hence the limit can
be determined by evaluating the argument function at c = 0
=
01
= 1
0+1
187
x1
= 3 lim (x 1)1/2 = 3 0 = 0
x1
by the Substitution Rule for limits and the continuity of the root functions.
6. We combine the fractions in
the denominator
the denominator
and
factor
using the identity x 2 =
x 2
x + 2 , then follows
lim
x2
1
2
1
x
x2
x 2
2x
= lim
x2
x 2
x+ 2
x 2
= lim
x2
2x x 2
x+ 2
1
= lim
x2
2x x + 2
The limit of the denominator can be computed using the product rule
and summation rule for limits (Theorem 3.4:3 and 1) in conjunction with
Theorem 3.3:1 and Theorem 3.2:3
= 2 2 2 + 2 = 4 2 6= 0.
Hence, by the quotient rule (Theorem 3.4:4)
lim 1
1
1
x2
= = 18 2.
=
lim
x2
2x x + 2
4 2
lim 2x x + 2
x2
Hence,
lim
x2
1
2
1
x
x2
1
8
2.
= lim
188
x1
x1
x1
= 1 + 1 + 1 = 3 6= 0,
we can use the quotient rule (Theorem 3.4:4) to finish evaluating the
limit above. Therefore, by another application of Theorem 3.3:1 and
Theorem 3.2:3, we obtain
lim x1/3 + 1
x1/3 + 1
x1
=
lim
x1 x2/3 + x1/3 + 1
lim x2/3 + x1/3 + 1
x1
1/3
lim x
+1
x1
2
.
3
Hence,
x2/3 1
= 32 .
x1 x 1
lim
8. Clearly,
tan2 x
= lim
x0
x0
x
lim
sin x sin x
x
cos2 x
x0
sin x
sin x
lim
x0 cos2 x
x
Note that both limits exist by Theorem 3.3:6,2,3. Moreover, by Theorem 3.4:4 and 3, we have
lim sin x
0
sin x
x0
=
2 = = 0.
x0 cos2 x
1
lim cos x
lim
x0
Therefore,
lim
x0
sin x
sin x
sin x
sin x
lim
= lim
lim
= 1 0 = 0,
x0 cos2 x
x0 x
x0 cos2 x
x
hence
tan2 x
= 0.
x0
x
lim
189
sin(y + )
sin x
= lim
x y0
y
y0
y0
sin y
y
and
= lim
y0
sin y
= 1
y
10. Clearly,
sin 2x 2x
sin 2x
= lim
lim
x0 2x sin 3x
x0 sin 3x
sin 2x
2
sin 2x 3x 3
= lim
= lim 2x 23
sin 3x
x0 2x sin 3x
x0
3x
sin 2x
lim
2 x0
2x
=
sin 3x
3
lim
x0 3x
and by Theorem 3.3:6
=
2
3
1
=
1
2
3
11. We compute this limit using LHopitals Rule (Theorem 3.8). Note that
numerator and denominator function are differentiable at 4 and the limit
is of type 00 :
4 sec2 ( 4x)
tan( 4x)
= lim
= 4.
x /4
1
x/4
x/4
lim
190
for all x R
for all x R.
2
2
lim x = 0 = 0,
lim |x| = lim x
x0
x0
x0
by Theorem 3.7, the limit of the expression in the middle of the doubleinequality above has to be zero,too, i.e.
lim |x| cos x = 0.
x0
sin x
sin x
sin x
x = lim+
lim+ x
lim+ = lim+
x
x
x x0
x0
x0
x0
which by Theorem 3.3:6 and 1 equals
=1
lim x
x0+
=10=0
by Theorem 3.2:2.
1
x2
4
x2
1+
x 2 +
= lim
1
x2
4
x2
191
lim 2 +
1 2
x
x
2
lim x1
x
lim
1 + 02
= 12 .
2 + 02
n!
e234
n1n
2 34
n1n
e3
1
e3 1
1 11 =
2
n
2 n
for all n N with n 4. Therefore, we have established that
0
en
e3 1
n!
2 n
e3
e3
1
e3 1
=
lim
=
0 = 0
n 2 n
2 n n
2
lim
192
2. We first rewrite the argument of the limit operator in terms of the natural
exponential function:
a x
a
1+
= ex ln(1+ x ) .
x
ln(1 + xa )
a
) = lim
1
x
x
x
= lim
x
a
x+a ( x2 )
x12
ax
x+a
= lim
a
xa
= lim
x(1 + xa ) x 1 +
a
x
a
=a
1+0
ya
lim ex ln(1+ x ) = ea .
Therefore,
lim
1+
a x
= ea .
x
x0
x0
x0+
x0+
x1
x1
x1+
x1+
193
x2
x2
x2
x2
x3
lim f (x) =
x3+
lim (x + 7) = 4
x3
lim |x 2| = 5,
x3+
x1
lim f (x) =
x1+
lim |x 2| = 3
x1
Figure 3.30:
lim (x 2x) = 3
x1+
x3
x3
x3+
x3
hence f is continuous at x = 3.
3. The domain of f is Df := R \ {1, 4}. Hence, als a rational function,
f is continuous on Df . However, since
x+1
x+1
=
x2 + 5x + 4
(x + 1)(x + 4)
1
=
,
x+4
we see that f has a removable discontinuity at x = 1.
f (x) =
x3
x3
x+3
= +
x3
Figure 3.31:
194
5. Since
f (x) =
x2
x2
1
=
=
,
2
x 4
(x 2)(x + 2)
x+2
x2
1
= 41 ,
x+2
the tangent at ( 6 , 21 ), is therefore m = f 6 = cos 6 = 12 3. With
the point-slope form of the line equation, which is given by
y y0 = m(x x0 ),
we can now easily compute he tangent line at the point ( 6 , 12 ):
y 12 = 21 3 x 6 = 12 3x 12
3.
1
2
3 x+
1
2
12
3
195
for all x R.
2
1
= 1 = = 32 3.
3
2 3
m =
for all x R.
1
2
= 32 3 x 6 = 23 3x + 9 3
N (x) = 32 3 x +
1
2
3
1
1
= 1 = 4.
m
4
5
4
196
T (x) = x
and
N (x) = x,
respectively.
4. The derivative of f is f (x) = x1 , hence the slope of the tangent and
normal of f at the point (3, 1 + ln 3) is
m = f (3) =
1
3
and
m =
1
1
= 1 = 3,
m
3
is the equation of the tangent line of f at the (3, 1 + ln 3), while the
eation of the normal line of f at the same point is given by
N (x) = 3x + (10 + ln 3)
for x R
197
+ + + + +
Figure 3.32:
abs. max.
1
(ii) Determine the type of the critical numbers: We will apply the First
Derivative Test. Pick a sample point in each subinterval determined by
the critical numbers. We choose 1 and 5/2.
K1
Then evaluate f at those sample points. Actually, we only need to determine the sign (postive/negative). We find that f (1) < 0 and f (5/2) >
0. By the Intermediate-Value Theorem, f keeps its sign on the whole
subinterval. Thus, by the First Derivative Test, f has a relative maximum
at 0, a relative minimum at 2 and a relative maximum at 3.
(iii) Evaluate f at each extremum and compare the values: f (0) = 1,
f (2) = 4 8 + 1 = 3, f (3) = 9 12 + 1 = 2. Hence (0, 1)
is the absolute maximum, (2, 3) the absolute minimum and (3, 2) a
relative maximum of f on [0, 3].
rel. max.
K2
K3
abs. min.
Figure 3.33:
.
q
1
2
0
b
+
1
b
+++ +++++++
Figure 3.34:
198
rel. max.
y
b
b
b
abs. min.
abs. min.
3
1.5
1.0
0.5
0.5
1.0
1.5
Figure 3.35:
+
0b
1
2 b 3
4b
5
6
++++++++++++++++++++++++++++++++
+
1
Figure 3.36:
30
10
infl. pt
K1
rel. min.
K10
K20
Figure 3.37:
(ii) Determine the type of the critical numbers: We will use the First
Derivative Test. Pick sample points in each of the subintervals determined by the critical numbers. We choose 1, 1, 3 and 5.
rel. max.
20
15
15
1
4 and f (0) = 4. Hence, (0, 4) is a relative maximum and 2 2, 4
relative minima off . In fact, these minima are absolute minima
of f .
Note that f is even and f is decreasing on the interval 0, 21 2 and
increasing on 21 2, , i.e. f (x) f 12 2 = 15
4 for all x (0, ).
f
2
Evaluating f at those sample points (we only need the sign!), we find
that f (1) > 0, f (1) > 0, f (3) < 0 and f (5) > 0. By the
Intermediate-Value Theorem, f keeps its sign on the subintervals. Thus,
by the First Derivative Test, f has an inflection point at 0, a relative maximum at 12
5 and a relative minimum at 4.
(iii) Evaluate f at each extremum and compare the values: f 12
5 =
110 592
12 110 592
and
3 125 , f (4) = 0. Hence f has a relative maximum at 5 , 3 125
a relative minimum at (4, 0), but does not have any absolute extrema!
Note that f does not satisfy the assumptions of the Extreme Value Theorem, since its domain is not a closed and bounded interval!
f (x) =
199
(ii) Determine the type of each critical number: We will use the First
Derivative Test and pick a sample point in each of the subintervals of
(2, 2) determined by the critical numbers. We choose 1.7, 0 and
1.7. Evaluating f at these points (we only need the sign), we find that
f (1.7) < 0 and f (0) > 0. By the Intermediate-Value Theorem, f
keeps its sign on the whole subintervals.
f
2
+
1
b
Figure 3.38:
abs. max.
2
K1
By the Intermediate-Value Theorem, f keeps its sign on the whole subintervals. Thus, by the First Derivative Test, f has a relative minimum at 0,
an inflection point at 8 , a relative maximum at 2 and a relative minimum
at .
rel. min.
(ii) Determine the type of each critical number: We will use the First
Derivative Test and pick a sample point in each of the subintervals of
(0, ) determined by the critical numbers. We choose 18 , 38 and 43 .
Evaluating f at these points (we only need the sign), we find that f ( 18 ) >
0, f ( 38 ) > 0 and f ( 43 ) < 0.
rel. max.
b
K2
++++++++++++++
at (2,
0), an absolute minimum at ( 2, 2), an absolute maximum
at ( 2, 2) and a relative minimum at (2, 0).
K1
K2
b
abs. min.
Figure 3.39:
1
b
+ + + + + + + +
Figure 3.40:
b
b
abs. max.
infl. point
2
f
b
rel. min.
K1
9. (i) Find the critical numbers of f on its domain Df = [3, 4): We can
K2
Figure 3.41:
abs. min.
b
200
rewrite f as
f
+
1
+
2
b
+
3
b
+++++++++++++++
Figure 3.42:
Since
bc
x0
rel. max.
2
b
bc
K3
K2
2
x
K2
b
abs. min.
Figure 3.43:
x3+
1
rel. min.
x0+
and
3 x < 1
1 x < 0
0x<3
3 x < 4.
rel. max.
(x + 1)
x + 1
f (x) =
x2 4x + 2
2x 7
3
bc
1
f (x) =
2x 4
3 x < 1
1 < x < 0
0<x<3
3 < x < 4.
201
Decribe the concavity of the graph of f and find the points of inflections:
5. (i) Find the critical numbers of f : Clearly, f (x) = cos(x), f (x) =
sin(x). f is defined on R. f (x) = 0 is equivalent to sin(x) = 0,
which in turn is equivalent to x = n for all n Z.
(2n 1), 2n ,
+
2
4
b
7
b
+ ++++++++++++++++++
Figure 3.44:
>
0
if
and
only
if
m
3
mod
4,
in
other
words,
f
2
2 <
>
0
if
m has
0 if m has remainder 1 by division by 4 and f m
2
remainder 3 by division by 4.
7 6 5 4 3 2 1
I.P.
C.U.
I.P.
C.D.
I.P.
K6
K4
K2
C.U.
I.P.
C.D.
K2
K4
I.P.
K6
b
Figure 3.45:
nZ
2n, (2n + 1) .
f (x) =
3,
x1
f (x) =
0,
x > 1.
f (x) = 0 is equivalent to x = 0 or x > 1. Thus, the critical numbers
of f are x = 0 and x = 1, since f (1) does not exist. We do not have
to consider the non-discrete zeroes.
(ii) Determine the sign of f on each subinterval determined by the
critical numbers of f : Since f is linear, we immediately see that
f (x) < 0 for x (, 0), f (x) > 0 for x (0, 1) and f (x) = 0
for x (1, ). Hence, f is concave down on (, 0), concave up on
(0, 1), linear on (1, ) and has an inflection point at (0, 0).
4
3
y
f
1
I.P.
K2
K1
f
C.D.
K1
K2
K3
K4
Figure 3.46:
C.U.
1
x
202
3.5.16 Monotonicity
Find the intervals on which f increases/decreases:
3V
.
r2
Moreover,
p
9V 2
A = r r2 + h2 = r2 + 2 4
r
2 6
2
r + 9V
=
.
r2
Note that A gives the surface area of the conical cup of radius r > 0
with fixed volume V . In order to find its minimum, we first compute its
derivative
6 2 r7 2r( 2 r6 + 9V 2 )
4
r r
A (r) =
2 6
r + 9V 2
2
r2
4 2 r7 18rV 2
r
=
2 r6 + 9V 2
4
2r
r2
2 6
2 r 9V 2
= r
2 r6 + 9V 2
r3
r2
203
It can be easily seen that A (r) = 0 if and only if r3 = 3V2 and that A
has an absolute minimum at this point. Hence, since 3V = hr2 ,
3V
hr2
hr2
r3 =
=
=
2
2,
2
204
4
I NTEGRAL
C ALCULUS
206
n
X
i=1
n
X
Mi (f )xi
mi (f )xi
i=1
Lemma 4.1
Suppose P and Q are partitions of [a, b]. Then
b
a
b
a
f (x) dx := inf U (f, Q) | Q partition of [a, b]
f (x) dx := sup L(f, Q) | Q partition of [a, b] ,
Remark 4.1
From Lemma 4.1 follows immediately that
Z
b
a
f (x) dx
f (x) dx
a
207
f (x) dx :=
f (x) dx.
Figure 4.1:
Bernhard Riemann
(18261866)
208
f (x) dx = lim
where
x =
ba
,
n
n
X
f (xj ) x,
j=1
and xj = a + j x,
for j = 0, . . . , n.
Definition 4.6
Given an Riemann integrable function f defined on [a, b], choose n N and
subdivide [a, b] in n subintervals of equal length
x :=
ba
.
n
Let
xi := a + i x.
for i = 0, 1, . . . , n. The partition P := {x0 , . . . , xn } is called an
209
n1
X
i=0
n
X
f (xi )x
f (xi )x.
i=1
1
LHSf (n) + RHSf (n) .
2
n
X
f (i )x.
i=1
210
Theorem 4.7 (Simpsons Rule)
For n N, let
1
2 MPSf (n) + TRAPf (n)
3
n
x
X
f (xi1 + 4f (i ) + f (xi )
=
.
6
i=1
SIMPf (2n) : =
Figure 4.2:
Thomas Simpson
(17101761)
If the function f is four times differentiable on [a, b] and |f (4) (x)| B for
all x [a, b] for some B R, then
Z
b
B(b a)5
.
f (x) dx SIMPf (n)
a
180n4
1.
f (x) dx =
f (x) dx
2.
f (x) + g(x) dx =
f (x) dx +
a
g(x) dx
f (x) dx =
f (x) dx +
f (x) dx.
211
f (x) dx M (b a).
f (x) dx = 0;
f (x) dx.
1
ba
f (x) dx
a
f (x) dx.
212
f (x)g(x) dx = f ()
g(x) dx.
1. The function
F (x) :=
f (t) dt
Z
f (t) dt
= f (x)
b
f (x) dx = G(x) = G(b) G(a).
a
213
Corollary 4.1
If f is continuous on [a, b] and 1 and 2 are differentiable on [a, b] then
G(x) :=
2 (x)
f (t) dt
1 (x)
2 (x)
1 (x)
f (t) dt
= f 2 (x) 2 (x) f 1 (x) 1 (x).
214
ln |x| + C,
r 6= 1
r = 1
r+1
Z
g(x)
r
+ C, r 6= 1
g(x) g (x) dx =
r+1
ln |g(x)| + C,
r = 1
Z
cos x dx = sin x + C
3.
Z
sin x dx = cos x + C
4.
5.
sec2 dx = tan x + C
sec3 x dx =
ex dx = ex + C
7.
8.
9.
cot x dx = ln | sin x| + C
6.
tan x dx = ln | cos x| + C
csc2 x dx = cot x + C
1
2
sec x tan x +
1
2
ax dx =
ax
+C
ln a
ln | sec x + tan x| + C
1
2
ln | csc x + cot x| + C
215
dx = sin1 x + C
2.
1 x2
Z
1
dx = sec1 x + C
3.
x x2 1
Z
cosh x dx = sinh x + C
4.
Z
sinh x dx = cosh x + C
5.
sech2 x dx = tanh x + C
cosn x dx =
6.
7.
8.
cosn2 x dx
Z
Z
sinn2 x dx
sinn x dx = n1 sinn1 x cos x + n1
n
Z
tan x dx =
secn x dx =
9.
csch2 x dx = coth x + C
1
n
1
n1
n1
tan
1
cotn x dx = n1
cotn1 x
n1
n
tann1 x dx
cotn1 x dx
secn2 x tan x +
secn2 x dx
Z
Z
1
cscn x dx = n1
cscn2 x cot x + n2
cscn2 x dx
n1
1
n1
n2
n1
216
2.
f (x) + g(x) dx =
f (x) dx +
g(x) dx.
2.
f g(x) g (x) dx =
f (y) dy
sin x =
cos x =
f (x)g(x) dx = f (x)g(x)
1.
a
2.
f (x)g (x) dx
f (x)g(x) dx = f (x)g(x)
2y
1 + y2
f (x)g (x) dx
217
(S TEP 1:) Factor q into a product of linear and irreducible (over R) quadratic
factors.
(S TEP 2:) Decompose p(x)/q(x) by replacing each linear factor of q which
has the form (ax + b)k (with multiplicity k 1) by
Ak
A2
A1
+ +
+
ax + b (ax + b)2
(ax + b)k
and each quadratic factor of q which has the form (ax2 + bx + c)k (with multiplicity k 1) by
A1 x + B1
Ak x + Bk
+ +
2
ax + bx + c
(ax2 + bx + c)k
(S TEP 3:) Compute the undetermined coefficients Aj , Bj in the numerators
using comparing coefficients, limit techniques etc.
(S TEP 4:) Solve the resulting integrals which are of the form
Z
Aj
dx,
(ax + b)j )
Aj x + bj
dx
(ax2 + bx + c)j
f (x) dx := lim
f (x) dx
provided the limit exist and call it the improper integral of f over [a, ).
Example 4.1 (p-Integrals)
Let p R, then
Z
1
1 ,
1
dx = p a
,
xp
if p > 1
else
218
f (x) dx := lim
f (x) dx
provided the limit exist and call it the improper integral of f over (, b].
f (x) dx
and
f (x) dx
f (x) dx
f (x) dx := lim
cb
f (x) dx
provided the limit exists and call it the improper integral over [a, b].
219
Then
R
g(x) dx converges, then a f (x) dx converges.
R
R
2. If a f (x) dx diverges, then a g(x) dx diverges.
1. If
R
a
Remark 4.4
Note that a similar result can be formulated for the other variations of improper
integrals.
Example 4.2
R
2
Determine whether the improper integral 0 ex dx converges.
2
x2
dx =
x2
dx +
ex dx
Clearly, the first integral on the right-hand side is an ordinary definite integral.
Therefore, we only have to determine whether the second integral on the righthand side converges. However, since x2 x for all x 1 and exp is order
2
preserving (increasing), it follows that ex ex for all x 1. Note that
Z
dx = lim
ex dx = lim e1 eb = e1
b
R
0
ex dx con
220
dx
{z
g(x)f (x)
R(f, g)
dA = g(x) f (x) dx
A=
dA =
f (x) g(x) dx.
Example 4.3
Find the area between the curves y = x and y = x2 over the interval [0, 1.5].
Figure 4.3:
S OLUTION :
Note the graphs of the functions f (x) := x and g(x) := x2
intersect at the points (0, 0) and (1, 1), more precisely
f (x) g(x) for x [0, 1]
= x2
dA2 = g(x) f (x) dx = (x2 x) dx
f(
x)
=
g(x) f (x)
f (x) g(x)
for x (1, 1.5]. Here dA1 (x) is the area of the xth slice of the shaded region
for x [0, 1], while dA2 (x) is the area of the xth slice for x (1, 1.5]. The
total area of the shaded region is given by the sum of the following two integrals
Z 1
Z 1.5
A=
dA1 +
dA2
0
x
1
1.5
=
Figure 4.4:
1
1
2
(x x2 ) dx +
2
1 3
2x 3x
1
3
9
8
1
+
0
9
8
1.5
(x2 x) dx
1
3
1 2 3/2
3x 2x 1
1
1
1
3 + 2 = 3.
221
Volume by Slicing
Example 4.4
Compute the volume of a cylinder of radius r and height h.
S OLUTION : The following figure suggests that the volume of a cylinder is
the sum of the volumes dV (x) = r2 dx of the cross-sectional slices of
thickness dx perpendicular to its axis:
V =
dV (x) =
a
r2 dx
b
= r2 x a = r2 (b a).
Figure 4.5:
and if a < b are points on the axis, then the volume of between a and b is
given by
Z b
Z b
V =
dA =
A(x) dx.
a
Example 4.5
Let a, b R and a, b > 0. The base of a solid is the region bounded by the
ellipse defined by
x2
y2
+ 2 = 1.
2
a
b
Find the volume of the solid provided that each cross-section perpendicular to
the x-axis is a square. See Figure 4.14.
S OLUTION :
We only need to determine the area A(x) of the x-th crosssection of the solid for arbitrary x [a, a]. By assumption, each
such crosssection is a square of base b(x) which is given by b(x) = 2b/a a2 x2 Thus
A(x) = b(x)2 =
4b2 (a2 x2 )
a2
and therefore
dV (x) = A(x) dx =
4b2 (a2 x2 )
dx.
a2
Figure 4.6:
222
16
4b2
b2 a.
= 2 2a3 23 a3 =
a
3
Example 4.6
Two cylinders of radius r intersect at right angles, their axis meeting. Find the
volume of the intersection. See the figures below.
Figure 4.7:
dV (x) = A(x) dx = 4 r2 x2 dx
for x [r, r]. The total volume of the intersection of the two cylinders is
thus the integral
Z r
Z r
r2 x2 dx
V =
dV (x) = 4
r
r
Z r
r2 x2 dx
=8
0
r
16 3
2
1 3
= 8 r x 3x =
r .
3
0
Figure 4.8:
223
Figure 4.9:
S OLUTION :
According to Cavalieris Principle, it suffices to compute the area A(y)
of the y-th cross-section of the solid perpendicular to the y-axis constituting
the axis of revolution in this case. Note that we have to choose y as the
independent variable, since the regions R is revolved about the y-axis! In this
case, where the curves bounding the region R are given by equations, we only
have to solve these equations for the variable x. Figure 4.20 shows that each
such cross-section is an annulus of inner radius x = g(y) := 21 y and and outer
radius x = f (y) := y with y [0, 4]. Hence, the solid has cross-sectional
area
2
2
A(y) = y 21 y = y 41 y 2
and cross-sectional volume (volume of the y-th slice of the solid)
dV (x) = A(y) dy = y 14 y 2 dy.
dV (y) =
Z 4
0
y 14 y 2 dy
4
1 2
1 3
= 2 y 12 y = 83 .
Figure 4.10:
224
and the total volume of by
V =
dV
Z bh
f (x) c
2
g(x) c
2 i
dx
Volumes by Shells
Figure 4.11:
Bonaventura Francesco Cavalieri
(15981647)
Figure 4.12:
V =
dV
= 2
(x d) f (x) g(x) dx,
Example 4.8
Find the volume of the solid generated by revolving the region R between
y = x2 and y = 2x located in the I-th quadrant about the y-axis.
225
S OLUTION : Using the radial version of Theorem 4.21, it suffices to compute the area A(x) of the x-th radial cross-section of the given solid of revolution for x [0, 2]. As Figure 4.22 shows, each such cross-section constitutes
the surface of a cylinder of radius x and height 2x x2 . Its area is therefore
A(x) = 2x 2x x2 = 2(2x2 x3 ),
while the volume of the x-th radial slice or shell of the solid is
dV (x) = 2(2x2 x3 ) dx.
The total volume of the solid is the integral
Z 2
Z 2
V = 2
dV (x) = 2
2x2 x3 dx
0
2
3
4
= 2 23 x 41 x = 2
16
3
4 = 83 .
Example 4.9
A torus of major radius a and minor radius b is obtained by revovling the region
enclosed by the circle (x a)2 + y 2 = b2 about the y-axis. Find the volume
of the torus using the shell-method.
S OLUTION :
Using the radial version of Cavalieris Principle, we first
compute the area A(x) of the x-th radial cross-section of the given solid for
x [a b, a +pb]. The circumference of this cross-section is 2x while it
height is 2y = 2 b2 (x a)2 , hence
p
A(x) = 4x b2 (x a)2
b
b
z
b
p
b2 z 2 dz
+ 4a
p
b2 z 2 dz
Figure 4.13:
226
which equals
= 4a 21 b2 = 2 2 ab2 ,
since the integrand of the first integral is odd and the integral therefore equals
zero and the second integral represents the area of a semi-circle of radius b.
Arc Length
Definition 4.14 (Arc, Smooth Curve)
If f is continuously differentiable on [a, b] (i.e. f is continuous) then the
curve
C := Cf := { x, f (x) | a x b}
is called an arc or a smooth curve.
for j = 1, . . . , n. Then,
Figure 4.14:
s(P ) :=
n
X
sj
j=1
gives the length of the polygonial arc inscribed in Cf relative to the partition
P.
If the set {s(P ) | P partition of [a, b]} is bounded above, then Cf is called
rectifiable and we define the length s of Cf by
s := sup{s(P ) | P partition of [a, b]}.
Remark 4.9 (Arc Length Differential)
If the function f defining the curve Cf is differentiable, then by the Mean Value
Theorem
q
sj = 1 + f (j
for some j (xj1 , xj ). Its supremum taken over all partitions of [a, b]
q
ds := 1 + f (x) dx
is called the arc length differential of the curve Cf .
227
ds =
q
2
1 + f (x) dx.
dS =
2 f (x) c
q
2
1 + f (x) dx.
228
Mass from Density
dm =
(x) dx.
dm =
f (x) g(x) (x) dx.
dm =
a
(x) ds =
a
q
2
(x) 1 + f (x) dx.
229
dM =
x dm(x) =
x(x) dx.
1
(a + b).
2
230
respectively, where x
and y denote the x- and y-coordinate of the center of
mass of the (uniform rod) mass differential dm(x) at x. The total moments
of with respect to the x- and y-axis are given by
Mx =
dMx =
1
2
dMy =
My =
Z b
a
2
2
f (x) g(x) (x) dx,
x f (x) g(x) (x) dx,
231
dMx =
My =
dMy =
a
Z b
y (x) ds(x).
x (x) ds(x),
x= Z
Z
y= Z
dMy
dm
dMx
dm
= Z
Z
= Z
x
dm
dm
y dm
dm
x (x) ds
= Za
Z
(x) ds
a
b
y (x) ds
= Za
(x) ds
232
233
Fluid Pressure
Definition 4.29 (Hydrostatic Pressure, Force)
1. The pressure p exerted by a fluid with weight-density at depth h is
given by
p = h.
2. The force F exerted by a fluid on a (horizontal) surface of area A at
depth h is
F = pA = hA.
Definition 4.30 (Hydrostatic Force on a Vertical Plate)
Suppose a vertical plate is submerged or partially submerged in a liquid of
weight density with the liquid level at x = c. Let the submerged portion of
the plate extend from a to b on the x axis. Let w(x) be the width of the plate
at x for x [a, b] and assume that w is continuous. Then the hydrostatic
force F on the plate due to the liquid is given by
F =
(c x)w(x) dx
Work
Definition 4.31 (Work under a Constant Force)
The work W performed by an object moved a distance d along a straight line
by a constant force F is
W = F d.
Definition 4.32 (Work)
Suppose an object moves from a to b under the influence of a force f , where
f is a continuous function on [a, b]. Then the work W done by the force on
the object is defined by
Z b
f (x) dx
W =
a
Money Stream
Definition 4.33 (Money Stream)
A money stream is a continuous function representing the flow of money as
a function of time (units: dollars per unit time).
234
dB(t) =
0
P (t)er(T t) dt.
4.2. EXERCISES
235
4.2 Exercises
4.2.1 Evaluating Integrals
Integration by Substitution
Z
1.
x cos x2 dx
2.
ha
cos4 x sin x dx
ha
ha
3.
(x 1) x + 1 dx
3
4.
Z
Z
4x 6 2x dx
ha
x2
dx
x+2
1
Z q
6.
1 + x dx
5.
7.
t5
ha
ha
p
1 + t2 dt
8.
(x2 + 3)(x3 + 9x + 1) 3 dx
9.
e x
dx
x
sin t
dt
1 + cos t
Z
1+ x+1
dx
11.
x+1
Z
tan(ln t)
dt
12.
t
Z
sin1 2x
dx
13.
1 4x2
Z
x
dx
14.
x2 4
Z
x
dx
15.
4 x2
10.
has
ha
ha
236
16.
17.
18.
19.
20.
Z
Z
5/4
dx
25 4x2
1
1 2x2
5/2 dx
23.
ha
ex
dx
9 e2x
has
x+3
dx
2
x + 4x + 13
24.
25.
26.
Z
Z
Z
Z
dx
x1
2.
3.
4.
5.
6.
Z
Z
Z
Z
has
tan2 x
dx
x tan x
dx
x2 a2 + x2
has
x2 ex dx
Integration by parts:
Z
1.
xex dx
Z
ha
dx
2x2 + 12x + 19
x dx
4 x2
Z p
22.
6x x2 8 dx
21.
ha
ha
has
x2 (ex 1) dx
x3 3x dx
x sin x dx
has
ex sin x dx
has
ln x dx
4.2. EXERCISES
7.
8.
9.
10.
11.
12.
13.
Z
Z
Z
Z
Z
Z
xr ln x dx,
237
rR
x cos x dx
cos(ln x) dx
x arctan(x2 ) dx
1
sin1 (ln x) dx
x
x arctan(x) dx
x arcsin(x) dx
ln(x + 1)
dx
x+1
13
Z
1
x
15.
dx
x2 x + 1
Z
16.
cos x dx
14.
17.
18.
19.
20.
21.
22.
23.
24.
Z
Z
Z
Z
Z
Z
Z
Z
ha
x ln(x + 1) dx
sin1 2x
dx
1 4x2
x2 cosh 2x dx
x2 (2x 1)7 dx
x tan1 x2 dx
sin1 2x dx
x2 tan1 (x2 ) dx
1
sin1 (ln x2 ) dx
x
238
25.
sin x dx
Trigonometric integrals:
Z
1.
tan3 x sec3 x dx
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
Z
Z
Z
Z
Z
Z
Z
Z
Z
Z
Z
Z
Z
Z
Z
Z
has
tan3 x sec4 x dx
tan4 x dx
sin4 x cos3 x dx
sec3 (6x) dx
has
cos6 x dx
has
sin4 x cos4 x dx
has
tan6 x dx
tan x sec 2 x dx
cos3 x cos2 x dx
csc3
1
2x
dx
sin 5x cos 2x dx
sec5 x dx
cot2 x csc2 x dx
sin 2x sin 3x dx
ha
4.2. EXERCISES
Partial fractions:
Z
7
dx
1.
(x 2)(x + 5)
239
2.
x
dx
(x + 1)(x + 2)(x + 3)
3.
dx
(x 1)3
4.
x5
dx
(x 2)2
5.
2x2 + 3
dx
x2 (x 1)
6.
x2 + 3
dx
x2 3x + 2
7.
3x
dx
x2 x 12
8.
x3
dx
x2 + 4x + 1
9.
7 + 6x
dx
(6x + 1)2
10.
x3 + x2 + x + 3
dx
(x2 + 1)(x2 + 3)
11.
x2 3x 1
dx
x3 + x2 2x
12.
x4 x3 x 1
dx
x3 x2
13.
14.
1 cos x
dx
1 + sin x
15.
25x2 + 21 + 2x
dx
(x + 3)(5x2 + 3)
240
Improper integrals:
Z
1
dx
1.
(2
+
x)
0
Z
1
2.
3 dx
2
x ln x
Z 1
3x2 1
3.
dx
3
x3 x
0
Z 1
dx
4.
1
x2
0
Z
ln x
dx
5.
x
e
Z 1 x
e
dx
6.
x
0
Z 3
1
7.
dx
2
0 x 6x + 5
Z
1
8.
dx
x(x + 1)
1
Z 1
9.
arcsin x dx
ha
ha
ha
4.2. EXERCISES
241
242
4.2. EXERCISES
243
244
4.2. EXERCISES
245
246
x.
sin
247
Trigonometric integrals:
1. Use the Second Pythagorean identity (Theorem 2.3:2) and rewrite
tan3 x sec3 x = sec2 x tan2 x(sec x tan x)
= sec2 (sec2 x 1)(sec x tan x).
Then apply Theorem 4.15:2.
5. Use the first Pythagorean identity (Theorem 2.3:1) and rewrite
cos3 x = cos2 x cos x = (1 sin2 x) cos x.
Then apply (Theorem 4.15:2).
7. You can use the trigonometric identity cos2 x = 21 (1 + cos 2x) to reduce the power of cos in the integrand or apply the recursion formula
Theorem 4.16:9.
8. Use the trigonometric identities
sin x cos x =
2
cos x =
sin2 x =
to reduce the number of factors.
17. Use Theorem 2.7:1
Partial fractions:
Improper integrals:
1. Substitute y = 2 + x
2. Substitute y = ln x
3. Use Substitution
1
2
1
2
1
2
sin(2x)
1 + cos(2x)
1 cos(2x)
248
249
250
1
2
sin x2 + C
2.
1
3
cos3 x + C
3.
2
5 (x
4.
96
5
5.
26
15
6.
8
15
7.
1 4
7 t (1
8.
1
3
4 (x +
+ 1)5/2 34 (x + 1)3/2 + C
4
15 (1
9. 2e
3
x) 2 (3 x 2) + C
4 2
35 t (1
+ t2 ) 2
+ t2 ) 2 +
8
105 (1
+ t2 ) 2 + C
9x + 1) 3 + C
+C
10. ln |1 + cos(t)| + C
11. x + 2 x + 1 + C
12. ln | cos(ln(t))| + C
arcsin2 (2x) + C
14. x2 4 + C
15. 4 x2 + C
13.
1
4
16.
12
2x3
3/2 +
1/2 + C
1 2x2
1 2x2
18. 12 2x2 + 12x + 19 21 2 ln 2x2 + 12x + 19 + 2 x + 3 + C
19. sin1 31 ex + C
17.
x2 + 4x + 13 + lnx + 2 + x2 + 4x + 13 + C
21. 4 x2 + C
20.
23.
2
(x
3
3
1) 2 + 2 x 1 + C
251
24. ln |x tan(x)| + C
a2 + x2
+C
25.
a2 x
3
26. 31 ex + c
Integration by parts:
1. xex ex + C
2. x2 ex 2xex + 2ex + C
3.
x3 33
ln 3
3x2 3x
(ln 3)2
6x3x
(ln 3)3
63x
(ln3)4
+C
4. sin(x) x cos(x) + C
x
5. e2 sin x cos x + C
6. x ln(x) x + C
1 2
x+C
2 ln
7.
1
ln x
xr+1
+C
r + 1 (r + 1)2
8. 12 cos(x) + x sin(x) + C
9.
1
2
cos(ln(x)) +
1 2
2x
1
2
r = 1
r 6= 1
sin(ln(x)) + C
arctan(x2 )
1
4
ln(x4 + 1) + C
p
11. ln(x) arcsin(ln(x)) + 1 (ln(x))2 + C
10.
1 2
2x
arctan(x) 21 x + 12 arctan(x) + C
14. 2 ln |x + 1| x + 1 4 x + 1 + C
12.
3(x + 1)
15. p
+C
3
2 x2 (x + 1)
1
2 (x
18.
1
4
19.
1 2
2x
20.
arcsin2 (2x) + C
sinh(2x) 12 x cosh(2x) +
1
4
sinh(2x) + C
1
1
1
+C
32(2x 1)4
20(2x 1)5
48(2x 1)6
3
4
+C
252
21.
1 2
2x
22. x arcsin(2x) +
23.
1 3
3x
24.
1
2
1
4
arctan(x2 )
1
2
ln(x2 + 1) + C
1 4x2 + C
arctan(x) 61 x2 +
1
6
ln(x2 ) arcsin(ln(x2 )) +
ln(x2 + 1) + C
1
2
p
1 (ln(x2 ))2 + C
1
5
sec5 x
1
3
sec3 x + C
2.
1
6
tan6 x +
1
4
tan2 x + C
3.
1
3
tan3 x tan x + x + C
4.
1
5
sin5 (3t) + C
5.
1
5
sin5 x
6.
1
12
7.
5
16 x
8.
3
128 x
9.
1
12
1
7
sin7 x + C
sec 6x tan 6x +
+
15
64
sin 2x +
1
128
1
12
3
64
sin 4x +
sin(4x) +
sin(6x) + x +
10.
1
5
tan5 x
11.
2
3
sec 2 (x) + C
12.
1
2
sin(x) +
1
3
1
4
1
1024
1
192
sin 6x + C.
sin(8x)
cos(4x)
1
2
cos(2x)
1
4
sin(2x) + C
tan3 x + tan x x + C
1
40
sin(5x) +
1
8
sin(3x) + C
cos( 1 x)
14. 41 cos(7x)
15.
sin(x)
4 cos4 (x)
1
6
cos(3x) + C
3 sin(x)
8 cos2 (x)
3
8
ln | sec(x) + tan(x)| + C
(x)
16. 3cos
+C
sin3 (x)
1
17. 10
sin 5x +
1
2
sin x + C
253
Partial fractions:
1. ln |x 2| ln |x + 5| + C
2. 23 ln |x + 3|
3.
4.
1
2
ln |x + 1| + 2 ln |x + 2| + C
1
+C
2(x 1)2
1 4
4x
+ 43 x3 + 6x2 + 32x
5. 3 ln |x| + 5 ln |x 1| +
3
x
32
x2
+ 80 ln |x 2| + C
+C
6. x + 7 ln |x 2| 4 ln |x 1| + C
7. 79 ln |x + 3|
8.
1
2
9.
12
7
ln |x 4| + C
ln |x2 + 4x + 1| +
1
+
6x + 1
10. arctan(x) +
1
6
3
5 3
3 arctanh( 3 x
2 3
3 )
ln |6x + 1| + C
1
2
ln |x2 + 3| + C
11.
1
2
12.
1 2
2x
13.
tan3 (e2x )
+C
6
ln |x| ln |x 1| +
3
2
ln |x + 2| + C
+ 2 ln |x| 2 ln |x 1|
1
x
+C
1
10
Improper integrals:
1.
2.
21
1
1
2 ln 2
3. 0
2
4. /2
5. Diverges
6. 2e 2
7. Diverges
8. ln 2
9. /2 1
+C
ln |5x2 + 3| +
1
5
2
tan( 12 x)+1
arctan | x3 | + C
5
+C
254
255
256
dx = 2 y dy
1 4x2
= 41 y 2 + C
2
= 14 sin1 (2x) + C
=
1
4
sin2 (2x) + C.
p
=
dx =
2x
9e
9 y2
This integral can be solved using trigonometric substitution (Remark 4.2:1).
With the substitution y = 3 sin , d = 3 cos we obtain
Z
Z
3 cos d
cos d
p
=3 q
2
9 9 sin
9(1 sin2 )
Z
Z
cos d
cos d
=
=3
2
cos
9 cos
Z
= d = + C
257
x
provided that cos > 0. Thus, solving
the equation e = y = 3 sin for
1 1 x
and conclude
theta, we find that = sin
3e
ex
dx = sin1
9 e2x
1 x
3e
+ C.
x+3
dx =
2
x + 4x + 13
Z
x+3
p
dx
=
(x + 2)2 + 9
y+1
p
dy
y2 + 9
3 tan + 1
(3 sec2 ) d
2
9
tan
+
9
Z
3 tan + 1
(sec2 ) d
=3 p
9(tan2 + 1)
Z
3 tan + 1
=3 p
(sec2 ) d
9 sec2 )
Z
3 tan + 1
(sec2 ) d
=
sec
258
provided sec > 0, recall that
2
Figure 4.15:
2)
x+2
x+
p 9+(
(3 tan + 1) sec d
Z
Z
= 3 sec tan d + sec d
and then combining ln 31 and C to a new constant D, we finally obtain
=
p
x2 + 4x + 13
p
+ lnx + 2 + x2 + 4x + 13 + D
dx =
x2 a2 + x2
Z
a sec2 d
=
2
a2 tan a2 + a2 tan2
Z
a sec2 d
p
=
2
a2 tan a2 (1 + tan2 )
Z
a sec2 d
p
=
a2 tan2 a2 sec2 )
Z
Z
a sec2 d
sec d
1
=
=
a2
a3 tan2 sec
tan2
259
1
a2
1
cos d
sin2
cos2
1
= 2
a
cos
d
sin2
cot csc d
1
csc + C
a2
Figure 4.16:
a2 + x2
=
+C
a2 x
since x = a tan implies tan =
x
a
and thus
a2 + x2
csc =
x
as can be easily verified consulting the triangle:
Integration by parts:
1. We use integration by parts (Theorem 4.19) in the form
Z
uv = uv
u v
x
a2 +
x |{z}
ex dx
|{z}
u
v
Z
= |{z}
x |{z}
ex |{z}
1 |{z}
ex dx
xe dx =
= xex
ex dx
= xex ex + C
4. We use integration by parts (Theorem 4.19) in the form
Z
uv = uv
u v
1
= 2
a
260
= x( cos x) 1 ( cos x) dx
Z
= x cos x + cos x dx
ex cos
|{z}
| {zx} dx
v
u
Z
= ex sin x ex cos x + ex sin x dx
Z
x
= e sin x cos x ex sin x dx
R
Collecting the term ex sin x dx on the left side, we obtain
Z
2 ex sin x dx = ex sin x cos x
and thus
Z
ex sin x dx =
ex
2
sin x cos x + C.
Trigonometric integrals:
1. Using the Second Pythagorean identity (Theorem 2.3:2), we obtain the
equation
tan3 x sec3 x = sec2 x tan2 x(sec x tan x)
= sec2 (sec2 x 1)(sec x tan x).
261
Thus
Z
tan3 x sec3 x dx =
Z
= sec2 (sec2 x 1)(sec x tan x) dx
Z
= sec4 x(sec x tan x) dx
Z
sec2 x(sec x tan x) dx
1
5
sec5 x
1
3
sec3 x + C.
sin4 x cos3 x dx =
Z
= sin4 x(1 sin2 x) cos x dx
Z
Z
4
= sin x cos x dx sin6 x cos x dx
1
5
sin5 x
1
7
sin7 x + C
1
2
1
2
1
=
(T h 2.7:3) 2
3
4
1
2
cos A cos 2A
cos A +
cos A +
1
4
1
4
cos A +
cos 3A.
1
4
cos 3A
262
Then
1
3
cos6 x = (cos2 x)3
=
(1 + cos 2x)
2
(T h 2.6:2)
1
= 8 1 + 3 cos 2x + 3 cos2 2x + cos3 2x
=
=
1
8
1 + 3 cos 2x +
1 5
8 2
+
+
15
4
3
4
3
2
3
2
cos 4x
cos 2x +
cos 2x +
3
2
1
4
cos 6x
cos 4x +
1
4
cos 6x .
Therefore,
cos6 x dx =
1 5
8 2x
5
16 x
+
3
8
15
8
sin 2x
sin 4x +
15
64
3
64
1
24
sin 2x
sin 4x +
sin 6x + C
1
192
sin 6x + C.
Second Method: We will now show how the integral can be solved
using the recurrence formula Theorem 4.16:7
cosn x dx =
1
n
cosn1 x sin x
Z
n1
+ n
cosn2 x dx.
cosn x dx provided we
Z
Z
Z
cosn2 x dx.
cos0 x dx = x
cos1 x dx = sin x
1
2
cos x sin x +
1
2
cos x sin x + 21 x
cos x dx =
1
3
cos x sin x +
2
3
1
3
cos2 x sin x +
2
3
1
4
cos3 x sin x
1
2
cos0 x dx
cos1 x dx
sin x
Z
cos4 x dx = 41 cos3 x sin x + 34 cos2 x dx
3 1
4 2
cos x sin x + 21 x
1
4
cos3 x sin x +
cos5 x dx =
1
5
cos4 x sin x
+
1
5
4 1
5 3
cos6 x dx =
+
=
+
1
6
3
8
cos x sin x + 83 x
cos3 x sin x +
cos4 x sin x
+
cos2 x dx =
+
Z
263
4
15
cos2 x sin x +
2
3
sin x
8
15
sin x
cos5 x sin x
3
5 1
3
3
6 4 cos x sin x + 8 cos x sin x + 8
5
1
6 cos x sin x
3
5
5
5
24 cos x sin x + 16 cos x sin x + 16 x.
cos x =
2
sin x =
1
2
1
2
1
2
sin(2x)
(4.1)
1 + cos(2x)
1 cos(2x)
(4.2)
(4.3)
to reduce the number of factors of the integrand (at the expense of creat-
264
cos
4x
dx
2
(4.3)
Z
1
1 2 cos 4x + cos2 4x dx
= 64
Z
1
= 64
1 2 cos 4x + 21 + 21 cos 8x dx
(4.2)
Z
1
1
3
= 64
2 2 cos 4x + 2 cos 8x dx
1 3
1
1
= 64
2 x 2 sin 4x + 16 sin 8x + C
=
3
128 x
1
128
sin 4x +
1
1024
sin 8x + C.
Partial fractions:
Improper integrals:
265
Parametrizing Curves
Find a parametrization x = (t), y = y(t), t [0, 1]:
The Slope of Parametric Curves
Find the slope of the given curve at the given point and give an equation of the
tangent line:
Arc Length of Parametric Curves
Find the length of the parametric arc:
266
5
S EQUENCES AND
S ERIES
268
lim an = L,
if and only if, for any > 0 there exists some constant N N such that for
all n N:
n > N |an L| < .
We then also say that the sequence (an )nN converges to L, or is convergent.
If no such L exists, the sequence is said to diverge or be divergent.
Theorem 5.1 (Limit Theorem)
Suppose (an )nN and (bn )nN are convergent sequences and R, then
3. lim (an bn ) =
n
lim an
lim bn
lim an
an
= n , if bn 6= 0 for all n N and limn bn 6= 0.
n bn
lim bn
4. lim
lim an .
269
1
= 0.
an
1. lim c = c, c R;
n
3. Geometric Sequence:
|x| < 1
0
lim xn = 1
x=1
n
diverges else;
4. lim
1
= 0, p > 0;
np
xn
= 0;
n n!
5. lim
6. lim
ln n
= 0;
n
7. lim n1/n = 1;
n
8. lim
1+
x n
= ex ;
n
270
n
X
ak .
k=1
ak = S.
k=1
Definition 5.7
Convergence)
P(Absolute
The
series
a
is
said to be absolutely convergent if the series
k=1 k
P
|a
|
converges.
k=1 k
Definition 5.8
Convergence)
P(Conditional
If the series k=1 ak converges, but not absolutely, then it is called conditionally convergent.
Theorem
5.7 (Combinations
of Series)
P
P
If
and
are
convergent
series and R, then
a
b
k
k
k=1
k=1
1.
(ak + bk ) =
ak =
k=1
2.
k=1
k=1
k=1
ak .
ak +
k=1
bk ;
271
k=K
f (k) conv.
f (x) dx conv.
X
1
n
n=K
0 < lim
then
k=1
ak conv.
bk conv.
k=1
(1)n+1 an
n=1
272
1.
(1)n+1 an converges;
n=1
Theorem
P 5.13 (Ratio Test)
Let
n=1 an be a series and let
an+1
:= lim
n
an
then
1. If < 1 then
an converges absolutely;
an diverges;
n=1
2. If > 1 then
n=1
Theorem
P 5.14 (Root Test)
Let
n=1 an be a series and let
then
1. If < 1 then
an converges absolutely;
an diverges;
n=1
2. If > 1 then
n=1
273
1
X
|r| < 1
rn = 1 r
diverges else
n=0
2. p-series:
3. Telescoping Series:
X
1
converges p > 1
p
n
n=1
1
=1
n(n + 1)
n=1
bn xn
n=0
n=0
n
bn g(x)
274
Theorem
P 5.16 n(Radius of Convergence, Interval of Convergence)
Let
n=0 bn x be a power series in x. Then there exists a unique r with
0 r (note: r can be !) such that
1.
n=0
2.
bn xn diverges for all |x| > r. This r is called the radius of conn=0
P
vergence of n=0 bn xn . The interval
X
x R
bn xn converges
n=0
n
n=0 bn x .
Theorem
5.17 (Computing the Radius of Convergence)
P
n
If
b
n=0 n x is a power series in x, then its radius of convergence is given
by
bn
1. r = lim
n bn+1
2. r =
1
p
lim n |bn |
(Hadamard)
TheoremP
5.18 (Differentiation and Integration)
n
Suppose
n=0
Pbn x isn a power series with radius of convergence r > 0.
Let f (x) = n=0 bn x . Then
nbn xn1
n=1
R
2. f is integrable on (r, r) and its integral f (x) dx has a power series
representation with the same radius of convergence. Moreover,
Z
f (x) dx =
bn
xn+1 + C
n
+1
n=0
275
f (n) (0)
n!
X
X
an xn =
bn xn
n=0
n=0
for all x in the intersection of the intervals of convergence of the two series.
Then an = bn for all n {0, 1, 2, . . . , }.
Theorem 5.20 (Algebraic Operations)
P
P
k
k
Given two power series f (x) =
k=0 ak x and g(x) =
k=0 bk x with
positive radius of convergence. Let r > 0 be chosen such that both power
series converge for all |x| < r. Then
1. f (x) + g(x) =
k=0
2. (f )(x) =
ak + bk xk .
(ak )xk .
k=0
3. f (x) g(x) =
k=0
k
X
aj bkj xk .
j=0
X
f (j) (x0 )
j=0
j!
(x x0 )j
Figure 5.1:
276
e1/x
0
for x 6= 0
else
Counterexample
n
X
f (j) (x0 )
j=0
j!
(x x0 )j
f (n+1) ()
(x x0 )n+1
(n + 1)!
277
Theorem 5.23
Let T denote the Taylor series of f . Then
T (x) = f (x)
lim Rn (x) = 0
1. Exponential Series:
X
xk
, |x| <
ex =
k!
k=0
2. Sine Series:
X
x2k+1
,
sin x =
(1)k
(2k + 1)!
k=0
|x| <
3. Cosine Series:
X
x2k
cos x =
(1)k
,
(2k)!
|x| <
X
x2k+1
,
sinh x =
(2k + 1)!
|x| <
k=0
k=0
X
x2k
, |x| <
cosh x =
(2k)!
k=0
6. Geometric Series:
X
1
=
xk , |x| < 1
1x
k=0
7. Binomial Series:
X
k
(1 + x) =
x ,
k
k=0
|x| < 1, R
8. Logarithmic Series:
X
xk
(1)k+1 ,
ln(x + 1) =
k
k=1
9. Arc-Tangens Series:
X
x2k+1
,
arctan(x) =
(1)k
2k + 1
k=0
|x| < 1
|x| < 1
278
5.2 Exercises
5.2.1 Sequences
Boundedness and Monotonicity
Investigate whether the following sequences are bounded, monotonic (and convergent):
2
a
1. nn1
2
n
2. (1)n n2
3.
4.
5.
n2 1
n1
ln n
n1
a
n
ln
n
n
2
(n+1)!
Convergence
Determine the following limits if they exist:
1
1. lim (n + 2) n
n
5n+1
n 42n1
n
1
3. lim
n
3
4. lim n1 n
2. lim
5. lim 2n
6. lim ln n1
n
1
7. lim 1 +
n
3n
ha
x50n
n n!
ln n2
n n
8. lim
9. lim
5.2. EXERCISES
10. lim ln
n
279
n1
n
2n!
3n
2n2
1
12. lim 1 +
n
n
13. lim
n+2 n
11. lim
14. lim
15. lim
p
n2 + n 1 n
1 + 2 + 3 + + n
n2
a
a
X
3
1.
n(n + 3)
n=1
2.
3.
1
2n(n + 1)
n=1
X
1 2n
3n
n=0
X
3n
4.
2n+2
n=1
X
1
1
+
5.
en
n(n + 1)
n=1
6.
(1)n
n=0
7.
X
n=0
5n
32n+3
1
1
n+1 n+5
280
Repeated Decimals
3. 27.56123123123 . . .
4. 1.5342424242 . . .
Convergence
Determine whether the following series converge. Justify your conclusion!
1.
X
1
5
n
n=3
2.
2
3 + ln n
n=1
3.
1
(3n
+
1)5
n=0
4.
1
1 + 2 + 3 + + n
n=1
n
X
1
1+
5.
n
n=0
6.
7.
8.
9.
10.
11.
X
n!
nn
n=1
X
X
X
X
X
3n
n2 + 5
3n
+5
2
2n 1
n3
3
n 3n
1
n ln n
5.2. EXERCISES
12.
13.
14.
15.
281
X n
ln n
X 3
n2 ln n
X ln n
n
k!
kk
k=1
X ln n
16.
n n
17.
18.
19.
20.
21.
22.
X ln n
n2 n
X ln n
n1.005
X 2n 4
2n
X sin2
n n
Xn1
n2 2 n
sin2 (n)
(1)n+1
n=1
2.
(1)n
n=1
3.
(1)n
n=1
1
2n + 1
nn
n!
n3
X
cos n
4.
n
n=1
n+2
+ 3n + 5
282
5.
(1)n
n=2
6.
ln n
n
(1)n+1
n=1
7.
8.
X (1)n ln n
2n 3
(1)n+1
n=2
9.
10n
(n + 1)42n+1
(1)n
n=1
1
n(ln n)2
1 3 5 (2n + 1)
2 5 8 (3n + 2)
X
k1
k=1
2.
xk
X
1 k
x
ln k
k=2
3.
n3 xn
n=1
4.
5.
X
n(n 2) n
x
2
n=2
ln(k) xk
k=2
6.
(1)n
n=1
7.
1 n+3
x
n3
n(n + 2)
xn
(n
+
1)(3n
+
1)
n=1
X
1
8.
(x 3)n
ln
n
n=2
5.2. EXERCISES
X
(1)n
(x 1)n
9.
ln(n + 1)
n=1
10.
x2n+1
n=1
11.
12.
X
n3 + 1 5n
x
2n
n=0
X
2 n + 1 (x + 1)3n
n=0
X
9n n + 1
13.
(x 1)2n+1
2
+
n
n=0
Radius of Convergence
Find the radius of convergence:
1.
X
nn n
x
n!
n1
X
n2n n
2.
x
(2n)!
n=1
3.
1 3 5 (2n 1) n
x
n [1 4 7 (3n 2)]
2
n=1
Limit Function
Find the sum of each power series and give its interval of convergence:
1.
n=0
2.
(1)n nxn
n=0
3.
n=0
4.
5.
X
(1)n n+1
x
n+1
n=0
(1)n
xn+2
(n
+
1)(n
+
2)
n=0
283
284
Expansions
Establish the following indenties:
1.
1 1 1 1
= 1 + + +
4
3 5 7 9
2. ln 2 =
3.
1
1
1
1
+
+
+
+
2
3
12 22
32
4 24
ex dx =
x2n+1
+C
(2n + 1)n!
n=0
Limit Function
Determine the limit function:
5
2 3 4
1. 1 + +
2 4 8 16
2. 1 +
3.
1
1
1
1
+
+
+
+
2
3
22 32
42
5 24
12 23 34 45 56
+
+ 2 + 3 + 4 +
1
3
3
3
3
1
,
1 x4
2. f (x) =
1
,
1 + x3
3. f (x) =
1
,
(1 + x)3
x0 = 0
x0 = 0
x0 = 0
4. f (x) = ln(1 + x2 ),
5. f (x) =
1
,
1 + 2x
x0 = 0
x0 = 0
x0 = 0
7. f (x) = sin(3x),
x0 = 0
8. f (x) = x3 cos x,
x0 = 0
9. f (x) = x3 e3x ,
x0 = 0
5.2. EXERCISES
10. f (x) =
1
,
x
285
x0 = 1
1
, x0 = 2
(1 + 2x)4
12. f (x) = x, x0 = 1
11. f (x) =
13. f (x) = ln x,
x0 = 2
286
7. 3 e
8. 0
9. 0
10. 0
11. diverges (converges to )
12. diverges (converges to )
13. 0
14. 1/2
15. 1/2
287
e
e1
Repeated Decimals
Rewrite each repeating decimal as a fraction:
1. 2/9
2.
232
999
3.
123
917 789
2 756
+
=
100
99 900
33 300
4.
5 063
3 300
Convergence
Determine whether the following series converge. Justify your conclusion!
1. diverges by p-series test (Corollary 5.1)
2. diverges by the Comparison Test (Theorem 5.10)
3. converges by Limit Comparision Test (Theorem 5.11)
4. converges by the Comparision Test (Theorem 5.10)
5. diverges by the Divergence Test (Theorem 5.8)
6. Converges by the Ratio Test (Theorem 5.13, Theorem 5.6:8)
288
289
Limit Function
Determine the limit function:
Taylor Series Expansions
Find the Taylor expansion at x0 for each function and give its interval of convergence:
I NDEX
n
a, 36, 37
,
17
P
n=1 an , 270
, 19
{x | P }, 16
{x1 . . . . , xn }, 16
ax , 45
df , 152
dx, 152
ex , 39
f , 152
f : D C, 24
n!, 41
|x|, 41
absolute convergence, 270
absolute value, 41
properties, 41
addition, 29
addition formulae, 106, 113
additive, 210, 216
290
INDEX
adjacent, 102
algebra
fundamental theorem, 56
all quantifier x, 20
alternating series, 271
alternating series test, 272
angles, 101
magnitude, 102
anti-derivative, 212
anti-symmetric, 18, 30, 31
arc, 226
arc length differential, 226
arccos, 111
arccosh, 117
arccot, 111
arccoth, 117
arccsc, 111
arccsch, 117
Archimidean Axiom, 20
arcsec, 111
arcsech, 117
arcsin, 111
arcsinh, 117
arctan, 111
arctanh, 117
area, 220
area differential, 220
associative law, 20
asymptotes
horizontal, 142
vertical, 143
average
rate of change, 154
average value, 211
Mean Value Theorem, 211
base, 37
Bernoulli numbers, 109
Bernoulli, Jakob, 109
bijective, 25
binomial coefficients, 42
binomial formula, 43
bound
greatest lower, 34
infimum, 34
least upper, 34
291
lower, 33
supremum, 34
upper, 33
bounded, 33, 267, 269
bounded from above, 33, 267
bounded from below, 33, 267
C, 16
cancellation law
for addition, 32
for exp/log. functions, 47
for multiplication, 32
Cantor, G., 15
cardinality #(S), 15
cartesian product, 19
Cavalieris principle, 221, 224
Cavalieri, Bonaventura, 224
center of mass, 229
centroid, 229231
symmetry, 232
circular functions, 104
co-domain, 22
coefficient, 48
commutativ law, 20
comparison test, 271
comparison theorem, 219
completeness axiom, 35
completing the square, 44
complex numbers, 16
complex roots, 38
composition , 25
comvergence tests
limit comparision test, 271
concave
downward, 155, 156
upward, 155, 156
concavity, 155, 156
conditional convergence, 270
constant, 155
constant polynomial, 48
continuity, 150, 268
continuous, 150
algebraic operations, 150
at a point, 150
definition, 150
differentiable, 152
INDEX
292
elementary functions, 150
existence of zeros, 151
Extreme Value Thm, 151
intermediate value theorem, 151
limit description, 150
on a set, 150
converge, 141, 268270
convergence, 270
absolute, 270
conditional, 270
convergence tests
alternating series test, 272
comparison test, 271
divergence test, 271
integral test, 271
ratio test, 272
root test, 272
convergent, 141, 268270
cos, 103, 104
law of, 110
zeros, 105
cosh, 112
cot, 103, 104
zeros, 105
coth, 112
critical numbers, 156
csc, 103, 104
csch, 112
cubic polynomial, 48
curves
rectifiable, 226
smooth, 226
df , 152
dx, 152
de Morgans rules, 21
decreasing, 155, 268
definite integrals, 207
degree, 48
derivatives, 152
constant function, 155
differential, 152
differentiation rules, 153
elementary functions, 154
Mean Value Theorem, 154
power series, 274
INDEX
integrals, 209211
Euler, 109
formula type of, 114
Euler constant, 39
Euler formula, 107
Euler numbers, 109
Euler type formula, 114
Euler, Leonhard, 107
even, 104
definite integral, 211
existence quantifier x, 20
exponent, 37
laws of, 40
exponential function, 45
properties, 46
extrema
absolute or global, 149
critical numbers, 156
Extreme Value Thm, 151
First Derivative Test, 156
relative or local, 149
Second Derivative Test, 156
Extreme Value Theorem, 151
f , 152
factorial, 41
Fermats Theorem, 156
Fermat, Pierre de, 156
field
distributive law, 31
linearly ordered, 30
First Derivative Test, 156
for absolute extrema, 156
for all x, 20
force, 233
hydrostatic, 233
fractions
addition, 29
additive inverse, 29
cancellation, 28
division, 28
equality, 28
inequalities, 30
multiplication, 28
multiplicative inverse, 28
order relation, 30
293
subtraction, 29
fractions, Q, 28
functions, 22
f : S T , 22
anti-derivative, 212
asymptotes, 142, 143
average rate of change, 154
average value, 211
bijective, 25
circular, 104
, 25
co-domain, 22
composition, 25
not commutative, 25
concave
downward, 155, 156
upward, 155, 156
constant, 155
continuous, 150
critical numbers, 156
decreasing, 155
derivative, 152
differentiable, 152
domain, 22
equality, 22
even, 104, 112
existence of zeros, 151
exponential, 45
extrema, 149, 156
horizontal asymptotes, 142
horizontal line test, 24
hyperbolic, 112
identity map, 25
image, 22
increasing, 155
infinite limits, 143
injective, 24
inverse, 26
criterion, 26
inverse image, 24
inverse map, 26
criterion, 26
invertible, 26
criterion, 26
left-sided limit, 142
limits, 141
294
limits at infinity, 142
logarithmic, 46
maximum
absolute, 149
relative, 149, 156
minimum
absolute, 149
relative, 149, 156
net change, 154
non-decreasing, 155
non-increasing, 155
odd, 104, 112
one-to-one, 24
onto, 24
periodic, 104
primitive, 212
range, 22
restriction, 24
right-sided limit, 142
sequences, 267
surjective, 24
trigonometric, 102, 104
two-sided limits, 141
vertical asymptotes, 143
zeros, 105
existence, 151
future value, 234
geometric series, 273
group, 31
associative law, 31
commutative law, 31
inverse element, 31
neutral element, 31
Hopitals Rule, 148
half-angle identities, 107, 114
homogeneous, 210, 216
horizontal line test, 24
hydrostatic force, 233
hydrostatic pressure, 233
hyperbolic functions, 112
inverse, 117
hypothenuse, 102
identities
INDEX
addition, 106, 113
double angle, 113
double-angle, 106
Euler, 107
half-angle, 107, 114
phase shift, 107
power, 106, 114
product, 107
Pythagorean, 106, 113
image, 22
implication, 17
truth table, 17
improper integrals, 217219
infinite interval, 217, 218
unbounded integrand, 218
increasing, 155, 268
indefinite integrals, 212
indentity map, 25
indeterminant, 48
inequalities, 30, 31, 33, 147
limits, 147
rational numbers, 30
infimum, 205
infinite limits, 143
infinite series, 270
infinity
limits, 143
limits at, 142
injective, 24
integers, 16
Z, 16
integrable, 207
integral test, 271
integrals, 207
additive, 210
by partial fractions, 216
comparision theorem, 219
definite, 207
definition, 207
estimates, 209211
homogenous, 210
improper, 217, 218
comparison, 219
indefinite, 212
integrable, 207
integration by parts, 216
INDEX
interval property, 210
Left-Hand Sums, 209
linearity, 210
lower, 206
lower sums, 206
Midpoint Sums, 209
order properties, 211, 219
partition, 205
positivity, 211
power series, 274
Riemann Sums, 208
Right-Hand Sums, 209
Simpsons Rule, 210
substitution, 216
rationalizing, 216
trigonometric, 216
Trapezoidal Estimate, 209
triangle inequality, 211
unbounded domain, 217, 218
unbounded integrand, 218
upper, 206
upper sums, 206
integration by parts, 216
intermediate value theorem, 60, 151
intersection, 18
generalized, 21
interval of convergence, 274
intervals, 17
closed, 17
half-open, 17
interval property, 210
open, 17
partitition, 205
inverse, 24, 26, 28, 29, 32
hyperbolic functions, 117
image, 24
map, 26
trigonometric functions, 111
invertibility criterion, 24, 26
invertible,
26
irrational, 2 is, 35
is element of, 16
is not element of, 16
LHopitals Rule, 148
Lambert, Johann, 112
295
law of cosines, 110
law of sines, 110
laws
cancellation equations, 26, 47
cancellation laws for , +, 32
differentiation rules, 153
distributive law, 31
for the inverse (rel. to +), 32
inequalities, 31, 33
monotony laws, 31
of cosines, 110
of exponent, 40
of radical, 40
of sines, 110
order, 33
leading coefficient, 48
least upper bound axiom, 35
left-sided limit, 142
limit comparision test, 271
limit theorem, 268
limits, 142, 268, 270
at infinity, 142
inequalities, 147
infinite, 143
LHopitals Rule, 148
left-sided, 142
limit theorem, 145
right-sided, 142
Squeezing Theorem, 147, 269
substitution rule, 146
twosided, 141
linear, 210
linear order, 30, 31
linear polynomial, 48
linearly ordered field, 30
logarithmic functions, 46
base change formula, 47
cancellation equations, 47
inverse hyperbolic, 117
properties, 47
logical junctors
implication, 17
, 17
logical quantifiers
x, 20
x, 20
296
long division, 52
lower bound, 33
lower integral, 206
lower sums, 206
magnitude, 102
mass, 228, 229
center of, 229232
maximum, 34, 156
absolute or global, 149
critical numbers, 156
Extreme Value Thm, 151
First Der. Test, 156
First Derivative Test, 156
relative or local, 149
Second Derivative Test, 156
Mean Value Theorem, 154
for integrals, 211
Second, 212
measure, 102
member, 15
minimum, 34, 156
absolute or global, 149
critical numbers, 156
Extreme Value Thm, 151
First Der. Test, 156
First Derivative Test, 156
relative or local, 149
Second Derivative Test, 156
money stream, 233
monic polynomial, 48
monotonic, 155, 268
monotony laws, 30, 31
multiplication, 28
multiplicity, 56
N, 16
N0 , 16
n-th of unity, 38
natural numbers, 16
net change, 154
non-decreasing, 155, 268
non-increasing, 155, 268
not element of, 16
n tuple, 19
odd, 104
INDEX
definite integral, 211
one-to-one, 24
onto, 24
opposite, 102
order properties (integral), 211
order relation, 30, 33
anti-symmetric, 30, 31
linear, 30, 31
monotony laws, 30, 31
reflexive, 30, 31
transitive, 30, 31
ordered pair, 19
p-series, 271, 273
Pappus, 234
1st Theorem, 234
2nd Theorem, 234
partial fractions, 216
partial sums, 270
partition, 205
Pascals triangle, 42
period, 104
fundamental, 104
periodic, 104
phase shift, 107
plane angles, 101
pole, 23
polynomial over R, C, etc., 48
polynomials, 48
coefficient, 48
complex roots, 38
cubic, 48
degree, 48
factors, 55
fundam. thm. algebra, 56
identity theorem, 275
indeterminant, 48
leading coefficient, 48
linear, 48
monic, 48
quadratic, 48, 49
rational zero test, 57
real roots, 37
roots, 36, 53
Taylor polynomials, 276
the factor theorem, 53
INDEX
variation in sign, 57
zeros, 53, 55
postive terms, 270
power identities, 106, 114
power series, 273
algebraic operations, 275
derivatives, 274
differentiation, 274
identity theorem, 275
integrals, 274
interval of convergence, 274
radius of convergence, 274
computing, 274
Taylor series, 275
powers
with integer exponents, 37
with rational exponents, 39
with real exponents, 39
pressure
hydrostatic, 233
primitive, 212
principal n-th root, 37
principal domain, 111
product identities, 107
Pythagorean Identities, 106
Pythagorean identity, 113
Q, 16
quadratic formula, 50
quadratic function, 49
line of symmetry, 49
quadratic formula, 50
standard form, 49
vertex, 49
quadratic polynomial, 48, 49
quantifiers
x, 20
x, 20
quotient, 52
R, 16
radical
laws of, 40
radical symbol, 37
radicant, 37
radius of convergence, 274
297
computing, 274
range, 22
ratio in similar triangles, 102
ratio test, 272
rational function
pole, 23
vertical tangent, 23
rational numbers, 16
addition, 29
additive inverse, 29
cancellation, 28
division, 28
equality, 28
inequalities, 30
multiplication, 28
multiplicative inverse, 28
order relation, 30
subtaction, 29
rational numbers, Q, 28
real numbers R, 16
real roots, 37
real sequences, 267
rectifiable, 226
reflexive, 30, 31
remainder, 52, 53
remainder theorem, 53
restriction, 24
Riemann Integral
integrable, 207
Riemann integral
Riemann sums, 208
Riemann Sums, 208
Riemann sums, 208
Riemann, Bernhard, 208
right-sided limit, 142
Rolles Theorem, 154
Rolle, Michel, 154
root test, 272
roots, 36, 37, 53, 55
complex, 38
definition, 53
existence, 56, 151
existence test, 60
multiplicity, 56
of unity, 38
rational zero test, 57
298
INDEX
INDEX
generalized, 21
properties, 20
, 18
set-builder form of a set, 16
shell method, 224
similar triangles, 102
sin, 103, 104
law of sines, 110
zeros, 105
sinh, 112
smooth curve, 226
solids of revolution, 223
Squeezing Theorem, 147, 269
subset, 17
properties, 18
substition rule, 216
substitution, 216
rationalizing, 216
trigonometric, 216
substitution rule, 216
substitution rule for limits, 146
subtraction, 29, 32
summation rule, 216
sums
lower, 206
upper, 206
sums of powers, 45
supremum, 205
surface area, 227
Pappus Theorem, 234
surjective, 24
symmetric, 211
symmetry, 232
centroid, 232
synthetic division, 53
tabular form, 16
tabular form of a set, 16
tan, 103, 104
zeros, 105
tanh, 112
Taylor coefficients, 275
Taylor polynomials, 276
Taylor series, 275
cosh, 116
cos, 109
299
cot, 109
sinh, 116
sin, 109
tan, 109
counterexample, 275
expansions, 277
converge, 277
representations, 276, 277
basic expansions, 277
Taylors remainder term, 276
Taylors remainder theorem, 276
Lagranges form, 276
Taylor, Brook, 275
telescoping series, 273
terms, 270
there exists x, 20
torus, 225
transitive, 18, 30, 31
triangle inequality, 41, 211
trigonometric functions, 102, 104
inverse, 111
principle domain, 111
truth table, 17
two-sided limits, 141
union, 18
generalized, 21
unity
roots of, 38
upper bound, 33
upper integral, 206
upper sums, 206
variation in sign, 57
vertical tangent, 23
volume
Cavalieris principle, 221, 224
disk/washer method, 223
Pappus Theorem, 234
shell method, 224
solids of revolution, 223
torus, 225
washer method, 223
work, 233
Z, 16
300
zeros, 3638, 53, 55
definition, 53
existence, 56, 151
existence test, 60
multiplicity, 56
rational zero test, 57
Rolles Theorem, 154
trigonometric functions, 105
INDEX