Греческая математика. 2

Федеральное агентство науки и образования

Бурятский государственный университет

Институт математики и информатики

Кафедра математического анализа и методики преподавания математики

ГРЕЧЕСКАЯ МАТЕМАТИКА

Выполнил: студентка гр. 05182

Дайндорова Г.С.

Проверил: к.п.н., доцент

Перелыгина О.Н.

Улан-Удэ

2009

Содержание

Введение

Понятие древнегреческая математика охватывает достижения грекоязычных математиков, живших в период между VI веком до н. э. и V веком н. э.

Математика родилась в Греции. Это, конечно, преувеличение, но не слишком большое. В странах-современниках Эллады математика использовалась либо для обыденных нужд (подсчёты, измерения), либо, наоборот, для магических ритуалов, имевших целью выяснить волю богов (астрология, нумерология и т. п.). Греки подошли к делу с другой стороны: они выдвинули тезис «Числа правят миром». Или, как сформулировали эту же мысль два тысячелетия спустя: «Природа разговаривает с нами на языке математики».

Греки проверили справедливость этого тезиса в тех областях, где сумели: астрономия, оптика, музыка, геометрия, позже — механика. Всюду были отмечены впечатляющие успехи: математическая модель обладала неоспоримой предсказательной силой. Одновременно греки создали методологию математики и завершили превращение её из свода полуэвристических алгоритмов в целостную систему знаний. Основой этой системы впервые стал дедуктивный метод, польза от которого — не только в установлении истинности утверждений, но также и в выявлении неочевидных связей между понятиями, научными фактами и областями математики.

Классическая Греция. Вклад греческих ученых в развитие математики.

С точки зрения 20 в. родоначальниками математики явились греки классического периода (6–4 вв. до н.э.). Математика, существовавшая в более ранний период, была набором эмпирических заключений. Напротив, в дедуктивном рассуждении новое утверждение выводится из принятых посылок способом, исключавшим возможность его неприятия.

Настаивание греков на дедуктивном доказательстве было экстраординарным шагом. Ни одна другая цивилизация не дошла до идеи получения заключений исключительно на основе дедуктивного рассуждения, исходящего из явно сформулированных аксиом. Одно из объяснений приверженности греков методам дедукции мы находим в устройстве греческого общества классического периода. Математики и философы (нередко это были одни и те же лица) принадлежали к высшим слоям общества, где любая практическая деятельность рассматривалась как недостойное занятие. Математики предпочитали абстрактные рассуждения о числах и пространственных отношениях решению практических задач. Математика делилась на арифметику – теоретический аспект и логистику – вычислительный аспект. Заниматься логистикой предоставляли свободнорожденным низших классов и рабам.

Греческая система счисления была основана на использовании букв алфавита. Аттическая система, бывшая в ходу с 6–3 вв. до н.э., использовала для обозначения единицы вертикальную черту, а для обозначения чисел 5, 10, 100, 1000 и 10 000 начальные буквы их греческих названий. В более поздней ионической системе счисления для обозначения чисел использовались 24 буквы греческого алфавита и три архаические буквы. Кратные 1000 до 9000 обозначались так же, как первые девять целых чисел от 1 до 9, но перед каждой буквой ставилась вертикальная черта. Десятки тысяч обозначались буквой М (от греческого мириои – 10 000), после которой ставилось то число, на которое нужно было умножить десять тысяч.

Дедуктивный характер греческой математики полностью сформировался ко времени Платона и Аристотеля. Изобретение дедуктивной математики принято приписывать Фалесу Милетскому (ок. 640–546 до н.э.), который, как и многие древнегреческие математики классического периода, был также философом. Высказывалось предположение, что Фалес использовал дедукцию для доказательства некоторых результатов в геометрии, хотя это сомнительно.

Другим великим греком, с чьим именем связывают развитие математики, был Пифагор (ок. 585–500 до н.э.). Полагают, что он мог познакомиться с вавилонской и египетской математикой во время своих долгих странствий. Пифагор основал движение, расцвет которого приходится на период ок. 550–300 до н.э. Пифагорейцы создали чистую математику в форме теории чисел и геометрии. Целые числа они представляли в виде конфигураций из точек или камешков, классифицируя эти числа в соответствии с формой возникающих фигур («фигурные числа»). Слово «калькуляция» (расчет, вычисление) берет начало от греческого слова, означающего «камешек». Числа 3, 6, 10 и т.д. пифагорейцы называли треугольными, так как соответствующее число камешков можно расположить в виде треугольника, числа 4, 9, 16 и т.д. – квадратными, так как соответствующее число камешков можно расположить в виде квадрата, и т.д.

