Исследование уравнения второго порядка
В общей декартовой системе координат линия второго порядка может быть задана уравнением
, (1)
в котором коэффициенты А, В и С не равны нулю одновременно. Исследуем множество точек, которые ему удовлетворяют, не предполагая заранее, что хоть одна такая точка существует. С этой целью мы будем менять систему координат так, чтобы уравнение стало возможно проще. С самого начала можно считать систему координат декартовой прямоугольной, так как при переходе к прямоугольной системе координат общий вид уравнения (1) не изменится.
При повороте базиса декартовой прямоугольной системы координат на
угол
старые координаты точки x, y
будут связаны с ее новыми координатами x',
у' формулами
х=х'
cos
— у'sin
,
у=х'sin
+ у'cos
.
В новых координатах уравнение (1) примет вид
А(х'cos-
у'sin
)
+
2В(х'cos
- у'sin
)
(
х'sin
+ y' cos
)
+ C(x'sin
+ y'cos
)
+
... = 0.
Здесь многоточием обозначены члены первой степени относительно х',у' и свободный член, которые нет необходимости выписывать. Нас будет интересовать член с произведением х'у' в преобразованном уравнении. В невыписанные члены это произведение не входит, и мы подсчитаем, что половина коэффициента при х'у' есть
В'
= —A sin
cos
+ В (cos
— sin
)
+ С sin
cos
.
Если В = 0, то
поворачивать систему координат не будем. Если же В≠0, то выберем
угол
так, чтобы В' обратилось в нуль.
Это требование приведет к уравнению
2В
cos 2
=(A- С) sin
2
. (2)
Если А = С, то cos
2
= 0, и можно положить
= π/4. Если же А ≠ С, то выбираем
=
arctg(
).
Для нас сейчас важно то, что хоть один такой угол обязательно
существует. После поворота системы координат на этот угол линия будет
иметь уравнение
А'х
+ С'у
+ 2D'x' + 2Е'у' + F' = 0. (3)
Выражения для коэффициентов уравнения (3) через коэффициенты (1) подсчитать не трудно, но это не нужно. Теперь коэффициент при произведении переменных равен нулю, а остальные члены мы по-прежнему считаем произвольными.
Сформулируем следующее вспомогательное
Предложение 1. Если в уравнение (3) входит с ненулевым коэффициентом квадрат одной из координат, то при помощи переноса начала координат вдоль соответствующей оси можно обратить в нуль член с первой степенью этой координаты.
В самом деле, пусть, например, А'≠0. Перепишем (3) в виде
А' (х
+
х' +
)
+ С'у
²
+ 2Е'у' + F' –
= 0.
Если мы сделаем перенос начала координат, определяемый формулами х'' = х' + D'/А', у'' = у', то уравнение приведется к виду
А'х
+ С'у
+ 2Е'у'' + F'' = 0,
как и требовалось.
А. Предположим, что А'С'≠0, т. е. оба коэффициента отличны от нуля. Согласно предложению 1 при помощи переноса начала координат уравнение приведется к виду
А'х
+ С'у
+ F''= 0. (4)
Могут быть сделаны следующие предположения относительно знаков коэффициентов в этом уравнении.
А1. А'С'> 0 — коэффициенты А' и С' имеют один знак. Для F'' имеются следующие три возможности.
A1a. Знак F'' противоположен знаку А' и С'. Перенесем F'' в другую часть равенства и разделим на него. Уравнение примет вид
,
(5)
где а=
—F''/А', b2 = —F''/С''. Можно
считать, что в этом уравнении а>0, b > 0 и а ≥ b.
Действительно, если последнее условие не выполнено, то можно сделать
дополнительную замену координат
х*=у'', у*=х''. (6)
Определение. Линия, которая в некоторой декартовой прямоугольной системе координат может быть задана уравнением (5) при условии а ≥ b, называется эллипсом, уравнение называется каноническим уравнением эллипса, а система координат — его канонической системой координат.
При а = b уравнение (5) есть уравнение окружности радиуса а. Таким образом, окружность — частный случай эллипса.
А1б. Знак F'' совпадает с общим знаком А'' и С''. Тогда аналогично предыдущему мы можем привести уравнение к виду
,
(7)
Этому уравнению не удовлетворяют координаты ни одной точки.
Уравнение, которое приводится к каноническому виду (7), называется уравнением мнимого эллипса.
А1в. F'' = 0. Уравнение имеет вид
ax''2
+ с
у''
= 0. (8)
Ему удовлетворяет только одна точка х'' = 0, у'' = 0. Уравнение, приводящееся к каноническому виду (8), называется уравнением пары мнимых пересекающихся прямых.