Улитка Паскаля

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Семь форм улиток Паскаля как конхоиды чёрной окружности с полюсом (0, 0): Из них красная — с параболической точкой распрямления, зелёная — кардиоида, синяя — трисектриса
Страница книги Дюрера 1525 года с линией паука (Spinnenlinie)

Ули́тка Паска́ля (англ. limacon of Pascal, от лат. limaxулитка) ― конхоида окружности с полюсом на этой окружности[1][2][3][4][5][6][7].

Обычно представляется следующим уравнением конхоиды окружности в полярной системе координат[2][3][5][6][8]:

где — радиус базовой окружности конхоиды; — приращение радиус-вектора окружности, проведённого из полюса конхоиды на окружности.

Относится к плоским алгебраически кривым 4-го порядка[1][3][9].

Улитка Паскаля — это кривая, обладающая следующими простыми свойствами[10]:

Названа по имени французского учёного Этьена Паскаля (отца Блеза Паскаля), рассмотревшего её в первой половине XVII века[1][2][4][9][8][11]. Улитка Паскаля изучалась Альбрехтом Дюрером в 1525 году под названием арахна (линия паука) (англ. Arachne; нем. Spinnenlinie[12]; фр. arachnée[11]), Этьеном Паскалем в 1630 году и Жилем Робервалем, который и назвал кривую «улиткой Паскаля» в 1650 году[7][13][11].

Определения улитки Паскаля[править | править код]

Самые распространённые определение и уравнение[править | править код]

Ули́тка Паска́ля (англ. limacon of Pascal; Pascal’s snail[8]; snail curve[11]) ― конхоида окружности с полюсом на этой окружности[1][2][3][4][5][6][7], обычно задаваемая следующим уравнением в полярной системе координат[2][3][5][6][8]:

где — радиус базовой окружности конхоиды; — приращение радиус-вектора окружности, проведённого из полюса конхоиды.

Базовая окружность улитки Паскаля называется также её директрисой[14], а приращение радиус-вектора — её модулем[15].

Улитка Паскаля — это кривая, обладающая следующими основными свойствами[10]:

Обычное уравнение улитки Паскаля в полярой системе координат

может быть записано по-другому:

где — диаметр базовой окружности конхоиды;
  • в размерно-безразмерной форме[7]:
где — диаметр базовой окружности конхоиды; — безразмерный параметр;
  • в безразмерной форме[16]:
где — безразмерные параметры.

Все уравнения, рассмотренные выше, имеют горизонтальную ось симметрии (совпадающую с оью абсцисс) и как полюс коноиды, так и особые точки, расположенные слева. Но особые точки можно расположить на графике и справа, записав уравнение улитки Паскаля в следующей форме:

У всех уравнений, рассмотренные выше, ось симметрии совпадает с осью абсцисс. У следующих уравнений ось симметрии улитки Паскаля совпадает с осью ординат[11]:

  • полюс коноиды и особые точки расположены вверху:
  • полюс коноиды и особые точки расположены внизу:

Вывод уравнения и геометрическое построение[править | править код]

Геометрическое построение красной точки улитки Паскаля (трисектрисы, )

Детализируем определение улитки Паскаля, расшифровав понятие конхоиды:

ули́тка Паска́ля — геометрическое место концов радиус-векторов, проведённых из фиксированной точки на окружности радиуса ко всем точкам окружности, причём эти радиус-векторы увеличены (одна ветвь) или уменьшены (другая ветвь) на постоянную величину [17].

Получим уравнение улитки Паскаля в полярной системе координат. Для этого (см. рисунок справа)[18]:

  • поместим полюс конхоиды, расположенный на базовой окружности, в начало полярной системы координат;
  • расположим диаметр базовой окружности на полярной оси справа от начала координат;
  • положим, что (на рисунке справа ),

тогда получаем, что (см. рисунок справа):

  • радиус-вектор из определения равен
  • увеличенный на радиус-вектор из определения равен

и последнее уравнение есть уравнение одной ветви улитки Паскаля.

Очевидно, что уравнение другой ветви улитки Паскаля будет

Поскольку

то ветви улитки Паскаля как конхоиды окружности совпадают, что показано на рисунках ниже, и в качестве уравнения улитки Паскаля можно взять уравнение одной из ветвей, обычно берут первое:

Для первой ветви при повороте радиус-вектора от до конец увеличенного радиус-вектора описывает верхнюю половину большой дуги улитки Паскаля и нижнюю половину петли, если она есть. При дальнейшем повороте радиус-вектора получаются остальные части первой ветви улитки Паскаля. Даже если радиус-вектор первой ветви отрицательный, то его увеличение откладывается от его конца всё равно в положительном направлении. Картина аналогична для второй ветви, когда уменьшение радиус-вектора всегда откладывается в отрицательном направлении[3]. На рисунках ниже показаны три серии построения:

  • обеих ветвей улитки Паскаля, имеющей петлю (трисектрисы), отдельно в четырёх квадрантах плоскости;
  • улитки Паскаля, имеющей петлю (трисектрисы), для случая, когда её радиус-вектор всегда неотрицателен, то есть при

Если улитка Паскаля не имеет петли, то её первая ветвь всегда имеет неотрицательный радиус-вектор, а вторая ветвь — неположительный.

Конхоидное преобразование улитки Паскаля (не окружности)

с полюсом этой же улитки и с модулем есть снова улитка Паскаля

,

но в этом случае ветви всегда будут разные, причём если , то вторая ветвь будет окружностью.

Виды улиток Паскаля[править | править код]

Примечательные точки улитки Паскаля[править | править код]

Существуют три вида улиток Паскаля: гиперболические, параболические (кардиоиды) и эллиптические[7]. Будем использовать уравнение улитки Паскаля

Гиперболические улитки Паскаля с примечательными точками и касателными в точках самопересечения

Две касательные прямые всех улиток Паскаля в особой точке — полюсе конхоиды, он же начало координат — имеют следующее уравнение[19]:

поэтому (см. рисунки справа):

  • если то касательные действительные, и особая точка — точка самопересечения параболической улитки Паскаля;
  • если то касательные совпадают с осью абсцисс, и особая точка — касп кардиоиды;
  • если то касательные мнимые, и особая точка — изолированная эллиптической улитки Паскаля.

Вершины всех видов улиток Паскаля, если они есть, удовлетворяют следующему уравнению, полученному приравниванием нулю производной

кривизны

то есть это необходимое условие быть вершиной (но не достаточное)[16]:

Эллиптические улитки Паскаля с примечательными точками

Последнее уравнение есть совокупность уравнений

откуда вершины, если они есть, имеют координаты (см. рисунки справа)

и лежат на прямой и циссоиде Диокла (см. рисунок справа)

Грушевидная квартика, составленная из точек перегиба эллиптических улиток Паскаля

Точки перегиба эллиптических улиток Паскаля, если они есть, удовлетворяют следующему уравнению, полученному приравниванием нулю кривизны, то есть это необходимое условие быть точкой перегиба (но не достаточное)[16]:

откуда точки перегиба, если они есть, имеют координаты (см. рисунки справа)

и лежат на обобщённой грушевидной квартике[21] (см. рисунок справа)

или

или

Гиперболическая улитка Паскаля[править | править код]

Трисектриса с точкой самопересечения и двумя вершинами

Гиперболическая улитка (англ. hyperbolic limacon) — улитка Паскаля, у которой параметры отвечают следующему неравенству[7]:

Синоним:

  • улитка с петлёй (англ. limacon with a loop; crunodal limacon)[7].

Частные случаи[7]:

  • улитка Паскаля вырождается в окружность радиуса при
то есть уравнение окружности
  • улитка Паскаля есть трисектриса (англ. trisectrix; англ. limaçon trisectrix[11]) при
то есть её уравнение

Перечислим примечательные точки трисектрисы как типичного представителя улитки с петлёй (см. рисунок справа)[22]:

  • трисектриса имеет точку самопересечения в начале координат
  • радиальные координаты кандидатов в точки перегиба
поэтому точек перегиба нет;
  • из вершин попадают на кардиоиду и не попадают на точку самопересечения только две точки
и

Параболическая улитка Паскаля[править | править код]

Кардиоида с каспом и вершиной

Параболическая улитка (англ. parabolic limacon) — улитка Паскаля, у которой параметры отвечают следующему равенству[7]:

то есть её уравнение

Синонимы:

Перечислим примечательные точки кардиоиды (см. рисунок справа)[22]:

  • кардиоида имеет касп в начале координат
  • радиальная координата кандидата в точки перегиба
поэтому точек перегиба нет, точка — это касп;
  • из вершин попадает на кардиоиду и не попадает на касп только точка

Эллиптическая улитка Паскаля[править | править код]

Эллиптическая улитка (англ. elliptic limacon) — улитка Паскаля, у которой параметры отвечают следующему неравенству[7]:

Синонимы:

Частные случаи[7]:

  • улитка в форме фасолины (англ. limacon with the shape of a bean) при
  • улитка Паскаля вырождается в окружность бесконечного радиуса при