Из простых геометрических конфигураций возникали некоторые свойства целых чисел. Например, пифагорейцы обнаружили, что сумма двух последовательных треугольных чисел всегда равна некоторому квадратному числу. Они открыли, что если (в современных обозначениях) n2 – квадратное число, то n2 + 2n +1 = (n + 1)2. Число, равное сумме всех своих собственных делителей, кроме самого этого числа, пифагорейцы называли совершенным. Примерами совершенных чисел могут служить такие целые числа, как 6, 28 и 496. Два числа пифагорейцы называли дружественными, если каждое из чисел равно сумме делителей другого; например, 220 и 284 – дружественные числа (и здесь само число исключается из собственных делителей).

Для пифагорейцев любое число представляло собой нечто большее, чем количественную величину. Например, число 2 согласно их воззрению означало различие и потому отождествлялось с мнением. Четверка представляла справедливость, так как это первое число, равное произведению двух одинаковых множителей.

Пифагорейцы также открыли, что сумма некоторых пар квадратных чисел есть снова квадратное число. Например, сумма 9 и 16 равна 25, а сумма 25 и 144 равна 169. Такие тройки чисел, как 3, 4 и 5 или 5, 12 и 13, называются пифагоровыми числами. Они имеют геометрическую интерпретацию, если два числа из тройки приравнять длинам катетов прямоугольного треугольника, то третье число будет равно длине его гипотенузы. Такая интерпретация, по-видимому, привела пифагорейцев к осознанию более общего факта, известного ныне под названием теоремы Пифагора, согласно которой в любом прямоугольном треугольнике квадрат длины гипотенузы равен сумме квадратов длин катетов.

Рассматривая прямоугольный треугольник с единичными катетами, пифагорейцы обнаружили, что длина его гипотенузы равна , и это повергло их в смятение, ибо они тщетно пытались представить число в виде отношения двух целых чисел, что было крайне важно для их философии. Величины, непредставимые в виде отношения целых чисел, пифагорейцы назвали несоизмеримыми; современный термин – «иррациональные числа». Около 300 до н.э. Евклид доказал, что число несоизмеримо. Пифагорейцы имели дело с иррациональными числами, представляя все величины геометрическими образами. Если 1 и считать длинами некоторых отрезков, то различие между рациональными и иррациональными числами сглаживается. Произведение чисел и есть площадь прямоугольника со сторонами длиной и .Мы и сегодня иногда говорим о числе 25 как о квадрате 5, а о числе 27 – как о кубе 3.

Древние греки решали уравнения с неизвестными посредством геометрических построений. Были разработаны специальные построения для выполнения сложения, вычитания, умножения и деления отрезков, извлечения квадратных корней из длин отрезков; ныне этот метод называется геометрической алгеброй.

Приведение задач к геометрическому виду имело ряд важных последствий. В частности, числа стали рассматриваться отдельно от геометрии, поскольку работать с несоизмеримыми отношениями можно было только с помощью геометрических методов. Геометрия стала основой почти всей строгой математики по крайней мере до1600. И даже в 18 в., когда уже были достаточно развиты алгебра и математический анализ, строгая математика трактовалась как геометрия, и слово «геометр» было равнозначно слову «математик».

Именно пифагорейцам мы во многом обязаны той математикой, которая затем была систематизированно изложена и доказана в Началах Евклида. Есть основания полагать, что именно они открыли то, что ныне известно как теоремы о треугольниках, параллельных прямых, многоугольниках, окружностях, сферах и правильных многогранниках.

Одним из самых выдающихся пифагорейцев был Платон (ок. 427–347 до н.э.). Платон был убежден, что физический мир постижим лишь посредством математики. Считается, что именно ему принадлежит заслуга изобретения аналитического метода доказательства. (Аналитический метод начинается с утверждения, которое требуется доказать, и затем из него последовательно выводятся следствия до тех пор, пока не будет достигнут какой-нибудь известный факт; доказательство получается с помощью обратной процедуры.) Принято считать, что последователи Платона изобрели метод доказательства, получивший название «доказательство от противного». Заметное место в истории математики занимает Аристотель, ученик Платона. Аристотель заложил основы науки логики и высказал ряд идей относительно определений, аксиом, бесконечности и возможности геометрических построений.

