Фокальный параметр

Кривая второго порядка — геометрическое место точек, декартовы прямоугольные координаты которых удовлетворяют уравнению вида

a₁₁x² + a₂₂y² + 2a₁₂xy + 2a₁₃x + 2a₂₃y + a₃₃ = 0,

в котором по крайней мере один из коэффициентов $a_{11},~a_{12},~a_{22}$ отличен от нуля.

История

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

Однако эти научные знания нашли применение лишь в XVII, когда стало известно, что планеты движутся по эллиптическим траекториям, а пушечный снаряд летит по параболической. Еще позже стало известно, что если придать телу первую космическую скорость, то оно будет двигаться по окружности вокруг Земли, при увеличении этой скорости — по эллипсу, а по достижению второй космической скорости тело по параболе покинет поле притяжения Земли.

Инварианты

Вид кривой зависит от четырёх инвариантов:

• инварианты относительно поворота и сдвига системы координат:
  • $\Delta=\begin{vmatrix} a_{11} & a_{12} & a_{13} \\ a_{12} & a_{22} & a_{23} \\ a_{13} & a_{23} & a_{33} \end{vmatrix}$
  • $D=\begin{vmatrix} a_{11} & a_{12} \\ a_{12} & a_{22}\end{vmatrix}=a_{11}a_{22} - a_{12}^2$
  • $I=tr\begin{pmatrix} a_{11} & a_{12} \\ a_{12} & a_{22}\end{pmatrix}=a_{11}+a_{22}$
• инвариант относительно поворота системы координат (полуинвариант):
  • $B=\begin{vmatrix} a_{11} & a_{13} \\ a_{13} & a_{33}\end{vmatrix}+\begin{vmatrix} a_{22} & a_{23} \\ a_{23} & a_{33}\end{vmatrix}$

Характеристическая квадратичная форма и характеристическое уравнение

Многие важные свойства кривых второго порядка могут быть изучены при помощи характеристической квадратичной формы, соответствующей уравнению кривой

F₀(x,y) = a₁₁x² + 2a₁₂xy + a₂₂y².

Так, например, невырожденная кривая ($\Delta\ne0$) оказывается действительным эллипсом, мнимым эллипсом, гиперболой или параболой в зависимости от того, будет ли F₀(x,y) положительно определённой, отрицательно определённой, неопределённой или полуопределённой квадратичной формой, что устанавливается по корням характеристического уравнения:

$\begin{vmatrix} a_{11} - \lambda & a_{12} \\ a_{12} & a_{22} - \lambda \end{vmatrix} = 0$

или

λ² − Δλ + D = 0.

Корни этого уравнения являются собственными значениями действительной симметричной матрицы

$\begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{12} & a_{22} & a_{23} \\ a_{13} & a_{23} & a_{33} \end{pmatrix}$

и, как следствие этого всегда действительны.

Классификация кривых второго порядка

Невырожденные кривые

Кривая второго порядка называется невырожденной, если $\Delta\ne0.$ Могут возникать следующие варианты:

• Невырожденная кривая второго порядка называется центральной если $\Delta I\not=0$
  • эллипс — при условии D > 0 и ΔI < 0;
    • частный случай эллипса — окружность — при условии I² = 4D или a₁₁ = a₂₂,a₁₂ = 0;
  • мнимый эллипс (ни одной действительной точки) — при условии ΔI > 0;
  • гипербола — при условии D < 0;
• Невырожденная кривая второго порядка называется нецентральной если ΔI = 0
  • парабола — при условии D = 0.

Вырожденные кривые

Кривая второго порядка называется вырожденной, если Δ = 0. Могут возникать следующие варианты:

• действительная точка на пересечении двух мнимых прямых (вырожденный эллипс) — при условии D > 0;
• пара действительная пересекающихся прямых (вырожденная гипербола) — при условии D < 0;
• вырожденная парабола — при условии D = 0:
  • пара действительных параллельных прямых — при условии B < 0;
  • одна действительная прямая (две слившиеся параллельные прямые) — при условии B = 0;
  • пара мнимых параллельных прямых (ни одной действительной точки) — при условии B > 0.

Диаметры и центр кривой второго порядка

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

