Евдокс Книдский
Евдо́кс Кни́дский (в части источников: Эвдокс, др.-греч. Εὔδοξος, лат. Eudoxus; ок. 408 год до н. э. — ок. 355 год до н. э.) — древнегреческий математик, механик и астроном. Занимался также врачеванием, философией и музыкой; был известен как оратор и законовед.
| Евдокс Книдский | |
|---|---|
| др.-греч. Εὔδοξος ὁ Κνίδιος | |
| |
| Дата рождения | ок. 408 год до н. э. |
| Место рождения |
|
| Дата смерти | ок. 355 год до н. э. |
| Место смерти |
|
| Страна |
|
| Род деятельности | математик, писатель, философ, географ |
| Научная сфера | математик, механик, астроном |
| Ученики | Каллипп, Менехм, Динострат |
Неоднократно упоминается у античных авторов. Сочинения самого Евдокса до нас не дошли, но его математические открытия изложены в «Началах Евклида». Среди его учеников были Каллипп, Менехм и Динострат.
Научная школа Евдокса сыграла большую роль в развитии античной астрономии и математики. Историки науки относят Евдокса к числу основоположников интегрального исчисления и теоретической астрономии. В частности, Евдокс создал теорию геометрических величин (античный аналог вещественных чисел), метод исчерпывания (прообраз анализа криволинейных фигур) и первую теоретическую модель движения небесных тел, переработанный вариант которой был позднее изложен в «Альмагесте» Птолемея.
В честь Евдокса названы:
- кривая Евдокса;
- кратер на Луне;
- [англ.].
Биография
О жизни Евдокса известно немного. Родился в Книде, на юго-западе Малой Азии. Учился медицине у Филистиона в Сицилии, потом математике (у пифагорейца Архита в Италии), далее присоединился к школе Платона в Афинах. Около года провёл в Египте, изучал астрономию в Гелиополе. Позднее Евдокс переселился в город Кизик на Мраморном море, основал там собственную математико-астрономическую школу, читал лекции по философии, астрономии и метеорологии.
Около 368 года до н. э. Евдокс вместе с частью учеников вернулся в Афины. Умер в родном Книде, окружённый славой и почётом. Диоген Лаэртский сообщает некоторые подробности: скончался Евдокс на 53-м году жизни, были у него три дочери и сын по имени Аристагор.
Астрономия
Евдокса можно считать создателем античной теоретической астрономии как самостоятельной науки. В Кизике им была построена обсерватория, в которой впервые в Элладе велись систематические наблюдения за небом. Школа Евдокса выпустила первый в Греции звёздный каталог. Гиппарх упоминал названия двух астрономических трудов Евдокса: «Явления» и «Зеркало».
Евдокс первым решил задачу Платона, предложившего астрономам построить кинематическую модель, в которой видимые движения Солнца, Луны и планет получались бы как результат комбинации равномерных круговых движений. Модель Евдокса состояла из 27 взаимосвязанных сфер, вращающихся вокруг Земли (теория гомоцентрических сфер). Согласие этой модели с наблюдениями было для того времени неплохим; исключением было движение Марса, который неравномерно движется по орбите, далёкой от круговой, и её крайне трудно приблизить равномерным вращением сфер.
Теорию Евдокса с математической точки зрения усовершенствовал Каллипп, у которого число сфер возросло до 34. Дальнейшее усовершенствование теории было связано с Аристотелем, который разработал механизм передачи вращения от наружных сфер к внутренним; при этом число сфер возросло до 56. В дальнейшем Гиппарх и Клавдий Птолемей отказались от теории гомоцентрических сфер в пользу теории эпициклов, которая позволяет более точно смоделировать неравномерность видимого движения небесных тел.
Евдокс считал Землю шарообразным телом, ему приписывается одна из первых оценок длины земного меридиана в 400 000 стадиев, или примерно 70 000 км. Евдокс пытался определить сравнительную величину небесных тел. Он знал, что Солнце больше Луны, но ошибочно полагал, что отношение их диаметров равно 9:1. Ему же приписывают определение угла между эклиптикой и небесным экватором, то есть, с современной точки зрения, наклона земной оси к плоскости земной орбиты, равного 24°. Евдоксу приписывают также изобретение горизонтальных солнечных часов.
Евдокс был знаком с вавилонской астрологией, относился к ней презрительно и чётко отделял от астрономии: «не следует доверять ни в малейшей степени халдеям и их предсказаниям и утверждениям о жизни человека, основанным на дне его рождения».
Математика
Евдокс получил фундаментальные результаты в различных областях математики. Например, при разработке своей астрономической модели он существенно продвинул сферическую геометрию. Однако особенно большое значение имели созданные им две классические теории.
Общая теория отношений
Числовые системы древних греков ограничивались натуральными числами и их отношениями (дробями, рациональными числами). Однако ещё пифагорейцы обнаружили, что диагональ квадрата несоизмерима с его стороной, то есть отношение их длин не может быть представлено рациональным числом. Стало понятно, что пифагорейская арифметика должна быть каким-то образом расширена с тем, чтобы включать все результаты измерений. Это и сделал Евдокс. Его теория дошла до нас в изложении Евклида (Начала, книга V).
В дополнение к числам Евдокс ввёл более широкое понятие геометрической величины, то есть длины отрезка, площади или объёма. С современной точки зрения, число при таком подходе есть отношение двух однородных величин — например, исследуемой и единичного эталона. Этот подход снимает проблему несоизмеримости. По существу, теория отношений Евдокса — это геометрическая модель вещественных чисел. Следует, однако, подчеркнуть, что Евдокс остался верен прежней традиции — он не рассматривал такое отношение как число; из-за этого в «Началах» многие теоремы о свойствах чисел затем заново доказываются для величин. Признание иррациональностей как особого вида чисел произошло много позднее, под влиянием индийских и исламских математических школ.
В начале своего построения Евдокс дал аксиоматику для сравнения величин. Все однородные величины сравнимы между собой, и для них определены две операции: отделение части и соединение (взятие кратного). Однородность величин сформулирована в виде аксиомы, известной также как аксиома Архимеда: «Говорят, что величины имеют отношение между собой, если они, взятые кратно, могут превзойти друг друга». Сам Архимед при изложении этой аксиомы сослался на Евдокса.
Далее Евдокс рассматривает отношения между величинами и определяет для них равенство:
Говорят, что величины находятся в том же отношении: первая ко второй и третья к четвёртой, если равнократные первой и третьей одновременно больше, или одновременно равны, или одновременно меньше равнократных второй и четвёртой, каждая каждой при какой бы то ни было кратности, если взять их в соответственном порядке.
В переводе на современный математический язык это означает, что отношения и
равны, если для любых натуральных
выполняется одно из трёх соотношений:
- либо
и
;
- либо
и
;
- либо
и
.
Фактически описанное свойство означает, что между и
нельзя вставить рациональное число. До Евдокса использовалось другое определение, через равенство последовательных вычитаний; это определение эквивалентно определению Евдокса, но сложнее в использовании. Современным языком это можно выразить как равенство цепных дробей для отношений
и
.
Далее Евдокс аккуратно выводит свойства отношений: транзитивность, упорядоченность и т. д.
Классическая теория Дедекинда для построения вещественных чисел поразительно похожа на изложение Евдокса. Соответствие между ними устанавливается так: пусть заданы две величины Евдокса ; дробь
отнесём к классу
, если
, иначе — к классу
. Тогда классы
и
определяют дедекиндово сечение поля рациональных чисел
. Осталось отождествить отношение по Евдоксу
с этим дедекиндовым числом.
Отметим, однако, что у Евдокса отсутствует аналог аксиомы непрерывности, и ниоткуда не следует, что всякое сечение определяет вещественное число.
Метод исчерпывания
Это своего рода античный анализ криволинейных фигур. Обоснование этого метода не опирается на актуальные бесконечно малые, но неявно включает понятие предела. Название «метод исчерпывания» предложил в 1647 году Грегуар де Сен-Венсан, в античные времена у метода не было специального названия. Евклид изложил теорию метода исчерпывания в X книге «Начал», а в XII книге применил для доказательства нескольких теорем.

Метод заключался в следующем: для нахождения площади (или объёма) некоторой фигуры в эту фигуру вписывалась монотонная последовательность других фигур и доказывалось, что их площади (объёмы) неограниченно приближаются к площади (объёму) искомой фигуры. Затем вычислялся предел последовательности площадей (объёмов), для чего выдвигалась гипотеза, что он равен некоторому A и доказывалось, что обратное приводит к противоречию. Поскольку общей теории пределов не было (греки избегали понятия бесконечности), все эти шаги, включая обоснование единственности предела, повторялись для каждой задачи.
В такой форме метод исчерпывания хорошо вписывался в строго дедуктивное построение античной математики, однако имел несколько существенных недостатков. Во-первых, он был исключительно громоздким. Во-вторых, не было никакого общего метода для вычисления предельного значения A; Архимед, например, нередко выводил его из механических соображений или просто интуитивно угадывал. Наконец, этот метод не пригоден для нахождения площадей бесконечных фигур.
С помощью метода исчерпывания Евдокс строго доказал ряд уже известных в те годы открытий (площадь круга, объём пирамиды и конуса).
Наиболее плодотворным этот метод стал в руках выдающегося последователя Евдокса, Архимеда, который смог его значительно усовершенствовать и виртуозно применял для многих новых открытий. В средние века европейские математики также применяли метод исчерпывания, пока он не был вытеснен сначала более мощным и технологичным методом неделимых, а затем — математическим анализом.
См. также
- Астрономия Древней Греции
- История математики
- Математика в Древней Греции
Примечания
- Boyer Carl B. A History of Mathematics (англ.). — 2nd ed. — John Wiley & Sons, 1991. — P. 92. — 736 p. — ISBN 978-0471543978.
- Рожанский И. Д. Античная наука. — М.: Наука, 1980. — С. 97. — 198 с. — (История науки и техники).
- История математики, том I, 1970, с. 95—96.
- Диоген Лаэртский, 1979.
- Башмакова И. Г., 1958, с. 306—308.
- Рожанский И. Д. Античная наука. — М.: Наука, 1980. — С. 104. — 198 с. — (История науки и техники).
- James Oliver Thomson. History of ancient geography. Biblo & Tannen Publishers, Cambridge: Cambridge University Press, 1948, ISBN 0-8196-0143-8, p. 116.
- Andrew Gregory. Eudoxus, Callippus and the Astronomy of the Timaeus Архивная копия от 30 декабря 2013 на Wayback Machine, p. 23: «We do not know what value for the inclination of the ecliptic was used by Eudoxus and Callippus, though 24°, 1/15 of a circle, is commonly supposed».
- Ван дер Варден, 1959, с. 188.
- История математики, том I, 1970, с. 96—101.
- Именно так определяли общее понятие числа Ньютон и другие математики Нового времени.
- Башмакова И. Г., 1958, с. 309—323.
- Бурбаки, 1963, с. 148.
- Euclid, 1948, Том V.
- Топика Аристотеля
- Von Fritz, Kurt. «The discovery of incommensurability by Hippasus of Metapontum.» Annals of mathematics (1945): 242—264.
- История математики, том I, 1970, с. 97—98, 101.
- История математики, том I, 1970, с. 101—105.
- Бурбаки, 1963, с. 168—169.
Литература
- Башмакова И. Г. Лекции по истории математики в Древней Греции // Историко-математические исследования. — М.: Физматгиз, 1958. — № 11. — С. 306—346.
- Бурбаки Н. Архитектура математики. Очерки по истории математики. — М.: Иностранная литература, 1963.
- Ван дер Варден Б. Л. Пробуждающаяся наука. Математика древнего Египта, Вавилона и Греции. — М.: ГИФМЛ, 1959.
- Гейберг И. Л. Естествознание и математика в классической древности. — М.—Л.: ОНТИ, 1936.
- Диоген Лаэртский. О жизни, учениях и изречениях знаменитых философов, книга VIII. — М.: Иностранная литература, 1979.
- Еремеева А. И., Цицин Ф. А. История астрономии. — М.: Изд-во МГУ, 1989. — ISBN 5-211-00347-0.
- Житомирский С. В. Античная астрономия и орфизм. — М.: Янус-К, 2001. — ISBN 5-8037-0072-X.
- Житомирский С. В. Планетарная гипотеза Евдокса и древняя мифология // Астрономия древних обществ. — М.: Наука, 2002. — С. 311—314. — ISBN 5-02-008768-8.
- Зайцев А. И. Роль Евдокса Книдского в становлении астрономической науки в Древней Греции // Некоторые проблемы истории античной науки : Сборник научных трудов / Отв. ред. А. И. Зайцев, Б. И. Козлов. — Л.: Главная астрономическая обсерватория, 1989. — С. 116—120. Архивировано 8 июля 2013 года.
- История математики. С древнейших времен до начала Нового времени // История математики / Под редакцией А. П. Юшкевича, в трёх томах. — М.: Наука, 1970. — Т. I.
- Колчинский И.Г., Корсунь А.А., Родригес М.Г. Астрономы: Биографический справочник. — 2-е изд., перераб. и доп. — Киев: Наукова думка, 1986. — 512 с.
- Лишевский В. П. Первый астроном // Земля и Вселенная. — 1992. — № 5. — С. 43—44.
- «Начала» Евклида. — М.—Л.: ГТТИ, 1948. — Т. V.
- Паннекук А. История астрономии. — М.: Наука, 1966.
- Fowler D. H. Eudoxus: Parapegmata and Proportionality // Ancient and Medieval trends in the exact sciences. — Stanford: CSLI Publications, 2000. — P. 33—48.
- Goldstein B. R., Bowen A. C. A new view of early Greek astronomy // Isis. — 1983. — № 74 (273). — P. 330—340.
- Knorr W. R. Plato and Eudoxus on the planetary motions // Journal for the History of Astronomy. — 1990. — № 21. — P. 313—329.
- Mendell H. Reflections on Eudoxus, Callippus and their Curves: Hippopedes and Callippopedes // Centaurus. — 1998. — № 40. — P. 177—275.
- Riddel R. C. Eudoxan mathematics and the Eudoxan spheres // Archive for History of Exact Sciences. — 1979. — № 20. — P. 1—19.
- Wright L. The astronomy of Eudoxus: geometry or physics? // Stud. Hist. and Phil. Sci. — 1973. — № 4. — P. 165—172.
- Yavetz I. On the homocentric spheres of Eudoxus // Archive for History of Exact Sciences. — 1998. — № 52. — P. 221—278.
- Yavetz I. A new role for the hippopede of Eudoxus // Archive for History of Exact Sciences. — 2001. — № 56. — P. 69—93.
Ссылки
- Родин А. В. Евдокс (Новая философская энциклопедия). Дата обращения: 27 июня 2015.
- Джон Дж. О’Коннор и Эдмунд Ф. Робертсон. Евдокс Книдский (англ.) — биография в архиве MacTutor.
- McConnell C. S. Models of Planetary Motion from Antiquity to the Renaissance (англ.). Дата обращения: 8 ноября 2014. Архивировано из оригинала 19 июля 2011 года.
- Mendell H. Eudoxos of Knidos (Eudoxus of Cnidus): astronomy and homocentric spheres (англ.). Дата обращения: 8 ноября 2014. Архивировано 16 мая 2011 года.
- Vicentini M. Models for planetary motion: from the homocentric spheres to epicycles and heliocentric orbits (англ.) (недоступная ссылка — история). Дата обращения: 8 ноября 2014.
Эта статья входит в число добротных статей русскоязычного раздела Википедии. |
Википедия, чтение, книга, библиотека, поиск, нажмите, истории, книги, статьи, wikipedia, учить, информация, история, скачать, скачать бесплатно, mp3, видео, mp4, 3gp, jpg, jpeg, gif, png, картинка, музыка, песня, фильм, игра, игры, мобильный, телефон, Android, iOS, apple, мобильный телефон, Samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Сеть, компьютер, Информация о Евдокс Книдский, Что такое Евдокс Книдский? Что означает Евдокс Книдский?
V Vikipedii est stati o drugih lyudyah s imenem Evdoks Evdo ks Kni dskij v chasti istochnikov Evdoks dr grech Eὔdo3os lat Eudoxus ok 408 god do n e ok 355 god do n e drevnegrecheskij matematik mehanik i astronom Zanimalsya takzhe vrachevaniem filosofiej i muzykoj byl izvesten kak orator i zakonoved Evdoks Knidskijdr grech Eὔdo3os ὁ KnidiosData rozhdeniya ok 408 god do n e Mesto rozhdeniya Knid Drevnyaya GreciyaData smerti ok 355 god do n e Mesto smerti Knid Drevnyaya GreciyaStrana GeksapolisRod deyatelnosti matematik pisatel filosof geografNauchnaya sfera matematik mehanik astronomUcheniki Kallipp Menehm Dinostrat Mediafajly na Vikisklade Neodnokratno upominaetsya u antichnyh avtorov Sochineniya samogo Evdoksa do nas ne doshli no ego matematicheskie otkrytiya izlozheny v Nachalah Evklida Sredi ego uchenikov byli Kallipp Menehm i Dinostrat Nauchnaya shkola Evdoksa sygrala bolshuyu rol v razvitii antichnoj astronomii i matematiki Istoriki nauki otnosyat Evdoksa k chislu osnovopolozhnikov integralnogo ischisleniya i teoreticheskoj astronomii V chastnosti Evdoks sozdal teoriyu geometricheskih velichin antichnyj analog veshestvennyh chisel metod ischerpyvaniya proobraz analiza krivolinejnyh figur i pervuyu teoreticheskuyu model dvizheniya nebesnyh tel pererabotannyj variant kotoroj byl pozdnee izlozhen v Almageste Ptolemeya V chest Evdoksa nazvany krivaya Evdoksa krater na Lune angl BiografiyaO zhizni Evdoksa izvestno nemnogo Rodilsya v Knide na yugo zapade Maloj Azii Uchilsya medicine u Filistiona v Sicilii potom matematike u pifagorejca Arhita v Italii dalee prisoedinilsya k shkole Platona v Afinah Okolo goda provyol v Egipte izuchal astronomiyu v Geliopole Pozdnee Evdoks pereselilsya v gorod Kizik na Mramornom more osnoval tam sobstvennuyu matematiko astronomicheskuyu shkolu chital lekcii po filosofii astronomii i meteorologii Okolo 368 goda do n e Evdoks vmeste s chastyu uchenikov vernulsya v Afiny Umer v rodnom Knide okruzhyonnyj slavoj i pochyotom Diogen Laertskij soobshaet nekotorye podrobnosti skonchalsya Evdoks na 53 m godu zhizni byli u nego tri docheri i syn po imeni Aristagor AstronomiyaSistema iz chetyryoh koncentricheskih sfer ispolzovavshayasya dlya modelirovaniya dvizheniya planet v teorii Evdoksa Ciframi oboznacheny sfery otvechavshie za sutochnoe vrashenie nebosvoda 1 za dvizhenie vdol ekliptiki 2 za popyatnye dvizheniya planety 3 i 4 T Zemlya punktirnaya liniya izobrazhaet ekliptiku ekvator vtoroj sfery Evdoksa mozhno schitat sozdatelem antichnoj teoreticheskoj astronomii kak samostoyatelnoj nauki V Kizike im byla postroena observatoriya v kotoroj vpervye v Ellade velis sistematicheskie nablyudeniya za nebom Shkola Evdoksa vypustila pervyj v Grecii zvyozdnyj katalog Gipparh upominal nazvaniya dvuh astronomicheskih trudov Evdoksa Yavleniya i Zerkalo Evdoks pervym reshil zadachu Platona predlozhivshego astronomam postroit kinematicheskuyu model v kotoroj vidimye dvizheniya Solnca Luny i planet poluchalis by kak rezultat kombinacii ravnomernyh krugovyh dvizhenij Model Evdoksa sostoyala iz 27 vzaimosvyazannyh sfer vrashayushihsya vokrug Zemli teoriya gomocentricheskih sfer Soglasie etoj modeli s nablyudeniyami bylo dlya togo vremeni neplohim isklyucheniem bylo dvizhenie Marsa kotoryj neravnomerno dvizhetsya po orbite dalyokoj ot krugovoj i eyo krajne trudno priblizit ravnomernym vrasheniem sfer Teoriyu Evdoksa s matematicheskoj tochki zreniya usovershenstvoval Kallipp u kotorogo chislo sfer vozroslo do 34 Dalnejshee usovershenstvovanie teorii bylo svyazano s Aristotelem kotoryj razrabotal mehanizm peredachi vrasheniya ot naruzhnyh sfer k vnutrennim pri etom chislo sfer vozroslo do 56 V dalnejshem Gipparh i Klavdij Ptolemej otkazalis ot teorii gomocentricheskih sfer v polzu teorii epiciklov kotoraya pozvolyaet bolee tochno smodelirovat neravnomernost vidimogo dvizheniya nebesnyh tel Evdoks schital Zemlyu sharoobraznym telom emu pripisyvaetsya odna iz pervyh ocenok dliny zemnogo meridiana v 400 000 stadiev ili primerno 70 000 km Evdoks pytalsya opredelit sravnitelnuyu velichinu nebesnyh tel On znal chto Solnce bolshe Luny no oshibochno polagal chto otnoshenie ih diametrov ravno 9 1 Emu zhe pripisyvayut opredelenie ugla mezhdu ekliptikoj i nebesnym ekvatorom to est s sovremennoj tochki zreniya naklona zemnoj osi k ploskosti zemnoj orbity ravnogo 24 Evdoksu pripisyvayut takzhe izobretenie gorizontalnyh solnechnyh chasov Evdoks byl znakom s vavilonskoj astrologiej otnosilsya k nej prezritelno i chyotko otdelyal ot astronomii ne sleduet doveryat ni v malejshej stepeni haldeyam i ih predskazaniyam i utverzhdeniyam o zhizni cheloveka osnovannym na dne ego rozhdeniya MatematikaEvdoks poluchil fundamentalnye rezultaty v razlichnyh oblastyah matematiki Naprimer pri razrabotke svoej astronomicheskoj modeli on sushestvenno prodvinul sfericheskuyu geometriyu Odnako osobenno bolshoe znachenie imeli sozdannye im dve klassicheskie teorii Obshaya teoriya otnoshenij Chislovye sistemy drevnih grekov ogranichivalis naturalnymi chislami i ih otnosheniyami drobyami racionalnymi chislami Odnako eshyo pifagorejcy obnaruzhili chto diagonal kvadrata nesoizmerima s ego storonoj to est otnoshenie ih dlin ne mozhet byt predstavleno racionalnym chislom Stalo ponyatno chto pifagorejskaya arifmetika dolzhna byt kakim to obrazom rasshirena s tem chtoby vklyuchat vse rezultaty izmerenij Eto i sdelal Evdoks Ego teoriya doshla do nas v izlozhenii Evklida Nachala kniga V V dopolnenie k chislam Evdoks vvyol bolee shirokoe ponyatie geometricheskoj velichiny to est dliny otrezka ploshadi ili obyoma S sovremennoj tochki zreniya chislo pri takom podhode est otnoshenie dvuh odnorodnyh velichin naprimer issleduemoj i edinichnogo etalona Etot podhod snimaet problemu nesoizmerimosti Po sushestvu teoriya otnoshenij Evdoksa eto geometricheskaya model veshestvennyh chisel Sleduet odnako podcherknut chto Evdoks ostalsya veren prezhnej tradicii on ne rassmatrival takoe otnoshenie kak chislo iz za etogo v Nachalah mnogie teoremy o svojstvah chisel zatem zanovo dokazyvayutsya dlya velichin Priznanie irracionalnostej kak osobogo vida chisel proizoshlo mnogo pozdnee pod vliyaniem indijskih i islamskih matematicheskih shkol V nachale svoego postroeniya Evdoks dal aksiomatiku dlya sravneniya velichin Vse odnorodnye velichiny sravnimy mezhdu soboj i dlya nih opredeleny dve operacii otdelenie chasti i soedinenie vzyatie kratnogo Odnorodnost velichin sformulirovana v vide aksiomy izvestnoj takzhe kak aksioma Arhimeda Govoryat chto velichiny imeyut otnoshenie mezhdu soboj esli oni vzyatye kratno mogut prevzojti drug druga Sam Arhimed pri izlozhenii etoj aksiomy soslalsya na Evdoksa Dalee Evdoks rassmatrivaet otnosheniya mezhdu velichinami i opredelyaet dlya nih ravenstvo Govoryat chto velichiny nahodyatsya v tom zhe otnoshenii pervaya ko vtoroj i tretya k chetvyortoj esli ravnokratnye pervoj i tretej odnovremenno bolshe ili odnovremenno ravny ili odnovremenno menshe ravnokratnyh vtoroj i chetvyortoj kazhdaya kazhdoj pri kakoj by to ni bylo kratnosti esli vzyat ih v sootvetstvennom poryadke V perevode na sovremennyj matematicheskij yazyk eto oznachaet chto otnosheniya a b displaystyle a b i c d displaystyle c d ravny esli dlya lyubyh naturalnyh m n displaystyle m n vypolnyaetsya odno iz tryoh sootnoshenij libo ma lt nb displaystyle ma lt nb i mc lt nd displaystyle mc lt nd libo ma nb displaystyle ma nb i mc nd displaystyle mc nd libo ma gt nb displaystyle ma gt nb i mc gt nd displaystyle mc gt nd Fakticheski opisannoe svojstvo oznachaet chto mezhdu a b displaystyle a b i c d displaystyle c d nelzya vstavit racionalnoe chislo Do Evdoksa ispolzovalos drugoe opredelenie cherez ravenstvo posledovatelnyh vychitanij eto opredelenie ekvivalentno opredeleniyu Evdoksa no slozhnee v ispolzovanii Sovremennym yazykom eto mozhno vyrazit kak ravenstvo cepnyh drobej dlya otnoshenij a b displaystyle a b i c d displaystyle c d Dalee Evdoks akkuratno vyvodit svojstva otnoshenij tranzitivnost uporyadochennost i t d Klassicheskaya teoriya Dedekinda dlya postroeniya veshestvennyh chisel porazitelno pohozha na izlozhenie Evdoksa Sootvetstvie mezhdu nimi ustanavlivaetsya tak pust zadany dve velichiny Evdoksa a b displaystyle a b drob m n displaystyle m n otnesyom k klassu A displaystyle A esli ma gt nb displaystyle ma gt nb inache k klassu B displaystyle B Togda klassy A displaystyle A i B displaystyle B opredelyayut dedekindovo sechenie polya racionalnyh chisel Q displaystyle mathbb Q Ostalos otozhdestvit otnoshenie po Evdoksu b a displaystyle b a s etim dedekindovym chislom Otmetim odnako chto u Evdoksa otsutstvuet analog aksiomy nepreryvnosti i niotkuda ne sleduet chto vsyakoe sechenie Q displaystyle mathbb Q opredelyaet veshestvennoe chislo Metod ischerpyvaniya Osnovnaya statya Metod ischerpyvaniya Eto svoego roda antichnyj analiz krivolinejnyh figur Obosnovanie etogo metoda ne opiraetsya na aktualnye beskonechno malye no neyavno vklyuchaet ponyatie predela Nazvanie metod ischerpyvaniya predlozhil v 1647 godu Greguar de Sen Vensan v antichnye vremena u metoda ne bylo specialnogo nazvaniya Evklid izlozhil teoriyu metoda ischerpyvaniya v X knige Nachal a v XII knige primenil dlya dokazatelstva neskolkih teorem Vychislenie ploshadi kruga metodom ischerpyvaniya Metod zaklyuchalsya v sleduyushem dlya nahozhdeniya ploshadi ili obyoma nekotoroj figury v etu figuru vpisyvalas monotonnaya posledovatelnost drugih figur i dokazyvalos chto ih ploshadi obyomy neogranichenno priblizhayutsya k ploshadi obyomu iskomoj figury Zatem vychislyalsya predel posledovatelnosti ploshadej obyomov dlya chego vydvigalas gipoteza chto on raven nekotoromu A i dokazyvalos chto obratnoe privodit k protivorechiyu Poskolku obshej teorii predelov ne bylo greki izbegali ponyatiya beskonechnosti vse eti shagi vklyuchaya obosnovanie edinstvennosti predela povtoryalis dlya kazhdoj zadachi V takoj forme metod ischerpyvaniya horosho vpisyvalsya v strogo deduktivnoe postroenie antichnoj matematiki odnako imel neskolko sushestvennyh nedostatkov Vo pervyh on byl isklyuchitelno gromozdkim Vo vtoryh ne bylo nikakogo obshego metoda dlya vychisleniya predelnogo znacheniya A Arhimed naprimer neredko vyvodil ego iz mehanicheskih soobrazhenij ili prosto intuitivno ugadyval Nakonec etot metod ne prigoden dlya nahozhdeniya ploshadej beskonechnyh figur S pomoshyu metoda ischerpyvaniya Evdoks strogo dokazal ryad uzhe izvestnyh v te gody otkrytij ploshad kruga obyom piramidy i konusa Naibolee plodotvornym etot metod stal v rukah vydayushegosya posledovatelya Evdoksa Arhimeda kotoryj smog ego znachitelno usovershenstvovat i virtuozno primenyal dlya mnogih novyh otkrytij V srednie veka evropejskie matematiki takzhe primenyali metod ischerpyvaniya poka on ne byl vytesnen snachala bolee moshnym i tehnologichnym metodom nedelimyh a zatem matematicheskim analizom Sm takzheAstronomiya Drevnej Grecii Istoriya matematiki Matematika v Drevnej GreciiPrimechaniyaBoyer Carl B A History of Mathematics angl 2nd ed John Wiley amp Sons 1991 P 92 736 p ISBN 978 0471543978 Rozhanskij I D Antichnaya nauka M Nauka 1980 S 97 198 s Istoriya nauki i tehniki Istoriya matematiki tom I 1970 s 95 96 Diogen Laertskij 1979 Bashmakova I G 1958 s 306 308 Rozhanskij I D Antichnaya nauka M Nauka 1980 S 104 198 s Istoriya nauki i tehniki James Oliver Thomson History of ancient geography Biblo amp Tannen Publishers Cambridge Cambridge University Press 1948 ISBN 0 8196 0143 8 p 116 Andrew Gregory Eudoxus Callippus and the Astronomy of the Timaeus Arhivnaya kopiya ot 30 dekabrya 2013 na Wayback Machine p 23 We do not know what value for the inclination of the ecliptic was used by Eudoxus and Callippus though 24 1 15 of a circle is commonly supposed Van der Varden 1959 s 188 Istoriya matematiki tom I 1970 s 96 101 Imenno tak opredelyali obshee ponyatie chisla Nyuton i drugie matematiki Novogo vremeni Bashmakova I G 1958 s 309 323 Burbaki 1963 s 148 Euclid 1948 Tom V Topika Aristotelya Von Fritz Kurt The discovery of incommensurability by Hippasus of Metapontum Annals of mathematics 1945 242 264 Istoriya matematiki tom I 1970 s 97 98 101 Istoriya matematiki tom I 1970 s 101 105 Burbaki 1963 s 168 169 LiteraturaBashmakova I G Lekcii po istorii matematiki v Drevnej Grecii Istoriko matematicheskie issledovaniya M Fizmatgiz 1958 11 S 306 346 Burbaki N Arhitektura matematiki Ocherki po istorii matematiki M Inostrannaya literatura 1963 Van der Varden B L Probuzhdayushayasya nauka Matematika drevnego Egipta Vavilona i Grecii M GIFML 1959 Gejberg I L Estestvoznanie i matematika v klassicheskoj drevnosti M L ONTI 1936 Diogen Laertskij O zhizni ucheniyah i izrecheniyah znamenityh filosofov kniga VIII M Inostrannaya literatura 1979 Eremeeva A I Cicin F A Istoriya astronomii M Izd vo MGU 1989 ISBN 5 211 00347 0 Zhitomirskij S V Antichnaya astronomiya i orfizm M Yanus K 2001 ISBN 5 8037 0072 X Zhitomirskij S V Planetarnaya gipoteza Evdoksa i drevnyaya mifologiya Astronomiya drevnih obshestv M Nauka 2002 S 311 314 ISBN 5 02 008768 8 Zajcev A I Rol Evdoksa Knidskogo v stanovlenii astronomicheskoj nauki v Drevnej Grecii Nekotorye problemy istorii antichnoj nauki Sbornik nauchnyh trudov Otv red A I Zajcev B I Kozlov L Glavnaya astronomicheskaya observatoriya 1989 S 116 120 Arhivirovano 8 iyulya 2013 goda Istoriya matematiki S drevnejshih vremen do nachala Novogo vremeni Istoriya matematiki Pod redakciej A P Yushkevicha v tryoh tomah M Nauka 1970 T I Kolchinskij I G Korsun A A Rodriges M G Astronomy Biograficheskij spravochnik 2 e izd pererab i dop Kiev Naukova dumka 1986 512 s Lishevskij V P Pervyj astronom Zemlya i Vselennaya 1992 5 S 43 44 Nachala Evklida M L GTTI 1948 T V Pannekuk A Istoriya astronomii M Nauka 1966 Fowler D H Eudoxus Parapegmata and Proportionality Ancient and Medieval trends in the exact sciences Stanford CSLI Publications 2000 P 33 48 Goldstein B R Bowen A C A new view of early Greek astronomy Isis 1983 74 273 P 330 340 Knorr W R Plato and Eudoxus on the planetary motions Journal for the History of Astronomy 1990 21 P 313 329 Mendell H Reflections on Eudoxus Callippus and their Curves Hippopedes and Callippopedes Centaurus 1998 40 P 177 275 Riddel R C Eudoxan mathematics and the Eudoxan spheres Archive for History of Exact Sciences 1979 20 P 1 19 Wright L The astronomy of Eudoxus geometry or physics Stud Hist and Phil Sci 1973 4 P 165 172 Yavetz I On the homocentric spheres of Eudoxus Archive for History of Exact Sciences 1998 52 P 221 278 Yavetz I A new role for the hippopede of Eudoxus Archive for History of Exact Sciences 2001 56 P 69 93 SsylkiRodin A V Evdoks Novaya filosofskaya enciklopediya neopr Data obrasheniya 27 iyunya 2015 Dzhon Dzh O Konnor i Edmund F Robertson Evdoks Knidskij angl biografiya v arhive MacTutor McConnell C S Models of Planetary Motion from Antiquity to the Renaissance angl Data obrasheniya 8 noyabrya 2014 Arhivirovano iz originala 19 iyulya 2011 goda Mendell H Eudoxos of Knidos Eudoxus of Cnidus astronomy and homocentric spheres angl Data obrasheniya 8 noyabrya 2014 Arhivirovano 16 maya 2011 goda Vicentini M Models for planetary motion from the homocentric spheres to epicycles and heliocentric orbits angl nedostupnaya ssylka istoriya Data obrasheniya 8 noyabrya 2014 Eta statya vhodit v chislo dobrotnyh statej russkoyazychnogo razdela Vikipedii