Величайшим из греческих математиков классического периода, уступавшим по значимости полученных результатов только Архимеду, был Евдокс (ок. 408–355 до н.э.). Именно он ввел понятие величины для таких объектов, как отрезки прямых и углы. Располагая понятием величины, Евдокс логически строго обосновал пифагорейский метод обращения с иррациональными числами.

Работы Евдокса позволили установить дедуктивную структуру математики на основе явно формулируемых аксиом. Ему же принадлежит и первый шаг в создании математического анализа, поскольку именно он изобрел метод вычисления площадей и объемов, получивший название «метода исчерпывания». Этот метод состоит в построении вписанных и описанных плоских фигур или пространственных тел, которые заполняют («исчерпывают») площадь или объем той фигуры или того тела, которое является предметом исследования. Евдоксу же принадлежит и первая астрономическая теория, объясняющая наблюдаемое движение планет. Предложенная Евдоксом теория была чисто математической; она показывала, каким образом комбинации вращающихся сфер с различными радиусами и осями вращения могут объяснить кажущиеся нерегулярными движения Солнца, Луны и планет.

Около 300 до н.э. результаты многих греческих математиков были сведены в единое целое Евклидом, написавшим математический шедевр Начала. Из немногих проницательно отобранных аксиом Евклид вывел около 500 теорем, охвативших все наиболее важные результаты классического периода. Свое сочинение Евклид начал с определения таких терминов, как прямая, угол и окружность. Затем он сформулировал десять самоочевидных истин, таких, как «целое больше любой из частей». И из этих десяти аксиом Евклид смог вывести все теоремы. Для математиков текст Начал Евклида долгое время служил образцом строгости, пока в 19 в. не обнаружилось, что в нем имеются серьезные недостатки, такие как неосознанное использование несформулированных в явном виде допущений.

Аполлоний (ок. 262–200 до н.э.) жил в александрийский период, но его основной труд выдержан в духе классических традиций. Предложенный им анализ конических сечений – окружности, эллипса, параболы и гиперболы – явился кульминацией развития греческой геометрии. Аполлоний также стал основателем количественной математической астрономии.

Александрийский период. В этот период, который начался около 300 до н.э., характер греческой математики изменился. Александрийская математика возникла в результате слияния классической греческой математики с математикой Вавилонии и Египта. В целом математики александрийского периода были больше склонны к решению чисто технических задач, чем к философии. Великие александрийские математики – Эратосфен, Архимед, Гиппарх, Птолемей, Диофант и Папп – продемонстрировали силу греческого гения в теоретическом абстрагировании, но столь же охотно применяли свой талант к решению практических проблем и чисто количественных задач.

Эратосфен (ок. 275–194 до н.э.) нашел простой метод точного вычисления длины окружности Земли, ему же принадлежит календарь, в котором каждый четвертый год имеет на один день больше, чем другие. Астроном Аристарх (ок. 310–230 до н.э.) написал сочинение О размерах и расстояниях Солнца и Луны, содержавшее одну из первых попыток определения этих размеров и расстояний; по своему характеру работа Аристарха была геометрической.

Величайшим математиком древности был Архимед (ок. 287–212 до н.э.). Ему принадлежат формулировки многих теорем о площадях и объемах сложных фигур и тел, вполне строго доказанные им методом исчерпывания. Архимед всегда стремился получить точные решения и находил верхние и нижние оценки для иррациональных чисел. Например, работая с правильным 96-угольником, он безукоризненно доказал, что точное значение числа p находится между 31/7 и 310/71. Архимед доказал также несколько теорем, содержавших новые результаты геометрической алгебры. Ему принадлежит формулировка задачи о рассечении шара плоскостью так, чтобы объемы сегментов находились между собой в заданном отношении. Архимед решил эту задачу, отыскав пересечение параболы и равнобочной гиперболы.

Архимед был величайшим математическим физиком древности. Для доказательства теорем механики он использовал геометрические соображения. Его сочинение О плавающих телах заложило основы гидростатики. Согласно легенде, Архимед открыл носящий его имя закон, согласно которому на тело, погруженное в воду, действует выталкивающая сила, равная весу вытесненной им жидкости, во время купания, находясь в ванной, и не в силах совладать с охватившей его радостью открытия, выбежал обнаженный на улицу с криком: «Эврика!» («Открыл!»)

Во времена Архимеда уже не ограничивались геометрическими построениями, осуществимыми только с помощью циркуля и линейки. Архимед использовал в своих построениях спираль, а Диоклес (конец 2 в. до н.э.) решил проблему удвоения куба с помощью введенной им кривой, получившей название циссоиды.

В александрийский период арифметика и алгебра рассматривались независимо от геометрии. Греки классического периода имели логически обоснованную теорию целых чисел, однако александрийские греки, восприняв вавилонскую и египетскую арифметику и алгебру, во многом утратили уже наработанные представления о математической строгости. Живший между 100 до н.э. и 100 н.э. Герон Александрийский трансформировал значительную часть геометрической алгебры греков в откровенно нестрогие вычислительные процедуры. Однако, доказывая новые теоремы евклидовой геометрии, он по-прежнему руководствовался стандартами логической строгости классического периода.

Первой достаточно объемистой книгой, в которой арифметика излагалась независимо от геометрии, было Введение в арифметику Никомаха (ок. 100 н.э.). В истории арифметики ее роль сравнима с ролью Начал Евклида в истории геометрии. На протяжении более 1000 лет она служила стандартным учебником, поскольку в ней ясно, четко и всеобъемлюще излагалось учение о целых числах (простых, составных, взаимно простых, а также о пропорциях). Повторяя многие пифагорейские утверждения, Введение Никомаха вместе с тем шло дальше, так как Никомах видел и более общие отношения, хотя и приводил их без доказательства.

Знаменательной вехой в алгебре александрийских греков стали работы Диофанта (ок. 250). Одно из главных его достижений связано с введением в алгебру начал символики. В своих работах Диофант не предлагал общих методов, он имел дело с конкретными положительными рациональными числами, а не с их буквенными обозначениями. Он заложил основы т.н. диофантова анализа – исследования неопределенных уравнений.

Высшим достижением александрийских математиков стало создание количественной астрономии. Гиппарху (ок. 161–126 до н.э.) мы обязаны изобретением тригонометрии. Его метод был основан на теореме, утверждающей, что в подобных треугольниках отношение длин любых двух сторон одного из них равно отношению длин двух соответственных сторон другого. В частности, отношение длины катета, лежащего против острого угла А в прямоугольном треугольнике, к длине гипотенузы должно быть одним и тем же для всех прямоугольных треугольников, имеющих один и тот же острый угол А. Это отношение известно как синус угла А. Отношения длин других сторон прямоугольного треугольника получили название косинуса и тангенса угла А. Гиппарх изобрел метод вычисления таких отношений и составил их таблицы. Располагая этими таблицами и легко измеримыми расстояниями на поверхности Земли, он смог вычислить длину ее большой окружности и расстояние до Луны. По его расчетам, радиус Луны составил одну треть земного радиуса; по современным данным отношение радиусов Луны и Земли составляет 27/1000. Гиппарх определил продолжительность солнечного года с ошибкой всего лишь в 61/2 минуты; считается, что именно он ввел широты и долготы.

Греческая тригонометрия и ее приложения в астрономии достигли пика своего развития в Альмагесте египтянина Клавдия Птолемея (умер в 168 н.э.). В Альмагесте была представлена теория движения небесных тел, господствовавшая вплоть до 16 в., когда ее сменила теория Коперника. Птолемей стремился построить самую простую математическую модель, сознавая, что его теория – всего лишь удобное математическое описание астрономических явлений, согласованное с наблюдениями. Теория Коперника одержала верх именно потому, что как модель она оказалась проще.

Упадок Греции. После завоевания Египта римлянами в 31 до н.э. великая греческая александрийская цивилизация пришла в упадок. Цицерон с гордостью утверждал, что в отличие от греков римляне не мечтатели, а потому применяют свои математические знания на практике, извлекая из них реальную пользу. Однако в развитие самой математики вклад римлян был незначителен. Римская система счисления основывалась на громоздких обозначениях чисел. Главной ее особенностью был аддитивный принцип. Даже вычитательный принцип, например, запись числа 9 в виде IX, вошел в широкое употребление только после изобретения наборных литер в 15 в. Римские обозначения чисел применялись в некоторых европейских школах примерно до 1600, а в бухгалтерии и столетием позже.

Периодизация Греческой математики

Начальный период

Вплоть до VI века до н. э. греческая математика ничем выдающимся не прославилась. Были, как обычно, освоены счёт и измерение. Греческая нумерация (запись чисел), как позже римская, была аддитивной, то есть числовые значения цифр складывались. Первый её вариант (аттическая, или геродианова) содержали буквенные значки для 1, 5, 10, 50, 100 и 1000. Соответственно была устроена и счётная доска (абак) с камешками. Кстати, термин калькуляция (вычисление) происходит от calculus  — камешек. Особый дырявый камешек обозначал нуль.