$\left(a_{11}x + a_{12}y +a_{13}\right) \cos\theta + \left(a_{12}x + a_{22}y +a_{23}\right) \cos\theta = 0.$

Если выпоняется условие $D\ne0,$ то все диаметры кривой пересекаются в одной точке — центре, а сама кривая называется центральной. В противном случае (D = 0) все диаметры кривой либо парралельны, либо совпадают.

Координаты центра $\left(x_0,\;y_0\right)$ определяются системой уравнений:

$\begin{cases} a_{11}x_0 + a_{12}y_0 + a_{13} = 0 \\ a_{12}x_0 + a_{22}y_0 + a_{23} = 0 \end{cases}$

Решая эту систему относительно x₀ и y₀, получим:

$\begin{align} x_0 = - \frac{1}{D} \begin{vmatrix} a_{13} &amp;amp; a_{12} \\ a_{23} &amp;amp; a_{22} \end{vmatrix} = \frac{a_{12}a_{23} - a_{13}a_{22}}{D} \\ y_0 = - \frac{1}{D} \begin{vmatrix} a_{11} &amp;amp; a_{13} \\ a_{12} &amp;amp; a_{23} \end{vmatrix} = \frac{a_{13}a_{12} - a_{11}a_{23}}{D} \end{align}\;\;\;(D\ne0).$

Если кривая центральная, то перенос начала координат в её центр приводит уравнение к виду

$a_{11} \bar x^2 + 2a_{12} \bar x \bar y + a_{22} \bar y^2 + \frac{\Delta}{D} = 0,\;\;\;\bar x = x - x_0,\;\;\;\bar y = y - y_0,$

где $\bar x,\;\bar y$ — координаты относительно новой системы.

Главные оси и вершины кривой второго порядка

Главной осью кривой второго порядка называется её диаметр, перпендикулярный к сопряжённым к ним хордам. Этот диаметр является осью симметрии кривой. Каждая центральная кривая $\left(D\ne0\right)$ либо имеет две взаимно перпендикулярные оси, либо все диаметры являются главными осями. В последнем случае кривая является окружностью. Нецентральные кривые $\left(D=0\right)$ имеют лишь одну главную ось. Точки пересечения главной оси с самой кривой называются её вершинами.

Направляющие косинусы нормалей к главным осям удовлетворяют уравнениям

$\begin{cases} \left(a_{11} - \lambda\right) \cos \theta + a_{12} \sin \theta = 0 \\ a_{12} \cos \theta + \left(a_{22} - \lambda\right) \sin \theta = 0 \end{cases},$

где λ — отличный от нуля корень характеристического уравнения. Направления главных осей и сопряжённых им хорд называются главными направлениями кривой. Угол между положительным направлением оси Ox и каждым из двух главных направлений определяется формулой

$\operatorname{tg}\,2\phi = \operatorname{tg}\,2\theta = \frac{2a_{12}}{a_{11}-a_{22}}.$

Из всех видов кривых второго порядка только окружность имеет неопределённые главные направления.

Уравнения

Общее уравнение в матричном виде

Общее уравнение кривой можно записать в матричном виде

$\begin{pmatrix} x &amp;amp; y &amp;amp; 1 \end{pmatrix} \begin{pmatrix} a_{11} &amp;amp; a_{12} &amp;amp; a_{13} \\ a_{12} &amp;amp; a_{22} &amp;amp; a_{23} \\ a_{13} &amp;amp; a_{23} &amp;amp; a_{33} \end{pmatrix} \begin{pmatrix} x \\ y \\ 1 \end{pmatrix} = 0.$

Канонический вид

Вводом новой системы координат можно привести уравнения кривых второго порядка к стандартному каноническому виду (см. таблицу). Параметры канонических уравнений весьма просто выражаются через инварианты $\Delta,\;D,\;I$ и корни характеристического уравнения $\lambda_1 \ge \lambda_2$ (см. выше раздел «Характеристическая квадратичная форма и характеристическое уравнение»).

