Овалы Кассини: уравнение, лемниската и свойства

Овалы Кассини - кривые с необычным определением: вместо суммы расстояний до двух точек (как у эллипса) берётся их произведение. Именно это делает кривую богатой на формы: при разных соотношениях параметров она оказывается то двумя раздельными петлями, то фигурой-восьмёркой, то одним выпуклым замкнутым контуром. Такое поведение - пример бифуркации в геометрии: маленькое изменение параметра $b$ относительно фиксированного $c$ переводит кривую из одного качественно нового состояния в другое. Интерактивный калькулятор ниже позволяет увидеть все три случая сразу - двигайте ползунки и наблюдайте за перестройкой кривой.

Определение и уравнение

Овал Кассини - это геометрическое место точек плоскости, для каждой из которых произведение расстояний до двух фиксированных точек (фокусов) $F_1$ и $F_2$ равно квадрату заданного параметра $b$:

$$r_1 \cdot r_2 = b^2,$$

где $r_1 = |MF_1|$, $r_2 = |MF_2|$ - расстояния от текущей точки $M$ до фокусов.

Если расположить фокусы симметрично на оси $x$: $F_1 = (-c,\, 0)$ и $F_2 = (c,\, 0)$, то расстояния выражаются через координаты точки $(x, y)$:

$$r_1 = \sqrt{(x+c)^2 + y^2}, \qquad r_2 = \sqrt{(x-c)^2 + y^2}.$$

Условие $r_1 r_2 = b^2$ после возведения в квадрат даёт уравнение овала Кассини в декартовых координатах:

$$\bigl((x+c)^2 + y^2\bigr)\bigl((x-c)^2 + y^2\bigr) = b^4.$$

Раскрыв скобки, можно записать его в стандартной алгебраической форме:

$$(x^2 + y^2)^2 - 2c^2(x^2 - y^2) = b^4 - c^4.$$

Кривая зависит от двух параметров: $c$ (полурасстояние между фокусами) и $b$ (корень из «произведённой» константы). Именно соотношение $b$ и $c$ определяет тип формы.

Рассчитать для своей задачи

Три случая формы

В зависимости от соотношения $b$ и $c$ кривая принимает принципиально разный вид.

Случай $b > c$ - единый замкнутый овал. При значительном превышении $b$ над $c$ кривая представляет собой выпуклый замкнутый контур, охватывающий оба фокуса. Чем больше $b/c$, тем ближе форма к окружности. Ширина по оси $x$ достигает $x_{\max} = \sqrt{c^2 + b^2}$, высота по оси $y$ равна $y_{\max}$ при $x = 0$: $y_{\max}^2 = b^2 - c^2$.

Случай $b < c$ - два раздельных овала. Единый контур разрывается и расходится в две симметричных петли, каждая из которых охватывает один фокус. Это разделение происходит в точке $(0, 0)$: при $b \to c^{-}$ петли почти касаются в начале координат.

Случай $b = c$ - лемниската Бернулли. Это пограничный случай между двумя предыдущими. Уравнение принимает вид:

$$(x^2 + y^2)^2 = 2c^2(x^2 - y^2),$$

а в полярных координатах - хрестоматийную форму:

$$\rho^2 = 2c^2 \cos 2\varphi.$$

Кривая имеет форму горизонтальной восьмёрки с самопересечением в начале координат и вершинами при $x = \pm c\sqrt{2}$.

Рассчитать для своей задачи

Полярные координаты

Переход к полярным координатам ($x = \rho\cos\varphi$, $y = \rho\sin\varphi$) упрощает уравнение. Раскрыв произведение $r_1 r_2$ через $\rho$ и $\varphi$, получаем:

$$\rho^4 - 2c^2 \rho^2 \cos 2\varphi = b^4 - c^4.$$

Это биквадратное уравнение относительно $\rho^2$:

$$\rho^2 = c^2 \cos 2\varphi \pm \sqrt{c^4 \cos^2 2\varphi + b^4 - c^4}.$$

