a kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝...
TRANSCRIPT
![Page 1: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/1.jpg)
Motiváció Elozmények A születési folyamat Utóélet
A kalkulus születése
Simonovits András
MTA KTI, BME MI, CEU ED
2015. november
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 2: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/2.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Tartalom
1 Motiváció
2 ElozményekGörögÚjkor
3 A születési folyamatKezdetKiteljesedésÉrett változat
4 Utóélet
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 3: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/3.jpg)
Motiváció Elozmények A születési folyamat Utóélet
MOTIVÁCIÓ
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 4: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/4.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Miért éppen a kalkulus?
a kalkulus elméleti és gyakorlati okokból is nagyon fontos:végtelenül kicsi mennyiségek – folytonos és simaváltozások
a történeten keresztül jobban megértjük a felfedezésfolyamatátönmagában is érdekes a felfedezés: hogyan lesz egyedimegoldásokból sorozatgyártás
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 5: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/5.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Miért éppen a kalkulus?
a kalkulus elméleti és gyakorlati okokból is nagyon fontos:végtelenül kicsi mennyiségek – folytonos és simaváltozásoka történeten keresztül jobban megértjük a felfedezésfolyamatát
önmagában is érdekes a felfedezés: hogyan lesz egyedimegoldásokból sorozatgyártás
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 6: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/6.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Miért éppen a kalkulus?
a kalkulus elméleti és gyakorlati okokból is nagyon fontos:végtelenül kicsi mennyiségek – folytonos és simaváltozásoka történeten keresztül jobban megértjük a felfedezésfolyamatátönmagában is érdekes a felfedezés: hogyan lesz egyedimegoldásokból sorozatgyártás
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 7: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/7.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Alkotóik-1: Newton
Isaac Newton (1642–1727), Lincoln megye
a mechanika atyja, pl. általános tömegvonzása fény színképének felfedezoje (prizma)korszakalkotó matematikus: a fizika mozgásegyenleteinekmatematikai megoldása (kalkulus)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 8: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/8.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Alkotóik-1: Newton
Isaac Newton (1642–1727), Lincoln megyea mechanika atyja, pl. általános tömegvonzás
a fény színképének felfedezoje (prizma)korszakalkotó matematikus: a fizika mozgásegyenleteinekmatematikai megoldása (kalkulus)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 9: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/9.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Alkotóik-1: Newton
Isaac Newton (1642–1727), Lincoln megyea mechanika atyja, pl. általános tömegvonzása fény színképének felfedezoje (prizma)
korszakalkotó matematikus: a fizika mozgásegyenleteinekmatematikai megoldása (kalkulus)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 10: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/10.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Alkotóik-1: Newton
Isaac Newton (1642–1727), Lincoln megyea mechanika atyja, pl. általános tömegvonzása fény színképének felfedezoje (prizma)korszakalkotó matematikus: a fizika mozgásegyenleteinekmatematikai megoldása (kalkulus)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 11: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/11.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Alkotóik-2: Leibniz
Gottfried Leibniz (1646–1716): Lipcse
a modern matematikai logika elofutárakiemelkedo tudományszervezo: akadémiák és folyóiratokszervezésemukedvelo matematikus, automatizált számolás, találójelölések
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 12: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/12.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Alkotóik-2: Leibniz
Gottfried Leibniz (1646–1716): Lipcsea modern matematikai logika elofutára
kiemelkedo tudományszervezo: akadémiák és folyóiratokszervezésemukedvelo matematikus, automatizált számolás, találójelölések
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 13: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/13.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Alkotóik-2: Leibniz
Gottfried Leibniz (1646–1716): Lipcsea modern matematikai logika elofutárakiemelkedo tudományszervezo: akadémiák és folyóiratokszervezése
mukedvelo matematikus, automatizált számolás, találójelölések
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 14: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/14.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Alkotóik-2: Leibniz
Gottfried Leibniz (1646–1716): Lipcsea modern matematikai logika elofutárakiemelkedo tudományszervezo: akadémiák és folyóiratokszervezésemukedvelo matematikus, automatizált számolás, találójelölések
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 15: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/15.jpg)
Motiváció Elozmények A születési folyamat Utóélet
2. ELOZMÉNYEK
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 16: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/16.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
Görög elozmények
Zénon (i.e. 460): Akhilleusz és a teknosbéka:
12+
122 + · · ·+ 1
2n + · · · =?
Eudoxosz (i.e. 370) a konvex görbe ívhossza a beleírtpoligon hosszának a határértékeApollóniosz (i.e. 300 után): Az y = x2 parabola érintojénekmeredeksége y ′ = 2xArkhimédesz (i.e. 240?) kör kerülete = π átméro, ahol
31071
< π < 317
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 17: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/17.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
Görög elozmények
Zénon (i.e. 460): Akhilleusz és a teknosbéka:
12+
122 + · · ·+ 1
2n + · · · =?
Eudoxosz (i.e. 370) a konvex görbe ívhossza a beleírtpoligon hosszának a határértéke
Apollóniosz (i.e. 300 után): Az y = x2 parabola érintojénekmeredeksége y ′ = 2xArkhimédesz (i.e. 240?) kör kerülete = π átméro, ahol
31071
< π < 317
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 18: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/18.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
Görög elozmények
Zénon (i.e. 460): Akhilleusz és a teknosbéka:
12+
122 + · · ·+ 1
2n + · · · =?
Eudoxosz (i.e. 370) a konvex görbe ívhossza a beleírtpoligon hosszának a határértékeApollóniosz (i.e. 300 után): Az y = x2 parabola érintojénekmeredeksége y ′ = 2x
Arkhimédesz (i.e. 240?) kör kerülete = π átméro, ahol
31071
< π < 317
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 19: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/19.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
Görög elozmények
Zénon (i.e. 460): Akhilleusz és a teknosbéka:
12+
122 + · · ·+ 1
2n + · · · =?
Eudoxosz (i.e. 370) a konvex görbe ívhossza a beleírtpoligon hosszának a határértékeApollóniosz (i.e. 300 után): Az y = x2 parabola érintojénekmeredeksége y ′ = 2xArkhimédesz (i.e. 240?) kör kerülete = π átméro, ahol
31071
< π < 317
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 20: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/20.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
Arkhimédesz
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 21: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/21.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
Arkhimédesz: a parabola területe
Arkhimédesz: az [a,b] szakasz fölötti parabola területeb3 − a3
3
Modern jelölésekkel: Az [a,b] szakaszt nem egyenletesenosztjuk fel m részre, hanem mértani haladványként:xi = aqi , i = 1, . . . ,m, b = aqm.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 22: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/22.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
Arkhimédesz: a parabola területe
Arkhimédesz: az [a,b] szakasz fölötti parabola területeb3 − a3
3Modern jelölésekkel: Az [a,b] szakaszt nem egyenletesenosztjuk fel m részre, hanem mértani haladványként:xi = aqi , i = 1, . . . ,m, b = aqm.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 23: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/23.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
Arkhimédesz: a parabola területe/2
Téglányösszeg (mértani sor összegképletével):
Sm =m∑
i=1
a2q2i(aqi − aqi−1) = a3(q − 1)q2m−1∑i=0
q3i
= a3q2 (q − 1)(q3m − 1)q3 − 1
=q2
q2 + q + 1(b3 − a3).
Ha m→∞, akkor q → 1, akkor b3 − a3 szorzója, 1/3-hoztart
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 24: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/24.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
Arkhimédesz: a parabola területe/2
Téglányösszeg (mértani sor összegképletével):
Sm =m∑
i=1
a2q2i(aqi − aqi−1) = a3(q − 1)q2m−1∑i=0
q3i
= a3q2 (q − 1)(q3m − 1)q3 − 1
=q2
q2 + q + 1(b3 − a3).
Ha m→∞, akkor q → 1, akkor b3 − a3 szorzója, 1/3-hoztart
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 25: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/25.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
A görög matematika éteri tisztasága
Plutarkhosz Párhuzamos életrajzokban, MarcellusnálSzirakúza ostromáról ír
Plátont követve leírja, hogy a matematika nem valóditárgyakkal, hanem azok égi másával foglalkozik
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 26: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/26.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Görög
A görög matematika éteri tisztasága
Plutarkhosz Párhuzamos életrajzokban, MarcellusnálSzirakúza ostromáról írPlátont követve leírja, hogy a matematika nem valóditárgyakkal, hanem azok égi másával foglalkozik
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 27: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/27.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Újkori elozmények
természetes alapú exponenciális függvény és -logaritmus
koordinátageometriaérintoszámítás (maximum)területszámításbinomiális tétel
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 28: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/28.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Újkori elozmények
természetes alapú exponenciális függvény és -logaritmuskoordinátageometria
érintoszámítás (maximum)területszámításbinomiális tétel
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 29: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/29.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Újkori elozmények
természetes alapú exponenciális függvény és -logaritmuskoordinátageometriaérintoszámítás (maximum)
területszámításbinomiális tétel
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 30: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/30.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Újkori elozmények
természetes alapú exponenciális függvény és -logaritmuskoordinátageometriaérintoszámítás (maximum)területszámítás
binomiális tétel
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 31: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/31.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Újkori elozmények
természetes alapú exponenciális függvény és -logaritmuskoordinátageometriaérintoszámítás (maximum)területszámításbinomiális tétel
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 32: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/32.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Természetes alapú exponenciális függvény
Napier (1615): Folyamatos kamatolás. x= éves kamatláb,évente n-szer tokésítve x/n kamatlábbal, a toke bovülése(
1 +xn
)n.
Belátható, hogy n-nel no, határértékben e(x).
e = limn→∞
(1 +
1n
)n
= 2,718 . . .
Alaptulajdonság:
e(x + y) = e(x)e(y)⇒ e(x) = ex ,
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 33: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/33.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Természetes alapú exponenciális függvény
Napier (1615): Folyamatos kamatolás. x= éves kamatláb,évente n-szer tokésítve x/n kamatlábbal, a toke bovülése(
1 +xn
)n.
Belátható, hogy n-nel no, határértékben e(x).
e = limn→∞
(1 +
1n
)n
= 2,718 . . .
Alaptulajdonság:
e(x + y) = e(x)e(y)⇒ e(x) = ex ,
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 34: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/34.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Természetes alapú exponenciális függvény
Napier (1615): Folyamatos kamatolás. x= éves kamatláb,évente n-szer tokésítve x/n kamatlábbal, a toke bovülése(
1 +xn
)n.
Belátható, hogy n-nel no, határértékben e(x).
e = limn→∞
(1 +
1n
)n
= 2,718 . . .
Alaptulajdonság:
e(x + y) = e(x)e(y)⇒ e(x) = ex ,
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 35: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/35.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Természetes alapú exponenciális függvény
Napier (1615): Folyamatos kamatolás. x= éves kamatláb,évente n-szer tokésítve x/n kamatlábbal, a toke bovülése(
1 +xn
)n.
Belátható, hogy n-nel no, határértékben e(x).
e = limn→∞
(1 +
1n
)n
= 2,718 . . .
Alaptulajdonság:
e(x + y) = e(x)e(y)⇒ e(x) = ex ,
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 36: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/36.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Napier
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 37: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/37.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Kitéro: logaritmus
mert (1 +
xn
)n (1 +
yn
)n=
(1 +
x + yn
+xyn2
)n
.
Inverzfüggvény: természetes alapú logaritmus, log x az aszám, amelyre e-t emelve, x-et kapunk.Tizedes tört: 1585 (nem voltak még tízes alapú pénzek ésmértékegységek)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 38: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/38.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Kitéro: logaritmus
mert (1 +
xn
)n (1 +
yn
)n=
(1 +
x + yn
+xyn2
)n
.
Inverzfüggvény: természetes alapú logaritmus, log x az aszám, amelyre e-t emelve, x-et kapunk.
Tizedes tört: 1585 (nem voltak még tízes alapú pénzek ésmértékegységek)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 39: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/39.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Kitéro: logaritmus
mert (1 +
xn
)n (1 +
yn
)n=
(1 +
x + yn
+xyn2
)n
.
Inverzfüggvény: természetes alapú logaritmus, log x az aszám, amelyre e-t emelve, x-et kapunk.Tizedes tört: 1585 (nem voltak még tízes alapú pénzek ésmértékegységek)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 40: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/40.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Természetes vagy tízes alapú logaritmus
360 évig (1615-1975-ig) a tízes alapú logaritmuselsosorban számolási segédeszköz volt.
lg(10kx) = k + lg x .
Ma már nincs szükség a 10-es alapú logaritmusra, de atermészetes alapú log ma is virágzik
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 41: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/41.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Természetes vagy tízes alapú logaritmus
360 évig (1615-1975-ig) a tízes alapú logaritmuselsosorban számolási segédeszköz volt.
lg(10kx) = k + lg x .
Ma már nincs szükség a 10-es alapú logaritmusra, de atermészetes alapú log ma is virágzik
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 42: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/42.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Természetes vagy tízes alapú logaritmus
360 évig (1615-1975-ig) a tízes alapú logaritmuselsosorban számolási segédeszköz volt.
lg(10kx) = k + lg x .
Ma már nincs szükség a 10-es alapú logaritmusra, de atermészetes alapú log ma is virágzik
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 43: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/43.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Koordinátageometria
Descartes (és Fermat) 1630 körül felfedezik az analitikusgeometriát
Példa: x2 + y2 = 1 a 0 körüli egységkörGeometriai feladatok lefordíthatók algebraira/analitikaira
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 44: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/44.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Koordinátageometria
Descartes (és Fermat) 1630 körül felfedezik az analitikusgeometriátPélda: x2 + y2 = 1 a 0 körüli egységkör
Geometriai feladatok lefordíthatók algebraira/analitikaira
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 45: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/45.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Koordinátageometria
Descartes (és Fermat) 1630 körül felfedezik az analitikusgeometriátPélda: x2 + y2 = 1 a 0 körüli egységkörGeometriai feladatok lefordíthatók algebraira/analitikaira
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 46: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/46.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat az amatorök fejedelme
Fermat Toulouse-ban volt jogász, levélben érintkezett apárizsi nagyokkal (Descartes, Pascal)
leghíresebb sejtése számelméleti: legyen x , y , z és npozitív egész szám, n > 2, az
xn + yn = zn
egyenletnek nincs megoldása! (Bizonyítás: 1994, Wiles)Emellett társfelfedezoje a valószínuségszámításnak(Pascal, 1654)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 47: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/47.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat az amatorök fejedelme
Fermat Toulouse-ban volt jogász, levélben érintkezett apárizsi nagyokkal (Descartes, Pascal)leghíresebb sejtése számelméleti: legyen x , y , z és npozitív egész szám, n > 2, az
xn + yn = zn
egyenletnek nincs megoldása! (Bizonyítás: 1994, Wiles)
Emellett társfelfedezoje a valószínuségszámításnak(Pascal, 1654)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 48: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/48.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat az amatorök fejedelme
Fermat Toulouse-ban volt jogász, levélben érintkezett apárizsi nagyokkal (Descartes, Pascal)leghíresebb sejtése számelméleti: legyen x , y , z és npozitív egész szám, n > 2, az
xn + yn = zn
egyenletnek nincs megoldása! (Bizonyítás: 1994, Wiles)Emellett társfelfedezoje a valószínuségszámításnak(Pascal, 1654)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 49: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/49.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Descartes
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 50: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/50.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 51: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/51.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat érintoszámítása
(1640 elott): Az x r görbe érintojének meredeksége rx r−1
Bizonyításvázlat.Ha r egész és u 6= x , akkor
ur − x r
u − x= ur−1 + ur−2x + · · ·+ ux r−2 + x r−1,
amely u = x esetén rx r−1.Logikai ellentmondás: eloször u 6= x , majd u = x .Feloldás: határérték, 1850
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 52: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/52.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat érintoszámítása
(1640 elott): Az x r görbe érintojének meredeksége rx r−1
Bizonyításvázlat.
Ha r egész és u 6= x , akkor
ur − x r
u − x= ur−1 + ur−2x + · · ·+ ux r−2 + x r−1,
amely u = x esetén rx r−1.Logikai ellentmondás: eloször u 6= x , majd u = x .Feloldás: határérték, 1850
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 53: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/53.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat érintoszámítása
(1640 elott): Az x r görbe érintojének meredeksége rx r−1
Bizonyításvázlat.Ha r egész és u 6= x , akkor
ur − x r
u − x= ur−1 + ur−2x + · · ·+ ux r−2 + x r−1,
amely u = x esetén rx r−1.
Logikai ellentmondás: eloször u 6= x , majd u = x .Feloldás: határérték, 1850
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 54: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/54.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat érintoszámítása
(1640 elott): Az x r görbe érintojének meredeksége rx r−1
Bizonyításvázlat.Ha r egész és u 6= x , akkor
ur − x r
u − x= ur−1 + ur−2x + · · ·+ ux r−2 + x r−1,
amely u = x esetén rx r−1.Logikai ellentmondás: eloször u 6= x , majd u = x .
Feloldás: határérték, 1850
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 55: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/55.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat érintoszámítása
(1640 elott): Az x r görbe érintojének meredeksége rx r−1
Bizonyításvázlat.Ha r egész és u 6= x , akkor
ur − x r
u − x= ur−1 + ur−2x + · · ·+ ux r−2 + x r−1,
amely u = x esetén rx r−1.Logikai ellentmondás: eloször u 6= x , majd u = x .Feloldás: határérték, 1850
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 56: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/56.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat érinto-2
Törtkitevo: r = p/q, z = x1/q-t és v = u1/q-t helyettesítve
ur − x r
u − x=
vp − zp
v − zv − z
vq − zq
Elozo szerint határértékben:
=pzp−1
qzq−1 =pq
zp−q =pq
xp/q−1
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 57: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/57.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat érinto-2
Törtkitevo: r = p/q, z = x1/q-t és v = u1/q-t helyettesítve
ur − x r
u − x=
vp − zp
v − zv − z
vq − zq
Elozo szerint határértékben:
=pzp−1
qzq−1 =pq
zp−q =pq
xp/q−1
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 58: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/58.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat érinto-2
Törtkitevo: r = p/q, z = x1/q-t és v = u1/q-t helyettesítve
ur − x r
u − x=
vp − zp
v − zv − z
vq − zq
Elozo szerint határértékben:
=pzp−1
qzq−1 =pq
zp−q =pq
xp/q−1
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 59: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/59.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat maximumszámítás
Eukleidész kérdése (i.e. 300): adott kerületu téglalapokközül melyiknek a területe a maximális? Négyzeté.
Fermat: analitikus levezetés, T (x) = x(1− x) = x − x2
legyen x a max-hely, és h ≈ 0-ra mennyi T (x + h)?Maximumban T (x + h) ≈ T (x)Behelyettesítve és rendezve:
T (x + h)− T (x) = h − 2xh − h2 = 0→ 2x − 1 + h = 0
Határértékben:h = 0→ x = 1/2
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 60: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/60.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat maximumszámítás
Eukleidész kérdése (i.e. 300): adott kerületu téglalapokközül melyiknek a területe a maximális? Négyzeté.Fermat: analitikus levezetés, T (x) = x(1− x) = x − x2
legyen x a max-hely, és h ≈ 0-ra mennyi T (x + h)?Maximumban T (x + h) ≈ T (x)Behelyettesítve és rendezve:
T (x + h)− T (x) = h − 2xh − h2 = 0→ 2x − 1 + h = 0
Határértékben:h = 0→ x = 1/2
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 61: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/61.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat maximumszámítás
Eukleidész kérdése (i.e. 300): adott kerületu téglalapokközül melyiknek a területe a maximális? Négyzeté.Fermat: analitikus levezetés, T (x) = x(1− x) = x − x2
legyen x a max-hely, és h ≈ 0-ra mennyi T (x + h)?
Maximumban T (x + h) ≈ T (x)Behelyettesítve és rendezve:
T (x + h)− T (x) = h − 2xh − h2 = 0→ 2x − 1 + h = 0
Határértékben:h = 0→ x = 1/2
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 62: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/62.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat maximumszámítás
Eukleidész kérdése (i.e. 300): adott kerületu téglalapokközül melyiknek a területe a maximális? Négyzeté.Fermat: analitikus levezetés, T (x) = x(1− x) = x − x2
legyen x a max-hely, és h ≈ 0-ra mennyi T (x + h)?Maximumban T (x + h) ≈ T (x)
Behelyettesítve és rendezve:
T (x + h)− T (x) = h − 2xh − h2 = 0→ 2x − 1 + h = 0
Határértékben:h = 0→ x = 1/2
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 63: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/63.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat maximumszámítás
Eukleidész kérdése (i.e. 300): adott kerületu téglalapokközül melyiknek a területe a maximális? Négyzeté.Fermat: analitikus levezetés, T (x) = x(1− x) = x − x2
legyen x a max-hely, és h ≈ 0-ra mennyi T (x + h)?Maximumban T (x + h) ≈ T (x)Behelyettesítve és rendezve:
T (x + h)− T (x) = h − 2xh − h2 = 0→ 2x − 1 + h = 0
Határértékben:h = 0→ x = 1/2
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 64: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/64.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat maximumszámítás
Eukleidész kérdése (i.e. 300): adott kerületu téglalapokközül melyiknek a területe a maximális? Négyzeté.Fermat: analitikus levezetés, T (x) = x(1− x) = x − x2
legyen x a max-hely, és h ≈ 0-ra mennyi T (x + h)?Maximumban T (x + h) ≈ T (x)Behelyettesítve és rendezve:
T (x + h)− T (x) = h − 2xh − h2 = 0→ 2x − 1 + h = 0
Határértékben:h = 0→ x = 1/2
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 65: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/65.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat területszámítása
Az x r görbe alatti terület az [a,b] szakaszon, 0 < a < b
br+1 − ar+1
r + 1, r 6= −1.
Bizonyítás. lásd Arkhimédeszr = −1 hiperbola, terület = log b − log a
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 66: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/66.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat területszámítása
Az x r görbe alatti terület az [a,b] szakaszon, 0 < a < b
br+1 − ar+1
r + 1, r 6= −1.
Bizonyítás. lásd Arkhimédesz
r = −1 hiperbola, terület = log b − log a
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 67: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/67.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Fermat területszámítása
Az x r görbe alatti terület az [a,b] szakaszon, 0 < a < b
br+1 − ar+1
r + 1, r 6= −1.
Bizonyítás. lásd Arkhimédeszr = −1 hiperbola, terület = log b − log a
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 68: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/68.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Másik elofutár: Pascal
Világhíru filozófus,
a mechanikus számológép atyja,a hidrosztatika törvényének felfedezojeaz omnibusz feltalálója
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 69: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/69.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Másik elofutár: Pascal
Világhíru filozófus,a mechanikus számológép atyja,
a hidrosztatika törvényének felfedezojeaz omnibusz feltalálója
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 70: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/70.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Másik elofutár: Pascal
Világhíru filozófus,a mechanikus számológép atyja,a hidrosztatika törvényének felfedezoje
az omnibusz feltalálója
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 71: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/71.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Másik elofutár: Pascal
Világhíru filozófus,a mechanikus számológép atyja,a hidrosztatika törvényének felfedezojeaz omnibusz feltalálója
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 72: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/72.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Pascal
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 73: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/73.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Pascal binomiális tétele
Pascal binomiális tétele (1640):
(1 + x)n =n∑
k=0
(nk
)xk ,
ahol (nk
)=
n!k !(n − k)!
mutatja, hogy n tárgy közül hányféleképp lehet k -tkiválasztani.Emellett majdnem felfedezte Leibniz karakterisztikusháromszögét
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 74: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/74.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Pascal binomiális tétele
Pascal binomiális tétele (1640):
(1 + x)n =n∑
k=0
(nk
)xk ,
ahol (nk
)=
n!k !(n − k)!
mutatja, hogy n tárgy közül hányféleképp lehet k -tkiválasztani.Emellett majdnem felfedezte Leibniz karakterisztikusháromszögét
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 75: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/75.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Pascal binomiális tétele
Pascal binomiális tétele (1640):
(1 + x)n =n∑
k=0
(nk
)xk ,
ahol (nk
)=
n!k !(n − k)!
mutatja, hogy n tárgy közül hányféleképp lehet k -tkiválasztani.
Emellett majdnem felfedezte Leibniz karakterisztikusháromszögét
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 76: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/76.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Újkor
Pascal binomiális tétele
Pascal binomiális tétele (1640):
(1 + x)n =n∑
k=0
(nk
)xk ,
ahol (nk
)=
n!k !(n − k)!
mutatja, hogy n tárgy közül hányféleképp lehet k -tkiválasztani.Emellett majdnem felfedezte Leibniz karakterisztikusháromszögét
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 77: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/77.jpg)
Motiváció Elozmények A születési folyamat Utóélet
3. A SZÜLETÉSI FOLYAMAT
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 78: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/78.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kezdet
Kezdet, Newton
Newton (1670) körül felfedezte a binomiális tétel tört- ésnegatív kitevos általánosítását:
(1+x)r = 1+rx+· · ·+ r(r − 1) · · · (r − k + 1)k !
xk+· · · , |x | < 1.
Példa. A binom reciproka (r = −1) a végtelen mértani sor:
11 + x
= 1− x + x2 + · · ·+ (−1)kxk + · · · .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 79: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/79.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kezdet
Kezdet, Newton
Newton (1670) körül felfedezte a binomiális tétel tört- ésnegatív kitevos általánosítását:
(1+x)r = 1+rx+· · ·+ r(r − 1) · · · (r − k + 1)k !
xk+· · · , |x | < 1.
Példa. A binom reciproka (r = −1) a végtelen mértani sor:
11 + x
= 1− x + x2 + · · ·+ (−1)kxk + · · · .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 80: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/80.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kezdet
Kezdet, Newton
Newton (1670) körül felfedezte a binomiális tétel tört- ésnegatív kitevos általánosítását:
(1+x)r = 1+rx+· · ·+ r(r − 1) · · · (r − k + 1)k !
xk+· · · , |x | < 1.
Példa. A binom reciproka (r = −1) a végtelen mértani sor:
11 + x
= 1− x + x2 + · · ·+ (−1)kxk + · · · .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 81: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/81.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kezdet
Newton
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 82: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/82.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kezdet
Kezdet, Leibniz
Eredeti kérdés túl nehéz volt (csak 1735-ben oldja megEuler)
112 +
122 + · · ·+ 1
n2 + · · · = π2
6.
Egyszerusítés: Leibniz (1673):
11 · 2
+1
2 · 3+ · · ·+ 1
n(n + 1)+ · · · =?.
Teleszkopikus összeg
11− 1
2+
12− 1
3+ · · ·+ 1
n− 1
n + 1+ · · · = 1− 1
n + 1+ · · · = 1.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 83: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/83.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kezdet
Kezdet, Leibniz
Eredeti kérdés túl nehéz volt (csak 1735-ben oldja megEuler)
112 +
122 + · · ·+ 1
n2 + · · · = π2
6.
Egyszerusítés: Leibniz (1673):
11 · 2
+1
2 · 3+ · · ·+ 1
n(n + 1)+ · · · =?.
Teleszkopikus összeg
11− 1
2+
12− 1
3+ · · ·+ 1
n− 1
n + 1+ · · · = 1− 1
n + 1+ · · · = 1.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 84: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/84.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kezdet
Kezdet, Leibniz
Eredeti kérdés túl nehéz volt (csak 1735-ben oldja megEuler)
112 +
122 + · · ·+ 1
n2 + · · · = π2
6.
Egyszerusítés: Leibniz (1673):
11 · 2
+1
2 · 3+ · · ·+ 1
n(n + 1)+ · · · =?.
Teleszkopikus összeg
11− 1
2+
12− 1
3+ · · ·+ 1
n− 1
n + 1+ · · · = 1− 1
n + 1+ · · · = 1.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 85: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/85.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kezdet
Leibniz
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 86: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/86.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kiteljesedés
Formális szabályok
Formális szabályok: (f + g)′ = f ′ + g′ és (fg)′ = f ′g + fg′
Bizonyítás: dx végtelenül kicsiny változásra
(f + df )(g + dg)− fg = df g + f dg + df dg,
ahol df dg ≈ 0.Láncszabály: y = f (u) és u = g(x) összetettfüggvényének a deriváltja
dydx
=dydu
dudx.
⇒ Minden elemi függvény deriváltja mechanikusankiszámítható (vö. Fermat kézimunkája)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 87: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/87.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kiteljesedés
Formális szabályok
Formális szabályok: (f + g)′ = f ′ + g′ és (fg)′ = f ′g + fg′
Bizonyítás: dx végtelenül kicsiny változásra
(f + df )(g + dg)− fg = df g + f dg + df dg,
ahol df dg ≈ 0.Láncszabály: y = f (u) és u = g(x) összetettfüggvényének a deriváltja
dydx
=dydu
dudx.
⇒ Minden elemi függvény deriváltja mechanikusankiszámítható (vö. Fermat kézimunkája)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 88: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/88.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kiteljesedés
Formális szabályok
Formális szabályok: (f + g)′ = f ′ + g′ és (fg)′ = f ′g + fg′
Bizonyítás: dx végtelenül kicsiny változásra
(f + df )(g + dg)− fg = df g + f dg + df dg,
ahol df dg ≈ 0.
Láncszabály: y = f (u) és u = g(x) összetettfüggvényének a deriváltja
dydx
=dydu
dudx.
⇒ Minden elemi függvény deriváltja mechanikusankiszámítható (vö. Fermat kézimunkája)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 89: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/89.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kiteljesedés
Formális szabályok
Formális szabályok: (f + g)′ = f ′ + g′ és (fg)′ = f ′g + fg′
Bizonyítás: dx végtelenül kicsiny változásra
(f + df )(g + dg)− fg = df g + f dg + df dg,
ahol df dg ≈ 0.Láncszabály: y = f (u) és u = g(x) összetettfüggvényének a deriváltja
dydx
=dydu
dudx.
⇒ Minden elemi függvény deriváltja mechanikusankiszámítható (vö. Fermat kézimunkája)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 90: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/90.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kiteljesedés
Formális szabályok
Formális szabályok: (f + g)′ = f ′ + g′ és (fg)′ = f ′g + fg′
Bizonyítás: dx végtelenül kicsiny változásra
(f + df )(g + dg)− fg = df g + f dg + df dg,
ahol df dg ≈ 0.Láncszabály: y = f (u) és u = g(x) összetettfüggvényének a deriváltja
dydx
=dydu
dudx.
⇒ Minden elemi függvény deriváltja mechanikusankiszámítható (vö. Fermat kézimunkája)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 91: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/91.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Kiteljesedés
Formális szabályok
Formális szabályok: (f + g)′ = f ′ + g′ és (fg)′ = f ′g + fg′
Bizonyítás: dx végtelenül kicsiny változásra
(f + df )(g + dg)− fg = df g + f dg + df dg,
ahol df dg ≈ 0.Láncszabály: y = f (u) és u = g(x) összetettfüggvényének a deriváltja
dydx
=dydu
dudx.
⇒ Minden elemi függvény deriváltja mechanikusankiszámítható (vö. Fermat kézimunkája)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 92: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/92.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Alaptétel
Nem minden elemi függvény integrálja elemi, de aNewton–Leibniz-szabállyal lehet próbálkozni.
Ha van olyan F függvény, amelynek deriváltja f az egészintervallumon, akkor∫ b
af (x)dx = F (b)− F (a)
Heurisztikus bizonyítás: ha x idopontban f a pillanatnyisebesség, F a megtett út, akkor a sebesség azút–idofüggvény deriváltja, és az út asebesség–idofüggvény integrálja.Teleszkopikus összeg sugallta az alaptételt
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 93: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/93.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Alaptétel
Nem minden elemi függvény integrálja elemi, de aNewton–Leibniz-szabállyal lehet próbálkozni.Ha van olyan F függvény, amelynek deriváltja f az egészintervallumon, akkor∫ b
af (x)dx = F (b)− F (a)
Heurisztikus bizonyítás: ha x idopontban f a pillanatnyisebesség, F a megtett út, akkor a sebesség azút–idofüggvény deriváltja, és az út asebesség–idofüggvény integrálja.Teleszkopikus összeg sugallta az alaptételt
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 94: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/94.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Alaptétel
Nem minden elemi függvény integrálja elemi, de aNewton–Leibniz-szabállyal lehet próbálkozni.Ha van olyan F függvény, amelynek deriváltja f az egészintervallumon, akkor∫ b
af (x)dx = F (b)− F (a)
Heurisztikus bizonyítás: ha x idopontban f a pillanatnyisebesség, F a megtett út, akkor a sebesség azút–idofüggvény deriváltja, és az út asebesség–idofüggvény integrálja.
Teleszkopikus összeg sugallta az alaptételt
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 95: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/95.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Alaptétel
Nem minden elemi függvény integrálja elemi, de aNewton–Leibniz-szabállyal lehet próbálkozni.Ha van olyan F függvény, amelynek deriváltja f az egészintervallumon, akkor∫ b
af (x)dx = F (b)− F (a)
Heurisztikus bizonyítás: ha x idopontban f a pillanatnyisebesség, F a megtett út, akkor a sebesség azút–idofüggvény deriváltja, és az út asebesség–idofüggvény integrálja.Teleszkopikus összeg sugallta az alaptételt
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 96: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/96.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Mechanikus alkalmazás: Fermat területképleteigazolása Fermat érintojével
∫ b
ax r dx =
br+1 − ar+1
r + 1
mert
ddx
x r+1
r + 1= x r .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 97: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/97.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Mechanikus alkalmazás: Fermat területképleteigazolása Fermat érintojével
∫ b
ax r dx =
br+1 − ar+1
r + 1
mert
ddx
x r+1
r + 1= x r .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 98: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/98.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Logaritmusfüggvény hatványsora
Logaritmus hatványsora:
Kiindulás – végtelen mértani sor:
11 + x
= 1− x + x2 + · · ·+ (−1)kxk + · · · .
Integrálva tagonként:
log(1 + x) = x − x2
2+
x3
3+ · · ·+ (−1)k xk+1
k + 1+ · · · .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 99: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/99.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Logaritmusfüggvény hatványsora
Logaritmus hatványsora:Kiindulás – végtelen mértani sor:
11 + x
= 1− x + x2 + · · ·+ (−1)kxk + · · · .
Integrálva tagonként:
log(1 + x) = x − x2
2+
x3
3+ · · ·+ (−1)k xk+1
k + 1+ · · · .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 100: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/100.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Logaritmusfüggvény hatványsora
Logaritmus hatványsora:Kiindulás – végtelen mértani sor:
11 + x
= 1− x + x2 + · · ·+ (−1)kxk + · · · .
Integrálva tagonként:
log(1 + x) = x − x2
2+
x3
3+ · · ·+ (−1)k xk+1
k + 1+ · · · .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 101: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/101.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Az exponenciális függvény jellemzése
Melyik az a függvény, amely azonos saját deriváltjával?(késobbi származtatás) f ′(x) = f (x)?
Heurisztikus megoldás: mintha tört volna, diff.hányados!!dydx
= y
Átrendezve:dyy
= dx
Integrálva [0, x ]-en: log y − log y0 = x , azaz y = exy0.Példa. Radioaktív bomlás: negatív arányosság: y ′ = −cy ,azaz y(t) = y0e−ct .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 102: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/102.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Az exponenciális függvény jellemzése
Melyik az a függvény, amely azonos saját deriváltjával?(késobbi származtatás) f ′(x) = f (x)?Heurisztikus megoldás: mintha tört volna, diff.hányados!!
dydx
= y
Átrendezve:dyy
= dx
Integrálva [0, x ]-en: log y − log y0 = x , azaz y = exy0.Példa. Radioaktív bomlás: negatív arányosság: y ′ = −cy ,azaz y(t) = y0e−ct .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 103: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/103.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Az exponenciális függvény jellemzése
Melyik az a függvény, amely azonos saját deriváltjával?(késobbi származtatás) f ′(x) = f (x)?Heurisztikus megoldás: mintha tört volna, diff.hányados!!
dydx
= y
Átrendezve:dyy
= dx
Integrálva [0, x ]-en: log y − log y0 = x , azaz y = exy0.Példa. Radioaktív bomlás: negatív arányosság: y ′ = −cy ,azaz y(t) = y0e−ct .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 104: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/104.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Az exponenciális függvény jellemzése
Melyik az a függvény, amely azonos saját deriváltjával?(késobbi származtatás) f ′(x) = f (x)?Heurisztikus megoldás: mintha tört volna, diff.hányados!!
dydx
= y
Átrendezve:dyy
= dx
Integrálva [0, x ]-en: log y − log y0 = x , azaz y = exy0.
Példa. Radioaktív bomlás: negatív arányosság: y ′ = −cy ,azaz y(t) = y0e−ct .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 105: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/105.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Az exponenciális függvény jellemzése
Melyik az a függvény, amely azonos saját deriváltjával?(késobbi származtatás) f ′(x) = f (x)?Heurisztikus megoldás: mintha tört volna, diff.hányados!!
dydx
= y
Átrendezve:dyy
= dx
Integrálva [0, x ]-en: log y − log y0 = x , azaz y = exy0.Példa. Radioaktív bomlás: negatív arányosság: y ′ = −cy ,azaz y(t) = y0e−ct .
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 106: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/106.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Általános hatványsor
Taylor-sorok (késobbi származtatás)
f (x) = a0 + a1x + a2x2 + · · ·+ anxn + · · ·+eseténTagonkéni differenciálás (heurisztikus)
an =f (n)(0)
n!Példa. Exponenciális fügvény hatványsora
ex = 1 + x +x2
2+ · · ·+ xn
n!+ · · ·
Függvény-táblázatkészítés mechanikussá vált
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 107: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/107.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Általános hatványsor
Taylor-sorok (késobbi származtatás)
f (x) = a0 + a1x + a2x2 + · · ·+ anxn + · · ·+esetén
Tagonkéni differenciálás (heurisztikus)
an =f (n)(0)
n!Példa. Exponenciális fügvény hatványsora
ex = 1 + x +x2
2+ · · ·+ xn
n!+ · · ·
Függvény-táblázatkészítés mechanikussá vált
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 108: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/108.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Általános hatványsor
Taylor-sorok (késobbi származtatás)
f (x) = a0 + a1x + a2x2 + · · ·+ anxn + · · ·+eseténTagonkéni differenciálás (heurisztikus)
an =f (n)(0)
n!
Példa. Exponenciális fügvény hatványsora
ex = 1 + x +x2
2+ · · ·+ xn
n!+ · · ·
Függvény-táblázatkészítés mechanikussá vált
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 109: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/109.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Általános hatványsor
Taylor-sorok (késobbi származtatás)
f (x) = a0 + a1x + a2x2 + · · ·+ anxn + · · ·+eseténTagonkéni differenciálás (heurisztikus)
an =f (n)(0)
n!Példa. Exponenciális fügvény hatványsora
ex = 1 + x +x2
2+ · · ·+ xn
n!+ · · ·
Függvény-táblázatkészítés mechanikussá vált
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 110: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/110.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Érett változat
Általános hatványsor
Taylor-sorok (késobbi származtatás)
f (x) = a0 + a1x + a2x2 + · · ·+ anxn + · · ·+eseténTagonkéni differenciálás (heurisztikus)
an =f (n)(0)
n!Példa. Exponenciális fügvény hatványsora
ex = 1 + x +x2
2+ · · ·+ xn
n!+ · · ·
Függvény-táblázatkészítés mechanikussá váltSimonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 111: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/111.jpg)
Motiváció Elozmények A születési folyamat Utóélet
4. UTÓÉLET
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 112: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/112.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Elsobbségi vita
1670 Newton kéziratban körözi saját kalkulusát
1672/1676: Leibniz sikertelenül próbál kapcsolatotteremteni a bizalmatlan Newtonnal1684: Leibniz anélkül publikálja folyóiratban sajáteredményeit, hogy utalna Newtonnal való levelezésére1687: Newton könyvként publikálja a Principiát, ahol elrejtizseniális módszerét
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 113: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/113.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Elsobbségi vita
1670 Newton kéziratban körözi saját kalkulusát1672/1676: Leibniz sikertelenül próbál kapcsolatotteremteni a bizalmatlan Newtonnal
1684: Leibniz anélkül publikálja folyóiratban sajáteredményeit, hogy utalna Newtonnal való levelezésére1687: Newton könyvként publikálja a Principiát, ahol elrejtizseniális módszerét
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 114: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/114.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Elsobbségi vita
1670 Newton kéziratban körözi saját kalkulusát1672/1676: Leibniz sikertelenül próbál kapcsolatotteremteni a bizalmatlan Newtonnal1684: Leibniz anélkül publikálja folyóiratban sajáteredményeit, hogy utalna Newtonnal való levelezésére
1687: Newton könyvként publikálja a Principiát, ahol elrejtizseniális módszerét
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 115: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/115.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Elsobbségi vita
1670 Newton kéziratban körözi saját kalkulusát1672/1676: Leibniz sikertelenül próbál kapcsolatotteremteni a bizalmatlan Newtonnal1684: Leibniz anélkül publikálja folyóiratban sajáteredményeit, hogy utalna Newtonnal való levelezésére1687: Newton könyvként publikálja a Principiát, ahol elrejtizseniális módszerét
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 116: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/116.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Prioritási vita/2
1700: Megindul a harc Newton és Leibniz tanítványai,majd maguk a mesterek között.
1712: A brit akadémia „pártatlan” véleményét a társaságelnöke, Newton írja.1716: Leibniz halála után a brit matematika 100 éviglemarad, mert nem veszi át a leibnizi jelöléseket.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 117: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/117.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Prioritási vita/2
1700: Megindul a harc Newton és Leibniz tanítványai,majd maguk a mesterek között.1712: A brit akadémia „pártatlan” véleményét a társaságelnöke, Newton írja.
1716: Leibniz halála után a brit matematika 100 éviglemarad, mert nem veszi át a leibnizi jelöléseket.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 118: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/118.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Prioritási vita/2
1700: Megindul a harc Newton és Leibniz tanítványai,majd maguk a mesterek között.1712: A brit akadémia „pártatlan” véleményét a társaságelnöke, Newton írja.1716: Leibniz halála után a brit matematika 100 éviglemarad, mert nem veszi át a leibnizi jelöléseket.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 119: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/119.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Irodalmi utóélet
Voltaire élettársnojével együtt lefordítja Newton Principiájátlatinról franciára
Gyulöli Leibnizt, róla mintázza Candide PanglosátSwift haragszik Newtonra, mint a pénzverde vezetojére, ésa Gulliver utazásaiban kigúnyolja a Newtonhoz hasonlófizikusokat
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 120: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/120.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Irodalmi utóélet
Voltaire élettársnojével együtt lefordítja Newton Principiájátlatinról franciáraGyulöli Leibnizt, róla mintázza Candide Panglosát
Swift haragszik Newtonra, mint a pénzverde vezetojére, ésa Gulliver utazásaiban kigúnyolja a Newtonhoz hasonlófizikusokat
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 121: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/121.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Irodalmi utóélet
Voltaire élettársnojével együtt lefordítja Newton Principiájátlatinról franciáraGyulöli Leibnizt, róla mintázza Candide PanglosátSwift haragszik Newtonra, mint a pénzverde vezetojére, ésa Gulliver utazásaiban kigúnyolja a Newtonhoz hasonlófizikusokat
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 122: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/122.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Voltaire
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 123: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/123.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Swift
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 124: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/124.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Prioritásvita a prioritásvitán belül
Leibniz két bulldogja: Jakob és Johann Bernoulli (Bázel)
Johann eladja saját eredményeit l’Hôpital márkinak,aki 1696-ban (!) névtelenül közli azokat a világ elsokalkulus-tankönyvébenl’Hôpital-szabály: megfelelo feltételek esetén, ha f (a) = 0és g(a) = 0, akkor
limx→a
f (x)g(x)
= limx→a
f ′(x)g′(x)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 125: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/125.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Prioritásvita a prioritásvitán belül
Leibniz két bulldogja: Jakob és Johann Bernoulli (Bázel)Johann eladja saját eredményeit l’Hôpital márkinak,
aki 1696-ban (!) névtelenül közli azokat a világ elsokalkulus-tankönyvébenl’Hôpital-szabály: megfelelo feltételek esetén, ha f (a) = 0és g(a) = 0, akkor
limx→a
f (x)g(x)
= limx→a
f ′(x)g′(x)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 126: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/126.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Prioritásvita a prioritásvitán belül
Leibniz két bulldogja: Jakob és Johann Bernoulli (Bázel)Johann eladja saját eredményeit l’Hôpital márkinak,aki 1696-ban (!) névtelenül közli azokat a világ elsokalkulus-tankönyvében
l’Hôpital-szabály: megfelelo feltételek esetén, ha f (a) = 0és g(a) = 0, akkor
limx→a
f (x)g(x)
= limx→a
f ′(x)g′(x)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 127: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/127.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Prioritásvita a prioritásvitán belül
Leibniz két bulldogja: Jakob és Johann Bernoulli (Bázel)Johann eladja saját eredményeit l’Hôpital márkinak,aki 1696-ban (!) névtelenül közli azokat a világ elsokalkulus-tankönyvébenl’Hôpital-szabály: megfelelo feltételek esetén, ha f (a) = 0és g(a) = 0, akkor
limx→a
f (x)g(x)
= limx→a
f ′(x)g′(x)
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 128: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/128.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Jakob
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 129: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/129.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Johann
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 130: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/130.jpg)
Motiváció Elozmények A születési folyamat Utóélet
5. KÖVETKEZTETÉSEK
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 131: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/131.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Következtetések
évszázados lassú haladás után egy-két évtized alattmegszületik a kalkulus
a görög szabatosságról való lemondás lehetové teszi azáltalánosságot,200 év alatt rengeteg vita (Berkeley dx = 0),legnagyobb probléma: a (Fourier-)sorok konvergenciájagyoz a szabatosság (Cauchy), de megmarad azáltalánosságRobinson (1960): nem sztenderd analízis visszahelyezijogaiba a kalkulust, de bonyolultsága miatt mégsem terjedel.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 132: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/132.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Következtetések
évszázados lassú haladás után egy-két évtized alattmegszületik a kalkulusa görög szabatosságról való lemondás lehetové teszi azáltalánosságot,
200 év alatt rengeteg vita (Berkeley dx = 0),legnagyobb probléma: a (Fourier-)sorok konvergenciájagyoz a szabatosság (Cauchy), de megmarad azáltalánosságRobinson (1960): nem sztenderd analízis visszahelyezijogaiba a kalkulust, de bonyolultsága miatt mégsem terjedel.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 133: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/133.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Következtetések
évszázados lassú haladás után egy-két évtized alattmegszületik a kalkulusa görög szabatosságról való lemondás lehetové teszi azáltalánosságot,200 év alatt rengeteg vita (Berkeley dx = 0),
legnagyobb probléma: a (Fourier-)sorok konvergenciájagyoz a szabatosság (Cauchy), de megmarad azáltalánosságRobinson (1960): nem sztenderd analízis visszahelyezijogaiba a kalkulust, de bonyolultsága miatt mégsem terjedel.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 134: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/134.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Következtetések
évszázados lassú haladás után egy-két évtized alattmegszületik a kalkulusa görög szabatosságról való lemondás lehetové teszi azáltalánosságot,200 év alatt rengeteg vita (Berkeley dx = 0),legnagyobb probléma: a (Fourier-)sorok konvergenciája
gyoz a szabatosság (Cauchy), de megmarad azáltalánosságRobinson (1960): nem sztenderd analízis visszahelyezijogaiba a kalkulust, de bonyolultsága miatt mégsem terjedel.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 135: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/135.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Következtetések
évszázados lassú haladás után egy-két évtized alattmegszületik a kalkulusa görög szabatosságról való lemondás lehetové teszi azáltalánosságot,200 év alatt rengeteg vita (Berkeley dx = 0),legnagyobb probléma: a (Fourier-)sorok konvergenciájagyoz a szabatosság (Cauchy), de megmarad azáltalánosság
Robinson (1960): nem sztenderd analízis visszahelyezijogaiba a kalkulust, de bonyolultsága miatt mégsem terjedel.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 136: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/136.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Következtetések
évszázados lassú haladás után egy-két évtized alattmegszületik a kalkulusa görög szabatosságról való lemondás lehetové teszi azáltalánosságot,200 év alatt rengeteg vita (Berkeley dx = 0),legnagyobb probléma: a (Fourier-)sorok konvergenciájagyoz a szabatosság (Cauchy), de megmarad azáltalánosságRobinson (1960): nem sztenderd analízis visszahelyezijogaiba a kalkulust, de bonyolultsága miatt mégsem terjedel.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 137: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/137.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Cauchy
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 138: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/138.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Pénzügyi alkalmazások-1
Weierstrass (1860 körül): Mindenütt folytonos, seholsemdifferenciálható függvény (Brown-mozgás)
f0: házteto-fv a [0,1] szakaszon, 1/2 körülf1: 2 házteto-fv, 1/4 és 3/4 körül
f (x) = f0 +12
f1 + · · ·
egyenletesen konvergál egy Brown-mozgáshoz
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 139: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/139.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Pénzügyi alkalmazások-1
Weierstrass (1860 körül): Mindenütt folytonos, seholsemdifferenciálható függvény (Brown-mozgás)f0: házteto-fv a [0,1] szakaszon, 1/2 körül
f1: 2 házteto-fv, 1/4 és 3/4 körül
f (x) = f0 +12
f1 + · · ·
egyenletesen konvergál egy Brown-mozgáshoz
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 140: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/140.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Pénzügyi alkalmazások-1
Weierstrass (1860 körül): Mindenütt folytonos, seholsemdifferenciálható függvény (Brown-mozgás)f0: házteto-fv a [0,1] szakaszon, 1/2 körülf1: 2 házteto-fv, 1/4 és 3/4 körül
f (x) = f0 +12
f1 + · · ·
egyenletesen konvergál egy Brown-mozgáshoz
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 141: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/141.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Pénzügyi alkalmazások-1
Weierstrass (1860 körül): Mindenütt folytonos, seholsemdifferenciálható függvény (Brown-mozgás)f0: házteto-fv a [0,1] szakaszon, 1/2 körülf1: 2 házteto-fv, 1/4 és 3/4 körül
f (x) = f0 +12
f1 + · · ·
egyenletesen konvergál egy Brown-mozgáshoz
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 142: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/142.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Weierstrass
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 143: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/143.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Pénzügyi alkalmazások-2
Modern valószínuségszámítás elképzelhetetlen amértékelmélet nélkül
Lebesgue-integrál (1902)Dirichlet-függvénynek nincs Riemann-integráljade van Lebesque-integrálja: 0
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 144: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/144.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Pénzügyi alkalmazások-2
Modern valószínuségszámítás elképzelhetetlen amértékelmélet nélkülLebesgue-integrál (1902)
Dirichlet-függvénynek nincs Riemann-integráljade van Lebesque-integrálja: 0
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 145: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/145.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Pénzügyi alkalmazások-2
Modern valószínuségszámítás elképzelhetetlen amértékelmélet nélkülLebesgue-integrál (1902)Dirichlet-függvénynek nincs Riemann-integrálja
de van Lebesque-integrálja: 0
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 146: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/146.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Pénzügyi alkalmazások-2
Modern valószínuségszámítás elképzelhetetlen amértékelmélet nélkülLebesgue-integrál (1902)Dirichlet-függvénynek nincs Riemann-integráljade van Lebesque-integrálja: 0
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 147: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/147.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Riemann
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 148: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/148.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Lebesgue
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése
![Page 149: A kalkulus születése · kiemelkedo tudományszervez˝ o: akadémiák és folyóiratok˝ szervezése muk˝ edvelo matematikus, automatizált számolás, találó˝ jelölések Simonovits](https://reader033.vdocuments.net/reader033/viewer/2022052804/604cee2fae485a7e051f88b5/html5/thumbnails/149.jpg)
Motiváció Elozmények A születési folyamat Utóélet
Irodalom I
Simonyi Károly (1980): A fizika kultúrtörténete.
Simonovits András (2009): Válogatott fejezetek amatematika történetébol.
Simonovits András MTA KTI, BME MI, CEU ED
A kalkulus születése