8 Отыскание канонических уравнений по инвариантам.

ТЕОРЕМА 8.1. Для того чтобы линия второго порядка, заданная общим уравнением относительно декартовой системы координат, относилась к первой группе, необходимо и достаточно, чтобы   , ко второй: ---  , к третьей : ---  . Доказательство. Необходимость. 1. Предположим, что линия второго порядка принадлежит к первой группе, т. е. ее общее уравнение  , заданное относительно декартовой системы координат, преобразованием этой декартовой системы в декартову систему координат может быть приведено к виду:  , В таком случае  2. Предположим, что линия второго порядка принадлежит ко второй группе, т. е. ее общее уравнение  , заданное относительно декартовой системы координат, преобразованием этой декартовой системы в декартову систему координат может быть приведено к виду:   В этом случае, 3. Предположим, что линия второго порядка принадлежит к третьей группе, т. е. ее общее уравнение  , заданное относительно декартовой системы координат, преобразованием этой декартовой системы в декартову систему координат может быть приведено к виду:   . Тогда , Доказательство достаточности. Предположим, что  . Требуется доказать, что линия второго порядка принадлежит к первой группе. Предположим, что это не так, то есть линия является линией второй или третьей группы; тогда в силу доказанной необходимости получаем, что  . Противоречие. Аналогично в оставшихся случаях. ТЕОРЕМА 8.2. Если линия второго порядка задана общим уравнением относительно декартовой системы координат, то ее простейшие уравнения имеют вид       соответственно тому, является ли эта линия линией первой, второй или третьей группы, причем   и   --- корни уравнения  называемого характеристическим. Доказательство. Докажем сначала, что характеристическое уравнение всегда имеет два действительных корня. Для этого, очевидно, надо доказать, что его дискриминант неотрицателен. В самом деле, 1. Пусть линия принадлежит к первой группе; тогда ее простейшее уравнение имеет вид    Так как  , то   и   - корни   и   уравнения  . Далее находим , и следовательно ,  . 2. Пусть линия принадлежит ко второй группе; тогда ее простейшее уравнение имеет вид   Получаем ,  , значит ,  3. Предположим, что линия второго порядка принадлежит к третьей группе; тогда ее простейшее уравнение имеет вид   Следовательно,  . Но так как для линий третьей группы   является полным инвариантом, то . Отсюда получаем, что  . ТЕОРЕМА 8.3. В следующей таблице даны необходимые и достаточные признаки каждого из девяти классов линии второго порядка:

Доказательство достаточности. 1. Если  , то корни   и   характеристического уравнения   имеют одинаковый знак, так как  . Поскольку   и  , то знак   одинаков со знаком   и  , а   имеет знак, им противоположный. Отсюда следует, что простейшее уравнение   приводится к виду где   и  . Поэтому это уравнение определяет эллипс с полуосями   и  . 2. Если  , то   и   имеет одинаковый знак. Значит простейшее уравнение   приводится к виду где   и  . Поэтому это уравнение определяет мнимый эллипс. 3. Если  , то простейшее уравнение принимает вид , причем   и   имеют одинаковый знак. Отсюда следует, что последнее уравнение можно переписать в виде Обозначая через  , получаем уравнение пары мнимых пересекающихся прямых. 4. Если   , то корни   и   разных знаков. Обозначим через   тот из корней характеристического уравнения, который имеет знак, совпадающий со знаком  , и перепишем простейшее уравнение так: где   и  . Полагая здесь   и  , получаем каноническое уравнение гиперболы. 5. Если  , то простейшее уравнение принимает вид  . Здесь   и   имеют разные знаки. Считая  , перепишем это уравнение в виде Обозначая через  , получаем уравнение пары пересекающихся прямых. 6. Если  , в простейшем уравнении   выбираем знак перед корнем, противоположным знаку   и, обозначая  , получаем каноническое уравнение параболы  . 7-9. Если  , то простейшее уравнение имеет вид   или  . Отсюда следует, что если  , то это уравнение является уравнением двух параллельных прямых, если  , то уравнением двух мнимых параллельных прямых, а если  , то уравнением двух совпавших прямых. Достаточность всех признаков доказана. Необходимость доказывается методом от противного. Следствие 8.1. Для того чтобы линия второго порядка, заданная общим уравнением ( ) распадалась на две прямые, необходимо и достаточно, чтобы выполнялось равенство