Канонические уравнения поверхностей второго порядка
Рассмотрим задачу приведения уравнения поверхности второго порядка к наиболее простому (каноническому) виду.
Напомним,
что алгебраической поверхностью второго
порядка называется геометрическое
место точек плоскости, которое в
какой-либо аффинной системе координат 
может
быть задано уравнением вида
(4.41)
где
левая часть — многочлен трех
переменных 
второй
степени. Коэффициенты при первых степенях
переменных
,
а также при их произведениях взяты
удвоенными просто для удобства дальнейших
преобразований.
Уравнение
(4.41) можно записать в матричном
виде: 
где —
матрица квадратичной формы, 
—
столбец коэффициентов линейной формы
(см. п.5 и п.6,"б" замечаний 4.1).
Требуется
найти прямоугольную систему координат 
,
в которой уравнение поверхности приняло
бы наиболее простой вид.
Результатом решения поставленной задачи является следующая основная теорема.
Теорема 4.3 (классификация алгебраических поверхностей второго порядка)
Для любой алгебраической поверхности второго порядка существует прямоугольная система координат Oxyz, в которой уравнение этой поверхности принимает один из следующих семнадцати канонических видов:
1. |
|
уравнение эллипсоида; |
|
2. |
|
уравнение мнимого эллипсоида; |
a1{TEXT2} |
3. |
|
уравнение мнимого конуса; |
{TEXT3} |
4. |
|
уравнение однополостного гиперболоида; |
{TEXT4} |
5. |
|
уравнение двуполостного гиперболоида; |
{TEXT5} |
6. |
|
уравнение конуса; |
{TEXT6} |
7. |
|
уравнение эллиптического параболоида; |
{TEXT7} |
8. |
|
уравнение гиперболического параболоида; |
{TEXT8} |
9. |
|
уравнение эллиптического цилиндра; |
{TEXT9} |
10. |
|
уравнение мнимого эллиптического цилиндра; |
{TEXT10} |
11. |
|
уравнение пары мнимых пересекающихся плоскостей; |
{TEXT11} |
12. |
|
уравнение гиперболического цилиндра; |
{TEXT12} |
13. |
|
уравнение пары пересекающихся плоскостей; |
{TEXT13} |
14. |
|
уравнение параболического цилиндра; |
{TEXT14} |
15. |
|
уравнение пары параллельных плоскостей; |
{TEXT15} |
16. |
|
уравнение мнимых пары параллельных плоскостей; |
{TEXT16} |
17. |
|
уравнение пары совпадающих плоскостей. |
{TEXT17} |
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
<=""
td="" style="margin-top: 0px; margin-right: 0px;
margin-bottom: 0px; margin-left: 0px; padding-top: 0px;
padding-right: 0px; padding-bottom: 0px; padding-left: 0px;
border-top-style: none; border-right-style: none;
border-bottom-style: none; border-left-style: none; border-width:
initial; border-color: initial; border-image: initial; ">
В
этих уравнениях 
,
причем 
в
уравнениях 1,2; 
в
уравнениях 3,4,5,6,7,9,10.
Теорема 4.3 дает аналитические определения поверхностей второго порядка. Согласно п.2 замечаний 4.1, поверхности (1),(4),(5),(6),(7),(8),(9), (12),(13),(14),(15),(17) называются вещественными (действительными), а поверхности (2),(3),(10),(11),(16) — мнимыми.
Поясним доказательство теоремы. Оно аналогично доказательству теоремы 3.3 и фактически содержит алгоритм решения поставленной задачи.
Без ограничения общности можно предполагать, что уравнение поверхности второго порядка задано в прямоугольной системе координат. В противном случае можно перейти от непрямоугольной системы координат к прямоугольной , при этом уравнение линии будет иметь тот же вид и ту же степень согласно теореме 4.1.
Пусть
в прямоугольной системе
координат
алгебраическая
поверхность второго порядка задана
уравнением (4.41), в котором хотя бы один
из старших коэффициентов
ап, 
отличен
от нуля,n поскольку левая часть уравнения
— многочлен трех переменных
второй
степени.
Упрощение общего уравнения (4.41) производится в два этапа. На первом этапе при помощи однородного ортогонального преобразования координат "уничтожаются" члены с произведением неизвестных, как и в случае уравнения линии второго порядка, при этом достаточно сделать три поворота (см. углы Эйлера).
Докажем, что существует однородная ортогональная замена переменных
(4.42)
где —
столбцы старых и новых переменных, —
ортогональная матрица 
,
при которой квадратичная форма
приводится к каноническому виду
для которого матрица квадратичной формы диагональная:
Действительно,
подставляя 
в
квадратичную форму 
,
получаем
т.е. при однородной ортогональной замене переменных (4.42) матрица квадратичной формы преобразуется по закону
(4.43)
Составим
характеристическое уравнение для
матрицы 
(см.
пункт 3 замечаний 3.12):
Так
как это уравнение третьей степени, то
оно имеет хотя бы один действительный
корень. Обозначим его 
.
Однородная система уравнений
или 
определитель
которой равен нулю, имеет бесконечно
много ненулевых решений (см. разд.П.10).
Обозначим через 
вектор,
координатный столбец которого совпадает
с ненулевым решением 
системы,
удовлетворяющим условию нормировки .
Дополним этот единичный вектор
векторами 
до
ортонормированного базиса 
пространства.
Координатные столбцы 
векторов
удовлетворяют
условиям
(4.44)
кроме
того столбец 
удовлетворяет
равенству 
или,
что то же самое, 
.
Из координатных столбцов
базисных
векторов составим матрицу 
,
которая в силу (4.44) является ортогональной,
так как
и,
следовательно, 
.
Сделаем в квадратичной форме
замену
переменных
с
ортогональной матрицей 
.
По закону (4.43) находим
Последний
столбец этой матрицы, учитывая
равенство
и
ортогональность 
,
имеет вид
Следовательно,
в матрице 
элементы 
и 
.
Поэтому квадратичная форма имеет вид
Как
показано при доказательстве теоремы
3.3, многочлен двух
переменных при помощи поворота системы
координат 
можно
привести к виду 
.
Этот поворот соответствует повороту
найденной системы координат 
вокруг
оси аппликат.
Таким образом, существует преобразование прямоугольной системы координат, приводящее квадратичную форму к каноническому виду. При этом уравнение (4.41) не содержит членов с произведением неизвестных:
(4.45)
На
втором этапе, при помощи параллельного
переноса "уничтожаются" один, два
или все три члена первой степени. В
результате всех преобразований получаем
систему координат 
,
в которой уравнение (4.45) становится
приведенным (одного из следующих пяти
типов):
Уравнения
(I), (II), (II) совпадают с приведенными
уравнениями линии второго порядка,
поскольку не зависят от неизвестной 
.
В разделе показано, что они сводятся к
каноническим уравнениям эллипсов,
гиперболы, параболы или пар прямых.
Поэтому уравнения (I), (II), (III) соответственно
сводятся к каноническим уравнениям
цилиндров (9), (10), (12), (14): эллиптического,
гиперболического, параболического, или
пар плоскостей (11), (13), (15), (16), (17).
Уравнение
(IV) в зависимости от знаков коэффициентов
сводится к каноническим уравнениям
параболоидов (7) или (8). Например, если
все коэффициенты 
положительны,
то, перенося линейный член 
в
правую часть и разделив обе части
уравнения на 
,
получим .
Обозначим положительные величины 
и
изменим направление оси аппликат, т.е.
сделаем замену: 
.
В результате получим уравнение
эллиптического параболоида (7): 
Если
окажется, что 
,
то переименуем координатные оси: 
Уравнение (V) в зависимости от знаков коэффициентов сводится к каноническим уравнениям эллипсоидов (1),(2), гиперболоидов (4),(5) или конусов (3),(6).
Замечания 4.7.
1. Система
координат, в которой уравнение
алгебраической поверхности второго
порядка имеет канонический вид, называется
канонической. Каноническая система
координат определяется неоднозначно.
Например, изменяя направление оси
ординат на противоположное, снова
получаем каноническую систему координат,
так как замена переменной 
на 
не
изменяет уравнений (1)–(17).
2. Поверхности второго порядка, приведенные в формулировке теоремы 4.3, изображены в канонической системе координат. Изображение мнимых поверхностей дается штриховыми линиями только для иллюстрации.
3. В случаях (11),(13),(15)-(17) поверхности называются распадающимися, поскольку соответствующие им многочлены второй степени разлагаются в произведение многочленов первой степени.
4. Напомним,
что ненулевой столбец 
,
удовлетворяющий равенству 
,
называется собственным
вектором матрицы
,
а число 
— собственным
значением этой
матрицы. Говорят, что собственный
вектор 
соответствует
(принадлежит) собственному значению
.
Как
показано при доказательстве теоремы
4.3, при помощи однородной ортогональной
замены переменных (4.42)
или,
что то же самое, при помощи поворотов
прямоугольной системы координат
вокруг
ее начала 
,
квадратичную форму
можно привести к каноническому виду
где 
—
собственные числа матрицы
квадратичной
формы, т.е. корни характеристического
уравнения: 
,
а матрица
замены
переменных составлена из попарно
ортогональных единичных собственных
векторов
матрицы
,
соответствующих собственным значениям
.
Другими словами, для
любой квадратичной формы
(трех
переменных) существует ортонормированный
базис 
,
составленный из собственных векторов
матрицы
,
в котором квадратичная форма имеет
канонический вид.
5. При
ортогональном преобразовании координат
собственные векторы матрицы
квадратичной
формы не изменяются, а именно,
если 
собственный
вектор матрицы
(соответствующий
собственному значению 
),
то вектор 
является
собственным для матрицы 
,
где
—
ортогональная матрица.
Действительно,
учитывая, что 
и 
,
получаем
т.е. 
.
Следовательно, 
—
собственный вектор, соответствующий
собственному значению
.
6. При
однородной невырожденной замене
переменных
линейная
форма 
меняется
следующим образом 
,
т.е. столбец коэффициентов линейной
формы изменяется по закону 
.
Свободный член квадратичной функции
при однородной замене переменных
не
изменяется.