Физический смысл имеют только неотрицательные значения $\rho^2$. При $b < c$ дискриминант обращается в нуль при $\cos 2\varphi = \sqrt{1 - (b/c)^4}$, и угол $\varphi$ ограничен - именно поэтому кривая замыкается в двух отдельных петлях, не охватывая горизонтальные промежутки между ними.

История и название

Кривую описал в 1680 году Джованни Доменико Кассини (Giovanni Domenico Cassini), итальянско-французский астроном, первый директор Парижской обсерватории. Он предложил овалы как альтернативу эллипсу для описания орбит планет - Кассини считал, что реальные орбиты могут соответствовать постоянному произведению расстояний, а не сумме. Гипотеза не подтвердилась (победил закон Кеплера), но математическое семейство кривых сохранило имя учёного.

Лемниската $b = c$ была описана независимо Якобом Бернулли в 1694 году в контексте теории эластичных кривых. Бернулли назвал её «лемнискатой» (от лат. lemniscata - «украшение лентой»), не зная о работе Кассини.

Характерные точки и размеры

Для практических задач важно уметь находить крайние точки кривой - те, где она пересекает координатные оси.

Пересечение с осью $x$ ($y = 0$): подставляем в уравнение и получаем $(x^2 - c^2)^2 = b^4$, откуда $x^2 = c^2 \pm b^2$. При $b > c$ обе скобки положительны, что даёт четыре точки: $x = \pm\sqrt{c^2 + b^2}$ и $x = \pm\sqrt{c^2 - b^2}$ (при $b < c$ второй корень мнимый, значит, кривая не пересекает внутренний отрезок оси). При $b = c$ внутренняя пара совпадает в нуле - точка самопересечения лемнискаты.

Пересечение с осью $y$ ($x = 0$): уравнение превращается в $(c^2 + y^2)^2 = b^4$, откуда $y^2 = b^2 - c^2$. При $b > c$ кривая пересекает ось $y$ в точках $y = \pm\sqrt{b^2 - c^2}$; при $b \leq c$ вещественных пересечений нет - кривая «не дотягивается» до вертикальной оси.

Эти четыре числа ($\pm x_{\max}$, $\pm y_{\max}$) полностью описывают «габариты» кривой и позволяют быстро нарисовать её опорную рамку даже без точного построения всего контура.

Связь с другими кривыми

Овалы Кассини образуют семейство, на границах которого стоят известные объекты.

Эллипс vs. овал Кассини. Определения внешне похожи: у эллипса постоянна сумма $r_1 + r_2 = 2a$, у овала Кассини - произведение $r_1 r_2 = b^2$. Оба семейства параметрически зависят от расположения двух фокусов, но алгебраический тип уравнений различается: эллипс - кривая 2-го порядка, овал Кассини - 4-го порядка.

Окружность. При $c \to 0$ (фокусы сливаются) и $b \neq 0$ уравнение вырождается в $x^2 + y^2 = b^2$ - окружность радиуса $b$. Это предельный случай внутри семейства.

Декартовы листы и улитки Паскаля - другие алгебраические кривые 4-го порядка, но их уравнения устроены иначе (не биквадратная форма).

Площадь области, ограниченной кривой

Площадь, ограниченную одним контуром овала Кассини, можно выразить через параметры $b$ и $c$ с помощью эллиптических интегралов - в общем случае замкнутой элементарной формулы нет. Однако для двух предельных случаев результат прост.

При $b = c$ (лемниската) площадь обоих «листьев» вместе равна:

$$S_{\text{лемн}} = 2c^2.$$

При $c \to 0$ и $b = \text{const}$ кривая - окружность радиуса $b$, площадь которой $\pi b^2$ - формула элементарная.

Для промежуточных значений пользуются численным интегрированием полярного уравнения: $S = \frac{1}{2} \int_0^{2\pi} \rho^2(\varphi)\,d\varphi$, где $\rho^2(\varphi)$ берётся из решения биквадратного уравнения. В задачах уровня 1-2 курса достаточно знать случай лемнискаты наизусть и уметь выводить формулу через замену переменной $u = x^2 + y^2$.

