Операция "Раздолбай"

Исследование уравнения второго порядка

В общей декартовой системе координат линия второго порядка может быть задана уравнением

, (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, то выберем угол так, чтобы В' обратилось в нуль.

Это требование приведет к уравнению

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), называется уравнением пары мнимых пересекающихся прямых.


Система Orphus

Комментарии (показать)