Вид кривой	Каноническое уравнение	Инварианты
Невырожденные кривые ($\Delta\ne0$)
Эллипс	$\frac{x^2}{a^2}+\frac{y^2}{b^2}=1,\;\; \begin{cases} a^2 = - \frac{1}{\lambda_2}\frac{\Delta}{D} = -\frac{\Delta}{\lambda_1\lambda^2_2} \\ b^2 = - \frac{1}{\lambda_1}\frac{\Delta}{D} = -\frac{\Delta}{\lambda^2_1\lambda_2} \end{cases}$	$\begin{array}{l} \Delta = -a^4b^4 \\ D = a^2b^2 \\ I = a^2+b^2 \end{array}$
Гипербола	$\frac{x^2}{a^2}-\frac{y^2}{b^2}=1,\;\; \begin{cases} a^2 = - \frac{1}{\lambda_1}\frac{\Delta}{D} = -\frac{\Delta}{\lambda^2_1\lambda_2} \\ b^2 = \frac{1}{\lambda_2}\frac{\Delta}{D} = \frac{\Delta}{\lambda_1\lambda^2_2} \end{cases}$	$\begin{array}{l} \Delta = a^4b^4 \\ D = -a^2b^2 \\ I = b^2 - a^2 \end{array}$
Парабола	$y^2=2px,\;\; p=\frac{1}{I}\sqrt{-\frac{\Delta}{I}} = \frac{1}{\lambda_1}\sqrt{-\frac{\Delta}{\lambda_1}} > 0,\;\; \lambda_2=0$	$\begin{array}{l} \Delta = p^2 \\ D = 0 \\ I = 1 \end{array}$
Вырожденные кривые (Δ = 0)
Точка	$\frac{x^2}{a^2}+\frac{y^2}{b^2}=0$	$\begin{array}{l} \Delta = 0 \\ D = a^2b^2 \\ I = a^2+b^2 \end{array}$
Две пересекающиеся прямые	$\frac{x^2}{a^2}-\frac{y^2}{b^2}=0$	$\begin{array}{l} \Delta = 0 \\ D = -a^2b^2 \\ I = b^2 - a^2 \end{array}$
Две параллельные прямые	$\frac{x^2}{a^2}=1$	$\begin{array}{l} \Delta = 0 \\ D = 0 \\ I = 1 \end{array}$
Одна прямая	x2 = 0	$\begin{array}{l} \Delta = 0 \\ D = 0 \\ I = 1 \end{array}$

Для центральной кривой в каноническом виде её центр $\left(x_0,\;y_0\right)$ находится в начале координат.

Через эксцентриситет

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

$y^2=2px-(1-\varepsilon^2)\,x^2\;\;\;(p&amp;gt;0).$

В этом случае кривая проходит через начало новой системы координат, а ось Ox является осью симметрии кривой. Данное уравнение выражает тот факт, что невырожденная кривая второго порядка является геометрическим местом точек, отношение расстояний которых $\varepsilon \ge 0$ (эксцентриситет) от данной точки (фокуса) и от данной прямой (директрисы) постоянно. Кроме того, при $\varepsilon = 0$ кривая является окружностью, при $\varepsilon &amp;lt; 1$ — эллипсом, при $\varepsilon = 1$ — параболой, при $\varepsilon &amp;gt; 1$ — гиперболой.

Уравнение директриссы кривой выражается уравнением $x = - \frac{p}{\varepsilon \left( 1 + \varepsilon \right)},$ а координаты фокуса $x=\frac{p}{1+\varepsilon}, \;\; y = 0.$ Директрисса перпендикулярна оси симметрии, проходящей через фокус и вершину кривой (фокальная ось). Расстояние между фокусом и директриссой равно $\frac{p}{\varepsilon}.$

Если кривая второго порядка центральная (эллипс или гипербола), то прямая

$x = \frac{p}{1 - \varepsilon^2} = a$

является осью симметрии и, следовательно, кривая имеет два фокуса и две директриссы.

Параметр p называется фокальным параметром и равен половине длины хорды, проходящей через фокус и перпендикулярной к фокальной оси (фокальная хорда).

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

Если взять в качестве полюса полярной системы координат $\left(\rho,\phi\right)$ фокус невырожденной кривой второго порядка, а в качестве полярной оси — её ось симетрии, то в полярных координатах ρ, φ уравнение кривой будет иметь вид

