Elements of Mathematics: From Euclid to Gödel by John Stillwell
Author:John Stillwell [Stillwell, John]
Language: eng
Format: epub
Publisher: Princeton University Press
Published: 2016-05-31T05:00:00+00:00
214
•
Chapter 6
A very similar argument, using the fact that d
dx xn+1 = ( n + 1) xn,
gives:
Area under y = tn. For any positive integer n, the area under y = tn between t = 0 and t = x is well-defined and equals 1
n+ xn+1 .
1
It is possible to avoid using the hard zero derivative theorem in
finding these areas, but only at the cost of considerable algebra to find exact formulas for the sums of upper and lower rectangles. This gets
harder and harder as n increases, and in any case it turns a blind eye to the really important insight of these proofs: finding area is in some sense inverse to finding derivatives. This insight is worth elaborating, because it leads to a fundamental theorem.
6.6 ∗The Fundamental Theorem of Calculus
The idea of area under a curve is captured in calculus by the concept of integral. There are several concepts of integral, but elementary calculus deals only with the simplest one, the Riemann integral, and applies it only to continuous functions.
Given a function y = f ( t), continuous from t = a to t = b, the integral of f from a to b is written
b f( t) dt,
a
and it is defined in the same way that we defined “area under the curve y = f ( t)” for certain functions f in the previous section. Namely, we divide the interval [ a, b] into finitely many parts and approximate the graph of f from above and below by rectangles erected on these parts
(figure 6.11).
If it is possible to make the difference between the upper and lower
approximations arbitrarily small, then there is a single number that lies between them (by the completeness of R), and this number is the value
b
of a f ( t) dt.
It is very plausible that, for a continuous function, the difference
between upper and lower approximations can be made arbitrarily small.
But proving this is a delicate matter, much like the proof of the zero
Calculus
•
215
y
y = f( t)
t
O
a
b
b
Figure 6.11: Approximating
f
a
( t) dt by rectangles.
derivative theorem in section 6.3. (In fact, the heart of the proof is an infinite bisection process, like the one used there.) For this reason, proving the existence of the Riemann integral for continuous functions belongs to advanced calculus.
However, if we make the plausible assumption that the integral
exists, we can proceed to differentiate this integral, just as we differentiated the special area functions in the previous section. This gives: Fundamental theorem of calculus. If f is continuous on an interval
[ a, b] , and
x
F ( x) =
f ( t) dt,
a
then F ( x) = f ( x) .
The fundamental theorem can be used to identify functions F ( x) defined by integrals in the case where we know a function G( x) whose derivative is f ( x) (just as we did for the area functions in the previous section). In this case, the zero derivative theorem tells us that F ( x) differs from G( x) only by a constant.
The fundamental theorem is
Download
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Applied | Geometry & Topology |
History | Infinity |
Mathematical Analysis | Matrices |
Number Systems | Popular & Elementary |
Pure Mathematics | Reference |
Research | Study & Teaching |
Transformations | Trigonometry |
Weapons of Math Destruction by Cathy O'Neil(5015)
Factfulness: Ten Reasons We're Wrong About the World – and Why Things Are Better Than You Think by Hans Rosling(3996)
Factfulness_Ten Reasons We're Wrong About the World_and Why Things Are Better Than You Think by Hans Rosling(2745)
Descartes' Error by Antonio Damasio(2718)
A Mind For Numbers: How to Excel at Math and Science (Even If You Flunked Algebra) by Barbara Oakley(2674)
TCP IP by Todd Lammle(2615)
Applied Predictive Modeling by Max Kuhn & Kjell Johnson(2460)
Fooled by Randomness: The Hidden Role of Chance in Life and in the Markets by Nassim Nicholas Taleb(2399)
The Book of Numbers by Peter Bentley(2392)
The Tyranny of Metrics by Jerry Z. Muller(2383)
The Great Unknown by Marcus du Sautoy(2170)
Once Upon an Algorithm by Martin Erwig(2135)
Easy Algebra Step-by-Step by Sandra Luna McCune(2104)
Practical Guide To Principal Component Methods in R (Multivariate Analysis Book 2) by Alboukadel Kassambara(2081)
Lady Luck by Kristen Ashley(2058)
Police Exams Prep 2018-2019 by Kaplan Test Prep(2018)
Linear Time-Invariant Systems, Behaviors and Modules by Ulrich Oberst & Martin Scheicher & Ingrid Scheicher(1977)
All Things Reconsidered by Bill Thompson III(1950)
Secrets of Creation, Volume 1: The Mystery of the Prime Numbers by Watkins Matthew(1852)