Escolar Documentos
Profissional Documentos
Cultura Documentos
&
2009
2009
1).()
2)
3)
...
...
..
...
...
. , ....,
,
.
. , ....,
.
. , ,
.
. ,
.
5 . , .
,
, ,
,
, ,
,
, ,
,
.
, 24/06/2009
.7
1 : .
1.1.
10
1.2.
12
1.3.
.. 13
1.4.
.17
1.4.1. 17
1.4.2. ..18
2 : .
2.1.
26
2.2.
.33
2.3.
Piaget Vygotsky.40
2.4.
H ..42
2.5.
..44
2.6.
..48
3 : .
3.1.
51
3.2.
6 .. ...52
3.3.
55
3.3.1. .55
3.3.2. ..56
3.3.3. ...67
3.3.4. ...71
3.4.
19 ..78
3.4.1. .78
3.4.2.
.80
3.4.3. ..96
3.4.4.
.101
4: .
4.1.
..113
4.2.
120
4.3.
0,1 sec124
4.4.
.130
4.5.
142
4.6.
150
4.7.
...161
5 :.
5.1.
163
5.2.
..169
5.2.1. 169
5.2.2. ..171
,
.
,
,
.
.
,
,
, , ,
.
,
.
,
.
John Dewey,
, Thompson, (1994),
, , .
,
, ,
,
.
.
,
,
.
,
.
, 19 .
. , ,
, .
,
,
.
1
.
1.1.
1.2.
1.3.
1.4.
1.4.1. .
1.4.2. .
1.1.
.
.
, ,
. (x1, y1)
(x2, y2) ,
,
y2 y1
,
x2 x1
.
10
, xx ,
. ,
.
,
.
,
.
.
,
, .
, , . ,
,
; ,
;
, ,
. ,
. ;
.. ,
.
.
.
:
I.
.
11
.
,
. , ,
. ,
.
:
II. ,
, .
,
,
.
, .
1.2. .
,
.
,
,
. , ,
,
.
Orton, (1983), Tall, (1990, 1997), Cornu, (1991), Cottrill et al, (1996).
12
. ,
, , ,
,
. J. Stewart (1999), Calculus:
.
.
,
.
,
,
, ,
.
,
,
,
.
;
;
;
;
,
.
1.3.
.
13
,
,
. Tall (1990),
.
(standart)
, .
. Hobbs & Relf
(1997),
,
.
, ....
.
. Borgen & Manu Stan (2002),
,
,
.
.
, . O
Gravemeijer & Doorman (1999),
context problems,
.
. ,
.
, . O
14
. Asiala, et al (1997),
,
. (2006), ,
,
. Kleiner
(2001), , ,
. ,
. ,
.
.
15
, ,
Leibniz, o Newton, o Euler o Cauchy.
O Orton (1983)
,
.
.
.
, rton
, .
.
, ,
, .
,
. Orton
,
.
. O Cornu (1991),
,
, .
.
,
,
. O
Cottrill et al (1996),
,
.
,
,
, ,
. H Jordaan (2005),
,
16
. ,
.
.
. ,
Thompson (1994), Images of
rate and operational understanding of the fundamental theorem of calculus,
. Thompson
, ,
=
. ,
..
.
1.4.
1.4.1. .
.
.
.
,
.
17
,
.
, .
,
.
,
.
1.4.2.
.
.
1: .
.
) d(t), t [0, 5]
, d(t),
= d(t),
. ( . g = 10m/sec2 )
t sec
d(t) m
18
19
)i) (), h.
h.
ii) h, ,
.
h = 0,1
(t ) = ..
(t ) = ..
h = 0,001 (t ) = ..
h = 0,0001 (t ) = ..
h = 0,01
h = 0,00001 (t ) = ..
;
) ():
.
, ,
,
.
;
i)
ii)
, t.
) y x,
y = f(x), x A.
i) y h,
f.
20
ii) y
;
y x ;
iii)
.
.
. ()
(), ,
,
.
() ,
,
.
.
21
, .
.
,
.
2: .
3m 8m,
. ) i)
() ( ),
ii) y = (x)
9
0, 44 ,
64
.
x
0 2
4
6
8
E(x) 0 1,76 7,04
15,84 28,16
) i) x = 5m,
22
ii) x.
;
)
dV(x), x [0, 8],
h. .
) (i) V(x + h) V(x);
(ii) h
V ( x + h) V ( x )
( x )
h
, 1
(x);
;
) i) ()
x=5.
x=5; ,
,
x 5m.
ii) (i),
,
x .
iii) (ii);
23
x ,
.
V x,
Riemann. ,
,
Riemann,
.
, ,
.
,
, .
24
2
.
2.1.
2.2.
2.3.
Piaget Vygotsky.
2.4.
H .
2.5.
2.6.
25
2.1 .
.
,
,
,
, ,
. ,
, ,
,
.
,
,
.
, 1970,
1980,
1990 ,
,
,
. ,
, .
, ,
-
-
, Bernstein,
, Bourdieu,
,
26
,
,
,
.
,
,
,
,
. ,
. ,
, ,
, .
,
, .
,
, ,
,
.
,
,
,
.
27
, , , ,
,
. ,
,
.
(Sfard, 1998).
, , , , .
Piaget,
. ,
,
, ,
,
.
,
, ,
.
, ,
, .
-
Vygotsky,
28
. ,
. Vygotsky
, ,
. ,
,
Vygotsky - .
Vygotsky, ,
,
,
-
. , ,
Lave (1988) Lave & Wenger (1991),
.
(situated learning),
,
, , ,
.
(communities of practice), .
.. .
, ..
, .. .
,
,
. Wenger (1998), ,
29
,
,
:
, .
,
,
(. 215). ,
Wenger
, ,
,
.
Wenger : (participation)
(reification).
.
, , ,
, , , .
, ,
. ,
, ,
. , ,
,
,
. Wenger,
, :
, .
,
, ,
.
,
.
30
,
.
: ,
.
.
,
, , ,
, . ,
. , ,
,
,
. ,
.
.
, , ,
,
.
.. , , , ,
, , , , , , ,
, , .
- ,
, ,
-, -
.
, ,
: , ,
,
, .. ,
, , ,
31
.
.
(boundary object).
Wenger, Leigh Star
. ,
,
.. , , , ,
.
, .
,
,
, . Wenger, . 114,
:
(boundary practices), (overlap practices)
(peripheries practices) . .
,
,
.
, ,
.
.
.
. , ,
.. ,
.
,
.
32
. ,
.. ,
. ,
.
Wenger, . 274,
. ,
,
, :
, . (,
2007) ,
,
.
.
2.2.
,
. .. Sfard (2002), Lerman
(2001), ( 2004),
,
.
.. Tudge (1990),
( 2004).
33
.
. ,
. ,
,
. ,
, ,
, , (2004). 5
. 311 Even & Schwartz (2003).
(2006),
.
.
, ,
.
:
,
,
,
.
,
.
(2007),
,
. ,
,
,
Tymoczko, 1986, ( , 2007). ,
34
.
,
,
,
,
.
.
.
, ,
.
,
.
.
,
. , , ,
, .
,
,
.
,
,
,
, ,
,
. ,
:
35
. ,
,
(
). , ,
,
,
.
.
.
, , ,
,
,
, ,
(- ), Yackel & Cobb, (1996), (
, 2007) .
,
,
,
,
.
.
,
.
36
. ,
(
, )
.
.
,
.
,
, .
, ,
:
,
. ,
,
, ,
.
,
, Ainley & Pratt, (2002), ( , 2007),
,
, ..
, ,
.
,
.
37
.
,
, ...
,
,
, , .
,
,
.
.
. ,
,
.
,
,
.
,
.
1.4.1,
,
38
. ,
.
.
,
.
, .
,
:
1
1.1 : ( )
1.2 : ().
1.3 :
-,
!
1.4 : (
)
( ).
, , .
.
,
,
.
,
,
.
, ,
, .
39
, .
,
,
.
,
, ,
.
, ,
.
,
,
. ,
,
, ,
.
,
. ,
,
.
2.3
Piaget Vygotsky
,
Piaget Vygotsky,
(interactionism).
,
.
40
.
. Davydov
.
. , ,
,
, .
, .
.
. Piaget
Vygotsky,
.
,
.
, (2002),
, ,
.
,
. ,
,
.
Bruner
, Wittgenstein:
1. .
, ;
;. , ,
41
,
.
2. .
.. ,
.
:
,
, ,
.
, .
.
.
, , ,
, .
(standards)
,
.
,
.
,
, ..., , (2007)
2.4.
,
.
42
,
W. Dorfler, .
,
,
. ,
,
.
.
, ,
. ,
.
, ,
.
, , ,
. ,
.
.
. , ,
. ,
, .
. ,
, ,
.
.
, ,
.
, - ,
- , Dorfler,
(1991).
43
2.5.
,
. ,
,
,
(. 334)
, f (t )dt = f ( x ) .
. ,
,
19
. 19
,
.
( .. .
110), . ,
.
,
, [,],
f() f(), .
, ,
f()=0.
.
D. Tall, (1990),
.
, ,
..., .
44
.
. ,
.
.
. towards a
disciplined intuition, Bruner
, :
,
,
., D. Tall, (1990).
Tall,
,
.
,
.
.
.
,
.
,
,
.
,
45
, .
. ,
y=x+ y
x,
. .
,
,
.
.
. , ,
.
.
.
x
y, .
f (t )dt = f ( x ) ,
46
(. 168), .
: f x0 , >0,
, , x x0- x0+,
f(x) f(x0)- f(x0)+.( )
. , :
,
. ( )
,
,
,
.
.
,
, Tall, (1990).
47
2.6.
.
,
.
,
. , ,
, , ,
,
.
.
.
,
,
Furingetti & Somaglia, 1998: Tzanakis & Arcavi, 2000, Farmaki & Paschos,
(2007)
,
.
. : ,
,
/ .
.
48
.
.
.
, , (2003).
,
,
.
, ,
, , ,
, (1987)
, (2008),
,
,
,
1970,
(ICMI: The International
Commission on Mathematical Instruction).
,
,
.
49
3
.
3.1.
3.2.
6 .. .
3.3.
3.3.1. .
3.3.2. .
3.3.3. .
3.3.4. .
3.4.
19 .
3.4.1. .
3.4.2.
3.4.3. .
3.4.4.
50
3.1. .
(2007),
:
6 3 . .
16 17 . .
18 19 .. .
19 ,
.
.
, .
.
, 10 .. ,
,
.
51
3.2. 6 ..
,
, ,
, .
3000 .. 600 ..,
.
,
.
,
,
.
, . ,
, .
.
.1
,
.
,
.
. , , . 53
52
,
,
.2
1,414213, .
, ( )
c d
= , c d
2 2
2
8
, = d
9
3,16049. ,
h
, V = ( a 2 + ab + b 2 ) , h
3
,b .
.
.3
E , 26 40 Rhind
.
26, ,
, 15. ,
x+x/4=15. .
,
4. 4 1. 4+1=5 15,
. 5
15. 15 5, 4
12. 12 3 12+3=15,
.
2
3
. -. -. , , I.
3. .L.van der Vaerden , , .27.
53
Chase,
Rhind, , ,
[]
,
.
, Chase ,
: 4
1. 40 Rhind
.
, ,
.
2. 26 Rhind
,
.
, Chase,
. O 40
,
. ,
.
, ,
,
,
. O
. , , . 24.
54
.5
3.3.
3.3.1. .
,
.
,
.6 ,
6 ..
,
, .
4 3 ... , ,
.
6 .. . (640 546 ..),
(610 546 ..) (585 525 ..),
,
.
.7
,
,
.
. , ,
, .
:
+ =
55
+ =
, .
,
.
, .
,
, , ( , 24, 13).
,
.8 , ,
,
.
,
.
3.3.2. .
. , ,
, ,
(2 ...) (3 4 ...)
,
, .
, ,
. ,
, .
,
, ...,
.9
8
9
: Wikipedia, .
. , , . 15
56
p/q, p q .
,
x/y, x, y
.
,
.
.
, ,
.10
,
2 = 2 2 . ,, ,
= .
.
.
,
, 41 26:
, .
[ , ( ), ,
.]
, 27:
,
[ ()
]
. ( ).
, 2 =2.
,, . 2=22, 2
. 2=42=22, 2=22,
10
D. Struik,
57
2 .
, , .
, , ,
,
,
.11
, Zeuthen, Becker,
o . 12,
.
, ,
, ,
:
[]
, ,
.
[
,
, ].
.
<. ,
. ,
< .
< .
11
12
58
,
.
. .
. = ,
, = . ,
> ,
.
Von Fritz13,
,
.
,
.
,
.
, ,
.
,
:
. , ,
. .
, ,
corpus
,
,
, .14
,
,
:.
,
13
14
. , , . 24
. ---------//----------, , . 26
59
.
.
. , ,
.15
.
7,
5,
, :16
, .
,
.
.
2 3.
.
:
1
1+1=2
21 + 1 = 3
2+3=5
22 + 3 = 7
5 + 7 = 12
25 + 7 = 17
12 + 17 = 29
212 + 17 = 41
..
+1=+
+1=2+ (1)
van der
Waerden, 17 :
()
. , , ,
15
16
17
60
.
... , ,
. ,
,
, ,
, .
. , ,
, .
= = = = , = ,
= .
,
= ,
= = + , = 2+
(1).
. ,
, ,
=
, (1),
.
61
1
1
1 = = 1, 2 =
1,
2,
3,..,
3
7
17
41
= 1.5, 3 = = 1.4, 4 =
= 1.4166..., 5 =
= 1.4137913...
2
5
12
29
18
,
. ,
2 2 n +1 , 2 a2 n + 2 ,
.
,
2 .
, . ,
, n ,
2 . ,
, , .
.
,
.
.
5 ..
, .19
,
(470 410 ..),
18
19
. , , II
C.B. Boyer , The history of the calculus and its conceptual development , p. 20.
62
, .
,
,
, , ,
.
.
1+2 = () 1+2+3+ (. 6) =
(), ,
, .
,
. van der Waerden20, :
5 ,
.
,
.
. Euler
.
.
, ,
, ,
. 4 ,
. ,
,
.
20
63
.
, (515 440 ..)
(495 435 ..).
(495 435 ..),
, , ,
, (500 428 ..),
,
.
, .
, ' ( ),
,
. (, , , 164, , 17).
[ ,
.
, .
,
.
( )
, ].
,
,
.
. ,
,
,
21.
,
21
E. ,. , 5 . 19 ,.54.
64
( , VI, 239b-240b). ,
: ()
. ,
, 1
, 1,
2, 1,
...,
.
,
,
. ,
,
.
, ,
.
, .
65
.
,
, /2,
3/4, 7/8 7/8 ... ,
.
, . ,
,
. ,
.
,
, ,
. ,
.
. , ,
,
.22
600 .. 400 ..
(500 440 ..)
(460 360 ..),
, ,
.
, .
,
, , ,
.23
22
. , , . 74.
23
. ,. , 5 . 19 ,.55.
66
600 400 ..
.
, .
3.3.3. .
, . 4 ..
,
. ,
,
300 ..
, (408 355 ..).
.
, , , , , ,
, .
, ,
.
,
. ,
V VI . V
. :
. ,
.
. ,
.
. .
67
. ,
.
.
,
'
.
:
( ). .
, .
. , ,
, <,
n, n>,
-
, . :
; ,
. ..
,
m .24
:
, ,
,, :
(i ) > , , > , , : > = : >
(ii ) = , , = , , : = = : =
(i ) < , , < , , : < = : <
, Dedekind.
4 .. R.
Dedekind, ,
24
. ,. , 5 . 19 ,.62.
68
25. ,
, .
,
,
,
,
. ,
,
. ,
,
. .Heath26,
,
.
,
.
1( )
, ,
,
, .
(
,
,
).
.
> .
. (
) ,
= = = . ,
.
25
26
. , .
T. Heath, The history of Greek mathematics.
69
. < /2 > /2 >
> . >
> .
O , .
.
,
. ,
,
.
.27
(427 347 ..),
, ,
, .
, ,
,
. ,
.
, .
.
.
27
C.B. Boyer , The history of the calculus and its conceptual development , p. 26
70
, ,
, .
.
, ,
,
.28
(384 322 ..)
, ,
. ,
.
, .
,
,
.
3.3.4. .
, (287 212
..), ,
.
.
.
, ,
.
,
28
C.B. Boyer , The history of the calculus and its conceptual development , p. 26.
71
,
3
10
1
< < 3 3,1408... < < 3,1428...
71
7
12, 24,48 96 . ,
.
.
,
1
. , = 3 = 3,142857
7
96-,
.29 ,
,
.
,
. , :
,
( ,
, ).
,
.
() (),
,
.
,
, . ,
.30
29
. , , . 136.
30
. ,. , 5 . 19 ,.86.
72
,
, ,
, .
, .
,
Riemann .
, .
, ,
,
.
,
,
31
73
x(a x)dx ,
0
,
. ,
.32
,
, , ,
.
, ,
, ,
, .
Wallis
,
,
.33
Heiberg, 1906,
,
.
, ,
[] [] , []
, ,
.
,
.
,
,
.
, .
32
33
. -. -. , , I
74
.
. ,
.34 :
, .
, [] ,
. ,
,
.
. ,
. , ,
.
, .
:
, , ,
;
;
:35
. ,
.
, . , ,
.
.
.
. [
34
. , , . 93.
35
. , , . 140.
75
,
]. , ,
, ,
. ,
Dijksterhuis :
,
, .
, ,
, ,
:
, , ,
;
, ,
, ; ,
, [ ],
,
. ,
, , ,
. ,
, , .
, ,
,
.
.
,
, ,
. .
, ,
,
2000 Cavalieri.
76
.36
,
.
, Heiberg
, ,
,
.
, ,
.
,
, ,
.
, .37
(262 180
..), , ,
.
.
, ,
, .
:
,
,
.
36
. -. -. , ,
37
. , , . 154.
77
.38
. 3 ..
, , ,
, ,
.
, ,
. , ,
.
, .
Fr. Viete, R. Descartes, P. Fermat 17
,
Jacob Klein (1899 1978): ,
Viete .
39
3.4. 19 .
3.4.1 .
1100 1200 ..
,
.
38
---------//-------- , , . 104.
39
. , , . 108.
78
, ,
,
,
. ,
, , -
.
,
,
, .
, -
, .
, ,
, ,
. Merton ,
,
, . ,
,
Merton .40
,
,
,
.
,
Nicole Oresme (1320 1382 ..), ,
,
, , .
,
.
,
.
40
E. Grant, .
79
, Cavalieri,
.
1/2+2/4+3/8++n/2n+,
,
Merton.
, Edwards,41 ,
, 17 ,
.
3.4.2. .
15 ,
,
,
. Francois Vite (1540 1603), 1580,
+ - , 2
,
, .
Simon Stevin (1548 1620),
. he elements of the
Arts of weighing (1586),
, ,
, .
,
, , Stevin
.
41
80
, Johannes Kepler
(1571 1630 .X.). Kepler .
.
,
.43
42
43
. , . , 5 . 19,.123.
V. J. Katz, A History of Mathematics, An introduction, p.469.
81
V
= 0 V ( x) = 0. Kepler
x 0 x
lim
, !! ,
, ,
.44
Kepler
Galileo-Galilei (1564 1642). 1582
, ,
.
. ,
.
,
. 1604
Paulo Sarpi:
,
.44 , S = 1/2gt2,
.
, :
)
.
g S = gt=t t, S
t .
t ,
44
. , . , 5 . 19,.127.
82
= t,
t .
,
,
.
S = t,
S =
1
1
t t = t 2 ,
2
2
xdx .
0
S=
1 2
t
2
= t,
S.45
, .
.
) .
.
, ,
. ,
,
1,2,3, 1,4,9,..,
45
. , . , 5 . 19,.130.
83
.
.
.
:
,
,
. , ,
, .46
Bonaventura Cavalieri,
,
, Newton Leibniz. O
, ,
,
,
.
. 17
.
.
:
1. ,
.
2. ,
S = S(t),
.
3. .
4. , ,
46
R. Rucker, .
84
,
Kepler ,
.
Bonaventura Cavalieri (1598 1647),
,
(1635) (1647).
,
,
, ,
, .
,
. Cavalieri,
Kepler, :47
1. Kepler
, .. ,
,
. Cavalieri
.
,
, .
,
2. Kepler
, Cavalieri,
,
, ,
.
, Cavalieri, Omnes
lineae,
Cavalieri:
47
85
(i) ,
, ,
, .
(ii)
,
.48
Cavalieri
y = x, 1 9,
[0, ].
x dx =
0
a +1
.
+1
, o , Fermat,
Pascal Roberval. Cavalieri
,
. ,
,
.
Paul Guldin Torricelli.
,
. Torricelli
=
=
, ,
=
, Cavalieri ,
( )
=
=1
()
48
86
.
Torricelli
.
, , ,
. , Torricelli
. Opera Geometrica
Cavalieri,
.
Newton Leibniz,
,
. Cavalieri,
.
Cavalieri
, Gregoire de Saint-Vincent (1584 1667),
1200 ,
Gregoire
,
Christiaan Huygens 1651. ,
Gregoire ,
.
,
, ,
.
.
,
.
,
,
. ,
87
,
.49
,
,
. Gregoire,
,
. Gregoire
Cavalieri, Fermat , Newton
Leibniz, .
Leibniz
Gregoire :50
,
Gregoire de Saint Vincent
Cavalieri,
Evangelista Torricelli (1608 1647),
, Opera
Geometrika. 1644
.
,
, .
,
. Torricelli, 1646, tn,
S - t
1 2. 1 = 1 2 = = tn,
,
= 2/1 = 2/1 = . ( )
49
50
. , . , 5 . 19,.157
R. Calinger, A Contextual history of mathematics
88
,
.
= tn, ,
Cavalieri S = E = tn+1/n+1, :
t n +1
n
= S =
= t , ,
n +1
t
d n n
x dx = t ,
dt 0
. Torricelli,
, y = xn, n
. ,
.51
.
Cavalieri, Pietro Mengoli, (1625 1685),
(1659),
:
,
quasi-infinite
quasi-nil52
51
52
89
,
,
.
,
.
.
,
Pierre de Fermat (1601 1665).
Introductio to plane and Solid loci (1629),
,
, . 1629
Kepler,
() ,
,
. Fermat, , f(A)
. H. Eves53 :
1. +
2. f(A) f(+) f(A) = f(+)
3. (2)
4.
5.
6.
f ( A + E ) f ( A)
f ( x + h) f ( x )
/ =0 = 0 lim
= 0 f ( x) = 0
E
h
h 0
1638.
.
,
. Lagrange, Laplace Fourier,
, .
53
H. Eves, , 2.
90
Katz Fermat
, :54 Fermat
,
. Fermat .
0m + 1m + 2m + ... + (n 1) m
, n ,
n m+1
1
.
m +1
,
. ,
m , ,
.
Roberval ,
,
.
Blaise Pascal (1623 1662). 1654
n
=1
n m+1 n m
+
+ A(n) , (n)
m +1 2
m.
y = xn [0, ], ,
. n, n
,
54
91
n m+1
m +1
. M. Simon, 55
Pascal,
,
Leibniz, ,
.
y = xm [0, ],
n, h = /n ,
= h + ( 2h ) + ..... + ( nh ) = h
m +1
( nh ) =
m +1
i =1
m +1
m +1
m +1
1659 ,
, , .
,
,
, .
Blaise Pascal
.
John Wallis (1616 1703),
Fermat,
. Arithmetica
infinitorum (1655),
,
. Cavalieri,
, ,
, .
:
,
, ( 1/ ,
).
,
. Wallis
,
55
92
, Newton.56
Arithmetica Infinitorum ,
, ,
.
(1 + d )
= 1 + xd +
93
x( x 1) 2
d + .... ,
1 2
.
,
,
.
: ,
.
,
. ,
,
, Newton
Leibniz.
, .
R, ( ),
R, .
,
Fermat, 11 ,
19
94
Barrow
,
, ,
, . ,
, .58
/e, , y/x ,
Q , Q
. ( )
y/x, x 0. , Barrow,
,
,
, Newton Leibniz.59
Katz,60 Barrow
:
11 19 , .
,
58
59
60
95
. Newton,
,
Campridge, .
3.4.3 .
1660 ,
,
,
.
.
, ,
. 1660 70,
Isaac Newton Gottfied Leibniz,
:
1. Newton ,
Leibniz
, .
2.
.
3.
.
4. ,
.
,
,
.61
Isaac Newton (1642 1727), 1627
Cambridge,
Isaak Barrow, rithmetica Infinitorum
61
96
Wallis ,
.
, 1666,
.
1687
mathematica
( ). Newton
.62 ,
, Fermat
Barrow. ,
.
(fluxion) (fluent). H
x , .
,
. 1666
, 1666 ,
d
= y ,
dx
y = f(x),
.
,
,
y = f(x), x y.
, y =
f(x), .
x,
.
, ,
. Newton
62
. , . , 5 . 19,.267.
97
.
.
Gottfried Wilhem von
Leibniz (1646 1716), Newton,
. Cr. Huygens
1672, Wallis, Gregoire Pascal,
.
Leibniz, .
(n), nN, (Sn), nN, Sn =
,
.
,
xk, yk, dx
dy.
Wallis. 63 ,
. 1675
, 1684 .
dy
dy
y
=
,
dx
63
. , . , 5 . 19,.270.
98
dx dy,
x y.
P ,
dx , Q
QR dy, Q
. ( ) :
dy
f ( x + dx) f ( x )
dy
= lim
,
dx, dy,
dx dx0
dx
dx
y
x 0. 1686
x
De Geometria recondite et analysi indivisibilium atque Infinitorum,
Acta Eruditorum.64
y = f(x), xx
yy , x
dx, dy y. d
64
. , . , 5 . 19 ,.276.
99
(),
= y + dy, ydx < () < (y + dy)dx y < d/dx < y + dy
dx dy , d/dx = y.
= d = ydx
:
d
d
= y
ydx = y
dx
dx
, , ,
. .
Newton Leibniz .
, , .
,
, .
,
, ,
.
100
Newton
Leibniz
G. Berkeley. 65
3.4.4 .
O Newton Leibniz,
, ,
, . :
Colin Maclaurin (1698 1746), Newton.
.
D Alempert,
.
,
,
.
Jacob Johan Bernoulli,
, Leibniz,
Jacob (1654 1705), Calculis
integralis.
.
,
1+
1
1
+ 2 + ...., ,
2
2
3
dx d 2 y
, r =
:
,
dy ds 2
65
. , . , 5 . 19,.286.
101
66 ,
. ,
19 :
.
). ,
,
, x + dx = x, (
), , (
) , (
)
0/0 Bernoulli
,
.
x + dx = x ,
Michel Rolle (1652 1719),
, l
Hopital. , dx
0 ,
, . Leibniz, ,
, 2 2 -1702.
66
, , ,
102
Rolle l Hpital,
,
. , Rolle,
,
, .67
, ,
,
, Institutiones calculi differentialis (
)
Institutiones calculi
Integralis
).
.
.
,
. ,
, . 1748
Introductio in analysis infinitorum,
.
, ,
. :
, .
,
n
1
e = lim 1 + , y = lnx, 1734
n +
n
= log n + c , cn Euler.
=1
0,577218. ,
67
. , . , 5 . 19,.306.
103
18 Jean Le Rond
D Alembert (1717 1783), Leibniz
, ,
,
,
. 1797 ,
.
f(x) ,
f(x). ,
o Lagrange,
, ,
,
. . Lagrange
,
,
.
1800 ,
,
. Bernhard Bolzano (1781 1848),
1817
: f(x)
68
D. Struik, .
104
x,
, , x , f(x+)
f(x), ,
.69 f,
f ( x + x ) f ( x )
,
x
x 0
dy
dy
,
,
dx
dx
dy dx, ,
, .
.
Bolzano, 19
, Carl Friedrich Gauss (1777 1855).
,
,
.
1755, Euler :
,
,
.
.
Cours d analyse (1821),
: , , , ,
, .
,
.
,
, ,
69
69. I. Grattan-Guinness, Bolzano, Cauchy and the new analysis of the early 19th century.
105
, ,
,
.
,
, .
, ,
.
, ,
.
f [, ] x,
f(x+h)-f(x) , h .
f(x) x
,
.
(1823), ,
f(x), Lagrange
:
y=f(x) x,
,
,
. x=i,
y f ( x + i ) f ( x )
=
, .
x
i
,
, .
, x,
x. ,
f ( x + i ) f ( x)
,
i
y=f(x).
106
,
y f(x).
[, ],
. Cauchy
, ,
.
,
,
. ,
:
f:[x0, X]R, [x0, x] n
[x0, x1], [x1, x2],..,[xn-1, X], Sn=(x1-x0)f(x0) +
(x2-x1)f(x1) ++(X-xn-1)f(xn-1),
0, lim S n .
n
f x0, X
X
f [x0, X]
f (t )dt
x0
, ,
,
, .
Cauchy,
, ,
, ,
.
Cauchy Dirichlet (1805
1859), o ,
,
: y(x), ,
x y,
107
Fourier ( Dirichlet),
,
.
c, x Q
D ( x) =
d c, x Q
( Dirichlet).
,
, D, ,
: f x,
h , f(x+h) f(x), .
,
,
. 1854,
, . D(x)
, ,
.70
Georg Friedrich Bernhard Riemann (1826 1866),
Cauchy, f,
f(xi-1), f(ti), ti
[xi-1, xi].
, .
B(kx )
, (x) = x [x], x k/2, 0, x = k/2,
k2
k =1
f ( x ) =
x = p/2n, (p,2n) = 1, p. f
x
g(x) =
f (t )dt ,
0
, f,
. Bolzano
70
., . , 5 . 19,.373
108
1834
Functionenlehre, f:[, b] R,
, , .
, Weierstrass
, .71
,
, Cauchy
.
:72
0/0
,
.
, , Dedekind Weierstrass,
.
, Wilhelm
Richard Dedekind (1831 1916)
-
.
. ,
, .
, ,
.
.
. Dedekind
71
72
. , . , 5 . 19,.378.
F. Cajori, Grafting of the theory of limits on the calculus of Leibniz.
109
.73 Q :
Q L R, xL yR,
x<y. (L, R) :
(L, R),
( ). (L, R), :
i)
L, R Q.
ii)
L, R .
iii)
xL yR, x<y
iv)
To L .
v)
vi)
Cauchy, ..
.
,
, Carl Weierstrass (1815 1897),
. 1865
,
, 1867
1869 ,
. 1872
.
, ,
,
. f(x) =
b (
n
n= 0
x ) , b
73
. , . , 5 . 19,.383.
110
. 74 Dedekind
Weierstrass ,
,
74
. , . , 5 . 19,.387
111
4
.
4.1.
4.2.
4.3.
0,1 sec.
4.4.
4.5.
4.6.
4.7.
112
4.1.
,
.
. ,
;
Newton
() , ,
.
.
f,
, F,
.
Newton;
,
, .
,
, ,
, Thompson, (1994).
,
,
d(t). ,
.
, . 2
, 3 4
.
113
2
2.1 :
,
; ;
t;
d t;
2.6 : t ,
, d(t)
d(t) y .
2.7
.
;
2.8 : t, d(t).
d(t) .
2.9 :
. ;
2.10 :
,
t, d(t).
2.11 :
2.12 :
2.13 :
;
;
2.14 :
, x..
2.15 :
t .
2.16 :
t , ,
d,
d(t) t.
2.17 :
; (
).
2.18 :
; (
).
2.19 :
, . .
,
; ;
2.20 : ( ,
114
x y).
2.21 :
; ..
;
2.22
: .
2.23 :
, .
, .
,
. ,(2.6).
,
:
t, d(t).(2.14, 2.16)
d t,
,
.
,
,
. ,
, .
,
t
d(t), (2.10)
.
,
, ,
.
(2.18)
, (2.9, 2.17).
,
,
,
115
(2.22).
(2.20).
,
. , ,
,
.
3
3.1 :
;
d(t) ; ;
3.2 :
5t2 (
d(t) = 5t2, t [0, 5] ).
3.3 :
.. .
3.4 : .
3.5 :
. .
;
;
;
3.6 /:
,
,
.
3.7 :
3.8 /:
.
, ,
,
,
.
116
(3.6, 3.8).
x y, t d(t),
. ,
,
.
4
4.1 :
; .
4.2 : ,
, ..
4.3 :
.
, ;
4.4 : .
4.5 :
4.6 :
4.7 :
( ,
), x,
(
).. .
4.8 :
, ;
4.9 :
4.10 :
,
. ,
.
,
117
,
(4.5, 4.7).
,
.
, ()
(),
,
.
Leibniz, 17 , functio,
y,
x. y = f(x), . ,
(x, f(x)), .
,
G = {(x, y) AxB, x A y B}
x A y B, (x, y) G.
. Sierpinska (1992), ( Tall
1997),
,
.
,
.
,
, ,
.
concept definition, ,
concept image
.
Vinner (1983, 1991 Tall, 1997),
118
,
.
. ,
.
.
,
.
, ,
,
. , ,
.
. , ,
.
,
. ,
, ,
,
.
, y=f(x),
,
y=x2 y=x.
,
. ,
.
.
,
,
.
.
.
,
119
,
, , Tall, (1997)
4.2.
2 1
.
.
, d(3,2)
d(3,1)
d (3, 2) d (3,1)
,
3, 2 3,1
5 6 .
5
5.1 :
;
_
d (3, 2) d (3,1)
. ..
3, 2 3,1
5.2 :
5.3 :
, d(3,2).
5.4 A/:
(
).
5.5 :
,
3,2 sec;
d(3,1);
, ;
5.10 A/:
5.11 :
d(3,1) d(3,2),
;
5.12 A/:
.
5.13 :
, 0,1 sec, ;
120
6
6.1 :
6.2 : m/sec.
6.3 :
.
;
3,1 3,2 sec, 31,5 m/sec;
31,5 m/sec
1/10 sec;
(.).
6.6 :
6.7 :
.
.
6.8 :
, .. 1/100
, 1/100 sec,
, ;
6.9 : .
6.10 :
6.11 : .
6.12 :
1/100
..
6.13 : ;
1/100
,
.
6.14 :
, .
1/1000 .
.
1/1000 ;
6.15 : .
.
121
, ,
.
5 , (5.4, 5.10),
d(3,2) d(3,1), , ,
,
.
d (3, 2) d (3,1)
, ,
3, 2 3,1
.
6,
31,2 m/sec(6.4).
. Thompson,
.. ,
.. ,
.
,
. ,
. , ,
, ,
. ,
.
,
.
122
,
, ,
. ,
.
, 1/100
1/1000 sec .
(6.9, 6.11, 6.13).
,
. , ,
(6.15).
,
,
,
,
, ,
, (2005).
,
, t1 t2,
(t1 ) + (t2 )
2
o .
,
. , ,
.
123
4.3.
0,1sec
,
,
0,1 sec,
h.
0,1
t ,
t
h
. ( 2.4)
.
:
7
7.1 :
0,1, .. ; ..
7.2 :
( ).
. [3,1, 3,2]
. [3,15, 3,25] .
..
7.3 : .
7.4 :
,
0,1sec;
7.5 : .
7.6 :
; .
.
7.7 :
7.8 :
7.9 :
7.10 :
;
[0, 5];
7.11 : ( ) t
7.12 :
t,
0,1 ;
124
7.13 : ( t) t .
7.14 :
t;
7.15 : t .
7.16 :
0,1..
, ,
0,1sec
t,
.
7.17 :
. 3,2,
;
7.18 :
[3,2, 3,3].
7.19 :
3,28, ;
7.20 :
[3,28, 3,38].
7.21 :
7.22 :
0,1.
7.23 :
t.
7.24 :
[t, t+0,1].
0,1sec, , (7.1, 7.7, 7.9, 7.13, 7.15, 7.16).
, (7.17, 7.19, 7.21) , (7.22, 7.24).
,
.
Sfard,
.
,
-, ,
. .
,
. ,
,
.
. ,
125
( Sfard, 1991).
,
,
,
.
:
8
8.1 :
,
.
8.2 :
d (t + 0,1) d (t ) d (t + 0,1) d (t )
=
(t + 0,1) t
0,1
8.3 :
(t ) ;
8.4 :
,
.
8.5 :
8.6 :
8.7 :
,
;
8.9 :
d(t).. t
8.10 :
. ;
;
8.11 : ,
(0,1)2.
8.12 :
8.13 : .
8.14 :
. ;
8.15 :
8.16 :
! . (t ) .
8.17 : ;
8.18 :
126
0,1 sec,
d(t). ,
.
,
(t ) ;
8.19 :
. (
t ).
8.20 :
;
.
8.21 :
, .
.(8.4)
Thompson,
,
,
, ,
f ( x + 0,1) f ( x)
.
( x + 0,1) x
,
. (8.15) ,
,
(t ) , , ,
,
. (8.18 8.21)
(t ) , (t ) = 10t +
0,5. (2, 5)
:
: t = 2,5m/s. (Y
t = 2,5s.)
127
d(t),
. ,
.
:
2,55m 0,1sec. [ 2,55m d(2,5+0,1) d(2,5) ]
.
,
- .
; 55km/h
,
55km/h, , .
,
, ,
.
, ,
[, ],
.
,
(2, 5) =25,5m/s,
, .
.
9.1 :
. (t ) .
9.2 /:
(t ) =
128
(t ) ;
9.3 :
9.4 :
9.5 :
[0, 4,9]
9.6 :
(2, 5) ;
9.7 :
9.8 :
9.9 /:
.
,
t h. ,
h (t ) =
d (t + h) d (t )
= ....... = 10t + 5h , .
h
()
h,
.
,
,
().
,
f ( x + h) f ( x)
. , ,
h
(), , x
f '( x) = lim
h0
f ( x + h) f ( x )
, h.
h
D. Tall, x ,
h, Tall, (1986), Tall et al., (1988).
.
h, f h ( x) =
f ( x + h) f ( x )
,
h
f(x), h,
129
f.
f h ( x) =
f ( x + h) f ( x )
,
h
, ,
h, f, .
, h
0,
f(x), x
, .
, ,
.
,
,
. ,
, ,
.
4.4.
,
, 1600 1870
. H Judith
Grabiner, , Grabiner, (1983b, p 195):
, ,
, .
,
, Cornu, (1981), Sierpinska, (1987), Tall, (1981,1982), Tall & Vinner,
130
(1981). ,
,
, Orton, (1983), Tall, (1992).
, ,
.
.
:
h 0 , x x0,
f ( x) f ( x0 )
x x0
m ... ,
, ,
.
D. Tall, ,
,
.
,
.
,
.
, (t ) = 10t + 5h ,
h,
.
,
.
, h.
,
[t, t+h]
, .
131
h , (t )
(0,0), 0 .
h ,
(t )
(0,0). h 0 0.
10 11 12
13 .
10
10.1 :
;
h;
10.2 /:
0;
10.3 :
0 h;
10.4 /:
10.5 :
10.6 /:
0,1 , .
10.7 :
h;
10.8 :
0+.
10.9 :
0+
h;
10.10 :
0, .
.
0, 0.
10.11 : h ,
[t, t+h], [t, t] .
10.12 :
. h ;
10.13 : 0, .
,
h
0.
;
, : ) , )
, Cottrill, et al, (1996). (10.2)
132
h 0. ,
,
.
. ,
, (10.4).
. ,
(10.8, 10.10), h 0
(10.11),
0
.
t
h
(10.13), ,
t h,
t t+h, h
, .
h x
f ( x ) = lim
h0
f ( x + h) f ( x )
.
h
4 2008,
.
11
11.1 :
t, t+h. h
;
11.2 : .
11.3 :
(
t+h, )
. h;
11.4 /: .
.
. .
( h).
133
11.5 :
h .
11.6 : 0 .
11.7 :
0
.
.
;
h , ;
11.8 :
h , .
11.9 :
h ;
11.10 : t+h
t t+h.
h ,
.
t.
11.11 :
h,
[t, t+h] .
11.12 : , .
11.13 :
h 0;
11.14 : h 0,
[t, t+h],
.
( ).
11.15 :
0.
11.16 :
h 0, 0.
.
11.17 :
11.18 :
( [t, t+h],
) ;
11.19 : 10t.
11.20 :
10t ..
,
(11.4)
134
[t, t+h]
.
,
, (11.8) . (11.10,
11.12, 11.14) t t+h,
,
t t+h
t. (11.17)
,
. (11.19)
,
.
12
12.1 :
t, h;
12.2 :
12.3 :
, 0.
12.4 :
;
h
[t, t+h];
12.5 :
12.6 :
, .
12.7 :
h,
; h
.
12.8 :
h 0;
12.9 :
12.10 :
:
h 0;
12.11 :
0 h,
135
,
, ,
.
12.12 :
12.13 :
, h
;
12.14 :
t.
12.15 :
h ;
12.16 :
,
.
12.17 :
h ;
12.18 :
12.19 :
h;
12.20 :
0.
(12.6)
, .
,
. (12.8)
, (12.11)
(12.12) ,
. , h 0,
h=0,
, t.
. , ,
: h=0,
!! (12.14, 12.16) ,
,
.
136
, ,
,
, , .
13
13.1 :
13.2 : h ;
13.3 :
13.4 :
.
13.5 :
h,
, ;
13.6 : ;
13.7 :
,
, h
0,
,
,
, , .
13.8
, .
13.9
h;
13.10 :
13.11 :
,
h, ,
,
,
h,
.
(13.8, 13.10) h
0,
. (13.11)
, .
137
,
,
. Cornu
(1981) , ,
.
, Cottrill, et al, (1996).
.
5
, .
,
.
,
t=0
. ,
.
5 :
,
( ),
.
, h
0 . h,
, .
:
0 ,
.
138
,
, .
, .
, .
, !
, - (,
0).
,
x=0 t=0.
, ,
.
, ,
, .
,
:
14
14.1 :
,
.
14.2 :
14.3 :
, !!
14.4 :
,
.
14.5 : t,
, t=0,
,
0,
14.6 :
x(t ) x(0)
.
t0
[0, t].
t.
14.7 :
,
, ,
0 dt !
139
.
.
14.8 :
,
,
.
.
.
14.9 :
. ().
14.10 :
.
.
,
, dt,
0.
.
,
.
.
. (14.10)
. :
, .
, . Newton
h , 0.
, Leibniz ,
.
, ,
, Leibniz
140
.
18 ,
Leibniz .
.
Leibniz , -
Newton
0,
.
Newton
, Leibniz
. ,
0 1,
1/2, 1/4, 1/8, 1/16, ...
,
r,
r.
r, 1/2
r. r
.
1/2.
.
, ,
.
, Newton Leibniz,
Newton .
Newton
19 .
Newton, Leibniz..
,
141
Abraham Robinson, 1960, S.
Monk, (2007)
4.5.
, :
f [,] ,
x
G(x)= f (t )dt , () f
I)
[,]
II)
[,],
f ( x)dx = F ( ) F (a)
(I) .
Thompson, :
t [,] f(t), t,
( ),
, f(t),
. , =t =(t),
.
()
(t)t,
.
142
( x ) =
a
f (t )dt , , ( x) = f (t )dt = f ( x) .
a
,
,
. Newton o Leibniz
,
, , , .
,
.
,
. H
, .
.
,
17
. ,
, Torricelli,
Gregory Barrow, Newton
. ewton
, .
.
Thompson,
,
.
.
.
.
Newton. Newton
143
,
,
Pascal.
. ,
,
, Newton
, .
, . ,
,
. (Boyer, 1959, p. 191). , Newton
,
,
.
.
,
. Newton
.
.
Thompson,
:
,
,
. , x km
0,0001sec 93 km/h, 0,0001
sec () , 93
km/h, . ,
,
0,0001sec,
( x + x ) x
x
km
=
= 93
, x,
0, 0001
0, 0001
h
144
0,0001sec.
,
,
.
,
, :
, ,
. V(h)
h,
. h,
;
,
.
V ( .. , ) ( )
=
= .. ( ) .
h
, V(h)
0,50<h 0,75.
,
.
V(h),
A h
145
,
t .. ,
.
,
. (u )du = (t ) .
0
,
,
.
,
.
f (t )dt = f ( x ) .
, ,
, .
,
.
, ,
, .
x
, f (t )dt = f ( x ) , :
a
146
x+h
f (t )dt = f(x)h,
h>0. h>0, h, : ( )
F ( x + h) F ( x )
F ( x + h) F ( x)
f ( x ) , F ( x) = lim
f ( x) .
h 0
h
h
Thompson,
1 ,
.
,
.
,
.
15
15.1 :
().
15.2 :
15.3 :
15.4 :
15.5 :
, ;
15.6 :
,
, ..
.
, (15.6)
,
,
147
V
x .
x
V ( x) = (t )dt .
0
,
,
!
,
.
.
,
, Riemann.
,
y=f(x), x [0,8], xx,
x=0 x=5,
, ,
, ( x ) =
i =1
16 :
16
16.1 :
, y=f(x);
16.2 :
16.3 :
16.4 :
.
.
16.5 :
148
f (i ), x [0,8] .
16.6 :
16.7 :
16.8 :
16.9 :
, ;
16.10 :
,
(
),
.
.
16.11 :
.
, ;
16.12 :
,
( ),
,
, .
16.13 :
16.14 :
, .
16.15 :
16.16 :
16.17 :
16.18 :
, .
16.19 :
,
,
, ;
, (16.6, 16.8, 16.12),
.
.
,
.
(16.14, 16.16)
. , ,
149
,
, (16.18).
,
.
(16.19),
.
.
4.6.
Riemann ,
,
,
x . Riemann,
. , ()
,
, , x
.
V ( x ) =
E (i ), x [0,8] .
i =1
h, [0,8].
-
,
,
: dV ( x ) =
V ( x + h) V ( x )
.
h
,
,
150
h,
y=f(x), .
,
.
( x ) =
9 2
x , x [0,8] ,
64
x. ,
dV(x),
(x).
:
V(x+h)-V(x),
V ( x + h) V ( x )
( x ) .
h
V(x+h)-V(x),
(x) h.
(x)h
.
:
17
17.1 :
( ). V(x+h)-V(x);
17.2 :
17.3 :
( 30)
.
17.4 :
, .
17.5 :
17.6 :
17.7 :
, .
17.8 :
V(x+h), ;
17.9 /:
x+h.
17.10 :
, V(x);
17.11 /:
x.
151
17.12 :
17.13 :
h x.
17.14 :
( ).
.
V ( x + h) V ( x )
( x ) .
h
17.15 :
, .
17.16 :
,
,
,
. h .
17.17 :
.. .
.
17.18 :
, ;
17.19 :
17.20 :
h.
17.21 :
h ;
17.22 :
17.23 :
17.24 :
(x+h)-x.
17.25 :
17.26 :
V(h).
17.27 :
V!
17.28 :
17.29 : E(x)h(!).
17.30 :
;;
17.31 :
( )x(),
;
(x),
; h .
(
V ( x + h) V ( x )
( x) ).
h
152
V(x+h)-V(x) (x)h
(17.9, 17.11)
V(x+h)-V(x).
.
,
. (17.16)
h 0,
,
.
x,
, h,
, (17.20, 17.24, 17.26),
V.
, .
. ,
(x), (),
(17.29), (x)h.
(17.31),
.
,
dV ( x ) =
V ( x + h) V ( x )
,
h
. ,
h ,
(x+h)-x x .
,
.
,
. ,
153
,
.
V(x)
E(x) V(x).
, .
V ( x + h) V ( x )
( x)
h
(x),
V ( x + h) V ( x)
.
h
18
18.1 :
h 0.
18.2 :
18.3 :
h,
, (
h ),
.
18.4 :
h, ;
18.5 :
18.6 :
18.7 :
18.8 :
h,
, ,
.
18.9 :
(x). ,
h, ;
h, ;
18.10 :
. 0
18.11 /:
, h=0.
18.12 :
; h=0;.
(
V ( x + h) V ( x)
) (x) ;
h
18.13 /:
, h 0.
18.14 :
. ;
18.15 /:
h 0.
154
18.16 :
h=0 h 0 , .
18.17 /:
. h
0 ,
.
, .
V ( x + h) V ( x )
( x)
h
,
.
.
.
h 0,
(18.3, 18.8, 18.10),
,
. ,
, (18.11, 18.13)
h ,
h
. ,
. (18.15, 18.17) ,
.
.
,
h ,
.
.
,
155
. ,
.
(18.3, 18.8) ,
lim(V ( x + h) V ( x)) = E ( x ) , h ,
h 0
.
(x+h)-x,
.
Thompson,
V ( x + h) V ( x)
h
,
[x, x+h],
Riemann.
(x),
x,
[x, x+h],
(x).
, .
:
, , ,
( ) , ,
,
,
.
.
,
,
,
, .
,
156
.
. 19
.
19
19.1 :
,
x. x.
19.2 /:
, (
),
(
,
, ).
19.3 :
19.4 :
;
,
.
,
.
19.5 :
, ;
19.6 :
19.7 :
19.8 :
m3/sec
19.9 :
x .
19.10 :
m2
19.11 :
19.12 :
m3/m.
19.13 :
,
.
,
;
157
m3/m,
;
19.14 :
,
m3.
19.15 :
,
m3 . .
() ,
,
V(5)
. .
..( 5)
19.16 :
,
.
19.17 :
V(5), .
19.18 :
(x),
; (x) x, ;
19.19 :
.
.
,
,
.
..( 3)
19.20 :
0 5
; ;
19.21 :
V(5)
.
19.22 :
; ().
:
,
, (
Riemann ),
.
,
[0,5] .
,
158
; ;
19.23 :
19.24 :
; ;
19.25 :
19.26 :
, .
,
. ,
.
.
x=5;
19.27 :
E (i )) .
V (5) = lim (
i =1
19.28 :
, ;
19.29 :
19.30 :
,
(x) x;
19.31 :
, ,
5
E ( x)dx ,
0
E(x) .
;
19.32 :
19.33 :
,
, (19.2)
, .
,
.
.
,
, , (19.4, 19.6).
159
, ,
, (19.12, 19.14).
x, x.
V ( x + h) V ( x )
( x) ,
h
Orton,
. Orton
,
,
. , ,
. Orton
,
y=x2 ,
.
,
.
.
.
,
, ,
, , Orton, (1983).
160
, (19.18), ,
(19.21)
,
. (19.22)
.
(19.23, 19.25)
,
(19.26) (19.27)
x=5
.
(19.28, 19.30)
,
!!
4.7. .
, :
,
,
.
.
.
161
5
.
5.1.
5.2.
5.2.1. .
5.2.2. .
162
5.1. .
,
.
.
,
,
, ,
.
, ,
.
,
,
, .
.
,
.
. Mamona-Downs (1990),
.
,
-
,
,
.
,
.
163
.
.
,
.
.
,
d (3, 2) d (3,1)
,
0,1
t, o
h
d (t + h) d (t )
.
h
V x ,
V ( x + h) V ( x)
,
h
. ,
.
, Thompson,
.
stick , ,
.
.
164
, ,
, ,
,
, .
,
.
, .. ,
,
.
, ,
.
,
. Orton (1983),
. ,
Orton,
,
. ,
, ,
.
,
,
.
.
,
.
165
,
.
,
.
,
.
.
.
, -
,
h, x0
m,
,
.
, .
Parameswaran (2007),
,
, .
.
,
.
,
166
,
.
, ,
,
.
,
.
,
15.
, .
,
.
V ( x + h ) V ( x ) ( x ) h
=
( x ) , h.
h
h
h
Riemann. ,
h ,
.
Thompson,
,
.
1
[,], f =
f ( x)dx .
:
f [,].
x
F(x) =
f (t )dt , x . F (x) =
167
x+h
lim
f (t )dt f (t )dt
h 0
= lim
h 0
x+h
f (t )dt +
x+h
f (t )dt f (t )dt
a
= lim
h 0
f (t )dt
= lim
h 0
f ( )h
h
[x, x+h],
. h 0 x
: lim f ( ) = f ( x)
x
f .
F(x) = f(x).
Thompson,
.
. F (x)
.
,
, .
,
,
,
.
,
.
,
.
(Calculus sense)
, ,
, .
,
.
,
.
168
5.2.
5.2.1. .
, .: , ,
,1985.
, ., , ., , ., , ., ,
., , .: .., ...., , 1999.
, .: 2006, :
, 23
, ..., , 2006.
, .: ,
.. , , , 2007.
Grant, E.: , ..., , 1994.
, .: - Vygotsky, ,
, 2002.
, .: ,
... ,
, ...., , 2005.
, .:
, ...
, , ...., , 2005.
, .:
, ... ,
, ...., , 2005.
, .: 2004,
,
...
. ....
, .: 2003, .
169
, ...
,
....
: , ...
,
...., , 2006.
, .- .- .: ,
, . , , 1999.
, .: 2006, ,
... ,
....
Rucker, R.: , ..., , 1999.
, .: 2007, :
, . .,
, ,
, .: , , ...., ,1953.
Struik, D.: , ,
, 1982.
Tall, D.: 1990, :
, ,
University of Warwick U.K. ().
, .: 2008,
:
,
, ...., .
, .: , ..., 2003.
Van der Waerden, B.: , . ,
..., , 2000.
170
5.2.2.
Erickson, T.: 2006, Stealing from physics: modeling with mathematical functions in
Data-rich contexts, Teaching mathematics and its applications,25, No. 1.
Even, R., Schwarz, B.: 2003, Implications of competing interpretations of practice for
research and theory in mathematics education, Educational Studies in
Mathematics, 54,283 313.
Eves, H.: Great moments in mathematics, 2 Vols MAA, Washington, 1983.
Farmaki, V., Paschos, Th.: 2007, Employing genetic moments in the history of
Mathematics in classroom activities, Educational Studies in
Mathematics, 66: 83-106.
Grabiner, J.: 1983, The changing concept of change, the Derivative from Fermat to
Weierstrass, Mathematics magazine 56, (195-206).
Grattman-Guinnes, I.: Bolzano, Cauchy and the new analysis of the early 19th
century, Archive for history of Exact sciences 6 (1970).
Gravemeijer, K., Doorman, M: 1999, Context problems in realistic mathematics
Education: a calculus course as an example, Educational Studies in
Mathematics, 39.
Heath, T.L.: A history of Greek Mathematics, 2 vols, Clarendon press, Oxford, 1921.
Hobbs, D., Relf, S.: 1997, Differential calculus: Concepts and Notation, Teaching
Mathematics and its applications, 16, No 4.
Jordaan, T.: 2005, Misconceptions of the limit concept in a Mathematics course for
engineering students, Master of education with specialization in
Mathematics education, University of South Africa.
Katz, V.: A history of Mathematics: An Introduction, Addison-Wesley, Longman,
New York,1998.
Kleiner, I: 2001, History of the infinitely small and the infinitely large in calculus,
Educational Studies in Mathematics, 48:137-174.
Kline, M.: (1977), Calculus: an intuitive and physical approach, (eds) John Wiley
and sons
Koirala, H.P.: 1997, Teaching of calculus for students conceptual understanding,
The Mathematics Educator, 2(1),52-62.
Lave, J.: 1988, Cognition in practice: mind, Mathematics and culture in everyday life,
Cambridge University Press, Cambridge, U.K.
Lave, J., Wenger, E: 1991, Situated learning: legitimate peripheral participation,
Cambridge University Press, Cambridge, U.K.
172
Tall, D.: 1990, Inconsistencies in the learning of Calculus and Analysis, Published in
Focus, 12, 3&4, 49-63.
Thompson, P.: 1994, Images of rate and operational understanding of the fundamental
theorem of Calculus, Educational Studies in Mathematics, 26:229-274.
Wenger, E.: 1998, Communities of practice: learning, meaning and identity,
Cambridge University Press, Cambridge, U.K.
Whiteside, D.: Patterns of mathematical thought in the later seventeeth century,
Archive for history of Exact sciences 1(1961).
174