$\rho=\frac{p}{1 + \varepsilon \cos \phi}.$

Кривая, заданная своими пятью точками

Кривая второго порядка вполне определяется пятью своими точками, если никакие четыре из них не лежат на одной прямой. Уравнение кривой, проходящей через точки $\left( x_1, y_1 \right),$ $\left( x_2, y_2 \right),$ $\left( x_3, y_3 \right),$ $\left( x_4, y_4 \right)$ и $\left( x_5, y_5 \right):$

$\begin{vmatrix} x^2 &amp;amp; xy &amp;amp; y^2 &amp;amp; x &amp;amp; y &amp;amp; 1 \\ x_1^2 &amp;amp; x_1y_1 &amp;amp; y_1^2 &amp;amp; x_1 &amp;amp; y_1 &amp;amp; 1 \\ x_2^2 &amp;amp; x_2y_2 &amp;amp; y_2^2 &amp;amp; x_2 &amp;amp; y_2 &amp;amp; 1 \\ x_3^2 &amp;amp; x_3y_3 &amp;amp; y_3^2 &amp;amp; x_3 &amp;amp; y_3 &amp;amp; 1 \\ x_4^2 &amp;amp; x_4y_4 &amp;amp; y_4^2 &amp;amp; x_4 &amp;amp; y_4 &amp;amp; 1 \\ x_5^2 &amp;amp; x_5y_5 &amp;amp; y_5^2 &amp;amp; x_5 &amp;amp; y_5 &amp;amp; 1 \end{vmatrix} = 0$

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

Касательные и нормали

Уравнение касательной к кривой второго порядка f(x,y) в её точке $\left(x_1, y_1\right)$ имеет вид:

$\left(a_{11}x_1+a_{12}y_1+a_{13}\right) x + \left(a_{12}x_1+a_{22}y_1+a_{23}\right) y + \left(a_{13}x_{1}+a_{23}y_{1}+a_{33}\right) = 0.$

Уравнение нормали к кривой второго порядка в точке $\left(x_1, y_1\right)$ имеет вид

$\frac{x-x_{1}}{a_{11}x_{1}+a_{12}y_{1}+a_{13}}=\frac{y-y_{1}}{a_{21}x_{1}+a_{22}y_{1}+a_{23}}.$

Полюсы и поляры

Уравнение

$\left(a_{11}x_1+a_{12}y_1+a_{13}\right) x + \left(a_{12}x_1+a_{22}y_1+a_{23}\right) y + \left(a_{13}x_{1}+a_{23}y_{1}+a_{33}\right) = 0$

помимо касательной опряделяет прямую, называемую полярой точки $\left(x_1, y_1\right)$ относительно кривой второго порядка, независимо от того, лежит ли эта точка на кривой или нет. При этом точка $\left(x_1, y_1\right)$ называется полюсом этой прямой. Поляра точки кривой есть её касательная в этой точке.

Теоремы о полюсах и полярах:

1. Если прямая, проведённая через полюс P, пересекает поляру в точке Q, а кривую второго порядка — в точках R₁ и R₂, то точки P и Q гармонически разделяют отрезок R₁R₂, т. е. выполняется условие
   $\frac{R_1P}{PR_2}=-\frac{R_1Q}{QR_2}.$
2. Если точка лежит на некоторой прямой, то её поляра проходит через полюс этой прямой. Если прямая проходит через некоторую точку, то её полюс лежит на поляре этой точки.
3. Диаметр кривой второго порядка есть поляра бесконечно удалённой точки, через которую проходят сопряжённые ему хорды, а центр кривой есть полюс бесконечно удалённой прямой.
4. Фокус кривой есть центр пучка, обладающего тем свойством, что полюс любой его прямой принадлежит перпендикулярной к ней прямой пучка. Директрисса есть поляра фокуса.

Из этих утверждений, в частности, следует, что:

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

Теоремы, связанные с кривыми второго порядка

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

См. также

• Коническое сечение
• Квадрика
• Поверхности второго порядка

Ссылки

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

Литература

• Корн Г., Корн Т. Кривые второго порядка (конические сечения) // Справочник по математике. — 4-е издание. — М: Наука, 1978. — С. 64-69.