Позднее вместо аттической нумерации была принята алфавитная — первые 9 букв греческого алфавита обозначали цифры от 1 до 9, следующие 9 букв — десятки, остальные — сотни. Чтобы не спутать числа и буквы, над числами рисовали чёрточку. Числа, большие 1000, записывали позиционно, помечая дополнительные разряды специальным штрихом (внизу слева). Специальные пометки позволяли изображать и числа, большие 10000.

В VI веке до н. э. «греческое чудо» начинается: появляются сразу две научные школы — ионийцы (Фалес Милетский, Анаксимен, Анаксимандр) и пифагорейцы. О достижениях ранних греческих математиков мы знаем в основном по комментариям позднейших авторов, преимущественно Евклида, Платона и Аристотеля.

Фалес, богатый купец, во время торговых поездок, видимо, хорошо изучил вавилонскую математику и астрономию. Ионийцы дали первые доказательства геометрических теорем.

Однако главная роль в деле создания античной математики принадлежит пифагорейцам.

Пифагорейская школа

Пифагор, основатель школы, как и Фалес, много путешествовал и тоже учился у египетских и вавилонских мудрецов. Вернувшись около 530 г. до н. э. в Великую Грецию (район южной Италии), он в городе Кротон основал нечто вроде тайного духовного ордена. Именно он выдвинул тезис «Числа правят миром», и с исключительной энергией занимался его обоснованием. В начале V в. до н. э., после неудачного политического выступления, пифагорейцы были изгнаны из Южной Италии, и союз прекратил свое существование, однако популярность учения от рассеяния только возросла. Пифагорейские школы появились в Афинах, на островах и в греческих колониях, а их математические знания, строго оберегаемые от посторонних, сделались общим достоянием.

Многие достижения, приписываемые Пифагору, вероятно, на самом деле являются заслугой его учеников. Пифагорейцы занимались астрономией, геометрией, арифметикой (теорией чисел), создали теорию музыки. Пифагор первый из европейцев понял значение аксиоматического метода, чётко выделяя базовые предположения (аксиомы, постулаты) и дедуктивно выводимые из них теоремы.

Геометрия пифагорейцев в основном ограничивалась планиметрией (судя по дошедшим до нас позднейшим трудам, очень полно изложенной) и завершалась доказательством «теоремы Пифагора». Хотя изучались и правильные многогранники.

Была построена математическая теория музыки. Зависимость музыкальной гармонии от отношений целых чисел (длин струн) была сильным аргументом пифагорейцев в пользу исконной математической гармонии мира, спустя 2000 лет воспетой Кеплером. Они были уверены, что «элементы чисел являются элементами всех вещей… и что весь мир в целом является гармонией и числом» [1]. В основе всех законов природы, полагали пифагорейцы, лежит арифметика, и с её помощью можно проникнуть во все тайны мира. В отличие от геометрии, арифметика у них строилась не на аксиоматической базе, свойства натуральных чисел считались самоочевидными, однако доказательства теорем и здесь проводили неуклонно.

Пифагорейцы немало продвинулись в теории делимости, но чрезмерно увлеклись играми с «треугольными», «квадратными», «совершенными» и т. п. числами, которым, судя по всему, придавали мистическое значение. Видимо, правила построения «пифагоровых троек» были открыты уже тогда; исчерпывающие формулы для них приводятся у Диофанта. Теория наибольших общих делителей и наименьших общих кратных тоже, видимо, пифагорейского происхождения. Вероятно, они же построили общую теорию дробей (понимаемых как отношения (пропорции), так как единица считалась неделимой), научились выполнять с дробями сравнение (приведением к общему знаменателю) и все 4 арифметические операции.

Первой трещиной в пифагорейской модели мира стало ими же полученное доказательство иррациональности , сформулированное геометрически как несоизмеримость диагонали квадрата с его стороной. Невозможность выразить длину отрезка числом ставила под сомнение главный тезис пифагорейства. Даже Аристотель, не разделявший их взгляды, выражал своё изумление по поводу того, что есть вещи, которые «нельзя измерить самою малою мерою» [2].

