# 5.3 The fundamental theorem of calculus

 Page 1 / 1
This module covers two important theorems, including the fundamental theorem of calculus.

We begin this section with a result that is certainly not a surprise, but we will need it at various places in later proofs, so it's good to state it precisely now.

Suppose $f\in I\left(\left[a,b\right]\right),$ and suppose $a Then $f\in I\left(\left[a,c\right]\right),$ $f\in I\left(\left[c,b\right]\right),$ and

${\int }_{a}^{b}f={\int }_{a}^{c}f+{\int }_{c}^{b}f.$

Suppose first that $h$ is a step function on $\left[a,b\right],$ and let $P=\left\{{x}_{0}<{x}_{1}<...<{x}_{n}\right\}$ be a partition of $\left[a,b\right]$ such that $h\left(x\right)={a}_{i}$ on the subinterval $\left({x}_{i-1},{x}_{i}\right)$ of $P.$ Of course, we may assume without loss of generality that $c$ is one of the points of $P,$ say $c={x}_{k}.$ Clearly $h$ is a step function on both intervals $\left[a,c\right]$ and $\left[c,b\right].$

Now, let ${Q}_{1}=\left\{a={x}_{0}<{x}_{1}<... be the partition of $\left[a,c\right]$ obtained by intersecting $P$ with $\left[a,c\right],$ and let ${Q}_{2}=\left\{c={x}_{k}<{x}_{k+1}<...<{x}_{n}=b\right\}$ be the partition of $\left[c,b\right]$ obtained by intersecting $P$ with $\left[c,b\right].$ We have that

$\begin{array}{ccc}\hfill {\int }_{a}^{b}h& =& {S}_{P}\left(h\right)\hfill \\ & =& \sum _{i=1}^{n}{a}_{i}\left({x}_{i}-{x}_{i-1}\right)\hfill \\ & =& \sum _{i=1}^{k}{a}_{i}\left({x}_{i}-{x}_{i-1}\right)+\sum _{i=k+1}^{n}{a}_{i}\left({x}_{i}-{x}_{i-1}\right)\hfill \\ & =& {S}_{{Q}_{1}}\left(h\right)+{S}_{{Q}_{2}}\left(h\right)\hfill \\ & =& {\int }_{a}^{c}h+{\int }_{c}^{b}h,\hfill \end{array}$

which proves the theorem for step functions.

Now, write $f=lim{h}_{n},$ where each ${h}_{n}$ is a step function on $\left[a,b\right].$ Then clearly $f=lim{h}_{n}$ on $\left[a,c\right],$ which shows that $f\in I\left(\left[a,c\right]\right),$ and

${\int }_{a}^{c}f=lim{\int }_{a}^{c}{h}_{n}.$

Similarly, $f=lim{h}_{n}$ on $\left[c,b\right],$ showing that $f\in I\left(\left[c,b\right]\right),$ and

${\int }_{c}^{b}f=lim{\int }_{c}^{b}{h}_{n}.$

Finally,

$\begin{array}{ccc}\hfill {\int }_{a}^{b}f& =& lim{\int }_{a}^{b}{h}_{n}\hfill \\ & =& lim\left({\int }_{a}^{c}{h}_{n}+{\int }_{c}^{b}{h}_{n}\right)\hfill \\ & =& lim{\int }_{a}^{c}{h}_{n}+lim{\int }_{c}^{b}{h}_{n}\hfill \\ & =& {\int }_{a}^{c}f+{\int }_{c}^{b}f,\hfill \end{array}$

as desired.

I's time for the trumpets again! What we call the Fundamental Theorem of Calculuswas discovered by Newton and Leibniz more or less simultaneously in the seventeenth century, and it is without doubt the cornerstone of all we call mathematical analysis today.Perhaps the main theoretical consequence of this theorem is that it provides a procedure for inventing “new” functions. Polynomials are rather naturalfunctions, power series are a simple generalization of polynomials, and then what? It all came down to thinking of a function of a variable $x$ as being the area beneath a curve between a fixed point $a$ and the varying point $x.$ By now, we have polished and massaged these ideas into a careful, detailed development of the subject, which has substantially obscured the originalingenious insights of Newton and Leibniz. On the other hand, our development and proofs are complete, while theirs were based heavily on their intuition.So, here it is.

## Fundamental theorem of calculus

Suppose $f$ is an arbitrary element of $I\left(\left[a,b\right]\right).$ Define a function $F$ on $\left[a,b\right]$ by $F\left(x\right)={\int }_{a}^{x}f.$ Then:

1.   $F$ is continuous on $\left[a,b\right],$ and $F\left(a\right)=0.$
2. If $f$ is continuous at a point $c\in \left(a,b\right),$ then $F$ is differentiable at $c$ and ${F}^{\text{'}}\left(c\right)=f\left(c\right).$
3. Suppose that $f$ is continuous on $\left[a,b\right].$ If $G$ is any continuous function on $\left[a,b\right]$ that is differentiable on $\left(a,b\right)$ and satisfies ${G}^{\text{'}}\left(x\right)=f\left(x\right)$ for all $x\in \left(a,b\right),$ then
${\int }_{a}^{b}f\left(t\right)\phantom{\rule{0.166667em}{0ex}}dt=G\left(b\right)-G\left(a\right).$

REMARK Part (2) of this theorem is the heart of it, the great discovery of Newton and Leibniz,although most beginning calculus students often think of part (3) as the main statement. Of course it is that third part that enables us to actually compute integrals.

Because $f\in I\left(\left[a,b\right]\right),$ we know that $f\in I\left(\left[a,x\right]\right)$ for every $x\in \left[a,b\right],$ so that $F\left(x\right)$ at least is defined.

Also, we know that $f$ is bounded; i.e., there exists an $M$ such that $|f\left(t\right)|\le M$ for all $t\in \left[a,b\right].$ Then, if $x,y\in \left[a,b\right]$ with $x\ge y,$ we have that

$\begin{array}{ccc}\hfill |F\left(x\right)-F\left(y\right)|& =& |{\int }_{a}^{x}f-{\int }_{a}^{y}f|\hfill \\ & =& |{\int }_{a}^{y}f+{\int }_{y}^{x}f-{\int }_{a}^{y}f|\hfill \\ & =& |{\int }_{y}^{x}f|\hfill \\ & \le & {\int }_{y}^{x}|f|\hfill \\ & \le & {\int }_{y}^{x}M\hfill \\ & =& M\left(x-y\right),\hfill \end{array}$

so that $|F\left(x\right)-F\left(y\right)|\le M|x-y|<ϵ$ if $|x-y|<\delta =ϵ/M.$ This shows that $F$ is (uniformly) continuous on $\left[a,b\right].$ Obviously, $F\left(a\right)={\int }_{a}^{a}f=0,$ and part (1) is proved.

Next, suppose that $f$ is continuous at $c\in \left(a,b\right),$ and write $L=f\left(c\right).$ Let $ϵ>0$ be given. To show that $F$ is differentiable at $c$ and that ${F}^{\text{'}}\left(c\right)=f\left(c\right),$ we must find a $\delta >0$ such that if $0<|h|<\delta$ then

$|\frac{F\left(c+h\right)-F\left(c\right)}{h}-L|<ϵ.$

Since $f$ is continuous at $c,$ choose $\delta >0$ so that $|f\left(t\right)-f\left(c\right)|<ϵ$ if $|t-c|<\delta .$ Now, assuming that $h>0$ for the moment, we have that

$\begin{array}{ccc}\hfill F\left(c+h\right)-F\left(c\right)& =& {\int }_{a}^{c+h}f-{\int }_{a}^{c}f\hfill \\ & =& {\int }_{a}^{c}f+{\int }_{c}^{c+h}f-{\int }_{a}^{c}f\hfill \\ & =& {\int }_{c}^{c+h}f,\hfill \end{array}$

and

$L=\frac{{\int }_{c}^{c+h}L}{h}.$

So, if $0 then

$\begin{array}{ccc}\hfill |\frac{F\left(c+h\right)-F\left(c\right)}{h}-L|& =& |\frac{{\int }_{c}^{c+h}f\left(t\right)\phantom{\rule{0.166667em}{0ex}}dt}{h}-\frac{{\int }_{c}^{c+h}L}{h}|\hfill \\ & =& |\frac{{\int }_{c}^{c+h}\left(f\left(t\right)-L\right)\phantom{\rule{0.166667em}{0ex}}dt}{h}|\hfill \\ & \le & \frac{{\int }_{c}^{c+h}|f\left(t\right)-L|\phantom{\rule{0.166667em}{0ex}}dt}{h}\hfill \\ & =& \frac{{\int }_{c}^{c+h}|f\left(t\right)-f\left(c\right)|\phantom{\rule{0.166667em}{0ex}}dt}{h}\hfill \\ & \le & \frac{{\int }_{c}^{c+h}ϵ}{h}\hfill \\ & =& ϵ,\hfill \end{array}$

where the last inequality follows because for $t\in \left[c,c+h\right],$ we have that $|t-c|\le h<\delta .$ A similar argument holds if $h<0.$ (See the following exercise.) This proves part (2).

Suppose finally that $G$ is continuous on $\left[a,b\right],$ differentiable on $\left(a,b\right),$ and that ${G}^{\text{'}}\left(x\right)=f\left(x\right)$ for all $x\in \left(a,b\right).$ Then, $F-G$ is continuous on $\left[a,b\right],$ differentiable on $\left(a,b\right),$ and by part (2) ${\left(F-G\right)}^{\text{'}}\left(x\right)={F}^{\text{'}}\left(x\right)-{G}^{\text{'}}\left(x\right)=f\left(x\right)-f\left(x\right)=0$ for all $x\in \left(a,b\right).$ It then follows from [link] that $F-G$ is a constant function $C,$ whence,

$G\left(b\right)-G\left(a\right)=F\left(b\right)+C-F\left(a\right)-C=F\left(b\right)={\int }_{a}^{b}f\left(t\right)\phantom{\rule{0.166667em}{0ex}}dt,$

and the theorem is proved.

1. Complete the proof of part (2) of the preceding theorem; i.e., take care of the case when $h<0.$ HINT: In this case, $a Then, write ${\int }_{a}^{c}f={\int }_{a}^{c+h}f+{\int }_{c+h}^{c}f.$
2. Suppose $f$ is a continuous function on the closed interval $\left[a,b\right],$ and that ${f}^{\text{'}}$ exists and is continuous on the open interval $\left(a,b\right).$ Assume further that ${f}^{\text{'}}$ is integrable on the closed interval $\left[a,b\right].$ Prove that $f\left(x\right)-f\left(a\right)={\int }_{a}^{x}{f}^{\text{'}}$ for all $x\in \left[a,b\right].$ Be careful to understand how this is different from the Fundamental Theorem.
3. Use the Fundamental Theorem to prove that for $x\ge 1$ we have
$ln\left(x\right)=F\left(x\right)\equiv {\int }_{1}^{x}\frac{1}{t}\phantom{\rule{0.166667em}{0ex}}dt,$
and for $0 we have
$ln\left(x\right)=F\left(x\right)\equiv -{\int }_{x}^{1}\frac{1}{t}\phantom{\rule{0.166667em}{0ex}}dt.$
HINT: Show that these two functions have the same derivative and agree at $x=1.$

#### Questions & Answers

The type of elasticity if demand
Okonkwo Reply
aren't leaving too about bathrooms
SHADAB
what is money
Lawal Reply
what is supply
Lawal
the total number of goods present at a particular area at a particular time
Offset
the meaning of elasticity
Affum Reply
how to knw the break even point in business
Edmore Reply
hello
Marshal
hello
ghulam
hi
Kakay
hi
Ornill
hi
Bakari
Good evening
owi
when TOTAL COST & TOTAL REVENUE equal each other that's break even point
Bappy
How is everyone doing
Kakay
yaah
Chris
🤙🤙
Kakay
Good evening
Amarachi
how are you feeling
Sorie
hello
Marshal
hello
McClean
Hai👋👋
Noah
Hey
Andile
hello
Offset
what's up?
Offset
what are the importance of economics
sani Reply
hello
Marshal
welcome
Zaid
am new here
Kakay
hello I'm new here
Mona
your welcome
Bakari
thanks
Mona
where are you from?
Bakari
Hello I'm new here
Amarachi
what is development?
juwel Reply
it shows how many products customers are willing to purchase as the price of those product increase or decrease
Asha Reply
economics as a science
skima Reply
What is utility
Jimoh Reply
utility is a total satisfaction derives from a consumer.
Umar
what is ranking reveal choices?
Umar
wants satisfying power of a commodity is known as utility........
SHADAB
What is elasity
bohvy
Differentiate between scarcity and choice and explain how they effect perfectly elasiticity of demand and give relevant example with type of goods affected
PATRICK
Utility is ability if of available goods to satisfy human wants
PATRICK
any idea about equilibrium?
Umar
equilibrium where price and quantity demanded equals
Bappy
e
john
Equilibrium is when quantity demanded of goods and services is equal to supply to the market.
john
saaa.....
Bright
how about the profit....anybody can explain
Jeff
how about equilibrium of consumer?
Umar
bappy,john thank you the answers.
Umar
Utility Simply means the satisfaction a consumer derives from consuming a good or service
Hez
Pls can someone explain Elasticity of demand in a short terms
Osuayan
it's a degree of responsiveness to demand due to changes in prices
Ukpen
what is scarcity? pls help
Mikateko Reply
scarity is when there is a huge demand for certain goods and services but there's limited resources to actually produce those things
Mario
thank you
Kakay
what is development?
juwel
what is distribution
umar Reply
1.what is distribution? 2.what are factors affecting distribution? 3.releat what you are writing in the contest of economics and Nigeria situation
umar
what is demand
Obianyido Reply
things that are needed or wanted
Mario
The market for you In Ilorin has the following demand and supply equation Qd + 5p =9520 Qs =2.5p - 125 a) determine the equation price and quantity b) Explain the situation when the market price is below the equlibrum price
Rasheee Reply
solutions
Alex
What is scale of preference
Richmond Reply
Pls what is scale of preference
Richmond
scale of preference is a arrangement of individual wants in order of priority
Lamina
the arrangement of people want inoder of demand
Ada
explain whether decisions in microeconomics involve an opportunity cost
Sonali Reply
While the American heart association suggests that meditation might be used in conjunction with more traditional treatments as a way to manage hypertension
Beverly Reply
Got questions? Join the online conversation and get instant answers!
Jobilize.com Reply

### Read also:

#### Get the best Algebra and trigonometry course in your pocket!

Source:  OpenStax, Analysis of functions of a single variable. OpenStax CNX. Dec 11, 2010 Download for free at http://cnx.org/content/col11249/1.1
Google Play and the Google Play logo are trademarks of Google Inc.

Notification Switch

Would you like to follow the 'Analysis of functions of a single variable' conversation and receive update notifications?

 By By By