Спираль — это кривая, образованная точкой, которая удаляется от центра и одновременно вращается вокруг него. Архимед изучал особенный тип спирали, которая теперь известна именно как спираль Архимеда (см. рисунок), характеризующаяся способом своего построения:
Спираль Архимеда представляет собой кривую, образованную точкой, которая с постоянной скоростью удаляется от вершины луча, вращающегося с постоянной угловой скоростью вокруг своей вершины.
В трактате «О спиралях» Архимед изучает спираль, впоследствии получившую его имя, и некоторые из ее свойств. Данный текст считается одним из самых сложных трудов древнегреческих мыслителей. Недаром в античности он оставался в забвении, а некоторые математики XVII — XVIII веков считали его ошибочным, поскольку оказались не в состоянии его понять. Его значимость заключается не только в его математических достоинствах, но и в философских аспектах. Речь идет в первую очередь о первом из известных документов, где рассматривается касательная к кривой, отличной от окружности. С математической точки зрения это очень важно, ведь поднятая Архимедом тема могла бы стать введением в курс дифференциального исчисления. Такое предположение становится очевидным, если учесть, что в своих доказательствах Архимед подошел почти вплотную к интегральному исчислению.
Трактат «О спиралях» состоит из 28 утверждений и посвящен Досифею Пелузийскому, которому адресовано и предваряющее основной текст письмо. Первые 11 утверждений — вспомогательные, Архимед использует их для доказательства других, более ему интересных. Такой метод работы характерен в целом для Архимеда — использовать предварительные утверждения как ступеньку для выхода на более высокий уровень. Он и сам в предисловии выделяет четыре наиболее важных результата и характеризует остальные как вспомогательные. После первых 11 утверждений Архимед приводит список из шести определений, и первое из них является собственно определением спирали Архимеда, которое мы излагали выше. Утверждения с 12-го по 20-е касаются свойств касательных к спирали, а также соотнесенности длины ее витков с оборотами, совершаемыми ею. В этой части работы Архимед показывает, как выстроить касательную к спирали в заданной точке. Наконец, в утверждениях с 21-го по 28-е Архимед рассматривает площади фигур, образованных кривой при последовательных оборотах, — данные утверждения представляют собой наиболее интересные результаты для исследователей. Учитывая сложность трактата, мы остановимся лишь на одном из них, под номером 24:
Вышесказанное Архимед доказывает методом исчерпывания (см. рисунок), а также он использует доказательство от противного, заключив, что площадь образованной фигуры не может быть ни больше, ни меньше трети круга.