§ 10. Инварианты кривой второго порядка

Инвариантом уравнения (1.27) относительно преобразования си-

стемы координат ОХУ называется такая функция

f(а₁₁, а₁₂, a₂₂, a₁₃, а₂₃, а₃₃),

которая не меняется при переходе к новой системе координат 0'Х'У'. Таким образом, если f — инвариант, то f(a₁₁,...а₃₃) = f(a'₁₁...а'₃₃).

Теорема 1.2. Величины

(1.32)

являются инвариантами уравнения (1.27) линии второго порядка

относительно преобразований декартовой системы координат.

Доказательство проведем вначале для преобразования параллельного переноса, а затем для преобразования поворота.

Инвариантность I₁ и I₂ следует из формул (1.28). Заметим, что из этих формул также следует, что

32

(1.33)

Вычтем из 3-ей строки 1-ю, умноженную на x₀ и затем вторую

умноженную на у₀. Тогда

Теперь из 3-ro столбца вычтем 1-й, умноженный на x₀ и второй,

умноженный на y₀. Получим, что I'₃=I₃.

Рассмотрим теперь преобразов аде поворота

Разложим I'₃ по элементам 3-го столбца. Получим:

=

(1.34)

Распишем каждое из 3-х слагаемых в выражении (1.34), пользуясь формулами (1.31).

33

(1.35)

(1.36)

(1.37)

Следовательно, из (1.34) следует, что

(1.38)

Величины А, В, С, углы α, β и I₂ не зависят от угла φ. Значит, при любом повороте системы координат, выражение в правой части (1.38) не изменяется. С другой стороны, при φ=О, I'₃=I₃. Это и доказывает инвариантность I₃.

Теорема доказана.

Определим теперь тип линии в зависимости от знаков инвариан

тов I₁, I₂ и I₃.

Будем говорить, что

при I₂>О, уравнение (1.27) задает линию эллиптическом типа;

при I₂<О, уравнение (1.27) задает линии гиперболического типа;

при I₂=О, уравнение (1.27) задает линии параболического типа.

При параллельном переносе можно попытаться добиться того,

чтобы в уравнении (1.29) отсутствовали члены 2а'₁₃х' и 2а'₂₃y'. Из формул (1.28) следует, что это возможно только в том случае, если система

(1.39)

34

имеет решение.

Уравнения (1.39) называются уравнениями центра линии второго

порядка. Если х₀, у₀ — решение (1.39), то точка 0'(х₀,у₀) — центр линии. Если линия имеет центр, то в результате параллельного переноса начала системы координат в точку 0'(х₀,у₀) уравнение линии примет вид

(1.40)

Поэтому, если точка М(х',у') удовлетворяет уравнению (1.40), то и точка М'(—х',—у') также удовлетворяет уравнению (1.40). Таким образом центр линии является ее центром симметрии.

Заметим, что если кривая второго порядка имеет центр, то, в силу инвариантности I₃, получаем

.

Значит,

(1.41)

Как было показано ранее, можно повернуть систему координат

ОXY таким образом, чтобы уравнение (1.29) не содержало члена

2а'₁₂х'у'. Ясно, что в атом случае а'₁₂=0 и из формул (1.30) следует, что

Следовательно, при а₁₂ 0

(1.42)

Именно при таком выборе угла поворота, уравнение (1.29) принимает вид:

(1.43)

35

Вывод: путем параллельного переноса приводим уравнение кривой к виду (1.40)

путем поворота, если а₁₂ О, приводим уравнение (1.40) к виду:

(1.43)

в системе координат О"Х"У".

Линии эллиптического и гиперболического типов

Если I₂>О, то уравнение (1.43), согласно (1.41), можно записать так:

(1.44)

Так как

то а₁₁а₂₂>О, т.е. коэффициенты а₁₁ и а₂₂ оба отличны от нуля и

имеют одинаковые знаки, совпадающие со знаком I₁=a₁₁+а₂₂. Будем

в дальнейшем считать, что I₁>О, т.е. а₁₁>0 и а₂₂>0 (если это не так, то умножим обе части 1.44 на — 1). Заметим, что при такой операции (нормировании) знак I₂ не меняется.

