19
Тайны циклоиды
С. Г. Веров
«Рулетта является линией столь обычной, что после прямой и окружности нет более часто встречающейся линии; она так часто вычерчивается перед глазами каждого, что надо удивляться тому, как не рассмотрели ее древние …, ибо это не что иное, как путь, описываемый в воздухе гвоздем колеса, когда оно катится своим движением с того момента, как гвоздь начал подниматься от земли, до того, когда непрерывное качение колеса не приводит его опять к земле после окончания целого оборота».
Паскаль
Кривую, «так часто вычерчивающуюся перед глазами каждого», первыми заметили Галилей (в Италии) и Мерсенн (во Франции). В Италии ее назвали циклоидой, во Франции — рулеттой. Привилось первое название, а рулеттами теперь называют кривые более широкого класса (см. статью «Касательные к рулеттам», «Квант», 1975, № 5, с. 22; в дальнейшем, ссылаясь на эту статью, мы будем писать КР). Математики XVII века, создававшие общие методы исследования кривых, были очень заинтересованы в новых «подопытных» кривых. Среди этих кривых циклоида заняла особое место. Она оказалась одной из первых трансцендентных кривых (кривых не алгебраического происхождения), для которых удалось найти красивый явный ответ в задачах о построении касательных и вычислении площади. Но больше всего поражало, что циклоида вновь и вновь появлялась при решении самых разных задач, в пер-
2*
воначальной постановке которых она не участвовала. Все это сделало циклоиду самой популярной кривой XVII века: в 1673 году Гюйгенс констатировал, что «циклоида исследована точнее и основательнее всех других кривых».
1. От кинематического определения к аналитическому
Кинематическое определение циклоиды содержится в эпиграфе к этой статье. Попробуем его расшифровать.
Выберем на плоскости систему координат так, чтобы прямая, по которой катится круг (направляющая прямая), совпала с осью , и пусть круг (его называют производящим кругом) катится в положительном направлении оси . Предположим, что в начальный момент времени наблюдаемая точка границы круга занимает положение (рис. 1). Если — радиус производящего круга, то центр его будет двигаться по прямой . Чтобы полностью охарактеризовать качение круга, достаточно описать движение его центра, если только добавить, что круг катится без скольжения *). Нам удобно, зафиксировав единицу времени, предположить, что центр круга движется равномерно со скоростью . В момент времени
*) Вероятно, именно это и имел в виду Паскаль, когда писал, что колесо «катится своим движением».
20
центр круга оказывается в точке , и производящий круг будет касаться направляющей прямой в точке .
Найдем теперь положение на ближайшей точки в момент времени (в силу определения будет точкой циклонды). Чтобы это сделать, нужно четко формировать у слова и е, что качение круга проискодит без скольжения: оно состоит в том, что длина отрезка между точками касания производшего круга с направляющей прямой в момент времени 0 и (отрезка ; см. рис. 1) равна длина других , «прокатившейся» по этому отрезку (при этом дуга может превышать полную окружность).
Поэтому в момент времени угол равен (в радианной мере), так как длина других равна . Обозначив через проекцию точки на прямую, проходящую через центр круга параллельно оси , а через — проекцию точки на прямую, проходящую через центр параллельно оси (рис. 2), получим (с учетом направления координатных осей)
(посмотрите, что будет в случае ). Следовательно, координаты точки циклонды равны соответственно
Заметим, что при длина отрезка оказывается равной длине окружности, наблюдаемая точка вновь попадает на ось () и картина начинает повторять. Таким образом, период циклонды равен .
Итак, циклонду можно определить как множество точки с координатами и при желании проискодное кinemатическое определение забыть. Мы получили так называемое параметрическое задание циклонды: обе координаты и точки циклонды являются функциями от некоторой вспомогательной переменной .
Назовем точки циклонды, лежащие на оси , остриями циклонды, точки, лежащие на прямой , а других соседними остриями — арками циклонды. В выбранной системе координат циклонда характеризуется одним параметром (радиусом производшего круга). Все циклонды, у которых точки — острие, получают друг из друга готовотейной. По каждой точке , можно единственным образом выбрать так, что эта точка будет лежать на первой арке, выходящей из , соответствующей циклонды (доказите).
В статье КР доказано, что касательная к циклонде в точке (рис. 3) проходит через верхию точку производшего круга — точку на рис. 1.
21
сунке 3. Пусть — нижняя точка круга, — угол между касательной и вертикальной . Тогда — нормаль к циклоне (перpendикуляр к касательной), и для ординаты точки имеем: . Отсюда
Это соответствие будет играть важную роль в дальнейшем. Можно показать, что циклона с параметром является единственной кривой, проходящей через точку , удовлетворяющей соответствию (1).
- О площадях криволинейных фигур
Площади некоторых криволинейных фигур умелы вычислять еще в Древней Греции. Вначале интересовались лишь квадратурой фигур, т. е. построением для данной фигуры циклulum и линейной отрезка,лина которого равна ее площади. Как выяснили позднее, это можно сделать для тех фигур, площадь которых вычисляется при помощи арифметических операций и операции извлечения квадратного корня. Постепенно стали интересовать фигурами, площадь которых вычисляется с помощью произвольных алгебраических операций (алgebraическая квадратура), а затем даже и таким фигурами, в выражениях для площадей которых фигурировало число . Основной метод вычисления площадей состоит в приближении данной фигуры многоугольниками и перехождение к пределу; но должно быть очень повезти, чтобы эти вычисления удалось довести до явного ответа.
Иногда вычисление площади фигур можно упростить, воспользоваться какими-нибудь общими свойствами площадей. Вот несколько таких свойства.
-
При этомеми фигуры с коэффициентом площадь ее умножается на , а при расчженении фигуры относительно некоторой оси с коэффициентом площадь ее умножается на .
-
Равносстравленные фигуры (m. e. фигуры, которые можно разрезать на попарно конгурзимные части) равновелики (имеются площади).
-
Две фигуры, при пересечении которых любой прямой, параллельной некоторых фиксированной прямой , получаются конгурзимные отрезки, равновелики (этот принцп сформулировал в 1635 году Кавальери (1598—1647)).
Представим себе, что контур фигуры — гибкая лента, а сама фигура составлена из очень тонких жестких слоев, параллельных прямой («неделимых», по терминологии Кавальери). Расмотрим преобразования, сохраняющие эти слои, но сdwггаошие их друг относительно друга. Все получающие при таких преобразованиях фигуры в силу принципика Кавальери будут равновелики.
Перечисленные свойства площадей нужноются в доказательствах (основная трудность этих доказательств состоит в том, чтобы дать строгое определение площади), но в них легко проверить. Сейчас мы расскажем о том, как изящно применяются эти свойства при вычислении площади фигуры, лежащей под аркой циклонды.
22
- Спутница циклонды, лепестки Роберваля и плошадь под циклондой
Поскольку циклонды подобны, мы ограничимся случаем . Вслед за Робервалем (1602—1675) связь с каждой точкой циклонды (см. рис. 3) ее проекцию на вертикальной диаметр производащего круга. Точка имеет координаты .
Кривую, составленную из точек при всевозможных , Роберваль называл «спутница циклонды». Ясно, что «спутница циклонды» — это сдиинутая синусоид (на 1 вверх и на вправо).
С этим обстоятельством связан исторический курсез. Математики с незапамятных времен занимались тригонометрическими функциями, но синусоид в первые появились лишь в XVII века, причем не как график с инуса, а как … «с путиица циклонды» (отчасти это можно обяснить тем, что долго не рассматривали функций не алгебраической проинсходения).
«Спутница циклонды» разбивает ее на три части (рис. 4): фигуру под синусоид и две симметричные фигуры, называные «лепестками Роберваля». В силу свойства 2 площади фигуры под синусоид равна : эта фигура равносstellена с прямогольником такой площади (рис. 5). Расстоянием один «лепесток». Горизонталь на высоте пересекает его по отрезку длины (см. рис. 2). Переместив эти горизонтальные отрезки (при всевозможных ) вдоль своих горизонталей так, чтобы их левые концы попали на одну вертикаль, мы получим полукруг единичного круга (рис. 6). В силу принципа Кавальери площадь «лепестка» равна площади этого полукруга, т. е. . Значит, площадь фигуры под аркой циклонды с равна (и следовательно, при ).
Вопрос о вычислении площадей сегментов циклонды является менее элементарным. Гюйгенс (1629—1695) не без гордости писал: «Я первый промерил площадь точки циклонды, которая получится, если отсутствать от вершины часть оси и проведится параллель основанию. Эта часть составляет половину площадного шестиугольника, вписанного в образующий круг».
23
- Таутохрона
«Циклопадный математический матрик был изобретен Христаном Гюйенсом, крупным ученым XVII столетия и генеральным часовым мастером всех времен».
Зоммерфельд. Механика
Галилей утверждал, что период колебаний математического матрика определяется только его длиной и не зависит от угла его максимального размера. Гюйгенс, выясив, что это утверждение справедливо лишь для малых углов , решил построить матрик, период колебаний которого и в самом деле не зависит бы от (такой матник называется maymoхронным или изохронным).
Построение таутохронного матрика Гюйгенс разделил на два этапа:
- нахождение кривой, по которой должен двигаться конец матрика (maymoхроны);
- нахождение подвески матрика, обеспечивающей движение его конца по таутохроне.
Мы начнем с понсков таутохроны (существование которого заранее не очень удобно).
Конец математического матрика движется по дуге окружности точно так же, как тяжелая матриальная точка — по желобу, контур которого совпадает с этой окружностью. Если пренебречь слими треня и сопротивления воздуха, то тяжелая точка, пущенная по кругу овому желобу без начальной скорости с высоты , пройдя нижнее положение, снова поднимается на высоту , и далее будет совершать периодические колебания, поднимаясь то в одну нота, то в другую сторону на высоту . Неверное утверждение Галилей состоит в том, что при этом период колебаний не зависит от . Наша задача — определить, какой форму должна быть желоб, чтобы то, что утверждал Галилей, было верным.
Благодаря哉стливой случайности (они в истории науки играют не последнюю роль), Гюйгенс изучал цикл(longу (в связи с конкурсом Паскаля, 1658 год) в то same время, когда искал таутохронный матрик. Именно циклона и оказалась таутохроной! Вероятно, сам Гюйгенс этого заранее не ожидал (так можно поннимать его слова: «я обнаружил приготовность ее (циклоны) для измерения времени, исследуя ее по строим правлам науки не подозревая ее применением»).
Рассмотрим на желобе, сделанным по форме перевернутой циклоны (рис. 7; — радиус производащего круга) тяжелую матриальную точку; пусть в начальной момент времени она находится на высоте (в точке на рисунке). Попытемся найти время , через которой она оказывается в нижней точке (вершине циклоны). Тогда через она будет в точке циклоны, симметричной относительной вертикальной оси точки , а через время (полный период) вернется в точку . На интересует зависимость от .
Пусть в момент времени яжелая точка занимает положение на высоте . Вектор скорости в момент времени направлен по касательной к циклоне в точке , его длина (величина скорости) определяется из закона сохранения энергии:
т. е.
Посмотрим, как движется проеки к цц и нашей точки на вертикаль . В момент времени эта проекция занимает положение , а в момент времени она оказывается в точке (см. рис. 7), проёдя отрезок длины . Скорость в момент времени этого прямолинейного движения (в точке на рис. 7) — это проекция вектора скорости на
24
вертикаль: , где — угол между касательной к циклюде и вертикалью. Поскольку (см. (1), с. 21) и , то , а значит, .
Итак, закон изменения скорости у нашей прямолинейного движения довольно сложный. Но Гюйгенс заметил (решаюшая докадка!), что при равномерном врашательном движении по окружности диаметра вертикальная компенента вектора скорости имеет тот же вид, что и . Действительно, построим на отрезке как на диаметре полукругжность, и пусть — точка этой полукругжности, лежащая на высоте . Длина отрезка равна .
Из подобия прямогольных треугольников, окрашенных на рис. 7 в красный цвет (их стороны взаимно перпендикулярны: — радиус, в точке проведены касательная к полукругжности и вертикаль), следует, что касательный к окружности в точке вектор длины имеет вертикальную проекцию длины . Значит, когда наша точка движется по циклюде, соответствующая ей точка равномерно врашается с угловой скоростью точка пройдет полукругжность , за то же время точка пройдет отрезок , а сама точка — дугу циклюды . Итак, мы не только доказалиmayтохронность циклюды (т. е., что не зависит от ), но и нашли полный период колебаний:
Формула (2) настоящего наполнения гипотетического формулу Галилея для перiodа математического матрика длины , что было естественно попытаться воспользоваться (2) для обоснования последней. И в самом деле, с помощью (2) Гюйгенс получил первое строое доказательство формулы для перiodа колебаний математического матрика при малых углах размаха . Он заметил, что при малых углах круговой желез почти не отличается от циклондального, и оставалось только понять, при каком соответствии между длиной математического матрика и параметром циклонды это отличие наименьшее. Оказалось, что при (это не оченьный факт; мы еще к нему вернемся). Подставляя в (2) , получаем знаменную формулу для перiodа математического матрика: (при малых ).
*) Фактически доказано, что движение тяжелой материальной точки по циклондому железу можно представить в виде суммы равномерного врашательного движения с угловой скоростью, не зависит от того, с какой высоты пушена точка, и некоторого (вобше говора, неравномерного) построительного движения. При это легко вывести из кинематического определения циклюды и соответствия (1), с. 21.
25
- Циклондальный матник
Создавая первую модель часов, Гойгенс надеялся скоппencировать отклонение простого (математического) матриника от татухронности, уменьшая в процессе отклонения его длину. Длину матрика можно регулировать, установив «шеки» (рис. 8), на которые в процессе отклонения будет наматьаться нить подвески. Попытки экспериментального пообрать нужную зависимость длины матрика от угла отклонения не дали успеха, и Гойгенс вследующих свойствах конструкции часов установивает вместе «шек» ограничители амплитуды размах. Когда же выяснили, что циклонда — татухрона, стало понятно, что форма «шек» должна быть такой, чтобы конец матрики дивgalся по циклонде.
Гойгенс искал форму «шек», расуждая (в несколько волном пересказе) примерно так. Пусть имеется препятствие, ограниченное кривой , в некоторой точке которого закреплена нерастящим нить длины (рис. 9). Наятную нить мы наматываем на препятствие, наблюдая за кривой , которое описывает незакрепленный конец нити. Гойгенс называл кривой разверткой кривой ; теперь называют эволюеной кривой , а — эволюет кривой (с одной эволюютой связьается много эволюент, отвечающих разным длиам ). Нам нужно найти эволююту циклонды.
Кривая состоит из таких точек , что сумма длин отрезка касательной к кривой в точке и друг АО кривой равна (см. рис. 9 — это в точности означает натянутость частично намотанной на нити). Первая дорогка Гойгенса заключалась в том, что касательная к кривой в точке — является одновременного нормального к кривой в точке . Проще всего посянить этот факт, исходя из kinematического определенения кривой . Вспомним, что вектор скорости направлен по касательной к траектории движения и что при изменении действия сил вектор скорости не может измениться мгновенно (подробнее об этом см. в статье КР). «Обрубим» в точке препятствие, но будем продолжать движение натянутой нити (рис. 10); тогда конец нити начинает движаться по окружности с центром в точке ; векторная же скорость его в точке не изменится; поэтому в точке у кривой и окружности с центром будет общая касательная, перпендикулярная к радиусу .
Читатель статьи КР заметят также, что если рассматривать нити разной длины, то описанное движение конца нити продолжается до такого движения все плоскости как твердой пластинны, при котором точки кривой является меновенными центрами врацения, а различные эволюенты — траекториями точки плоскости. Из этого замечания сразу следует перпендикулярность
26
отрезка к касательной к кривой в точке .
Следующая догадка Гюйгена состоит в том, что в «хорошей» ситуации эволюция кривой восстанавливается сdhозначно (помните, у одной, кривой много эволюvent!) Дело в том, что нормали к кривой в разных точках — это касательные к ее эволюите . «Хорошую» же кривой по касательным можно восстановить: взяв много касательных, построить описанную ломаную и, «учашая» затем касательные, все лучше приближать кривой (говорят, что кривая оценим множество своих касательных).
Нам нужно найти кривую, касательные к которой будет нормали к заданной циклоде. Гюйгенс догадался, что этой кривой будет такая же циклода, только поднята на и сдинируется на полерида (так, что ее вершины совпадают с остриями исходной циклоды; см. рис. 11).
В самом деле, пусть ; и — направляющие прямые соответствующего нижней и верхней циклод, и — их начальные точки ( на дее единицы выше ; на л единиц правее ). Возьмем на прямой точку и рассмотрим положения производаших кругов (обених циклод), когда они касаются в этой точке . Пусть и — диаметрально противоположные ей точки соответствующего верхнего и нижнего кругов, и — соответствующие точки циклод. Дуга равна по длине отрезку ; поэтому она на л больше других , равной по длине отрезку . Отсюда , и точки , , лежат на одной прямой. Остается заметить, что — касательная к верхней циклоде, а — нормаль к нижней ( — касательная к ней).
Тепер мы знаем, что «шеки» тутохронного матрика должны быть циклодальные, и что длина нити должна равнять (именно при таком значении мы в качестве эволюенты получим нужную циклоду). При малых же углах размаха фрегулирующие «шеки» почти не влияют на длину матрика, и циклода близка к другие окружности радиуса (см. конец предыдущего пункту).
- Теорема Христофора Рена.
Эвольоты и вычисление длин кривых
Решив задачу о циклодальном матрике, Гюйгенс не остановился, понимая, что им создана замечательная математическая теория. Он пишет: «Для применения мочего изобретения к матрикам мне необходим было установить новую теорию, а именно, теорию обработания новых линей при посредстве развертывания кривых линей. Здесь я столкнулся с задачей сравнения кривых и прямых линей. Я изучил этот вопрос несколько далее, чем нужно было для моей цели, так как теория показалась мне изящной и новой».
Прежде всего Гюйгенс заметил, что когда нить матрика целиком на матывается на «шеку», то конец его оказывается в вершине циклоды; значит, длина нити матрика () совпадает с длиной половины арки циклоды, и, значит, длина арки циклоды равна Эту теорему в 1658 году сформировал и доказал Христоф Рен; Гюйгенс же, как мы видим, получил очень естественное доказательство этой теоремы.
Теорема Христофора Рена произвела на современников очень сильное впечатление и вот почему.
27
Рис. 11.
Вычисленем длину кривых математики интерсовались не менее, чем вычисленем площадей. Вначале, по аналогии с квадратной (см. с. 21), они интерсовались ректификацией — построением циркулем и линейной отрезка соответствующей длины; позже стали интерсоваться и аллебраической ректификацией — выражением длины кривой при помощи любых аллебраических операций. Мы уже говорили, что квадратный неокругности, окачивающиеся в нижней точке округности, за одно и то же время (аналогично — для хорд, начиная ихся в верхней точке округности).
- Пусть есть кривая (достаточно «хорошая») и точка , не лежащая на . Найдите на такую точку , чтобы отрезок проходился математной точкой под действием силы тяжеста за минимальное время.
Уражения Ньютона
Пусть есть центральное поле, в котором силы пропорциональны расстоянию до центра: , .
Ньютон заметил, что в таком поле биоциклопды (см. КР) играют ту же роль, что циклопды — в поле тяжеста, а именно:
- биоциклопды являются (в этом поле) математическим (Ньютон называет их изохронами);
- эволюции биоциклопды являются же биоциклопды **).
Постарейтесь решить задачи Ньютона (на эту тему можно написать целое математическое «сочинение»). Вспомните, как проводятся касательные к биоциклопдам (статья КР), посмотрите еще раз решения аналогичных задач для циклопд и … Мыjdем ваших решений.
**) О математических часах см. статью С. Г. Гиндкина «Из истории математических часов», «Квант», 1974, № 9.
**) Это — чисто геометрический факт, не относится к механике, но он позволяет устроить биоциклопдальный математик, а задно — вычислить длину биоциклопды.