Перечислим примечательные точки представителя улитки в форме фасолины с (см. рисунок ниже)[22]:

  • улитка в форме фасолины имеет изолированную точку в начале координат
  • из точек перегиба присутствуют все две точки
  • из вершин попадают на улитку в форме фасолины все четыре точки

Перечислим примечательные точки представителя улитки с параболической точкой распрямления с (см. рисунок ниже)[22]:

  • улитка с параболической точкой распрямления имеет изолированную точку в начале координат
  • две точки перегиба сливаются в одну параболическую точку распрямления (слияние и исчезновение точек перегиба и вершин типично для кривых, при слиянии «качество» точки меняется в более «сильную» сторону)
  • из вершин попадают на улитку с параболической точкой распрямления все четыре точки, но одна попадает на параболическую точку распрямления

Перечислим примечательные точки представителя выпуклой улитки с (см. рисунок ниже)[22]:

  • выпуклая улитка имеет изолированную точку в начале координат
  • радиальные координаты кандидатов в точки перегиба
поэтому точек перегиба нет;
  • из вершин попадают на выпуклую улитку все четыре точки

Уравнения[править | править код]

Уравнение в прямоугольных координатах:

в полярных координатах:

параметрическое:

Здесь a — диаметр исходной окружности, а  — расстояние, на которое смещается точка вдоль радиус-вектора (см. конхоида).

При этом начало координат является

В случае улитка Паскаля также называется трисектри́са. Такое название она получила из-за того, что если на плоскости задана трисектриса, то трисекцию угла можно построить с помощью циркуля и линейки. Уравнение трисектрисы:

в полярных координатах:

Свойства[править | править код]

Анимация подеры окружности
Построение улитки Паскаля
При площадь внутренней петли при вычислении по этой формуле считается дважды.

Примечания[править | править код]

  1. 1 2 3 4 5 Соколов Д. Д. Паскаля улитка, 1984.
  2. 1 2 3 4 5 Линия, 1973, Улитка Паскаля, с. 469.
  3. 1 2 3 4 5 6 Савелов А. А. Плоские кривые, 1960, § 2. Улитка Паскаля, с. 106.
  4. 1 2 3 Улитка Паскаля, 1955.
  5. 1 2 3 4 Шикин Е. В., Франк-Каменецкий М. М. Кривые на плоскости и в пространстве, 1997, § 2. Атлас кривых. Улитка Паскаля, с. 213.
  6. 1 2 3 4 Lawrence J. D. A Catalog of Special Plane Curves, 1972, 5.1. Limacon of Pascal (Pascal, 1650), с. 113.
  7. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 Ferréol Robert. Limaçon (or snail) of Pascal, 2017.
  8. 1 2 3 4 Alfred Gray. Modern differential geometry of curves and surfaces with Mathematica, 2006, 2.9 Exercises, с. 58.
  9. 1 2 3 Паскаля улитка, 1988.
  10. 1 2 Шикин Е. В., Франк-Каменецкий М. М. Кривые на плоскости и в пространстве, 1997, § 2. Атлас кривых. Улитка Паскаля, с. 214.
  11. 1 2 3 4 5 6 7 jan wassenaar limaçon, 2013.
  12. Albrecht Dürer Underweysung der Messung, 1525, с. 38.
  13. 1 2 Weisstein Eric W. Limaçon, 2024.
  14. Zwikker C. The Advanced Geometry of Plane Curves and Their Applications, 1963, XI. Pedals and other derived curves. 3. Limacon, conchoid, с. 154.
  15. Ferréol Robert. Conchoid, 2017.
  16. 1 2 3 Брус Дж., Джиблин П. Кривые и особенности, 1988, 2. Кривые и функции на них. 2.15. Упражнения. 5, с. 35.
  17. Савелов А. А. Плоские кривые, 1960, § 1. Конхоида Никомеда, с. 100; § 2. Улитка Паскаля, с. 106.
  18. Савелов А. А. Плоские кривые, 1960, § 1. Конхоида Никомеда, с. 100—101.
  19. Савелов А. А. Плоские кривые, 1960, § 2. Улитка Паскаля, с. 106—107.
  20. 1 2 Lawrence J. D. A Catalog of Special Plane Curves, 1972, 5.1. Limacon of Pascal (Pascal, 1650), с. 117.
  21. Шикин Е. В., Франк-Каменецкий М. М. Кривые на плоскости и в пространстве, 1997, § 2. Атлас кривых. Грушевидная квартика, с. 84.
  22. 1 2 3 4 5 Брус Дж., Джиблин П. Кривые и особенности, 1988, 2. Кривые и функции на них. 2.15. Упражнения. 5, с. 35—36.

Источники[править | править код]

Литература[править | править код]