Положение попытался спасти талантливый пифагореец Теэтет. Он (и позже Евдокс) предложили новое понимание числа, которое теперь формулировались на геометрическом языке, и проблем соизмеримости не возникало. Однако впоследствии выяснилось, что построение числовой алгебры на основе геометрии было стратегической ошибкой пифагорейцев; например, с точки зрения геометрии выражения x2 + x и даже x4 не имели геометрического истолкования, и поэтому не имели смысла. Позднее Декарт поступил наоборот, построив геометрию на основе алгебры, и добился громадного прогресса.

Теэтет разработал также полную теорию делимости и классификацию иррациональностей. Можно предполагать, что деление нацело с остатком и «алгоритм Евклида» для нахождения наибольшего общего делителя тоже впервые появились у пифагорейцев, задолго до «Начал» Евклида. Непрерывные дроби как самостоятельный объект выделили только в Новое время, хотя их неполные частные естественным путём получаются в алгоритме Евклида.

Нумерологическая мистика пифагорейцев нередко приводила к произвольным и спекулятивным выводам. Например, они были уверены в существовании невидимой Антиземли, так как без неё число небесных сфер (нижнее небо, Солнце, Луна и 6 планет) не составляет совершенного числа 10. В целом, несмотря на обилие мистики и эксцентричных предрассудков, заслуги пифагорейцев в развитии и систематизации античных математических знаний неоценимы.

V век до н. э. — Зенон, Демокрит

В V веке до н. э. появились новые вызовы оптимизму пифагорейцев.

Первый из них — три классические задачи древности: удвоение куба, трисекция угла и квадратура круга. Греки строго придерживались требования: все геометрические построения должны выполняться с помощью циркуля и линейки, то есть с помощью совершенных линий — прямых и окружностей. Однако для перечисленных задач найти решение каноническими методами не удавалось. Алгебраически это означало, что не всякое число можно получить с помощью 4 арифметических операций и извлечения квадратного корня.

Квадратурой круга безуспешно занимался выдающийся геометр-пифагореец, автор доевклидовых «Начал», первого свода геометрических знаний, Гиппократ Хиосский.

Первые две задачи сводятся к кубическим уравнениям. Архимед позже дал общее решение кубических уравнений с помощью конических сечений. Однако многие комментаторы продолжали считали подобные методы неприемлемыми. Гиппий из Элиды (V век до н. э.) показал, что для трисекции угла полезна квадратриса (первая трансцендентная кривая в истории математики); она же, кстати, решает и задачу квадратуры круга (Динострат, IV век до н. э.).

Помимо перечисленных, греки активно исследовали задачу деления круга: какие правильные многоугольники можно построить циркулем и линейкой. Без труда удавалось разделить окружность на 3, 4, 5, 15 частей, а также удвоить перечисленные значения. Но семиугольник никому не поддавался. Как оказалось, здесь также получается кубическое уравнение. Полную теорию опубликовал только Гаусс в XIX веке.

Второй удар по пифагореизму нанёс Зенон Элейский, предложив ещё одну тему для многовековых размышлений математиков. Он высказал более 40 парадоксов (апорий), наиболее знамениты четыре (см. список апорий). Вопреки многократным попыткам их опровергнуть и даже осмеять, они, тем не менее, до сих пор служат предметом серьёзного анализа. Здесь затронуты самые деликатные вопросы оснований математики — конечность и бесконечность, непрерывность и дискретность. Математика тогда считалась средством познания реальности, и суть споров можно было выразить как неадекватность непрерывной, бесконечно делимой математической модели физически дискретной материи [3].

В конце V века до н. э. жил ещё один выдающийся мыслитель — Демокрит. Он знаменит не только созданием концепции атомов. Архимед писал, что Демокрит нашёл объём пирамиды и конуса, но доказательств своих формул не дал. Вероятно, Архимед имел в виду доказательство методом исчерпывания, которого тогда ещё не существовало.

IV век до н. э. — Платон, Евдокс

Уже к началу IV века до н. э. греческая математика далеко опередила всех своих учителей, и её бурное развитие продолжалось. В 389 году до н. э. Платон основывает в Афинах свою школу — знаменитую Академию. Математиков, присоединившихся к Академии, можно разделить на две группы: на тех, кто получил своё математическое образование вне Академии, и на учеников Академии. К числу первых принадлежали Теэтет Афинский, Архит Тарентский и позднее Евдокс Книдский; к числу вторых — Амикл из Гераклеи, братья Менехм и Динострат.

Сам Платон конкретных математических исследований не вёл, но опубликовал глубокие рассуждения по философии и методологии математики. А ученик Платона, Аристотель, оставил бесценные для нас записки по истории математики.