Кривые второго порядка

Кривые второго порядка — кривые, которые задаются в некоторой аффинной системе координат на плоскости уравнением второй степени:

Эллипс, гипербола и парабола

Геометрическое определение

Эллипсом называют геометрическое место точек $X$, для которых сумма расстояний до двух заданных точек $F_1$ и $F_2$ (называемых фокусами) равна заданному числу, большему, чем расстояние между фокусами. Шаблон:Формула

Гиперболой называют геометрическое место точек $X$, для которых модуль разности расстояний до двух заданных точек $F_1$ и $F_2$ (также называемых фокусами) равна заданному числу, меньшему, чем расстояние между фокусами. Шаблон:Формула

Параболой называют геометрическое место точек $X$, равноудаленных от данной точки $F$ (называемой фокусом) и прямой $d$ (называемой директрисой). Шаблон:Формула Здесь $\varrho (X,d)$ — функция, вычисляющая расстояние от точки до прямой.

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

1. пересекать одну половину конуса, в этом случае получается эллипс;
2. пересекать обе половины конуса, в этом случае получается гипербола;
3. быть параллельной образующей конуса, в этом случае получается парабола.

Доказательство. Для доказательства будем использовать шары Данделена — шары, вписанные в конус и касающиеся плоскости. Введем обозначения

• $S$ — вершина конуса;
• $\pi$ — секущая плоскость;
• $c$ — сечение конуса с плоскостью;
• $F_1,F_2$ — точки касания шаров с плоскостью;
• $c_1,c_2$ — окружности касания шаров с конусом;
• $X$ — произвольная точка на сечении $c$;
• $X_1,X_2$ — точки пересечения прямой $SX$ с окружностями $c_1,c_2$.

Рассмотрим каждый случай отдельно.

Эллипс. Касательные, проведенные к шару из одной точки, равны, поэтому Шаблон:Формула Шаблон:Формула Таким образом, сечение $c$ по определению является эллипсом.

Гипербола. Касательные, проведенные к шару из одной точки, равны, поэтому Шаблон:Формула Шаблон:Формула Таким образом, сечение $c$ по определению является гиперболой.

Парабола. В этом случае шар Данделена один. Пусть ${\pi }_1$ — плоскость, содержащая окружность $c_1$, прямая $d$ — пересечение плоскостей $\pi$ и ${\pi }_1$, точка $Y$ — прямоугольная проекция точки $X$ на прямую $d$, точка $Y_1$ — точка пересечения $SX$ с $c_1$.

$S{Y}_1$ наклонена к плоскости ${\pi }_1$ под углом $\frac{\pi }{2}-\alpha$, где $\alpha$ — угол между образующей конуса и его осью. С другой стороны, $XY$ параллельна той образующей конуса, которая параллельна плоскость $\pi$. Значит, она образует с плоскостью ${\pi }_1$ также угол $\frac{\pi }{2}-\alpha$. Значит, $|X{Y}_1|=|XY|$ как наклонные к плоскости ${\pi }_1$ под одним углом.

Касательные, проведенные к шару из одной точки, равны, поэтому $|X{F}_1|=|X{Y}_1|$. Шаблон:Формула Таким образом, сечение $c$ по определению является параболой. $◻$

В соответствии с этой теоремой эллипс, гиперболу и параболу называют кониками.

Аналитические определения коник

Эллипс

Введем прямоугольную систему координат как показано на рисунке.

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

Шаблон:Формула Шаблон:Формула Шаблон:Формула Шаблон:Формула Шаблон:Формула Шаблон:Формула Шаблон:Формула Таким образом, координаты точек эллипса удовлетворяют уравнению (1).

Обратное утверждение. Пусть координаты точки $(x,y)$ удовлетворяют уравнению (1), то есть Шаблон:Формула Тогда расстояние от этой точки до первого фокуса Шаблон:Формула Выражение под знаком модуля положительно, так как $|x|\le a\Rightarrow \left|\frac{c}{a}x\right|\le c<a$.

Аналогично, $|{𝐫}_2|=a-\frac{c}{a}x$. Шаблон:Формула таким образом, точки, удовлетворяющие уравнению (1), принадлежат эллипсу.

Уравнение (1) называют каноническим уравнением эллипса.

Гипербола

Введем прямоугольную систему координат как показано на рисунке.

Тогда, аналогично эллипсу, упрощая геометрическое определение, получим

Шаблон:Формула Таким образом, координаты точек гиперболы удовлетворяют уравнению (2).

Для доказательства обратного утверждения проведем рассуждения, аналогичные случаю эллипса и получим Шаблон:Формула При $x>0$ Шаблон:Формула При $x<0$ Шаблон:Формула Таким образом, точки, удовлетворяющие уравнению (2), принадлежат гиперболе.

Парабола

Введем прямоугольную систему координат как показано на рисунке. Обозначим расстояние от фокуса до директрисы $p$.

Тогда геометрическое определение примет вид Шаблон:Формула Шаблон:Формула Шаблон:Формула Таким образом, координаты точек параболы удовлетворяют уравнению (3).

Обратное рассуждение. Обозначим через $d$ прямую $y=-p/2$, а через $F$ — точку $(p/2,0)$. Для произвольной точки $X(x,y)$ кривой $y^2=2px$ имеем Шаблон:Формула Шаблон:Формула Последнее равенство верно, так как $x=y^2/2p\ge 0$.

Поскольку для точек, удовлетворяющих уравнению (3), расстояние до точки $F$ равно расстоянию до прямой $d$, то это уравнение описывает параболу.

Уравнение (3) называют каноническим уравнением параболы.

Общая теория кривых второго порядка

Канонические уравнения

Кривые второго порядка задаются в некоторой аффинной системе координат уравнением Шаблон:Формула Это уравнение можно преобразовать к матричному виду Шаблон:Формула

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

1. $\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$, эллипс;
2. $\frac{x^2}{a^2}+\frac{y^2}{b^2}=-1$, мнимый эллипс;
3. $\frac{x^2}{a^2}+\frac{y^2}{b^2}=0$, пара пересекающихся мнимых прямых;
4. $\frac{x^2}{a^2}-\frac{y^2}{b^2}=1$, гипербола;
5. $\frac{x^2}{a^2}-\frac{y^2}{b^2}=0$, пара пересекающихся прямых;
6. $y^2=2px$, парабола;
7. $y^2-a^2=0,a>0$, пара параллельных прямых;
8. $y^2+a^2=0,a>0$, пара параллельных мнимых прямых;
9. $y^2=0$, пара совпадающих прямых.

Доказательство. Для доказательства покажем как привести общее уравнение (4) кривой к каноническому виду.

