* * *
Часовые мастера того времени задавались вопросом: существует ли кривая, в которой угол наклона и расстояние до основания связаны так, что скорость падения и пройденный путь компенсируют друг друга? Для этой кривой время, за которое шарик достигнет ее нижней точки, не зависит от того, с какой высоты он падает, поэтому еще до своего открытия эта кривая получила название таутохроны, что означает по-гречески «равное время».
В 1673 году Христиан Гюйгенс доказал, что циклоида является таутохронной кривой и определяется как траектория, описываемая точкой окружности при качении этой окружности вдоль прямой без проскальзывания.
На рисунке показано, как при вращении окружности образуется циклоида.
Гюйгенс понял, что если маятник будет двигаться по циклоиде, то высота, с которой он будет опускаться при колебаниях, перестанет иметь значение. Подобно шарику, скатывающемуся в чашке, маятник всегда будет достигать нижней точки за одинаковое время.
Но как добиться именно такого движения маятника? Решить эту задачу помогло одно из наиболее удивительных свойств циклоиды: эволюта циклоиды также является циклоидой. Понятие эволюты слишком сложно, чтобы объяснить его здесь, но понять его геометрический смысл нетрудно. Допустим, что мы разделили циклоиду пополам и соединили ее половины в вершине А, как показано на рисунке.
Построение эволюты циклоиды.
Если мы возьмем нить заданной длины, закрепим ее конец в точке А и вытянем ее так, что она всегда будет опираться на одну из ветвей циклоиды, то конец этой нити опишет кривую, которая также будет циклоидой. Гюйгенс нашел способ изготовить маятник с незатухающими колебаниями, которые были ограничены двумя ветвями циклоиды. Схема этого маятника приведена на рисунке выше.
Хотя время нельзя считать физической величиной, подобно массе или температуре, его можно измерить, и изобретение Гюйгенса позволило в повседневной жизни считать время дискретным.
Ритм нашей жизни по-прежнему определяют звуки «тик-так», отмеряющие дискретные промежутки времени. Однако в научном мире интервал между «тик» и «так» удивительным образом сокращался. Говоря простым языком, он в бесконечное число раз меньше секунды. Современные атомные часы отмеряют промежутки времени в 1/9192631770 секунды. Насколько же дискретны эти часы!
Дискретное состоит из элементов, отдельных единиц. А непрерывное? Кажется логичным считать, что непрерывное не может иметь подобной структуры, так как единичные элементы можно разделить, а между двумя соприкасающимися элементами не может находиться ничего — если бы там что-то находилось, его также можно было бы разделить на части. Если мы поразмыслим над этим хотя бы немного, то увидим, что понятие бесконечно малой величины вплотную подводит нас к понятию непрерывности. Размышления о природе непрерывного занимали важное место в греческой философии, одним из самых заметных представителей которой был Зенон. В своих известных парадоксах он продемонстрировал непрочность любой теории, в которой использовались бесконечно большие или бесконечно малые величины.
Главной целью рассуждений Зенона было подтвердить правильность теорий Парменида (предполагается, что он был учителем Зенона), который утверждал, что все сущее является неделимым как в пространстве, так и во времени. Кроме того, Зенон также хотел поспорить с пифагорейцами, считавшими порождением всего сущего «непрерывный поток».
Следствием невозможности разделить время на промежутки стала невозможность движения, которое понималось как последовательность участков пространства, которые занимал объект в течение некоторого периода времени. Идея Зенона заключалась в следующем: если принять верной гипотезу, противоположную гипотезе Парменида, мы получим противоречие столь абсурдное, что оно будет абсолютно неприемлемо с позиций здравого смысла. Этот логический метод называется доведением до абсурда, и Зенон был если не создателем, то по меньшей мере одним из первых, кто широко использовал его.
Суть метода заключается в следующем: предполагается, что определенная гипотеза верна, и на ее основе делается ряд логических умозаключений, которые ведут к очевидно ложному результату, на основании чего делается вывод о ложности исходной гипотезы. В терминах логики в основе этого метода лежат следующие соотношения: