Transcript Document

David M. Bressoud Macalester College, St. Paul, Minnesota AP National Conference, Lake Buena Vista, FL July 17, 2004

2004 AB3(d) A particle moves along the

y

-axis so that its velocity

v

at time

t

≥ 0 is given by

v

(

t

) = 1 – tan –1 (e t ). At time

t

= 0, the particle is at

y

particle at time

t

= 2.

= –1. Find the position of the

y

'(

t

) =

v

(

t

) = 1 – tan –1 (e t )

y

(

t

) =

?

Velocity  Time = Distance time

Areas represent distance moved (positive when

v

negative when

v

< 0).

> 0,

  

i

 

t

  0 2  

dt

This is the total accumulated distance from time

t

= 0 to

t

= 2.

Change in

y

-value equals  0 2  

dt

  0 2 

1

tan

 1 

dt

 

0.3607,

Since we know that

y

(0) = –1:

y

  

y

  

0.3607

 

1.3607

The Fundamental Theorem of Calculus (part 1):      , 

a b dx

      .

The Fundamental Theorem of Calculus (part 1):      , 

a b dx

      .

If we know an anti-derivative, we can use it to find the value of the definite integral.

The Fundamental Theorem of Calculus (part 1):      , 

a b dx

      .

If we know an anti-derivative, we can use it to find the value of the definite integral.

If we know the value of the definite integral, we can use it to find the change in the value of the anti-derivative.

We have seen that for any time

T

,

We have seen that for any time

T

, and therefore,

We have seen that for any time

T

, and therefore, But

y

(

T

) is the position at time

T

, and so

We have seen that for any time

T

, and therefore, But

y

(

T

) is the position at time

T

, and so Putting this all together, we see that

We have seen that for any time

T

, and therefore, But

y

(

T

) is the position at time

T

, and so Putting this all together, we see that

Fundamental Theorem of Calculus (part 2)

The definite integral can be used to define the anti derivative of

v

that is equal to

y

(0) at

t

= 0.

Moral: The standard description of the FTC is that “The two central operations of calculus, differentiation and integration, are inverses of each other.” —Wikipedia (en.wikipedia.org)

Moral: The standard description of the FTC is that “The two central operations of calculus, differentiation and integration, are inverses of each other.” —Wikipedia (en.wikipedia.org) A more useful description is that the two definitions of the definite integral: •The difference of the values of an anti-derivative taken at the endpoints, [definition used by Granville (1941) and earlier authors] •The limit of a Riemann sum, [definition used by Courant (1931) and later authors] yield the same value.

The new Iraqi 10-dinar note

Abu Ali al-Hasan ibn al-Hasan ibn al-Haytham (965–1039)

a.k.a. Alhazen, we’ll refer to him as

al-Haytham

Archimedes (~250 BC ) showed how to find the volume of a parabaloid: Volume = half volume of cylinder of radius

b

, length

a =

a b

2 2

i n

discs of thickness

a n

, th disc has radius

b a i a n

b i n

.

i n

discs of thickness

a n

, th disc has radius

b a i a n

b i n

.

n

i

 1 

a n

 

a b

2

n

i

 1

i n

 1

n

i n

discs of thickness

a n

, th disc has radius

b a i a n

b i n

.

n

i

 1 

a n

 

a b

2

n

i

 1

i n

 1

n n

  

a b

2 2

Al-Haytham considered revolving around the line

x

=

a

: Volume = 8 15  

a

2

b

 .

n

i

 1

b n

 

a

i

2

a n

2   2  

a

2

b n

5

n

i

 1 

n

2 

i

2  2

n

i

 1

b n

 

a

i

2

a n

2   2  

a

2

b n

5

n

i

 1 

n

2 

i

2  2

n

i

 1 

n

2 

i

2  2 

n

i

 1 

n

4  2

n

2

i

2 

i

4  

n

5  2

n

2

n

i

 1

i

2 

n

i

 1

i

4

n

i

 1 

n

2 

i

2  2  8 15

n

5  1 2

n

4  1 30

n

,

n

i

 1

b n

 

a

i

2

a n

2   2  

a

2

b n

5

n

i

 1 

n

2 

i

2  2

n

i

 1 

n

2 

i

2  2 

n

i

 1 

n

4  2

n

2

i

2 

i

4  

n

5  2

n

2

n

i

 1

i

2 

n

i

 1

i

4

n

i

 1 

n

2 

i

2  2  8 15

n

5  1 2

n

4  1 30

n

, lim

n

 

a

2

b

  8 15  1 2

n

 1 30

n

4   8 15 

a

2

b

.

Using “Pascal’s” triangle to sum

