Upload
matthew-leingang
View
1.026
Download
0
Embed Size (px)
DESCRIPTION
Continuity says that the limit of a function at a point equals the value of the function at that point, or, that small changes in the input give only small changes in output. This has important implications, such as the Intermediate Value Theorem.
Citation preview
..
Sec on 1.5Con nuity
V63.0121.011: Calculus IProfessor Ma hew Leingang
New York University
February 7, 2011
Announcements
I Get-to-know-you extracredit due FridayFebruary 11
I Quiz 1 February 17/18 inrecita on
ObjectivesI Understand and apply the defini on of
con nuity for a func on at a point oron an interval.
I Given a piecewise defined func on,decide where it is con nuous ordiscon nuous.
I State and understand the IntermediateValue Theorem.
I Use the IVT to show that a func ontakes a certain value, or that anequa on has a solu on
Last timeDefini onWe write
limx→a
f(x) = L
and say
“the limit of f(x), as x approaches a, equals L”
if we can make the values of f(x) arbitrarily close to L (as close to Las we like) by taking x to be sufficiently close to a (on either side ofa) but not equal to a.
Basic Limits
Theorem (Basic Limits)
I limx→a
x = aI lim
x→ac = c
Limit Laws for arithmeticTheorem (Limit Laws)
Let f and g be func ons with limits at a point a. ThenI lim
x→a(f(x) + g(x)) = lim
x→af(x) + lim
x→ag(x)
I limx→a
(f(x)− g(x)) = limx→a
f(x)− limx→a
g(x)
I limx→a
(f(x) · g(x)) = limx→a
f(x) · limx→a
g(x)
I limx→a
f(x)g(x)
=limx→a f(x)limx→a g(x)
if limx→a
g(x) ̸= 0
HatsumonHere are some discussion ques ons to start.
True or FalseAt some point in your life you were exactly three feet tall.
True or FalseAt some point in your life your height (in inches) was equal to yourweight (in pounds).
True or FalseRight now there are a pair of points on opposite sides of the worldmeasuring the exact same temperature.
HatsumonHere are some discussion ques ons to start.
True or FalseAt some point in your life you were exactly three feet tall.
True or FalseAt some point in your life your height (in inches) was equal to yourweight (in pounds).
True or FalseRight now there are a pair of points on opposite sides of the worldmeasuring the exact same temperature.
HatsumonHere are some discussion ques ons to start.
True or FalseAt some point in your life you were exactly three feet tall.
True or FalseAt some point in your life your height (in inches) was equal to yourweight (in pounds).
True or FalseRight now there are a pair of points on opposite sides of the worldmeasuring the exact same temperature.
Outline
Con nuity
The Intermediate Value Theorem
Back to the Ques ons
Recall: Direct SubstitutionProperty
Theorem (The Direct Subs tu on Property)
If f is a polynomial or a ra onal func on and a is in the domain of f,then
limx→a
f(x) = f(a)
This property is so useful it’s worth naming.
Definition of Continuity
Defini on
I Let f be a func on defined neara. We say that f is con nuous ata if
limx→a
f(x) = f(a).
I A func on f is con nuous if it iscon nuous at every point in itsdomain.
.. x.
y
..a
.
f(a)
Definition of Continuity
Defini on
I Let f be a func on defined neara. We say that f is con nuous ata if
limx→a
f(x) = f(a).
I A func on f is con nuous if it iscon nuous at every point in itsdomain. .. x.
y
..a
.
f(a)
ScholiumDefini onLet f be a func on defined near a. We say that f is con nuous at a if
limx→a
f(x) = f(a).
There are three important parts to this defini on.I The func on has to have a limit at a,I the func on has to have a value at a,I and these values have to agree.
Free Theorems
Theorem
(a) Any polynomial is con nuous everywhere; that is, it iscon nuous on R = (−∞,∞).
(b) Any ra onal func on is con nuous wherever it is defined; that is,it is con nuous on its domain.
Showing a function is continuous..Example
Let f(x) =√4x+ 1. Show that f is con nuous at 2.
Solu onWe want to show that lim
x→2f(x) = f(2). We have
limx→a
f(x) = limx→2
√4x+ 1 =
√limx→2
(4x+ 1) =√9 = 3 = f(2).
Each step comes from the limit laws.
Showing a function is continuous..Example
Let f(x) =√4x+ 1. Show that f is con nuous at 2.
Solu onWe want to show that lim
x→2f(x) = f(2). We have
limx→a
f(x) = limx→2
√4x+ 1 =
√limx→2
(4x+ 1) =√9 = 3 = f(2).
Each step comes from the limit laws.
At which other points?Ques on
As before, let f(x) =√4x+ 1. At which points is f con nuous?
Solu on
At which other points?Ques on
As before, let f(x) =√4x+ 1. At which points is f con nuous?
Solu on
I If a > −1/4, then limx→a
(4x+ 1) = 4a+ 1 > 0, so
limx→a
f(x) = limx→a
√4x+ 1 =
√limx→a
(4x+ 1) =√4a+ 1 = f(a)
and f is con nuous at a.
At which other points?Ques on
As before, let f(x) =√4x+ 1. At which points is f con nuous?
Solu on
I If a = −1/4, then 4x+ 1 < 0 to the le of a, which means√4x+ 1 is undefined. S ll,
limx→a+
f(x) = limx→a+
√4x+ 1 =
√limx→a+
(4x+ 1) =√0 = 0 = f(a)
so f is con nuous on the right at a = −1/4.
Limit Laws give Continuity Laws
TheoremIf f(x) and g(x) are con nuous at a and c is a constant, then thefollowing func ons are also con nuous at a:
I (f+ g)(x)I (f− g)(x)I (cf)(x)
I (fg)(x)
Ifg(x) (if g(a) ̸= 0)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a).
"
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x) = limx→a
[f(x) + g(x)]
(if these limits exist) = limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.) = f(a) + g(a)(def of f+ g again) = (f+ g)(a)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a).
"
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x) = limx→a
[f(x) + g(x)]
(if these limits exist) = limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.) = f(a) + g(a)(def of f+ g again) = (f+ g)(a)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a).
"
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x)
= limx→a
[f(x) + g(x)]
(if these limits exist) = limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.) = f(a) + g(a)(def of f+ g again) = (f+ g)(a)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a).
"
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x) = limx→a
[f(x) + g(x)]
(if these limits exist) = limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.) = f(a) + g(a)(def of f+ g again) = (f+ g)(a)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a).
"
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x) = limx→a
[f(x) + g(x)]
(if these limits exist)
= limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.) = f(a) + g(a)(def of f+ g again) = (f+ g)(a)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a).
"
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x) = limx→a
[f(x) + g(x)]
(if these limits exist) = limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.) = f(a) + g(a)(def of f+ g again) = (f+ g)(a)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a).
"
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x) = limx→a
[f(x) + g(x)]
(if these limits exist) = limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.)
= f(a) + g(a)(def of f+ g again) = (f+ g)(a)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a).
"
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x) = limx→a
[f(x) + g(x)]
(if these limits exist) = limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.) = f(a) + g(a)
(def of f+ g again) = (f+ g)(a)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a).
"
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x) = limx→a
[f(x) + g(x)]
(if these limits exist) = limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.) = f(a) + g(a)(def of f+ g again)
= (f+ g)(a)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a).
"
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x) = limx→a
[f(x) + g(x)]
(if these limits exist) = limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.) = f(a) + g(a)(def of f+ g again) = (f+ g)(a)
Sum of continuous is continuousWe want to show that
limx→a
(f+ g)(x) = (f+ g)(a)."
We just follow our nose.
(def of f+ g) limx→a
(f+ g)(x) = limx→a
[f(x) + g(x)]
(if these limits exist) = limx→a
f(x) + limx→a
g(x)
(they do; f and g are cts.) = f(a) + g(a)(def of f+ g again) = (f+ g)(a)
Trig functions are continuousI sin and cos are con nuouson R.
I tan =sincos
and sec =1cos
arecon nuous on their domain,which isR \
{ π
2+ kπ
∣∣∣ k ∈ Z}.
I cot =cossin
and csc =1sin
arecon nuous on their domain,which is R \ { kπ | k ∈ Z }.
..sin
.
cos
.
tan
.
sec
.
cot
.
csc
Trig functions are continuousI sin and cos are con nuouson R.
I tan =sincos
and sec =1cos
arecon nuous on their domain,which isR \
{ π
2+ kπ
∣∣∣ k ∈ Z}.
I cot =cossin
and csc =1sin
arecon nuous on their domain,which is R \ { kπ | k ∈ Z }.
..sin
.
cos
.
tan
.
sec
.
cot
.
csc
Trig functions are continuousI sin and cos are con nuouson R.
I tan =sincos
and sec =1cos
arecon nuous on their domain,which isR \
{ π
2+ kπ
∣∣∣ k ∈ Z}.
I cot =cossin
and csc =1sin
arecon nuous on their domain,which is R \ { kπ | k ∈ Z }.
..sin
.
cos
.
tan
.
sec
.
cot
.
csc
Trig functions are continuousI sin and cos are con nuouson R.
I tan =sincos
and sec =1cos
arecon nuous on their domain,which isR \
{ π
2+ kπ
∣∣∣ k ∈ Z}.
I cot =cossin
and csc =1sin
arecon nuous on their domain,which is R \ { kπ | k ∈ Z }.
..sin
.
cos
.
tan
.
sec
.
cot
.
csc
Trig functions are continuousI sin and cos are con nuouson R.
I tan =sincos
and sec =1cos
arecon nuous on their domain,which isR \
{ π
2+ kπ
∣∣∣ k ∈ Z}.
I cot =cossin
and csc =1sin
arecon nuous on their domain,which is R \ { kπ | k ∈ Z }.
..sin
.
cos
.
tan
.
sec
.
cot
.
csc
Trig functions are continuousI sin and cos are con nuouson R.
I tan =sincos
and sec =1cos
arecon nuous on their domain,which isR \
{ π
2+ kπ
∣∣∣ k ∈ Z}.
I cot =cossin
and csc =1sin
arecon nuous on their domain,which is R \ { kπ | k ∈ Z }.
..sin
.
cos
.
tan
.
sec
.
cot
.
csc
Exp and Log are continuousFor any base a > 1,I the func on x 7→ ax iscon nuous on R
I the func on loga iscon nuous on itsdomain: (0,∞)
I In par cular ex andln = loge are con nuouson their domains
..
ax
.
loga x
Exp and Log are continuousFor any base a > 1,I the func on x 7→ ax iscon nuous on R
I the func on loga iscon nuous on itsdomain: (0,∞)
I In par cular ex andln = loge are con nuouson their domains
..
ax
.
loga x
Exp and Log are continuousFor any base a > 1,I the func on x 7→ ax iscon nuous on R
I the func on loga iscon nuous on itsdomain: (0,∞)
I In par cular ex andln = loge are con nuouson their domains
..
ax
.
loga x
Inverse trigonometric functionsare mostly continuous
I sin−1 and cos−1 are con nuous on (−1, 1), le con nuous at 1,and right con nuous at−1.
I sec−1 and csc−1 are con nuous on (−∞,−1) ∪ (1,∞), lecon nuous at−1, and right con nuous at 1.
I tan−1 and cot−1 are con nuous on R.
..
−π
.
−π/2
.π/2
.
π
...sin−1
...
cos−1
.
sec−1
... csc−1
... tan−1
.
cot−1
Inverse trigonometric functionsare mostly continuous
I sin−1 and cos−1 are con nuous on (−1, 1), le con nuous at 1,and right con nuous at−1.
I sec−1 and csc−1 are con nuous on (−∞,−1) ∪ (1,∞), lecon nuous at−1, and right con nuous at 1.
I tan−1 and cot−1 are con nuous on R.
..
−π
.
−π/2
.π/2
.
π
...sin−1 ...
cos−1
.
sec−1
... csc−1
... tan−1
.
cot−1
Inverse trigonometric functionsare mostly continuous
I sin−1 and cos−1 are con nuous on (−1, 1), le con nuous at 1,and right con nuous at−1.
I sec−1 and csc−1 are con nuous on (−∞,−1) ∪ (1,∞), lecon nuous at−1, and right con nuous at 1.
I tan−1 and cot−1 are con nuous on R.
..
−π
.
−π/2
.π/2
.
π
...sin−1 ...
cos−1
.
sec−1
..
. csc−1
... tan−1
.
cot−1
Inverse trigonometric functionsare mostly continuous
I sin−1 and cos−1 are con nuous on (−1, 1), le con nuous at 1,and right con nuous at−1.
I sec−1 and csc−1 are con nuous on (−∞,−1) ∪ (1,∞), lecon nuous at−1, and right con nuous at 1.
I tan−1 and cot−1 are con nuous on R.
..
−π
.
−π/2
.π/2
.
π
...sin−1 ...
cos−1
.
sec−1
... csc−1
..
. tan−1
.
cot−1
Inverse trigonometric functionsare mostly continuous
I sin−1 and cos−1 are con nuous on (−1, 1), le con nuous at 1,and right con nuous at−1.
I sec−1 and csc−1 are con nuous on (−∞,−1) ∪ (1,∞), lecon nuous at−1, and right con nuous at 1.
I tan−1 and cot−1 are con nuous on R.
..
−π
.
−π/2
.π/2
.
π
...sin−1 ...
cos−1
.
sec−1
... csc−1
... tan−1
.
cot−1
Inverse trigonometric functionsare mostly continuous
I sin−1 and cos−1 are con nuous on (−1, 1), le con nuous at 1,and right con nuous at−1.
I sec−1 and csc−1 are con nuous on (−∞,−1) ∪ (1,∞), lecon nuous at−1, and right con nuous at 1.
I tan−1 and cot−1 are con nuous on R.
..
−π
.
−π/2
.π/2
.
π
...sin−1 ...
cos−1
.
sec−1
... csc−1
... tan−1
.
cot−1
What could go wrong?
In what ways could a func on f fail to be con nuous at a point a?Look again at the equa on from the defini on:
limx→a
f(x) = f(a)
Continuity FAIL
: no limit
..Example
Let f(x) =
{x2 if 0 ≤ x ≤ 12x if 1 < x ≤ 2
. At which points is f con nuous?
Solu onAt any point a besides 1, lim
x→af(x) = f(a) because f is represented by a
polynomial near a, and polynomials have the direct subs tu on property.
limx→1−
f(x) = limx→1−
x2 = 12 = 1 and limx→1+
f(x) = limx→1+
2x = 2(1) = 2
So f has no limit at 1. Therefore f is not con nuous at 1.
Continuity FAIL: no limit..Example
Let f(x) =
{x2 if 0 ≤ x ≤ 12x if 1 < x ≤ 2
. At which points is f con nuous?
Solu onAt any point a besides 1, lim
x→af(x) = f(a) because f is represented by a
polynomial near a, and polynomials have the direct subs tu on property.
limx→1−
f(x) = limx→1−
x2 = 12 = 1 and limx→1+
f(x) = limx→1+
2x = 2(1) = 2
So f has no limit at 1. Therefore f is not con nuous at 1.
Graphical Illustration of Pitfall #1
.. x.
y
..−1
..1
..2
..
−1
..
1
..
2
..
3
..
4
....
The func on cannot becon nuous at a point if thefunc on has no limit at thatpoint.
Graphical Illustration of Pitfall #1
.. x.
y
..−1
..1
..2
..
−1
..
1
..
2
..
3
..
4
.....
FAILThe func on cannot becon nuous at a point if thefunc on has no limit at thatpoint.
Continuity FAIL
: no value
Example
Letf(x) =
x2 + 2x+ 1x+ 1
At which points is f con nuous?
Solu onBecause f is ra onal, it is con nuous on its whole domain. Note that−1 is not in the domain of f, so f is not con nuous there.
Continuity FAIL: no valueExample
Letf(x) =
x2 + 2x+ 1x+ 1
At which points is f con nuous?
Solu onBecause f is ra onal, it is con nuous on its whole domain. Note that−1 is not in the domain of f, so f is not con nuous there.
Graphical Illustration of Pitfall #2
.. x.
y
...−1
..
1 The func on cannot becon nuous at a point outsideits domain (that is, a pointwhere it has no value).
Graphical Illustration of Pitfall #2
.. x.
y
...−1
..
1
.
FAIL The func on cannot becon nuous at a point outsideits domain (that is, a pointwhere it has no value).
Continuity FAIL
: value ̸= limit
Example
Let
f(x) =
{7 if x ̸= 1π if x = 1
At which points is f con nuous?
Solu onf is not con nuous at 1 because f(1) = π but lim
x→1f(x) = 7.
Continuity FAIL: value ̸= limitExample
Let
f(x) =
{7 if x ̸= 1π if x = 1
At which points is f con nuous?
Solu onf is not con nuous at 1 because f(1) = π but lim
x→1f(x) = 7.
Graphical Illustration of Pitfall #3
.. x.
y
..
π
..
7
..1
..
If the func on has a limit anda value at a point the twomust s ll agree.
Graphical Illustration of Pitfall #3
.. x.
y
..
π
..
7
..1
...FAIL
If the func on has a limit anda value at a point the twomust s ll agree.
Special types of discontinuities
removable discon nuity The limit limx→a
f(x) exists, but f is notdefined at a or its value at a is not equal to the limit at a.
By re-defining f(a) = limx→a
f(x), f can be made con nuousat a
jump discon nuity The limits limx→a−
f(x) and limx→a+
f(x) exist, but aredifferent.
The func on cannot be made con nuous bychanging a single value.
Special discontinuities graphically
.. x.
y
..
π
..
7
..1
..
..
Presto! con nuous!
removable
.. x.
y
..1
..
1
..
2
....
..
con nuous?
...
con nuous?
..
con nuous?
jump
Special discontinuities graphically
.. x.
y
..
π
..
7
..1
..
..
Presto! con nuous!
removable
.. x.
y
..1
..
1
..
2
....
..
con nuous?
...
con nuous?
..
con nuous?
jump
Special discontinuities graphically
.. x.
y
..
π
..
7
..1
..
..
Presto! con nuous!
removable
.. x.
y
..1
..
1
..
2
......
con nuous?
...
con nuous?
..
con nuous?
jump
Special discontinuities graphically
.. x.
y
..
π
..
7
..1
..
..
Presto! con nuous!
removable
.. x.
y
..1
..
1
..
2
....
..
con nuous?
...
con nuous?
..
con nuous?
jump
Special discontinuities graphically
.. x.
y
..
π
..
7
..1
..
..
Presto! con nuous!
removable
.. x.
y
..1
..
1
..
2
....
..
con nuous?
.
..
con nuous?
..
con nuous?
jump
Special types of discontinuities
removable discon nuity The limit limx→a
f(x) exists, but f is notdefined at a or its value at a is not equal to the limit at a.By re-defining f(a) = lim
x→af(x), f can be made con nuous
at ajump discon nuity The limits lim
x→a−f(x) and lim
x→a+f(x) exist, but are
different.
The func on cannot be made con nuous bychanging a single value.
Special types of discontinuities
removable discon nuity The limit limx→a
f(x) exists, but f is notdefined at a or its value at a is not equal to the limit at a.By re-defining f(a) = lim
x→af(x), f can be made con nuous
at ajump discon nuity The limits lim
x→a−f(x) and lim
x→a+f(x) exist, but are
different. The func on cannot be made con nuous bychanging a single value.
The greatest integer function[[x]] is the greatest integer≤ x.
x [[x]]0 01 1
1.5 11.9 12.1 2
−0.5 −1−0.9 −1−1.1 −2
.. x.
y
..−2
..
−2
..−1
..
−1
..1
..
1
..2
..
2
..3
..
3
...........
y = [[x]]
This func on has a jump discon nuity at each integer.
The greatest integer function[[x]] is the greatest integer≤ x.
x [[x]]0 01 1
1.5 11.9 12.1 2
−0.5 −1−0.9 −1−1.1 −2
.. x.
y
..−2
..
−2
..−1
..
−1
..1
..
1
..2
..
2
..3
..
3
...........
y = [[x]]
This func on has a jump discon nuity at each integer.
Outline
Con nuity
The Intermediate Value Theorem
Back to the Ques ons
A Big Time Theorem
Theorem (The Intermediate Value Theorem)
Suppose that f is con nuous on the closed interval [a, b] and let N beany number between f(a) and f(b), where f(a) ̸= f(b). Then thereexists a number c in (a, b) such that f(c) = N.
Illustrating the IVT
Theorem
Suppose that f is con nuouson the closed interval [a, b]and let N be any numberbetween f(a) and f(b), wheref(a) ̸= f(b). Then there existsa number c in (a, b) such thatf(c) = N.
.. x.
f(x)
... a. b.
f(a)
.
f(b)
.
N
. c... c1.. c2.. c3
Illustrating the IVT
TheoremSuppose that f is con nuouson the closed interval [a, b]
and let N be any numberbetween f(a) and f(b), wheref(a) ̸= f(b). Then there existsa number c in (a, b) such thatf(c) = N.
.. x.
f(x)
..
. a. b.
f(a)
.
f(b)
.
N
. c... c1.. c2.. c3
Illustrating the IVT
TheoremSuppose that f is con nuouson the closed interval [a, b]
and let N be any numberbetween f(a) and f(b), wheref(a) ̸= f(b). Then there existsa number c in (a, b) such thatf(c) = N.
.. x.
f(x)
... a. b.
f(a)
.
f(b)
.
N
. c... c1.. c2.. c3
Illustrating the IVT
TheoremSuppose that f is con nuouson the closed interval [a, b]and let N be any numberbetween f(a) and f(b), wheref(a) ̸= f(b).
Then there existsa number c in (a, b) such thatf(c) = N.
.. x.
f(x)
... a. b.
f(a)
.
f(b)
.
N
. c... c1.. c2.. c3
Illustrating the IVT
TheoremSuppose that f is con nuouson the closed interval [a, b]and let N be any numberbetween f(a) and f(b), wheref(a) ̸= f(b). Then there existsa number c in (a, b) such thatf(c) = N. .. x.
f(x)
... a. b.
f(a)
.
f(b)
.
N
. c.
.. c1.. c2.. c3
Illustrating the IVT
TheoremSuppose that f is con nuouson the closed interval [a, b]and let N be any numberbetween f(a) and f(b), wheref(a) ̸= f(b). Then there existsa number c in (a, b) such thatf(c) = N. .. x.
f(x)
... a. b.
f(a)
.
f(b)
.
N
. c... c1.. c2.. c3
Illustrating the IVT
TheoremSuppose that f is con nuouson the closed interval [a, b]and let N be any numberbetween f(a) and f(b), wheref(a) ̸= f(b). Then there existsa number c in (a, b) such thatf(c) = N. .. x.
f(x)
... a. b.
f(a)
.
f(b)
.
N
. c.
.. c1.. c2.. c3
What the IVT does not say
The Intermediate Value Theorem is an “existence” theorem.I It does not say how many such c exist.I It also does not say how to find c.
S ll, it can be used in itera on or in conjunc on with othertheorems to answer these ques ons.
Using the IVT to find zeroes
Example
Let f(x) = x3 − x− 1. Show that there is a zero for f on the interval[1, 2].
Solu onf(1) = −1 and f(2) = 5. So there is a zero between 1 and 2.
In fact, we can “narrow in” on the zero by the method of bisec ons.
Using the IVT to find zeroes
Example
Let f(x) = x3 − x− 1. Show that there is a zero for f on the interval[1, 2].
Solu onf(1) = −1 and f(2) = 5. So there is a zero between 1 and 2.
In fact, we can “narrow in” on the zero by the method of bisec ons.
Using the IVT to find zeroes
Example
Let f(x) = x3 − x− 1. Show that there is a zero for f on the interval[1, 2].
Solu onf(1) = −1 and f(2) = 5. So there is a zero between 1 and 2.
In fact, we can “narrow in” on the zero by the method of bisec ons.
Finding a zero by bisection
x f(x)
1 − 11.25 − 0.296875
1.3125 − 0.05151371.375 0.224609
1.5 0.8752 5
(More careful analysis yields1.32472.)
.. x.
y
........
Finding a zero by bisection
x f(x)1 − 1
1.25 − 0.2968751.3125 − 0.05151371.375 0.224609
1.5 0.8752 5
(More careful analysis yields1.32472.)
.. x.
y
..
......
Finding a zero by bisection
x f(x)1 − 1
1.25 − 0.2968751.3125 − 0.05151371.375 0.224609
1.5 0.875
2 5
(More careful analysis yields1.32472.)
.. x.
y
....
....
Finding a zero by bisection
x f(x)1 − 1
1.25 − 0.2968751.3125 − 0.05151371.375 0.224609
1.5 0.8752 5
(More careful analysis yields1.32472.)
.. x.
y
.....
...
Finding a zero by bisection
x f(x)1 − 1
1.25 − 0.296875
1.3125 − 0.05151371.375 0.224609
1.5 0.8752 5
(More careful analysis yields1.32472.)
.. x.
y
......
..
Finding a zero by bisection
x f(x)1 − 1
1.25 − 0.296875
1.3125 − 0.0515137
1.375 0.2246091.5 0.8752 5
(More careful analysis yields1.32472.)
.. x.
y
.......
.
Finding a zero by bisection
x f(x)1 − 1
1.25 − 0.2968751.3125 − 0.05151371.375 0.224609
1.5 0.8752 5
(More careful analysis yields1.32472.)
.. x.
y
........
Finding a zero by bisection
x f(x)1 − 1
1.25 − 0.2968751.3125 − 0.05151371.375 0.224609
1.5 0.8752 5
(More careful analysis yields1.32472.)
.. x.
y
........
Using the IVT to assert existenceof numbers
Example
Suppose we are unaware of the square root func on and that it’scon nuous. Prove that the square root of two exists.
Proof.Let f(x) = x2, a con nuous func on on [1, 2]. Note f(1) = 1 andf(2) = 4. Since 2 is between 1 and 4, there exists a point c in (1, 2)such that
f(c) = c2 = 2.
Using the IVT to assert existenceof numbers
Example
Suppose we are unaware of the square root func on and that it’scon nuous. Prove that the square root of two exists.
Proof.Let f(x) = x2, a con nuous func on on [1, 2].
Note f(1) = 1 andf(2) = 4. Since 2 is between 1 and 4, there exists a point c in (1, 2)such that
f(c) = c2 = 2.
Using the IVT to assert existenceof numbers
Example
Suppose we are unaware of the square root func on and that it’scon nuous. Prove that the square root of two exists.
Proof.Let f(x) = x2, a con nuous func on on [1, 2]. Note f(1) = 1 andf(2) = 4. Since 2 is between 1 and 4, there exists a point c in (1, 2)such that
f(c) = c2 = 2.
Outline
Con nuity
The Intermediate Value Theorem
Back to the Ques ons
Back to the QuestionsTrue or FalseAt one point in your life you were exactly three feet tall.
True or FalseAt one point in your life your height in inches equaled your weight inpounds.
True or FalseRight now there are two points on opposite sides of the Earth withexactly the same temperature.
Question 1
AnswerThe answer is TRUE.
I Let h(t) be height, which varies con nuously over me.I Then h(birth) < 3 ft and h(now) > 3 ft.I So by the IVT there is a point c in (birth, now) where h(c) = 3.
Back to the QuestionsTrue or FalseAt one point in your life you were exactly three feet tall.
True or FalseAt one point in your life your height in inches equaled your weight inpounds.
True or FalseRight now there are two points on opposite sides of the Earth withexactly the same temperature.
Question 2AnswerThe answer is TRUE.
I Let h(t) be height in inches and w(t) be weight in pounds, bothvarying con nuously over me.
I Let f(t) = h(t)− w(t).I For most of us (call your mom), f(birth) > 0 and f(now) < 0.I So by the IVT there is a point c in (birth, now) where f(c) = 0.I In other words,
h(c)− w(c) = 0 ⇐⇒ h(c) = w(c).
Back to the QuestionsTrue or FalseAt one point in your life you were exactly three feet tall.
True or FalseAt one point in your life your height in inches equaled your weight inpounds.
True or FalseRight now there are two points on opposite sides of the Earth withexactly the same temperature.
Question 3
AnswerThe answer is TRUE.
I Let T(θ) be the temperature at the point on the equator atlongitude θ.
I How can you express the statement that the temperature onopposite sides is the same?
I How can you ensure this is true?
Question 3
I Let f(θ) = T(θ)− T(θ + 180◦)I Then
f(0) = T(0)− T(180)
whilef(180) = T(180)− T(360) = −f(0)
I So somewhere between 0 and 180 there is a point θ wheref(θ) = 0!
SummaryWhat have we learned today?
I Defini on: a func on is con nuous at a point if the limit of thefunc on at that point agrees with the value of the func on atthat point.
I We o en make a fundamental assump on that func ons wemeet in nature are con nuous.
I The Intermediate Value Theorem is a basic property of realnumbers that we need and use a lot.