Касательные и нормали к кривым второго порядка: аналитический вывод

Правило расщепления (поляризации) координат

Уравнение касательной к любой кривой второго порядка в точке ее касания $M_0(x_0; y_0)$ можно мгновенно вывести из уравнения самой кривой с помощью изящного алгебраического трюка — правила поляризации (или расщепления). Суть правила состоит в том, что квадрат переменной (например, $x^2$) в уравнении кривой заменяется на произведение $x_0 \cdot x$, а линейный член (например, $x$) заменяется на полусумму $\frac{x_0 + x}{2}$. Этот метод является прямым алгебраическим следствием разложения неявной функции в ряд Тейлора до членов первого порядка. Данное правило работает абсолютно безотказно для любой квадратичной формы, превращая криволинейную геометрию в строгую линейную алгебру плоскости.

Уравнения касательных к эллипсу и гиперболе

Применим правило поляризации к каноническому уравнению эллипса $\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1$. Раскладывая квадраты, мы мгновенно получаем уравнение прямой линии, которая является касательной к этому эллипсу в точке $M_0$: $\frac{x_0 x}{a^2} + \frac{y_0 y}{b^2} = 1$. Это линейное уравнение относительно переменных $x$ и $y$ (так как $x_0$ и $y_0$ — это константы, координаты фиксированной точки касания). Абсолютно аналогичный процесс для гиперболы $\frac{x^2}{a^2} - \frac{y^2}{b^2} = 1$ дает нам ее касательную: $\frac{x_0 x}{a^2} - \frac{y_0 y}{b^2} = 1$. Эти формулы поражают своей структурной идентичностью с уравнениями самих кривых, отражая глубокую геометрическую связь между кривой и обволакивающим ее семейством касательных прямых (дуальность точек и линий в проективной геометрии).

Касательная к параболе и вектор нормали

Для параболы $y^2 = 2px$ правило поляризации расщепляет квадрат слева и применяет полусумму к линейному члену справа. Уравнение касательной принимает вид: $y_0 y = p(x_0 + x)$. Опираясь на эти уравнения касательных, мы можем легко построить и уравнения нормалей (перпендикуляров к касательной в точке касания). Из полученного уравнения касательной мы сразу видим ее вектор нормали $n = (A; B)$. Для эллипса этот вектор будет равен $n = (\frac{x_0}{a^2}; \frac{y_0}{b^2})$. Поскольку сама геометрическая нормаль параллельна этому вектору, ее уравнение можно легко записать в каноническом виде: $\frac{x - x_0}{\frac{x_0}{a^2}} = \frac{y - y_0}{\frac{y_0}{b^2}}$. Знание точного уравнения нормали критически важно в оптике при расчете углов отражения лучей от криволинейных зеркал.

Оптические свойства через призму нормалей

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