Большая Советская Энциклопедия (МА)

  Эллинистическая и римская эпоха. С 3 века до н. э. на протяжении семи столетий основным центром научных и особенно математических исследований являлась Александрия. Здесь, в обстановке объединения различных мировых культур, больших государственных и строительных задач и невиданного ранее по своей широте государственного покровительства науке, греческая М. достигла своего высшего расцвета. Несмотря на распространение греческой образованности и научных интересов во всём эллинистическом и римском мире, Александрия с её «музеем», являвшимся первым научно-исследовательским институтом в современном смысле слова, и библиотеками обладала столь большой притягательной силой, что почти все крупнейшие учёные стекались сюда. Из упоминающихся ниже математиков лишь Архимед остался верным родным Сиракузам. Наибольшей напряжённостью математического творчества отличается первый век александрийской эпохи (3 век до н. э.). Этому веку принадлежат Евклид , Архимед , Эратосфен и Аполлоний Пергский .

  В своих «Началах» Евклид собрал и подверг окончательной логической переработке достижения предыдущего периода в области геометрии (см. «Начала» Евклида ). Вместе с тем в «Началах» же Евклид впервые заложил основы систематической теории чисел, доказывая бесконечность ряда простых чисел и строя законченную теорию делимости. Из геометрических работ Евклида, не вошедших в «Начала», и работ Аполлония Пергского наибольшее значение для дальнейшего развития М. имело создание законченной теории конических сечений . Основной заслугой Архимеда в геометрии явилось определение разнообразных площадей и объёмов (в том числе площадей параболического сегмента и поверхности шара, объёмов шара, шарового сегмента, сегмента параболоида и т. д.) и центров тяжести (например, шарового сегмента и сегмента параболоида); архимедова спираль является лишь одним из примеров изучавшихся в 3 веке до н. э. трансцендентных кривых. После Архимеда, хотя и продолжался рост объёма научных знаний, александрийская наука уже не достигала прежней цельности и глубины; зачатки анализа бесконечно малых, содержавшиеся в эвристических приёмах Архимеда, не получили дальнейшего развития. Следует сказать, что возникший из прикладных нужд интерес к приближённому измерению величин и приближённым вычислениям не привёл математиков 3 века до н. э. к отказу от математической строгости. Все многочисленные приближённые извлечения корней и даже все астрономические вычисления производились ими с точным указанием границ погрешности, по типу знаменитого архимедова определения длины окружности в форме безукоризненно доказанных неравенств

где р — длина окружности с диаметром d . Это отчётливое понимание того, что приближённая М. не есть «нестрогая» М., было позднее надолго забыто.

  Существенным недостатком всей М. древнего мира было отсутствие окончательно сформированного понятия иррационального числа. Как уже было указано, это обстоятельство привело философию 4 века до н. э. к полному отрицанию законности применения арифметики к изучению геометрических величин. В действительности, в теории пропорций и в исчерпывания методе математикам 4 и 3 веков до н. э. всё же удалось косвенным образом осуществить это применение арифметики к геометрии. Ближайшие века принесли не положительное разрешение проблемы путём создания фундаментального нового понятия (иррационального числа), а постепенное её забвение, ставшее возможным с постепенной утратой представлений о математической строгости. На этом этапе истории М. временный отказ от математической строгости оказался, однако, полезным, открыв возможность беспрепятственного развития алгебры (допускавшейся в рамках строгих концепций евклидовых «Начал» лишь в чрезвычайно стеснительной форме «геометрической алгебры» отрезков, площадей и объёмов). Значительные успехи в этом направлении можно отметить в «Метрике» Герона . Однако самостоятельное и широкое развитие настоящего алгебраического исчисления встречается лишь в «Арифметике» Диофанта , посвященной в основном решению уравнений. Относя свои исследования к чистой арифметике, Диофант, естественно, ограничивается, в отличие от практика Герона, рациональными решениями, исключая тем самым возможность геометрических или механических приложений своей алгебры. Тригонометрия воспринимается в древнем мире в большой мере как часть астрономии, а не как часть М. К ней так же, как и к вычислительной геометрии Герона, не предъявляется требований полной строгости формулировок и доказательств. Гиппарх первый составил таблицы хорд, исполнявшие роль наших таблиц синусов. Начала сферической тригонометрии создаются Менелаем и Клавдием Птолемеем .