10
Так как (a
22
- a
11
)
2
+ 4a
2
12
> 0, то по формуле (8.12) нужный нам
угол a всегда можно определить.
Обозначим для более короткой записи a′
11
= l
1
, a′
12
= l
2
. Теперь
сформулируем полученный результат.
Поворотом системы координат на угол a, определяемый по
формуле (8.12), можно преобразовать квадратичную форму
ϕ(x, y) = a
11
x
2
+ 2a
12
xy + a
22
y
2
к каноническому виду
ϕ′(x′, y′) = l
1
x′
2
+ l
2
y′
2
.
При этом весь многочлен F(x, y) преобразуется к виду
′ ′ ′
=
′
+
′
+
′ ′
+
′ ′
+F x y x y a x a y a( , ) .λ λ
1
2
2
2
13 23 33
2 2
(8.13)
Заметим, что оба коэффициента l
1
и l
2
не могут одновременно
равняться нулю: если бы было l
1
= l
2
= 0, то квадратичная форма
(8.9) в результате линейного невырожденного преобразования
превратилась бы в тождественный нуль, что невозможно.
Итак, возможны два основных случая:
I. l
1
≠ 0, l
2
≠ 0.
II. Один из коэффициентов l
1
, l
2
отличен от нуля, другой ра-
вен нулю (параболический случай).
Рассмотрим случай I, т.е. первый основной случай: l
1
≠ 0, l
2
≠ 0.
При переносе начала координат в какую-нибудь точку O′(x′
0
, y′
0
),
т.е. при преобразовании
′
=
′′
+
′
′
=
′′
+
′
x x x
y y y
0
0
,
,
многочлен (8.13) принимает вид
′′ ′′ ′′
=
′′
+
′′
+
′
+
′ ′′
F x y x y x a( , ) ( )λ λ λ
1
2
2
2
1 0 13
2 xx
y a y a
+
+
′
+
′ ′′
+
′
2
2
0 23 33
( ) ,λ
(8.14)
где свободный член
′
=
′
+
′
+
′ ′
+
′ ′
+ =
′
2
a x y a x a y a F
33 1 0
2
0
2
13 0 23 0 33
2 2λ λ (( , ).
′ ′
x y
0 0
Второй шаг преобразования заключается в следующем. Подбе-
рем такие координаты (x′
0
, y′
0
) нового начала координат, чтобы
коэффициенты при x″ и y″ в (8.14) обратились в нуль, т.е. чтобы
выполнялись неравенства:
λ λ
1 0 13 2 0 23
0 0
′
+
′
=
′
+
′
=x a y a, .