Geometria (Kartezjusz)

traktat wprowadzający geometrię analityczną

Geometria (La Géometrie) – traktat francuskiego filozofa René Descartes’a[1], który był jedynym traktatem matematycznym wydanym za jego życia[1]. Geometria jest uznawana za jedno z najważniejszych dzieł w historii całej matematyki[2].

Początek pierwszej edycji Geometrii Kartezjusza (1637)
Strona tytułowa pierwszego łacińskiego tłumaczenia Geometrii (1649)

Historia powstania dzieła i jego znaczenie dla nauki edytuj

Dzieło zostało wydane początkowo w roku 1637 jako fragment szerszego dzieła: Rozprawa o Metodzie, w celu prawidłowego kierowania swym rozumem i poszukiwania prawdy w naukach oraz Dioptryka, Meteory i Geometria, które są esejami tej metody[a][1] (oryg. Discours de la Méthode pour bien conduire sa raison, et chercher la vérité dans les sciences, plus la Dioptique, les Météores et la Géometrie qui sont des essais de cette Méthode)[1][3]. Jednak bardzo szybko Geometria stała się osobnym traktatem[1][4]. Od początku była postrzegana jako odrębne dzieło[5]. Już w łacińskim tłumaczeniu Etinne’a de Courcelles’a Rozprawy o Metodzie z 1644 roku nie pojawił się esej Geometria, który został przetłumaczony i opublikowany osobno w roku 1649 (tłumaczem na łacinę był van Schooten)[1][4]. Jeszcze silniejsze oddzielenie nastąpiło w XIX wieku – Rozprawa o Metodzie została potraktowana jako dzieło z zakresu filozofii, a Geometria (oraz Dioptryka i Meteory) zyskały status traktatu naukowego[5]. Pod względem formy dzieło to jest esejem, pod względem treści – rozprawą[4].

Pierwsza edycja traktatu zawierała dużo błędów drukarskich[1]. Mimo to spotkała się z bardzo dużym odzewem ówczesnego świata naukowego[1]. Stanowiła źródło nowoczesnej wiedzy matematycznej również w epokach późniejszych – z dzieła tego korzystali m.in. wybitni naukowcy, np.: Desargues, Huygens, Newton, Leibniz, d’Alambert, Comte[4][5].

Obecnie Geometria jest stawiana obok Elementów Euklidesa, Philosophiæ naturalis principia mathematica Izaaka Newtona oraz Introductio in analysin infinitorum Leonharda Eulera, jako jedno z najważniejszych dzieł w historii matematyki[2].

Budowa traktatu edytuj

Traktat La Géometrie składa się z trzech ksiąg[6].

Księga I
O problemach, w których linie proste i okręgi wystarczą do przeprowadzenia konstrukcji[7]
W księdze I Kartezjusz definiuje arytmetykę odcinków, używa nowych technik w konstruowaniu pierwiastków trójmianu kwadratowego oraz przedstawia rozwiązanie problemu Pappusa, polegającego na wyznaczeniu „miejsca” punktów leżących w określonej odległości od danych linii prostych i spełniających pewne dodatkowe warunki[6].
Księga II
O naturze linii krzywych[8]
Księga II jest najobszerniejszą częścią Geometrii[9]. W księdze II Kartezjusz zajmuje się równaniami krzywych, tworzy podział na różne rodzaje krzywych[9]. Opisuje także metodę wyznaczania stycznych do krzywych algebraicznych[9].
Księga III
O konstrukcji zagadnień, które są bryłami i nadbryłami[10]
Księga III poświęcona jest konstruowaniu pierwiastków wielomianów za pomocą stożkowych oraz paraboli sześciennej[11]. W księdze III Kartezjusz przy pomocy paraboli dokonuje trysekcji kąta, konstrukcji trzeciej proporcjonalnej oraz konstrukcji pierwiastków równań trzeciego i czwartego stopnia, a przy pomocy paraboli sześciennej – konstrukcji pierwiastków równań piątego i szóstego stopnia[6].

