Огибающая семейства кривых: дифференциальная геометрия и дискриминанты

Аналитическое определение огибающей

Пусть задано однопараметрическое семейство плоских кривых неявным алгебраическим уравнением $F(x, y, C) = 0$, где $x$ и $y$ — декартовы координаты, а $C$ — непрерывно изменяющийся скалярный параметр (каждому значению $C$ соответствует одна уникальная кривая). Огибающая этого семейства — это геометрическое место точек, в которых бесконечно близкие кривые семейства пересекаются друг с другом. Чтобы найти координаты этих точек касания, мы должны решить систему из двух уравнений. Первое уравнение — это само уравнение семейства $F(x, y, C) = 0$. Второе уравнение — это частная производная данной функции по параметру $C$, приравненная к нулю: $\frac{\partial F}{\partial C} = 0$. Решая эту систему, мы алгебраически исключаем параметр $C$ и получаем итоговое неявное уравнение $\Phi(x, y) = 0$, которое и описывает искомую огибающую.

Астроида как огибающая семейства отрезков

Классическим примером построения огибающей является задача о скользящем отрезке. Представим отрезок постоянной длины $L$, концы которого скользят по перпендикулярным осям координат $Ox$ и $Oy$ (как лестница, сползающая по стене). Положение отрезка задается углом $\alpha$ между ним и осью $Ox$. Уравнение прямой, содержащей этот отрезок, записывается как $x \sin \alpha + y \cos \alpha - L \sin \alpha \cos \alpha = 0$. Применяя алгоритм поиска огибающей, мы берем производную по параметру $\alpha$ и приравниваем ее к нулю. Исключая тригонометрические функции с помощью основного тождества, мы получаем изящное каноническое уравнение: $x^{2/3} + y^{2/3} = L^{2/3}$. Эта потрясающая четырехконечная звездчатая кривая называется астроидой. Она является огибающей для всех возможных положений падающей лестницы.

Оптические каустики и световые блики

В физике явление огибающих можно наблюдать невооруженным глазом каждый день. Если налить в цилиндрическую чашку чай и поставить ее под углом к источнику света, на поверхности жидкости появится яркий световой рисунок, напоминающий кардиоиду. Это оптическая каустика (от греческого «жгучая»). Параллельные лучи света, отражаясь от круглой внутренней стенки чашки, образуют однопараметрическое семейство прямых линий. Согласно законам аналитической геометрии и оптики, эти отраженные лучи не сходятся в одной идеальной точке фокуса (в отличие от параболы), а начинают пересекаться друг с другом. Геометрическое место точек их взаимного пересечения (огибающая семейства отраженных лучей) формирует ту самую яркую кривую каустики, концентрация световой энергии в которой максимальна.

Дискриминантная кривая и особые точки

В алгебраической геометрии система уравнений $F = 0$ и $\frac{\partial F}{\partial C} = 0$ определяет так называемую дискриминантную кривую. Важно отметить математический нюанс: не всякая дискриминантная кривая является истинной огибающей. Решение этой системы уравнений может также содержать геометрическое место особых точек (сингулярностей) самих кривых семейства (например, вершин, острий или точек самопересечения). Чтобы гарантировать, что найденная линия действительно является гладкой огибающей, которая касается линий семейства, необходимо дополнительно проверить условие: частные производные $\frac{\partial F}{\partial x}$ и $\frac{\partial F}{\partial y}$ не должны обращаться в нуль одновременно в точках этой кривой. Этот строгий алгебраический фильтр позволяет отличать истинные границы физических процессов от математических артефактов уравнений.