k

th powers of consecutive integers

Al-Bahir fi'l Hisab (Shining Treatise on Calculation)

, al Samaw'al, Iraq, 1144

Siyuan Yujian (Jade Mirror of the Four Unknowns)

, Zhu Shijie, China, 1303

Maasei Hoshev (The Art of the Calculator)

, Levi ben Gerson, France, 1321

Ganita Kaumudi

(

Treatise on Calculation

), Narayana Pandita, India, 1356

HP

(

k,i

) is the

House-Painting

number

1 2 3 4 5 6 7 8

It is the number of ways of painting

k

exactly

i

colors.

houses using

n

The area under

y

a/n x k

from

x a

 0 to

x

a

is lim n 

n

j

 1

a n

  

a j n

 

k

 lim n 

a k

 1

n k

 1

n

j

 1

j k

  lim n 

a k

 1

n k

 1 

n k

 1 

k

 1   polynomial in

n

of degree

a k

 1

k

 1 .

k

  

1630’s Descartes, Fermat, and others discover general rule for slope of tangent to a polynomial.

René Descartes Pierre de Fermat

1630’s Descartes, Fermat, and others discover general rule for slope of tangent to a polynomial.

1639, Descartes describes reciprocity in letter to DeBeaune

Hints of the reciprocity result in studies of integration by Wallis (1658), Neile (1659), and Gregory (1668) John Wallis James Gregory

First published proof by Barrow (1670) Isaac Barrow

Discovered by Newton (1666, unpublished); and by Leibniz (1673) Isaac Newton Gottfried Leibniz

S. F. LaCroix,

Traité Élémentaire de Calcul Différentiel et de Calcul Intégral, 1802

“As they disappear to 0, the respective increases of a function and its variable will still hold the ratio that they have been progressively approaching; and there is between this ratio and the function from which it is derived a mutual dependence from which one is determined by the other and reciprocally.” “Integral calculus is the inverse of differential calculus. Its goal is to restore the functions from their differential coefficients.”

S. F. LaCroix (1802):“Integral calculus is the inverse of differential calculus. Its goal is to restore the functions from their differential coefficients.”

S. F. LaCroix (1802):“Integral calculus is the inverse of differential calculus. Its goal is to restore the functions from their differential coefficients.” What if a function is not the derivative of some identifiable function?

e

 

S. F. LaCroix (1802):“Integral calculus is the inverse of differential calculus. Its goal is to restore the functions from their differential coefficients.” Joseph Fourier (1807): Put the emphasis on 

b

them in terms of area between graph and

x

definite

-axis.

S. F. LaCroix (1802):“Integral calculus is the inverse of differential calculus. Its goal is to restore the functions from their differential coefficients.” Joseph Fourier (1807): Put the emphasis on 

b

them in terms of area between graph and

x

definite

-axis.

How do you define area?

A.-L. Cauchy (1825): First to define the integral as the limit of the summation  

x i

x i

 1  Also the first (1823) to explicitly state and prove the second part of the FTC:

d dx

a x

 

dt

  

.

Bernhard Riemann (1852, 1867)

On the representation of a function as a trigonometric series

a b

 

dx

 

x i

x i

 1 

Bernhard Riemann (1852, 1867)

On the representation of a function as a trigonometric series

a b

 

dx

 

x i

x i

 1  When

is

a function integrable?

Does the Fundamental Theorem of Calculus always hold?

The Fundamental Theorem of Calculus: 2.

d dx

a x

 

dt

.

Riemann found an example of a function integrable over any interval but whose antiderivative is

not

differentiable at

x

if

x f

that is is a rational number with an even denominator.

The Fundamental Theorem of Calculus:      , 

a b dx

      .

The Fundamental Theorem of Calculus:      , 

a b dx

      .

Vito Volterra, 1881, found a function

f

with an anti-derivative

F

so that

F'

(

x

)

= f

(

x

) for all

x

, but there is

no

which the definite integral of

f

interval over (

x

) exists.

Henri Lebesgue, 1901, came up with a totally different way of defining integrals that is the same as the Riemann integral for nice functions, but that avoids the problems with the Fundamental Theorem of Calculus.

Richard Courant, and designate the

Differential and Integral Calculus

(1931), first calculus textbook to state Fundamental Theorem of Calculus in its present form.

These Power Point presentations are available at http://www.macalester.edu/~bressoud/talks Three options: 1. Derivation of the formula for the sum of

k

th powers (also on handout).

2. Riemann’s example of an integral that can’t be differentiated at all points on

any

interval.

3. Volterra’s example of a derivative that can’t be integrated over [0,1].