¥ IV Infinitesimal. ¥ IV Infinitesimal Exhaustion Astronom und Mathematiker Eudoxos von Knidos ( ) Astronom und Mathematiker Mit 23 Jahren.

Präsentation zum Thema: "¥ IV Infinitesimal. ¥ IV Infinitesimal Exhaustion Astronom und Mathematiker Eudoxos von Knidos ( ) Astronom und Mathematiker Mit 23 Jahren."—  Präsentation transkript:

1

2 IV Infinitesimal

3 Exhaustion Astronom und Mathematiker
Eudoxos von Knidos ( ) Astronom und Mathematiker Mit 23 Jahren für zwei Monate Schüler Platons. Auch in Ägypten mit Platon zusammen. Später mit zahlreichen Schülern Aufenthalt in Athen in Platons Akademie. Aristophanes ( ): Die Wolken, Vers 1005: In Akademos' heil'gem Olivenhain wirst du im Schatten lustwandeln, Lichtgrünes Schilflaub umkränzt dir das Haar, und zur Seite geht sittsam ein Freund dir, Und es duftet vom Geißblatt und Feiertag und vom Silberlaube der Pappeln, Wenn sich selig im Frühlingsschimmer vermählt das Flüstern von Ulm' und Platane.

4 Exhaustion Astronom und Mathematiker
Eudoxos von Knidos ( ) Astronom und Mathematiker Mit 23 Jahren für zwei Monate Schüler Platons. Auch in Ägypten mit Platon zusammen. Später mit zahlreichen Schülern Aufenthalt in Athen in Platons Akademie. Würfelverdopplung mit einer Bogenlinie (verlorengegangen) Himmelseinteilung in Sternbilder Proportionenlehre unter Einbeziehung des Irrationalen Volumen von Pyramide und Kegel mittels Exhaustion

5 Berührungslinie und Fläche mittels Exhaustion.
Archimedes ( ) Schneckenlinie: Drehung einer Geraden, auf der ein Punkt mit konstanter Geschwindigkeit läuft. Berührungslinie und Fläche mittels Exhaustion. VZyl = 2pr3 VSph = (4/3)pr3 (Archimedes) VKon = (2/3)pr3 (Demokrit, Eudoxos)

6 Kugeloberfläche = 4 * Großkreisfläche pr2
Kugeloberfläche = 2/3 * Zylinderoberfläche (2*pr2 + 2pr*2r) VZyl = 2pr3 VSph = (4/3)pr3 (Archimedes) VKon = (2/3)pr3 (Demokrit, Eudoxos)

7 Kugeloberfläche = 4 * Großkreisfläche pr2
Kugeloberfläche = 2/3 * Zylinderoberfläche (2*pr2 + 2pr*2r) Berechnung der Zahl p aus dem 96-eck: 3 + 1/7 > p > /71 3, > 3, > 3,

8 Exhaustion x2 a2 a x Eudoxos Archimedes (410 – 355) (287 – 121)
(410 – 355) (287 – 121) a2 A = a3/2 A = A/4 A = A/4 A a x

9 Indivisiblen Bonaventura Cavalieri Galileo Galilei Johannes Kepler
( ) ( ) ( ) Nach dem Exhaustionsverfahren wurde die Methode der Indivisiblen von Galilei, Kepler und vor allem von Bonaventura Cavalieri in der ersten Hälfte des 17. Jhd. zur Bestimmung zahlreicher Flächen und Körper entwickelt. gleiche Höhe, gleiche Breiten  gleiche Fläche Geometria indivisibilibus continuorum (1635) Cavalieri, Mitglied des Jesuatenordens, schreibt stets sehr respektvoll an Galilei, geht aber weit über Galilei hinaus, ist systematischer. Indivisiblen von Linien sind Linien. Indivisiblen von Flächen sind Flächen. Indivisiblen von Körpern sind Körper. Evangelista Torricelli ( ) dehnt Cavalieris Methode auf die krummen Unteilbaren aus. Weitere Beiträge dazu lieferten: Pascal, Roberval ( ), Wallis.

10 Indivisiblen VZyl = VSph + Vkon Beweis nach Bonaventura Cavalieri
( ) r h r r2 = r2 - h2

11 pr2 + ph2 = pr2 Indivisiblen VZyl = VSph + Vkon Beweis nach
Bonaventura Cavalieri ( ) pr2 + ph2 = pr2 h h r2 = r2 - h2

12 Exhaustion Indivisiblen
Analogie zur Untersumme der Integralrechnung. Die dort verwendeteten infinitesimalen Größen, die Differentiale "streben" gegen Null. Annahme von unendlich vielen diskreten Indivisiblen: "Atome" der Fläche oder des Volumens Das Kontinuum ist der "Fluxus" der Indivisiblen.

13 Diese Form der Unendlichkeit wurde vielfach scharf angegriffen.
Bishop George Berkeley ( ) They are neither finite qantities, nor quantities infinitely small, nor yet nothing. May we not call them the ghosts of departed quantities? Analogie zur Untersumme der Integralrechnung. Die dort verwendeteten infinitesimalen Größen, die Differentiale "streben" gegen Null. Annahme von unendlich vielen diskreten Indivisiblen: "Atome" der Fläche oder des Volumens Das Kontinuum ist der "Fluxus" der Indivisiblen.

