История математики (стр. 2 из 6)

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

Из простых геометрических конфигураций возникали некоторые свойства целых чисел. Например, пифагорейцы обнаружили, что сумма двух последовательных треугольных чисел всегда равна некоторому квадратному числу. Они открыли, что если (в современных обозначениях) n² – квадратное число, то n² + 2n +1 = (n + 1)². Число, равное сумме всех своих собственных делителей, кроме самого этого числа, пифагорейцы называли совершенным. Примерами совершенных чисел могут служить такие целые числа, как 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-угольником, он безукоризненно доказал, что точное значение числа  находится между 3¹/₇ и 3¹⁰/₇₁. Архимед доказал также несколько теорем, содержавших новые результаты геометрической алгебры. Ему принадлежит формулировка задачи о рассечении шара плоскостью так, чтобы объемы сегментов находились между собой в заданном отношении. Архимед решил эту задачу, отыскав пересечение параболы и равнобочной гиперболы.