Znaczące odkrycia matematyczne dokonane w Geometrii edytuj

 
Jedna z konstrukcji Kartezjusza
 
Ilustracja z traktatu Kartezjusza, dotycząca problemu Pappusa

Kartezjusz w Geometrii dokonał także wielu matematycznych odkryć, między innymi:

  • wprowadził pojęcie wielkości zmiennej i funkcji[12];
  • znacznie usprawnił metody rozwiązywania równań zaproponowane przez Cardana w Artis Magnæ, pokazał jak za pomocą konstrukcji rozwiązać równania kwadratowe[15][16];

Pozostaje jeszcze zauważyć, że ten sposób wyrażania wartości pierwiastków przez ich stosunek do boków pewnych sześcianów, których znamy jedynie objętość, nie jest w niczym bardziej rozumny, ani prostszy, niż wyrażenie ich przez stosunek, jaki mają do cięciw pewnych łuków lub części kół, dla których dane jest potrojenie, tak że wszystkie te równania sześcienne, które nie mogą być wyrażone przy pomocy reguły Cardana, mogą być wyrażone tak samo lub jaśniej przez zaproponowany tu sposób.

Wszystkie problemy geometrii da się łatwo sprowadzić do takich wyrażeń, że wystarczy znać długości pewnych linii prostych, aby przeprowadzić ich konstrukcje.

[7] (jest to pierwsze zdanie traktatu Geometria)

(...) zarówno prawdziwe, jak i fałszywe pierwiastki nie są zawsze rzeczywiste, a czasem tylko urojone, co oznacza, że w każdym równaniu można zawsze wyobrazić sobie ich tyle, ile wymieniłem. Zdarza się jednak, że nie ma żadnej wielkości odpowiadającej tym urojonym, w ten sposób znowu możemy sobie wyobrazić trzy w tym,

 

ale tylko jeden jest rzeczywisty,   zaś dwa pozostałe, powiększane, pomniejszane lub mnożone w przedstawiony przeze mnie sposób, pozostaną urojone.

  • odkrył, że prosta oraz krzywe są obiektami złożonymi z punktów[3][22] (wiążąc ruch z równaniem algebraicznym wprowadził myśl, że ruch jest tworem punktowym)[23];

Wszystkie punkty tych [krzywych], które można nazwać geometrycznymi, to znaczy te, które podpadają pod dokładną i ścisłą miarę, z konieczności mają jakiś związek z wszystkimi punktami linii prostej, który można wyrazić pewnym równaniem, tym samym dla wszystkich [punktów]

W tym zdaniu, pierwszy raz w historii matematyki, linia jest pojęta jako obiekt złożony z punktów[24]. Sam Kartezjusz nie był świadom przełomu, jakiego dokonał w matematycznym opisie ruchu, i nigdzie w Geometrii nie zostało wprost powiedziane, że linia krzywa „składa się” z punktów[22].
  • powiązał krzywą z odpowiednim wielomianem (odkrył pojęcie równania krzywej)[25][26];
    • Kartezjusz najpierw zauważył, że równanie krzywej będzie musiało mieć dwie niewiadome, ponieważ muszą związać ze sobą punkt na prostej z punktem na krzywej[25]

(...) potrzeba dwóch do wyjaśnienia stosunku jednego punktu do drugiego

  • Następnie Kartezjusz zauważył, że skoro wszystkie punkty krzywej są opisane tym samym równaniem:   to znaczy, że na krzywej tej nie ma żadnych innych punktów[25]. W taki sposób Kartezjusz powiązał krzywą geometryczną z równaniem wielomianowym[25].
  • przedstawił konstrukcje klasyczne i nieklasyczne różnych obiektów[27];
  • skonstruował parabolę Kartezjusza[28];
  • dokonał odkryć z zakresu teorii proporcji[29];
  • szczegółowo omówił tzw. zagadnienie Pappusa[30].

Podział krzywych według Kartezjusza edytuj

René Descartes podzielił krzywe na:

Podział taki jest znany również współcześnie – krzywe mechaniczne nazywa się krzywymi transcendentalnymi, a krzywe geometryczne – krzywymi algebraicznymi[31].

Rewolucja w zakresie notacji i symboli matematycznych edytuj

W Geometrii oprócz wybitnych rozwiązań matematycznych Kartezjusz wprowadził wiele rozstrzygnięć w sprawie oznaczeń matematycznych[32], przykładowo:

  • symbol potęgi[32][33] (wcześniej potęgi opisywane były słownie)[33];
  • małe litery z początku alfabetu używane jako stałe   małe litery z końca alfabetu używane jako niewiadome  [32][34][33];
  • symbol pierwiastka kwadratowego jako połączenie symbolu √ (tzw. surd) oraz kreski poziomej nad wyrażeniem[32][33].

Ciekawostki edytuj

W Geometrii Kartezjusza, zamiast tradycyjnego symbolu równości   na oznaczenie równości przyjęto znak  [33][32]. Według jednych historyków był to „przewrócony” symbol  , powszechnie w tamtych czasach stosowany w warsztatach drukarskich wydających prace z astronomii, oznaczający gwiazdozbiór Byka[33][32]. Według innych historyków są to odwrócone pierwsze litery łacińskiego słowa æqualis (równy)[33][32].

Zobacz też edytuj

Uwagi edytuj

  1. Inna wersja polskiego tytułu: Rozprawa o Metodzie, aby dobrze kierować swym rozumem i szukać prawdy w naukach, oraz Dioptryka, Meteory i Geometria, które są esejami tej Metody, Mrówka i Błaszczyk 2010 ↓, s. 51.

Przypisy edytuj

  1. a b c d e f g h Geometria ↓, s. 12.
  2. a b Geometria (ks. 2) ↓, s. 439.
  3. a b Mrówka i Błaszczyk 2010 ↓, s. 51.
  4. a b c d Mrówka i Błaszczyk 2010 ↓, s. 52.
  5. a b c Geometria ↓, s. 13.
  6. a b c Mrówka i Błaszczyk 2014 ↓, s. VI.
  7. a b Geometria ↓, s. 297.
  8. Geometria ↓, s. 315.
  9. a b c Geometria ↓, s. 216.
  10. Geometria ↓, s. 369.
  11. Geometria ↓, s. 264.
  12. a b c Encyklopedia PWN 1983 ↓, s. 598.
  13. Encyklopedia PWN 1984 ↓, s. 42.
  14. Kordos 2010 ↓, s. 149.
  15. Mrówka i Błaszczyk 2010 ↓, s. 53.
  16. Geometria ↓, s. 279.
  17. Geometria ↓, s. 400.
  18. Mrówka i Błaszczyk 2010 ↓, s. 52, 54.
  19. Geometria ↓, s. 290–291.
  20. Piotr Błaszczyk, Mirosława Sajka, On the Negative Numbers from the Historical and Educational Perspective, Annales Universitatis Paedagogicae Cracoviensis: Studia ad Didacticam Mathematicae Pertinentia, 9, 2017, s. 6.
  21. a b Geometria ↓, s. 380.
  22. a b Mrówka i Błaszczyk 2014 ↓, s. V.
  23. Mrówka i Błaszczyk 2014 ↓, s. IV.
  24. a b Geometria ↓, s. 201.
  25. a b c d e Geometria ↓, s. 201–202.
  26. Mrówka i Błaszczyk 2014 ↓, s. X.
  27. Geometria ↓, s. 205.
  28. Geometria ↓, s. 234–237.
  29. Geometria ↓, s. 264–277.
  30. Geometria ↓, s. 176–193.
  31. a b Mrówka i Błaszczyk 2014 ↓, s. VIII.
  32. a b c d e f g Geometria ↓, s. 15.
  33. a b c d e f g Mrówka i Błaszczyk 2010 ↓, s. 55.
  34. Science and Its Times ↓, s. 231.

Bibliografia edytuj