14 f(x) f(x) x x Berhard Riemann (1826 – 1866) Henri Lebesgue
(1875 – 1941) Obersumme Untersumme x x

15 Anfänge der Differentialrechnung
Pierre de Fermat ( ) Dichtete in Latein, Griechisch, Italienisch, Spanisch Studium der Rechte, vermutlich in Bordeaux leitender Richter in Toulouse Begründer der modernen Zahlentheorie 1652 an Pest erkrankt, totgesagt, wieder genesen Grabsteininschrift (Castres): Starb im Alter von 57 Jahren Mathematisches Reihensummierung, Binomialkoeffizienten, Wahrscheinlichkeitstheorie, Vollständige Induktion, Extremwertaufgaben, Zahlentheorie: Primzahlen, vollkommene Zahlen Löste virtuos Aufgaben wie: Gibt es eine vollkommene Zahl zwischen 1020 und 1022 ?

16 Extremwertaufgaben (1629)
B ist in zwei Teile zu zerlegen, welche das größte Produkt ergeben: A und B - A A + E und B - A - E A(B - A) = (A + E)(B - A - E)  0 = E(B - 2A -E)  0 = B - 2A - E (E  0)  0 = B - 2A Im Ergebnis: [{F(A+E) - F(A)} / E]E=0 = 0 oder dF(A)/dA = 0 Erfindung der Differentialrechnung 35 Jahre vor Newton.

17 Infinitesimalrechnung (Calculus)
Sir Isaac Newton ( ) Gottfried Wilhelm Leibniz ( )

18

19 Sir Isaac Newton ( ) Prof. für Mathematik in Cambridge sehr wenige Studenten mit noch weniger Verständnis nicht kleinste Teilchen dx angenommen, sondern Wachstum wie in der Natur. Differentiation / Integration von axm/n, area xp = xp+1/(p+1), Newton-Verfahren Krümmung sehr vieler Kurven berechnet Wendepunkte keine Produktregel keine Quotientenregel

20 Gottfried Wilhelm Leibniz (1646 - 1716)
Vater: Leibnütz, Notar und Professor der Moral, Familie aus Polen eingewandert in Druckschriften: Leibnuzius, Leibnitius, Unterschrift: Leibniz, selten Leibnitz Geschwür am Hinterkopf zwingt zur Perücke. Studium (mit 15 Jahren begonnen): Rechte, Philosophie, Logik, Mathematik (höchst elementar) in Leipzig und Jena 1664 Magister phil. 1665 Baccalaureus jur. 1667, Altdorf bei Nürnberg: Doktor beider Rechte sofort ergangenes Professurangebot abgelehnt.

21 1672 Kurmainzischer Gesandter in Paris (Zentrum der Wissenschaft), wollte Ludwig XIV. zur Eroberung Ägyptens anstiften, um Druck vom Reich abzuwenden. (1 + -3)1/2 + (1 - -3)1/2 = 6 Erstes Modell seiner Rechenmaschine (+,-,*,:). Immer wieder daran gearbeitet Taler ausgegeben. (Problem: Zehnerübertragung) 1673 der Royal Soc. London vorgeführt: dafür Mitglied geworden. Keine Stelle bei der Académie Royale des Science, obwohl schon der 25-jährige nach eigenen Worten größte Erfindungen gemacht hat, u.a. U-Boot (gut gegen Sturm und Seeräuber) verbesserte Linse Rechenmaschine Universalsprache: "das Importanteste, was der Menschengeist zur Beförderung der Wissenschaften unternehmen kann" Erdbewegung streng bewiesen

22 1676 Hannover: Hofrat und Bibliothekar
Binäres Zahlensystem (Dyadik) entwickelt und für Rechenmaschinen empfohlen Symbole der Logik entwickelt 1684 Veröffentlichung des Calculus samt Einführung des Divisionszeichens : Im Briefwechsel mit Johann Bernoulli erstmals: dy/dx, ydx 1686 Krümmungskreis, Integralzeichen im Druck 1695 d(xn) = nxn-1dx d(ax) = ax lna dx Gebrauch des unendlich Kleinen (Infinitesimalrechnung) und auch des unendlich Großen (Summe der harmonischen Reihe)

23 falls Guillaume de l'Hospital (1661 - 1704)
Analyse des infinement petits (1696) erstes Lehrbuch der Analysis f = x2 falls

24 Leonhard Euler ( ) n! für alle reellen Zahlen verallgemeinert: Zweites Eulersches Integral G(n+1) = nG(n) = n! = G(x+1) = xG(x) =

25

26 Leonhard Euler ( ) n! für alle reellen Zahlen verallgemeinert: Zweites Eulersches Integral Dort auch p (eingeführt von Jones) verwandt. Unendlich, zunächst mit i oder dem liegenden S abgekürzt, später mit : Größe, zu der man durch ohne Ende angehäufte Zuwächse gelangt 2, (+1)/2, log G(n+1) = nG(n) = n! = G(x+1) = xG(x) =

