http://www.math.sci.hokudai.ac.jp/~yano/biseki2_2014/ 2014 II ( : )
紀元前 3000 年 紀元前 300 年 17 世紀 18 世紀 19 世紀 積分 古代エジプト 古代ギリシャ積分法の起源 微分 フェルマー デカルト 微分積分学の黎明期 ニュートンライプニッツ コーシー 微分積分学の誕 厳密化と発展 リーマン
: : ( 287? 212 )
紀元前 3000 年 紀元前 300 年 17 世紀 18 世紀 19 世紀 積分 古代エジプト 古代ギリシャ積分法の起源 微分 フェルマー デカルト 微分積分学の黎明期 ニュートンライプニッツ コーシー 微分積分学の誕 厳密化と発展 リーマン
: : (1596 1650 ) (1601 1665 )
紀元前 3000 年 紀元前 300 年 17 世紀 18 世紀 19 世紀 積分 古代エジプト 古代ギリシャ積分法の起源 微分 フェルマー デカルト 微分積分学の黎明期 ニュートンライプニッツ コーシー 微分積分学の誕 厳密化と発展 リーマン
, : (1642 1727 ) (1646 1716 )
紀元前 3000 年 紀元前 300 年 17 世紀 18 世紀 19 世紀 積分 古代エジプト 古代ギリシャ積分法の起源 微分 フェルマー デカルト 微分積分学の黎明期 ニュートンライプニッツ コーシー 微分積分学の誕 厳密化と発展 リーマン
: ϵ-δ : (1789 1857 ) (1826 1866 )
(? 1708 ) 12
: ( - ) ( ) ( ) ( )
紀元前 3000 年 紀元前 300 年 17 世紀 18 世紀 19 世紀 積分 古代エジプト 古代ギリシャ積分法の起源 微分 フェルマー デカルト 微分積分学の黎明期 ニュートンライプニッツ コーシー 微分積分学の誕 厳密化と発展 リーマン
( )
( 3000 332 ) ( ) ナイル川 土地
( )
9 9 9
3 3 3 3 3 3 9 ( 9 ) 5 ( 3 ) + 4 ( ) = 7 ( 3 ) = 63 9 63 1 64 ( ) π πr 2 = π(9/2) 2 64 π 64 22 9 2 = 3.160493
( 1650 ) 87 48
( 1650 ) 87 48 : ( ) ( )
9 1/ 9 18 2 8 36 4 16 72 8/ 32 81 64 http://math-info.criced.tsukuba.ac.jp/museum/rhindpapyrus/index.htm Géométrie dans l Égypte antique http://fr.m.wikipedia.org/wiki/g%c3%a9om%c3%a9trie_dans_l%27%c3%89gypte_ antique
( 287? 212 ) 96 96 π = 3.14... ( ) ( ) 6 2 96 (= 6 2 4 ) : (3.140845 =) 3 10 71 < π < 31 (= 3.142857 ) 7 : 2 2 ( )
( 287? 212 ) 96 96 π = 3.14... ( ) ( ) 6 2 96 (= 6 2 4 ) : (3.140845 =) 3 10 71 < π < 31 (= 3.142857 ) 7 : 2 2 ( )
( 287? 212 ) 96 96 π = 3.14... ( ) ( ) 6 2 96 (= 6 2 4 ) : (3.140845 =) 3 10 71 < π < 31 (= 3.142857 ) 7 : 2 2 ( )
( 287? 212 ) (3.140845 =) 3 10 71 < π < 31 7 : (= 3.142857 ) l n : 1 n L n : 1 n l n < π < L n : 6 n l n L n 6 12 24 48 96
( 287? 212 ) (3.140845 =) 3 10 71 < π < 31 7 : (= 3.142857 ) l n : 1 n L n : 1 n l n < π < L n : 6 n l n L n 6 3.0000 3.4641 12 24 48 96
( 287? 212 ) (3.140845 =) 3 10 71 < π < 31 7 : (= 3.142857 ) l n : 1 n L n : 1 n l n < π < L n : 12 n l n L n 6 3.0000 3.4641 12 3.1058 3.2153 24 48 96
( 287? 212 ) (3.140845 =) 3 10 71 < π < 31 7 : (= 3.142857 ) l n : 1 n L n : 1 n l n < π < L n : 24 n l n L n 6 3.0000 3.4641 12 3.1058 3.2153 24 3.1326 3.1596 48 96
( 287? 212 ) (3.140845 =) 3 10 71 < π < 31 7 : (= 3.142857 ) l n : 1 n L n : 1 n l n < π < L n : 48 n l n L n 6 3.0000 3.4641 12 3.1058 3.2153 24 3.1326 3.1596 48 3.1393 3.1460 96
( 287? 212 ) (3.140845 =) 3 10 71 < π < 31 7 : (= 3.142857 ) l n : 1 n L n : 1 n l n < π < L n : 96 n l n L n 6 3.0000 3.4641 12 3.1058 3.2153 24 3.1326 3.1596 48 3.1393 3.1460 96 3.1410 3.1427
( ) ナイル川 土地
f(x) x x = a, x = b
f(x) x x = a, x = b
f(x) x x = a, x = b
f(x) x x = a, x = b
f(x) x x = a, x = b
n [a, b] x 0 = a, x n = b a b n 1 x 1 < x 2 < < x n 1 [a, b] n : a = x 0 < x 1 < < x n 1 < x n = b = max 1 i n x i ( x i = x i x i 1 )
Riemann ( ) f(x) : [a, b] ( ) : a = x 0 < x 1 < < x n 1 < x n = b : [a, b]
Riemann ( ) f(x) : [a, b] ( ) : a = x 0 < x 1 < < x n 1 < x n = b : [a, b] 1 i n [x i 1, x i ] ξ i ( )
Riemann ( ) f(x) : [a, b] ( ) : a = x 0 < x 1 < < x n 1 < x n = b : [a, b] 1 i n [x i 1, x i ] ξ i ( ) {ξ i } n S(, {ξ i }) = f(ξ i ) x }{{} i i=1 ( x i = x i x i 1 ) Riemann ( ξ i ) Riemann f(x)
: a = x 0 < x 1 < < x 5 < x 6 = b [a, b] 6 S(, {ξ i }) = f(ξ i ) x i i=1 ( x i = x i x i 1 )
: a = x 0 < x 1 < < x 5 < x 6 = b [a, b] 6 S(, {ξ i }) = f(ξ i ) x i i=1 ( x i = x i x i 1 ) 12 S(, {ξ i}) = f(ξ i) x i i=1 ( x i = x i x i 1)
: a = x 0 < x 1 < < x 5 < x 6 = b [a, b] 6 S(, {ξ i }) = f(ξ i ) x i i=1 ( x i = x i x i 1 ) S(, {ξ i }) = 25 i=1 f(ξ i ) x i ( x i = x i x i 1)
: a = x 0 < x 1 < < x 5 < x 6 = b [a, b] 6 S(, {ξ i }) = f(ξ i ) x i i=1 ( x i = x i x i 1 ) S(, {ξ i }) = 49 i=1 f(ξ i ) x i ( x i = x i x i 1)
: a = x 0 < x 1 < < x 5 < x 6 = b [a, b] 6 S(, {ξ i }) = f(ξ i ) x i i=1 ( x i = x i x i 1 ) lim S(, {ξ i}) 0
f(x) : [a, b] ( ) [a, b] Riemann S(, {ξ i }) σ f(x) [a, b] (Riemann) b ( ) f(x) dx = σ = lim S(, {ξ i}) 0 a [a, b] f(x) 0 0
f(x) : [a, b] ( ) [a, b] Riemann S(, {ξ i }) σ f(x) [a, b] (Riemann) b ( ) f(x) dx = σ = lim S(, {ξ i}) 0 a [a, b] f(x) 1 2 (Riemann )
f(x) (Riemann) f(x) [a, b] ξ i [x i 1, x i ] Riemann S(, {ξ i }) f(x) = { x (x 0) 1 (x = 0) [ 1, 1]
Riemann f(x) = x (0 x 1) Riemann : 0 = x 0 < x 1 < < x n 1 < x n = 1 x 0 = 0, x 1 = 1 n, x 2 = 2 n,..., x n 1 = n 1 n, x n = 1 ξ i = x i [x i 1, x i ], x i = x i x i 1 = 1 n Riemann S(, {ξ i }) n n i S(, {ξ i }) = f(ξ i ) x i = n 1 n i=1 i=1 = 1 n(n + 1) 1 n2 2 2 (n ) Riemann f(x) = sin x ξ i
( ) f(x) I F(x) f(x) ( ) a, b I b a f(x) = F(b) F(a) ξ i π 0 sin x dx = ( cos(π)) ( cos(0)) = 2
紀元前 3000 年 紀元前 300 年 17 世紀 18 世紀 19 世紀 積分 古代エジプト 古代ギリシャ積分法の起源 微分 フェルマー デカルト 微分積分学の黎明期 ニュートンライプニッツ コーシー 微分積分学の誕 厳密化と発展 リーマン
( ) ( ) ϵ-δ ( ) ϵ-δ http://www7b.biglobe.ne.jp/~h-kuroda/pdf/text_calculus.pdf Wikimedia Commons GFDL