Лемма. Подходящим поворотом осей координат можно добиться того, что $a{\text{'}}_{12}=0$. Штрих означает коэффициент уравнения в новой системе координат.

Доказательство (леммы). Если $a_{12}=0$, поворот не требуется. В противном случае, рассмотрим произвольный поворот Шаблон:Формула Тогда Шаблон:Формула После раскрытия скобок и приведения подобных слагаемых можно найти коэффициент при $2x^{\prime }{y}^{\prime }$, то есть $a{\text{'}}_{12}$: Шаблон:Формула Шаблон:Формула Поскольку $a_{12}\ne 0$, то задача разрешима. В повернутой системе координат уравнение кривой примет вид Шаблон:Формула

Лемма. Многочлен вида (∗) параллельным переносом приводится к одному из следующих видов:

1. $F^{″}={\lambda }_1(x^{″}{)}^2+{\lambda }_2(y^{″}{)}^2+\tau ({\lambda }_1,{\lambda }_2\ne 0)$
2. $F^{″}={\lambda }_2(y^{″}{)}^2+2b_1{x}^{″}({\lambda }_2,b_1\ne 0)$
3. $F^{″}={\lambda }_2(y^{″}{)}^2+\tau ({\lambda }_2\ne 0)$

Доказательство (леммы). 1 ${\lambda }_1,{\lambda }_2\ne 0$. Выделяем полные квадраты: Шаблон:Формула где $x^{″}=x^{\prime }+\frac{b_1}{{\lambda }_1},y^{″}=y^{\prime }+\frac{b_2}{{\lambda }_2}$ — формулы замены координат, обратной к искомой.

2 ${\lambda }_1=0,{\lambda }_2\ne 0$ (если ${\lambda }_2=0,{\lambda }_1\ne 0$, то поменяем координаты местами). Возможны два случая.

а) $b_1\ne 0$ Шаблон:Формула где $x^{″}=x^{\prime }+\frac{1}{2b_1}(b_0-\frac{b_2^2}{{\lambda }_2}),y^{″}=y^{\prime }+\frac{b_2}{{\lambda }_2}$ — формулы замены координат, обратной к искомой.

б) $b_1=0$ Шаблон:Формула где $x^{″}=x^{\prime },y^{″}=y^{\prime }+\frac{b_2}{{\lambda }_2}$ — формулы замены координат, обратной к искомой. Лемма доказана. ${}^{◻}$

Вернемся к доказательству теоремы. В соответствии с последней леммой любое уравнение второго порядка можно свести к одному из трех указанных в ней случаях. Рассмотрим каждый из них

1. $F^{″}={\lambda }_1(x^{″}{)}^2+{\lambda }_2(y^{″}{)}^2+\tau ({\lambda }_1,{\lambda }_2\ne 0)$
   1. ${\lambda }_1$ и ${\lambda }_2$ одного знака, $\tau$ — противоположного. Делением на ${\lambda }_1{\lambda }_2\tau$ получаем уравнение эллипса.
   2. ${\lambda }_1$, ${\lambda }_2$ и $\tau$ одного знака. Делением на ${\lambda }_1{\lambda }_2\tau$ получаем уравнение мнимого эллипса.
   3. ${\lambda }_1$ и ${\lambda }_2$ одного знака, $\tau =0$. Делением на ${\lambda }_1{\lambda }_2$ получаем уравнение пары пересекающихся мнимых прямых.
   4. ${\lambda }_1$ и ${\lambda }_2$ разных знаков, $\tau \ne 0$. Делением на $|{\lambda }_1{\lambda }_2\tau |$ получаем уравнение гиперболы.
   5. ${\lambda }_1$ и ${\lambda }_2$ разных знаков, $\tau =0$. Делением на ${\lambda }_1{\lambda }_2$ получаем уравнение пары пересекающихся прямых.
2. $F^{″}={\lambda }_2(y^{″}{)}^2+2b_1{x}^{″}({\lambda }_2,b_1\ne 0)$
   1. Делением на ${\lambda }_2$ получаем уравнение параболы.
3. $F^{″}={\lambda }_2(y^{″}{)}^2+\tau ({\lambda }_2\ne 0)$
   1. $\tau <0$. Уравнение пары параллельных прямых.
   2. $\tau >0$. Уравнение пары параллельных мнимых прямых.
   3. $\tau =0$. Уравнение пары совпадающих прямых.

Таким образом, теорема доказана. $◻$

Инварианты многочлена второй степени

Ортогональным инвариантом называется функция от коэффициентов многочлена $F$, которая не меняется при переходе от одной прямоугольной системы координат к другой.

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

1. $S=a_{11}+a_{22}$
2. $\delta =a_{11}{a}_{22}-a_{12}^2$
3. $\mathrm{\Delta }=\left|\left[\begin{array}{c}{a}_{11}{a}_{12}{a}_1\\ a_{12}{a}_{22}{a}_2\\ a_1{a}_2{a}_0\end{array}\right]\right|$

Характеристическим многочленом называется многочлен $\chi =\left|\left[\begin{array}{c}{a}_{11}-\lambda a_{12}\\ a_{12}{a}_{22}-\lambda \end{array}\right]\right|$. Можно показать, что $\chi ={\lambda }^2-S\lambda +\delta$.

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

Случай	$S$	$\delta$	$\mathrm{\Delta }$
1	${\lambda }_1+{\lambda }_2$	${\lambda }_1{\lambda }_2$	${\lambda }_1{\lambda }_2\tau$
2	${\lambda }_2$	$0$	$-{\lambda }_2{b}_1^2$
3	${\lambda }_2$	$0$	$0$

Очевидно, тип уравнения второго порядка определяется значением инвариантов:

1. $\delta \ne 0$
2. $\delta =0,\mathrm{\Delta }\ne 0$
3. $\delta =0,\mathrm{\Delta }=0,S\ne 0$

Рассмотрим как определить значения коэффициентов ${\lambda }_1,{\lambda }_2,b_1,\tau$ в разных случаях.

1) По теореме Виета коэффициенты ${\lambda }_1$ и ${\lambda }_2$ удовлетворяют уравнению ${\lambda }^2-S\lambda +\delta =0$, которое совпадает с характерестическим уравнением. Таким образом, коэффициенты ${\lambda }_1$ и ${\lambda }_2$ находятся как корни уравнения $\chi =0$, а $\tau =\mathrm{\Delta }/\delta$.

2) Очевидно, ${\lambda }_2=S,b_1=\pm \sqrt{-\mathrm{\Delta }/S}$, при этом знак для $b_1$ выбирают так, чтобы $b_1\lambda <0$.

3) Очевидно, ${\lambda }_2=S$, но вычислить $\tau$ через инварианты невозможно. В этом случае используют так называемый «семивариант», определяемый формулой $K=\left|\left[\begin{array}{c}{a}_{11}{a}_1\\ a_1{a}_0\end{array}\right]\right|+\left|\left[\begin{array}{c}{a}_{22}{a}_2\\ a_2{a}_0\end{array}\right]\right|$.

Можно показать, что $K$ является инвариантом при $\delta =\mathrm{\Delta }=0$ и $\tau =K/S$

Рассмотрим какие значения принимают инварианты в зависимости от одного из девяти типов кривых.

1. Эллипс. $\delta >0,S\mathrm{\Delta }<0$.
2. Мнимый эллипс. $\delta >0,S\mathrm{\Delta }>0$.
3. Пара пересекающихся мнимых прямых. $\delta >0,\mathrm{\Delta }=0$.
4. Гипербола. $\delta <0,\mathrm{\Delta }\ne 0$.
5. Пара пересекающихся прямых. $\delta <0,\mathrm{\Delta }=0$.
6. Парабола. $\delta =0,\mathrm{\Delta }\ne 0$.
7. Пара параллельных прямых. $\delta =\mathrm{\Delta }=0,K<0$.
8. Пара параллельных мнимых прямых. $\delta =\mathrm{\Delta }=0,K>0$.
9. Пара совпадающих прямых. $\delta =\mathrm{\Delta }=0,K=0$.