27 Institutiones calculi differentialis (1755)
behandelt Rechnen mit endlichen Differenzen Dx. Differentialrechnung ist Spezialfall für unendlich kleines Dx = dx. arithmetische Gleichheit: a-b = 0 geometrische Gleichheit: a/b = 1 dx, dy sind arithmetisch gleich. dx = dy = 0, aber geometrisch meistens ungleich: dy/dx  1 a/dx2 quantitas infinita infinities maior quam a/dx

28 Zenon von Elea ( ) Das wahre Sein entzieht sich dem messenden Erfassen. Es gibt keine Bewegung: Der fliegende Pfeil Die halbe Strecke Achilles und die Schildkröte Es gibt kein Geräusch: Der Sack voll Hirse. 1) Es müssen notwendig gerade so viele Dinge sein, als eben wirklich sind, weder mehr noch weniger. Wenn aber so viele Dinge sind, als eben sind, dann sind sie der Zahl nach begrenzt. 2) Es gibt stets andere Dinge zwischen diesen Dingen und wieder andere zwischen jenen. Und damit sind die seienden Dinge der Zahl nach unbegrenzt. Raum, Vielheit und Teilbarkeit sind nicht widerspruchsfrei in Begriffe zu fassen.

29 mit seinem Schüler Alexander
Aristoteles ( ) mit seinem Schüler Alexander Kontinuumslehre führt zu Problemen bei Bewegung: Im Anfangspunkt müßte Ruhe und beginnende Bewegung zugleich sein. Widerspruch, da ein und dasselbe ist und nicht ist. Mit Eudoxos von Knidos ( ) und Parmenides von Elea ( ) lehnt Aristoteles die Zusammensetzung des Kontinuums aus Unteilbaren ab. Die Grenzen benachbarter Teilstücke müssen zusammenfallen. Die Unteilbaren haben aber keine Enden und Teile. Somit kann auch nichts zu einem Kontinuum zusammenwachsen. Das Kontinuum kann nur in stets wieder teilbare Stücke geteilt werden (potentielle Unendlichkeit). Hier folgt Aristoteles Anaxagoras (ca ). Nicht jedoch bei der konkreten Materie.

30 Georg Wilhelm Friedrich Hegel (1770 - 1831)
1. Die einzelnen Einheiten, aus denen sich die Vielheit zusammensetzt, dürfen keine Größe haben. 2. Wenn sie keine Größe haben, existieren sie nicht. 3. Da aber ihre Existenz angenommen wird, müssen sie eine Größe haben. Die Vorderseite muß einen Abstand von der Rückseite haben. Dies gilt aber auch für die Vorder- bzw. Rückseite selbst, also gibt es weiter nach vorn bzw. hinten liegende Teile - ad infinitum. 4. Akzeptiert man die Annahme von Vielheiten, so folgt daraus, daß die Einheiten einerseits so klein sind, daß sie keine Größe haben, andererseits so groß, daß sie unbegrenzt sind.

31 Robert Grosseteste (1168 - 1253)
Prof. und Kanzler in Oxford Bishop of Lincoln Lehrer von Roger Bacon Geometrie, Optik, Astronomie Das aktual Unendliche ist eine definite Zahl. Es gibt mehr Momente in einem großen Zeitintervall als in einem kleinen, mehr Punkte in einer großen Strecke als in einer kleinen. The number of points in a segment one ell long is its true measure.

32 Bonaventura Cavalieri (1598 - 1647)
Das Kontinuum wird durch Bewegung seiner Unteilbaren erzeugt. Diese fluentistische Auffassung geht nach Aristoteles auf die Pythagoreer zurück; sie wurde auch von Descartes, Torricelli, Roberval, und insbesondere von Newton vertreten. Bonaventura Cavalieri ( ) Die Unteilbaren bilden eine (echte oder unechte?) Untermenge des Kontinuums. Galileo Galilei ( ) Discorsi e dimonstrationi mathematiche intorno a due nuove scienze (Mechanik und Fallgesetze betreffend) Das Kontinuum besteht aktual aus unendlich vielen Unteilbaren (non quanti), neben denen der Geometrie (z. B. die Punkte) und der Materie (Atome) auch solchen des Vakuums. Das Kontinuum besteht aus "non vacui" und "vacui".

33 Gottfried Wilhelm Leibniz (1646 - 1716)
Es gibt zwei berühmte Labyrinthe, in denen sich die menschliche Vernunft oft verwirrt. Das eine betrifft die große Frage der Freiheit und Notwendigkeit, das andere besteht in der Erörterung der Kontinuität, womit auch das Problem des Unendlichen eng zusammenhängt. Immanuel Kant ( ) größter deutscher Philosoph Kritik der reinen Vernunft Die Eigenschaft der Größen, nach welcher an ihnen kein Theil der kleinstmögliche ist, heißt Continuität derselben. Raum und Zeit sind quanta continua ...

34