Приложения и применения

Несмотря на неудачу с орбитами, овалы Кассини нашли применение в нескольких областях.

Электромагнетизм. Линии равного потенциала двух одинаковых точечных зарядов в двумерном случае описываются кривыми, родственными овалам Кассини. Потенциал $\varphi \propto 1/r$ - система двух таких источников задаёт произведение $r_1 r_2 = \text{const}$ как уравнение эквипотенциальных поверхностей в приближении log-потенциала.

Акустика и оптика. Эллиптические и кассиниевы поверхности используются при проектировании рефлекторов и антенн, где важно контролировать не только сумму путей, но и их произведение.

Теория узлов. Лемниската Бернулли - пример алгебраической кривой с узловой особой точкой, что делает её объектом изучения в теории особенностей и топологии кривых.

Визуализация в учебниках. Три состояния кривой (два овала, лемниската, один овал) наглядно иллюстрируют понятие бифуркации: непрерывное изменение параметра $b$ при фиксированном $c$ приводит к качественному изменению топологии множества.

Частые ошибки

• Путаница с эллипсом. Студенты нередко смешивают определения: у эллипса - сумма расстояний, у овала Кассини - произведение. Алгебраически это разные объекты: эллипс имеет степень 2, овал - степень 4.
• Неправильный знак при $b < c$. В полярном уравнении дискриминант может быть отрицательным при части углов $\varphi$ - это не ошибка, а признак того, что кривая не охватывает данный угловой сектор (два раздельных овала).
• Лемниската без самопересечения. Самопересечение лемнискаты в начале координат - её характеристический признак. Если в задаче требуется замкнутый контур без самопересечения, нужно выбирать $b \neq c$.
• Путаница единиц. Параметр $b$ имеет размерность длины, $b^2$ - площади, $b^4$ стоит в правой части уравнения в координатах длины в четвёртой степени. Несоответствие единиц в уравнении - верный признак подстановки $b$ вместо $b^2$ или наоборот.
• Построение по точкам без проверки. При ручном построении по формуле $r_1 r_2 = b^2$ нужно убедиться, что измеряемое произведение именно расстояний (не квадратов расстояний). Типичная ошибка - подставить $r_1^2 r_2^2 = b^4$, что совпадает с верным условием только случайно.

FAQ

Чем овал Кассини отличается от эллипса? У эллипса постоянна сумма расстояний от точки до двух фокусов ($r_1 + r_2 = \text{const}$), у овала Кассини - произведение ($r_1 r_2 = \text{const}$). Эллипс - кривая 2-го порядка, овал Кассини - 4-го. При разных соотношениях параметров овал Кассини меняет топологию (один или два контура), тогда как эллипс всегда остаётся единым замкнутым контуром.

Что такое лемниската Бернулли и как она связана с овалом Кассини? Лемниската Бернулли - частный случай овала Кассини при $b = c$. Именно тогда два отдельных овала «сливаются» в точке начала координат, образуя фигуру-восьмёрку с самопересечением. В полярных координатах лемниската записывается как $\rho^2 = 2c^2 \cos 2\varphi$.

Как определить тип овала Кассини по уравнению? Из уравнения $(x^2 + y^2)^2 - 2c^2(x^2 - y^2) = b^4 - c^4$ нужно извлечь параметры $b$ и $c$ и сравнить их: если $b > c$ - единый овал, $b = c$ - лемниската, $b < c$ - два раздельных овала.

Коротко

Овал Кассини - геометрическое место точек с постоянным произведением расстояний до двух фокусов: $r_1 r_2 = b^2$. Уравнение в декартовых координатах имеет 4-й порядок: $((x+c)^2 + y^2)((x-c)^2 + y^2) = b^4$. При $b > c$ - единый выпуклый овал, при $b = c$ - лемниската Бернулли (фигура-восьмёрка), при $b < c$ - два раздельных контура. Семейство названо в честь Джованни Кассини (1680), лемниската независимо изучена Якобом Бернулли (1694).