Теорема 1.3. Пусть уравнение (1.27) КВП — эллиптического типа (I₂>О) нормировано так, что I₁>О. Тогда при I₃<0 — это уравнение эллипса. При I₃=0 — единственная точка (уравнение вырожденного эллипса). При I₃>0 — пустое множество точек (уравнение мнимого эллипса).

Доказательство. Так для уравнения (1.44), I₁=а"₁₁+а"₂₂,

I₂=а"₁₁а₂₂, то из условия I₁>О, I₂>0 следует, что а"₁₁>О,

36

а"₂₂>0. Поэтому уравнение (1.44) можно записать так:

, при I₃<0; (1.45)

, при I₃=0; (1.46)

, при I₃>0; (1.47)

Теорема доказана.

2типа (I₂<0). Тогда при I₃ 0 — это уравнение гиперболы, а при I₃=0 пара пересекающихся прямых.

Доказательство. Так как для уравнения (1.44):

то из I₂<0 следует а"₁₁, и а"₂₂ имеют разные знаки. Пусть а"₁₁>0 что а"₂₂<О,. Тогда уравнение (1.44) можно записать так:

, при I₃<0; (1.48)

, при I₃=0; (1.49)

, при I₃>0; (1.50)

Уравнение (1.48) задает гиперболу, симметричную относительно

оси О"Y".

37

Уравнение (1.49) можно переписать так:

— пара пересекающихся прямых в системе координат 0"Х"Y".

Уравнение (1.50) — каноническое уравнение гиперболы.

Случай, когда а₁₁"<О, а₂₂">0 рассматривается аналогично.

Теорема доказана.

Линии параболического типа

Пусть КВП задана уравнением вида (1.27) и является кривой

параболического типа, т.е. I₂=О. Тогда I₁ О. Действительно,

если I₁=а₁₁+a₂₂=О, то I₁²=а₁₁²+а₂₂²+2a₁₁a₂₂=О, т.е.

(*)

Так как I₂=a₁₁a₂₂—а₁₂²=О, то из (*) следует, что —(a₁₁²/2)—(а₂₂²/2)=а₁₂².. Значит, a₁₁=a₂₂=a₁₂=0 — противоречие с тем, что уравнение (1.27) — уравнение кривой второго порядка.

Заметим, что если в уравнении (1.27) а₁₂ О, то путем поворота системы координат 0ХУ можно придти к уравнению вида (1.40)

Так как I₁=а'₁₁+а₂₂ О, I₂=a'₁₁а'₂₂=О, то один из коэффициентов a'₁₁ и а'₂₂ равен нулю, а другой не равен нулю.

Будем считать, что а'₁₁=О, а'₂₂ 0 (случай а'₁₁ О, a'₂₂=0

рассматривается аналогично). Тогда I₁=a'₂₂ и уравнение (1.40)

можно записать так:

(1.51)

Осуществим теперь параллельный перенос:

, т.е.

38

. (1.52)

Тогда x"=x' и у"=у'+а'₂₃/I₁. Значит, в новой системе координат

О"Х"У" уравнение КВП примет вид:

(1.53)

где

Теорема 1.5. Пусть уравнение (1.27) — есть уравнение парабо-

лического тип. Тогда при I₃ 0 это уравнение параболы, а при I₃=0 — это уравнение либо пары параллельных действительных прямых, либо пары мнимых параллельных прямых.

Доказательство. Итак, для уравнения (1.27)

(1.54)

Так как I₁ О, то при I₃ 0 следует, что а"₁₃ О, а при I₃=0 получаем, что а"₁₃=О. Тогда уравнение (1.53) можно записать так

при I₃ О, (1.55)

при I₃=О, (1.56)

Очевидно, что уравнение (1.55) — уравнение параболы. Чтобы

оно стало каноническим, достаточно осуществить параллельный перенос системы координат 0"Х"У":

y"=Y;

и обозначить —а"₁₃/I₁=р. Тогда в системе координат ОХУ получаем уравнение

У² = 2рХ.

39

Уравнение (1.56) можно записать так:

(1.57)

Тогда, если a"₃₃/I₁<0, то из (1.57) получаем

• пара параллельных прямых: и

Если же а"₃₃/I₁>0, то уравнению (1.57) не удовлетворяют

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

40