Уравнение прямой, виды уравнения прямой на плоскости
В прошлом материале мы рассмотрели основные моменты, касающиеся темы прямой на плоскости. Теперь же перейдем к изучению уравнения прямой: рассмотрим, какое уравнение может называться уравнением прямой, а также то, какой вид имеет уравнение прямой на плоскости.
Определение уравнения прямой на плоскости
Допустим, что есть прямая линия, которая задана в прямоугольной декартовой системе координат O х у .
Прямая линия – это геометрическая фигура, которая состоит из точек. Каждая точка имеет свои координаты по осям абсцисс и ординат. Уравнение, которое описывает зависимость координат каждой точки прямой в декартовой системе O x y , называется уравнением прямой на плоскости.
Фактически, уравнение прямой на плоскости – это уравнение с двумя переменными, которые обозначаются как x и y . Уравнение обращается в тождество при подстановке в него значений любой из точек прямой линии.
Давайте посмотрим, какой вид будет иметь уравнение прямой на плоскости. Этому будет посвящен весь следующий раздел нашей статьи. Отметим, что существует несколько вариантов записи уравнения прямой. Объясняется это наличием нескольких способов задания прямой линии на плоскости, и также различной спецификой задач.
Общее уравнение прямой линии
Познакомимся с теоремой, которая задает вид уравнения прямой линии на плоскости в декартовой системе координат O x y .
Уравнение вида A x + B y + C = 0 , где x и y – переменные, а А , В и C – это некоторые действительные числа, из которых A и B не равны нулю, задает прямую линию в декартовой системе координат O x y . В свою очередь, любая прямая линия на плоскости может быть задана уравнением вида A x + B y + C = 0 .
Таким образом, общее уравнение прямой на плоскости имеет вид A x + B y + C = 0 .
Поясним некоторые важные аспекты темы.
Посмотрите на рисунок.
Линия на чертеже определяется уравнением вида 2 x + 3 y — 2 = 0 , так как координаты любой точки, составляющей эту прямую, удовлетворяют приведенному уравнению. В то же время, определенное количество точек плоскости, определяемых уравнением 2 x + 3 y — 2 = 0 , дают нам прямую линию, которую мы видим на рисунке.
Общее уравнение прямой может быть полным и неполным. В полном уравнении все числа А , В и C отличны от нуля. Во всех остальных случаях уравнение считается неполным. Уравнение вида A x + B y = 0 определяет прямую линию, которая проходит через начало координат. Если A равно нулю, то уравнение A x + B y + C = 0 задает прямую, расположенную параллельно оси абсцисс O x . Если B равно нулю, то линия параллельна оси ординат O y .
Вывод: при некотором наборе значений чисел А , В и C с помощью общего уравнения прямой можно записать любую прямую линию на плоскости в прямоугольной системе координат O х у .
Прямая, заданная уравнением вида A x + B y + C = 0 , имеет нормальный вектор прямой с координатами A , B .
Все приведенные уравнения прямых, которые мы рассмотрим ниже, могут быть получены из общего уравнения прямой. Также возможен и обратный процесс, когда любое из рассматриваемых уравнений может быть приведено к общему уравнению прямой.
Разобраться во всех нюансах темы можно в статье «Общее уравнение прямой». В материале мы приводим доказательство теоремы с графическими иллюстрациями и подробным разбором примеров. Особое внимание в статье уделяется переходам от общего уравнения прямой к уравнениям других видов и обратно.
Уравнение прямой в отрезках
Уравнение прямой в отрезках имеет вид x a + y b = 1 , где a и b – это некоторые действительные числа, которые не равны нулю. Абсолютные величины чисел a и b равны длине отрезков, которые отсекаются прямой линией на осях координат. Длина отрезков отсчитывается от начала координат.
Благодаря уравнению можно легко построить прямую линию на чертеже. Для этого необходимо отметить в прямоугольной системе координат точки a , 0 и 0 , b , а затем соединить их прямой линией.
Построим прямую, которая задана формулой x 3 + y — 5 2 = 1 . Отмечаем на графике две точки 3 , 0 , 0 , — 5 2 , соединяем их между собой.
Дополнительно рекомендуем ознакомиться с материалом, изложенным в статье «Уравнение прямой в отрезках».
Уравнение прямой с угловым коэффициентом
Эти уравнения, имеющие вид y = k · x + b должны быть нам хорошо известны из курса алгебры. Здесь x и y – это переменные, k и b – это некоторые действительные числа, из которых k представляет собой угловой коэффициент. В этих уравнениях переменная у является функцией аргумента x .
Дадим определение углового коэффициента через определение угла наклона прямой к положительному направлению оси O x .
Для обозначения угла наклона прямой к положительному направлению оси O x в декартовой системе координат введем величину угла α . Угол отсчитывается от положительного направления оси абсцисс до прямой линии против хода часовой стрелки. Угол α считается равным нулю в том случае, если линия параллельна оси O x или совпадает с ней.
Угловой коэффициент прямой – это тангенс угла наклона этой прямой. Записывается это следующим образом k = t g α . Для прямой, которая располагается параллельно оси O y или совпадает с ней, записать уравнение прямой с угловым коэффициентом не представляется возможным, так как угловой коэффициент в этом случае превращается в бесконечность (не существует).
Прямая, которая задана уравнением y = k · x + b , проходит через точку 0 , b на оси ординат. Это значит, что уравнение прямой с угловым коэффициентом y = k · x + b , задает на плоскости прямую линию, которая проходит через точку 0 , b и образует угол α с положительным направлением оси O x , причем k = t g α .
Изобразим прямую линию, которая определяется уравнением вида y = 3 · x — 1 .
Эта линия должна пройти через точку ( 0 , — 1 ) . Угол наклона α = a r c t g 3 = π 3 равен 60 градусов к положительному направлению оси O x . Угловой коэффициент равен 3
Обращаем ваше внимание, что с помощью уравнения прямой с угловым коэффициентом очень удобно искать уравнение касательной к графику функции в точке.
Больше материала по теме можно найти в статье «Уравнение прямой с угловым коэффициентом». Помимо теории там размещено большое количество графических примеров и подробный разбор задач.
Каноническое уравнение прямой на плоскости
Данный вид уравнения имеет вид x — x 1 a x = y — y 1 a y , где x 1 , y 1 , a x , a y — это некоторые действительные числа, из которых a x и a y не равны нулю.
Прямая линия, заданная каноническим уравнением прямой, проходит через точку M 1 ( x 1 , y 1 ) . Числа a x и a y в знаменателях дробей представляют собой координаты направляющего вектора прямой линии. Это значит, что каноническое уравнение прямой линии x — x 1 a x = y — y 1 a y в декартовой системе координат O x y соответствует линии, проходящей через точку M 1 ( x 1 , y 1 ) и имеющей направляющий вектор a → = ( a x , a y ) .
Изобразим в системе координат O x y прямую линию, которая задается уравнением x — 2 3 = y — 3 1 . Точка M 1 ( 2 , 3 ) принадлежит прямой, вектор a → ( 3 , 1 ) является направляющим вектором этой прямой линии.
Каноническое уравнение прямой линии вида x — x 1 a x = y — y 1 a y может быть использовано в случаях, когда a x или a y равно нулю. Наличие ноля в знаменателе делает запись x — x 1 a x = y — y 1 a y условной. Уравнение можно записать следующим образом a y ( x — x 1 ) = a x ( y — y 1 ) .
В том случае, когда a x = 0 , каноническое уравнение прямой принимает вид x — x 1 0 = y — y 1 a y и задает прямую линию, которая расположена параллельно оси ординат или совпадает с этой осью.
Каноническое уравнение прямой при условии, что a y = 0 , принимает вид x — x 1 a x = y — y 1 0 . Такое уравнение задает прямую линию, расположенную параллельно оси абсцисс или совпадающую с ней.
Больше материала на тему канонического уравнения прямой смотрите здесь. В статье мы приводим целый ряд решений задач, а также многочисленные примеры, которые позволяют лучше овладеть темой.
Параметрические уравнения прямой на плоскости
Данные уравнения имеют вид x = x 1 + a x · λ y = y 1 + a y · λ , где x 1 , y 1 , a x , a y — это некоторые действительные числа, из которых a x и a y не могут быть одновременно равны нулю. В формулу вводится дополнительный параметр λ , который может принимать любые действительные значения.
Назначение параметрического уравнения в том, чтобы установить неявную зависимости между координатами точек прямой линии. Для этого и вводится параметр λ .
Числа x , y представляют собой координаты некоторой точки прямой. Они вычисляются по параметрическим уравнениям прямой при некотором действительном значении параметра λ .
Предположим, что λ = 0 .
Тогда x = x 1 + a x · 0 y = y 1 + a y · 0 ⇔ x = x 1 y = y 1 , т. е. точка с координатами ( x 1 , y 1 ) принадлежит прямой.
Обращаем ваше внимание на то, что коэффициенты a x и a y при параметре λ в данном виде уравнений представляют собой координаты направляющего вектора прямой линии.
Рассмотрим параметрические уравнения прямой линии вида x = 2 + 3 · λ y = 3 + λ . Прямая, заданная уравнениями, в декартовой системе координат проходит через точку ( x 1 , y 1 ) и имеет направляющий вектор a → = ( 3 , 1 ) .
Больше информации ищите в статье «Параметрические уравнения прямой на плоскости».
Нормальное уравнение прямой
Нормальное уравнение прямой имеет вид , A x + B y + C = 0 , где числа А , В , и C таковы, что длина вектора n → = ( A , B ) равна единице, а C ≤ 0 .
Нормальным вектором линии, заданной нормальным уравнением прямой в прямоугольной системе координат O х у , является вектор n → = ( A , B ) . Эта прямая проходит на расстоянии C от начала координат в направлении вектора n → = ( A , B ) .
Еще одним вариантом записи нормального уравнения прямой линии является cos α · x + cos β · y — p = 0 , где cos α и cos β — это два действительных числа, которые представляют собой направляющие косинусы нормального вектора прямой единичной длины. Это значит, что n → = ( cos α , cos β ) , справедливо равенство n → = cos 2 α + cos 2 β = 1 , величина p ≥ 0 и равна расстоянию от начала координат до прямой.
Рассмотрим общее уравнение прямой — 1 2 · x + 3 2 · y — 3 = 0 . Это общее уравнение прямой является нормальным уравнением прямой, так как n → = A 2 + B 2 = — 1 2 2 + 3 2 = 1 и C = — 3 ≤ 0 .
Уравнение задает в декартовой системе координат 0ху прямую линию, нормальный вектор которой имеет координаты — 1 2 , 3 2 . Линия удалена от начала координат на 3 единицы в направлении нормального вектора n → = — 1 2 , 3 2 .
Обращаем ваше внимание на то, что нормальное уравнение прямой на плоскости позволяет находить расстояние от точки до прямой на плоскости.
Если в общем уравнении прямой A x + B y + C = 0 числа А , В и С таковы, что уравнение A x + B y + C = 0 не является нормальным уравнением прямой, то его можно привести к нормальному виду. Подробнее об этом читайте в статье «Нормальное уравнение прямой».
Кривые второго порядка
Кривая второго порядка — это некоторая линия на плоскости, которая в декартовой системе координат задается общим уравнением:
Имеем дело с уравнением второй степени, в котором коэффициенты при старших членах — при вторых степенях одновременно не нули.
или можно встретить следующую форму записи:
К кривым второго порядка относятся окружность, эллипс, гипербола и парабола.
Покажем на примере определение значений коэффициентов.
Рассмотрим кривую второго порядка:
Вычислим определитель из коэффициентов:
Если Δ = 0, кривая второго порядка параболического типа,
если Δ > 0, кривая второго порядка эллиптического типа,
если Δ F1 и F2 — фокусы.
Парабола — множество точек на плоскости для каждой из которых расстояние до данной точки F равно расстоянию до данной прямой f.
F — фокус параболы, f — директриса параболы.
Линия второго порядка, заданная общим уравнением
Пересечение линии второго порядка и прямой.
Рассмотрим линию второго порядка, заданную общим уравнением
$$
Ax^<2>+2Bxy+Cy^<2>+2Dx+2Ey+F=0\label
$$
в декартовой системе координат, и исследуем пересечение этой линии с произвольной прямой
$$
x=x_<0>+\alpha t,\ y=y_<0>+\beta t.\label
$$
Значения параметра \(t\), соответствующие точкам пересечения, должны удовлетворять уравнению, получаемому подстановкой \eqref
$$
A(x_<0>+\alpha t)^<2>+2B(x_<0>+\alpha t)(y_<0>+\beta t)+C(y_<0>+\beta t)^ <2>+\\+ 2D(x_<0>+\alpha t)+2E(y_<0>+\beta t)+F=0.\label
$$
Раскрывая скобки и приводя подобные члены, мы получим уравнение
$$
Pt^<2>+2Qt+R=0,\label
$$
в котором
$$
P=A\alpha^<2>+2B\alpha\beta+C\beta^<2>,\label
$$
$$
Q=(Ax_<0>+By_<0>+D)\alpha+(Bx_<0>+Cy_<0>+E)\beta,\label
$$
или, при другой группировке слагаемых,
$$
Q=(A\alpha+B\beta)x_<0>+(B\alpha+C\beta)y_<0>+D\alpha+E\beta.\label
$$
Свободный член — это значение многочлена при \(t=0\), то есть
$$
R=Ax_<0>^<2>+2Bx_<0>y_<0>+Cy_<0>^<2>+2Dx_<0>+2Ey_<0>+F=0.\label
$$
Вообще говоря, уравнение \eqref
$$
A\alpha^<2>+2B\alpha\beta+C\beta^<2>=0,\label
$$
и, следовательно, уравнение \eqref
В равенство \eqref
Направление, определяемое вектором, компоненты которого удовлетворяют уравнению \eqref
Тип линии.
Выясним, сколько асимптотических направлений может иметь линия второго порядка. Обозначив
$$
\delta=\begin
A& B\\
B& C
\end
$$
сформулируем следующее утверждение.
Линия второго порядка имеет два асимптотических направления, если \(\delta 0\).
Рассмотрим несколько случаев.
- Пусть \(A=C=0\). Тогда \(B \neq 0\) и \(\delta=-B^ <2>0\).
- Случай \(A \neq 0\) исследуется аналогично случаю 2, только нужно рассматривать не угловой коэффициент, а отношение \(\alpha/\beta\).
Поскольку разобранные выше случаи исчерпывают все возможности, предложение доказано.
От противного нетрудно проверить, что и обратно число асимптотических направлений определяет знак \(\delta\).
Мы определили асимптотические направления при помощи аналитического условия \eqref
Используя канонические уравнения, легко проверить, что эллипс не имеет асимптотических направлений, парабола имеет одно, а гипербола — два асимптотических направления (рис. 9.1). Поэтому линии второго порядка называются линиями гиперболического, параболического или эллиптического типа, смотря по тому, имеют они два, одно или не имеют ни одного асимптотического направления.
Для линий гиперболического типа \(\delta 0\).
Рис. 9.1. Асимптотическое направление.
Диаметр линии второго порядка.
Назовем хордой любой отрезок, концы которого лежат на линии, а остальные точки на ней не лежат. Таким образом, хорда не может иметь асимптотического направления.
Предположим, что рассматриваемая линия второго порядка имеет по крайней мере одну хорду. Этому условию удовлетворяют эллипсы, гиперболы, пары пересекающихся прямых, параболы и пары параллельных прямых.
Фиксируем какое-нибудь неасимптотическое направление и исследуем множество середин хорд, имеющих это направление. Если начальная точка \(M_<0>(x_<0>, y_<0>)\) секущей \eqref
$$
(A\alpha+B\beta)x+(B\alpha+C\beta)y+D\alpha+E\beta=0.\label
$$
Рис. 9.2. Хорды.
Прямая \eqref
Стоит обратить внимание на то, что диаметром называется вся прямая. Это не означает, что середины хорд заполняют ее целиком. Так может быть, но возможно также, что множество середин хорд есть, например, отрезок или луч.
Конечно, остается сомнение, действительно ли уравнение \eqref
$$
A\alpha+B\beta=0,\ B\alpha+C\beta=0.\nonumber
$$
Умножим первое из этих равенств на \(\alpha\), второе — на \(\beta\) и сложим. Мы получим равенство \eqref
Центр линии второго порядка.
Обозначим левую часть уравнения \eqref
По-видимому, это определение зависит от выбора системы координат, так как в нем участвует не линия, а многочлен, стоящий в левой части ее уравнения. Допустим, что координаты \(x_<0>, y_<0>\) точки \(O\) в некоторой системе координат удовлетворяют уравнению \eqref
Ниже мы докажем, что в том случае, когда линия содержит хоть одну точку, центры линии и только они являются ее центрами симметрии. Однако понятие центра несколько более общее: линии, являющиеся пустыми множествами, имеют вполне определенные центры, хотя говорить об их центрах симметрии смысла нет. Например, каждая точка прямой \(y=0\) является центром линии с уравнением \(y^<2>+1=0\).
Получим систему уравнений для координат центра. С этой целью напишем подробнее равенство \eqref
$$
A(x_<0>+\alpha)^<2>+2B(x_<0>+\alpha)(y_<0>+\beta) +\\+ C(y_<0>+\beta)^<2>+2D(x_<0>+\alpha)+2E(y_<0>+\beta)+F.\nonumber
$$
Правая часть отличается от левой только знаками у \(\alpha\) и \(\beta\). Поэтому при вычитании \(\boldsymbol<\Phi>(x_<0>-\alpha, y_<0>-\beta)\) из \(\boldsymbol<\Phi>(x_<0>+\alpha, y_<0>+\beta)\) уничтожаются все члены, кроме тех, в которые \(\alpha\) и \(\beta\) входят в первой степени, а члены с первыми степенями удвоятся. После упрощений мы получаем
$$
(Ax_<0>+By_<0>+D)\alpha+(Bx_<0>+Cy_<0>+E)\beta=0.\label
$$
Но равенство \eqref
$$
\left\<\begin
Ax_<0>+By_<0>+D=0,\\
Bx_<0>+Cy_<0>+E=0.
\end
$$
Легко видеть, что и обратно, если справедливы равенства \eqref
Исследуем, обязательно ли существуют центры у линии второго порядка, а если они существуют, то сколько их и как они расположены. Система уравнений \eqref
$$
\delta=\begin
A& B\\
B& C
\end
$$
Таким образом, условие \(\delta \neq 0\) необходимо и достаточно для того, чтобы линия второго порядка имела единственный центр.
Линии второго порядка, имеющие единственный центр, называются центральными.
Полученное условие показывает, что центральными являются линии эллиптического и гиперболического типов.
Условие \(\delta=0\) характеризует нецентральные линии. Это — линии параболического типа. При условии \(\delta=0\) система \eqref
Если линия второго порядка не является пустым множеством и имеет центр \(O(x_<0>, y_<0>)\), то он — ее центр симметрии.
В самом деле, рассмотрим произвольную точку линии \(M(x, y)\) и докажем, что симметричная ей относительно \(O\) точка \(M_<1>(x_<1>, y_<1>)\) также лежит на линии. Точка \(M_<1>\) определяется равенством \(\overrightarrow
Если линия содержит хотя бы одну точку и имеет центр симметрии \(O(x_<0>, y_<0>)\), то \(O\) является центром.
Рассмотрим пересечение линии с прямой, проходящей через \(O\), приняв эту точку за начальную точку прямой. Имеются две возможности:
- Точка \(O\) лежит на линии. Пусть прямая имеет неасимптотическое направление. Тогда \(O\) — единственная точка пересечения, так как иначе с учетом симметрии точек пересечения было бы не меньше трех. Следовательно, уравнение \eqref
имеет кратный корень \(t=0\), откуда вытекает \(Q=0\). Итак, координаты точки \(O\) удовлетворяют равенству (12) при любых \(\alpha\) и \(\beta\), соответствующих неасимптотическим направлениям. Выберем два различных неасимптотических направления \((\alpha, \beta)\) и \((\alpha’, \beta’)\) и рассмотрим равенства
$$
\begin
& (Ax_<0>+By_<0>+D)\alpha+(Bx_<0>+Cy_<0>+E)\beta=0,\\
& (Ax_<0>+By_<0>+D)\alpha’+(Bx_<0>+Cy_<0>+E)\beta’=0.
\end\nonumber
$$
как систему уравнений с коэффициентами \(\alpha\), \(\beta\), \(\alpha’\), \(\beta’\), причем \((\alpha\beta’-\alpha’\beta \neq 0)\). Мы получаем равенства \eqref, как и требовалось. - Точка \(O\) не лежит на линии. Если прямая пересекает линию в точке \(M\), которой соответствует значение параметра \(t_ <1>\neq 0\), то существует симметричная точка пересечения со значением параметра \(-t_<1>\). Тогда \(Pt_<1>^<2>+2Qt_<1>+R=0\) и \(Pt_<1>^<2>-2Qt_<1>+R=0\), откуда следует \(Q=0\).
Таким образом, если линия имеет точки пересечения с двумя различными прямыми, проходящими через \(O\), то, как и выше, мы можем получить равенства \eqref
Сопряженные направления.
Направление \((\alpha’, \beta’)\), определяемое диаметром, сопряженным направлению \((\alpha, \beta)\), называется сопряженным направлению \((\alpha, \beta)\). Компоненты \((\alpha’, \beta’)\), направляющего вектора диаметра \eqref
$$
(A\alpha+B\beta)\alpha’+(B\alpha+C\beta)\beta’=0\label
$$
или
$$
A\alpha\alpha’+B(\alpha’\beta+\alpha\beta’)+C\beta\beta’=0\label
$$
В последнее выражение пары чисел \((\alpha, \beta)\) и \((\alpha’, \beta’)\) входят симметричным образом. Поэтому имеет место следующее утверждение.
Если направление \((\alpha’, \beta’)\), сопряженное с \((\alpha, \beta)\), не является асимптотическим, то сопряженным для \((\alpha’, \beta’)\) будет направление \((\alpha, \beta)\) (рис. 9.3).
Рис. 9.3. Сопряженные направления.
Возникает вопрос, при каких условиях направление, сопряженное какому-нибудь направлению \((\alpha, \beta)\) может оказаться асимптотическим. Это легко выяснить. Из равенства \eqref
$$
A(B\alpha+C\beta)^<2>-2B(B\alpha+C\beta)(A\alpha+B\beta)+C(A\alpha+B\beta)^<2>=0.\nonumber
$$
После преобразований получаем \((AC-B^<2>) \times (A\alpha^<2>+2B\alpha\beta+C\beta^<2>)=0\). Поскольку исходное направление не асимптотическое, это произведение может обратиться в нуль только за счет первого сомножителя. Мы получаем новое утверждение.
Если линия не центральная \((\delta=0)\), то для любого направления \((\alpha, \beta)\) сопряженное направление — асимптотическое (рис. 9.4). Если линия центральная \((\delta \neq 0)\), то направление, сопряженное любому направлению, не асимптотическое.
Рис. 9.4. Сопряженные направления у параболы.
Главные направления.
Если диаметр перпендикулярен хордам, которым он сопряжен, то он является осью симметрии рассматриваемой линии.
Направление \((\alpha, \beta)\) и направление \((\alpha’, \beta’)\) сопряженного ему диаметра называются главными направлениями, если они перпендикулярны.
Если система координат декартова прямоугольная, то для главного направления компоненты \((\alpha, \beta)\) должны быть пропорциональны коэффициентам уравнения \eqref
$$
A\alpha+B\beta=\lambda\alpha,\ B\alpha+C\beta=\lambda\beta.\label
$$
Исключая \(\lambda\), мы получаем уравнение для \(\alpha\) и \(\beta\):
$$
(A-C)\alpha\beta+B(\beta^<2>-\alpha^<2>)=0.\label
$$
Если положить \(\alpha=\cos \varphi\), \(\beta=\sin \varphi\), то уравнение \eqref
Каждая линия второго порядка имеет хотя бы одну пару главных направлений.
Более подробное исследование уравнения \eqref
Касательная к линии второго порядка.
Как известно, касательной к какой-либо линии называется предельное положение секущей, когда хорда стягивается в точку. Выведем уравнение касательной к линии второго порядка, заданной уравнением \eqref
Особой точкой линии второго порядка называется ее центр, который лежит на линии.
Особыми точками являются: точка пересечения пары пересекающихся прямых, единственная точка пары мнимых пересекающихся прямых и каждая точка пары совпавших прямых. В особой точке касательная не определена. Если точка лежит на прямой, входящей в состав линии, то касательная в этой точке совпадает с прямой. Исключив эти случаи, мы фактически ограничиваемся рассмотрением касательных к эллипсам, гиперболам и параболам.
Рассмотрим точку \(M_<0>(x_<0, y_<0>>)\), лежащую на линии \(L\), и прямую с начальной точкой \(M_<0>\), заданную уравнением \eqref
Так как начальная точка принадлежит \(L\), в уравнении \eqref
$$
(Ax_<0>+By_<0>+D)\alpha+(Bx_<0>+Cy_<0>+E)\beta=0.\label
$$
Так как \(M_<0>\) не особая точка, обе скобки здесь одновременно в нуль не обращаются, и условие \eqref
$$
(Ax_<0>+By_<0>+D)(x-x_<0>)+(Bx_<0>+Cy_<0>+E)(y-y_<0>)=0.\label
$$
Это и есть уравнение касательной к линии \(L\) в точке \(M_<0>\), лежащей на линии. Уравнение \eqref
$$
(Ax_<0>+By_<0>+D)x_<0>+(Bx_<0>+Cy_<0>+E)y_<0>+Dx_<0>+Ey_<0>+F=0.\nonumber
$$
Прибавляя это равенство к \eqref
$$
Axx_<0>+B(xy_<0>+x_<0>y)+Cyy_<0>+D(x+x_<0>)+E(y+y_<0>)+F=0.\label
$$
Особые точки.
Напомним, что особая точка линии второго порядка — это ее центр, лежащий на линии. Исследуем, при каких условиях линия второго порядка имеет особую точку. Для координат \((x_<0>, y_<0>)\) особой точки должны быть справедливы равенства
$$
\begin
& Ax_<0>+By_<0>+D=0,\ Bx_<0>+Cy_<0>+E=0,\\
& Ax_<0>^<2>+2Bx_<0>y_<0>+Cy_<0>^<2>+2Dx_<0>+2Ey_<0>+F=0.
\end
$$
Умножим первое из них на \(x_<0>\), второе на \(y_<0>\) и вычтем из третьего. Мы получим эквивалентную систему уравнений
$$
\left\<\begin
Ax_<0>+By_<0>+D=0,\\
Bx_<0>+Cy_<0>+E=0,\\
Dx_<0>+Ey_<0>+F=0.
\end
$$
Выберем какой-нибудь базис в пространстве и рассмотрим вспомогательные векторы \(\boldsymbol
(A, B, D)\), \(\boldsymbol(B, C, E)\) и \(\boldsymbol
$$
x_<0>\boldsymbol
+y_<0>\boldsymbol=-\boldsymbol
$$
Отсюда следует, что при наличии особой точки векторы \(\boldsymbol
\), \(\boldsymbol\) и \(\boldsymbol
$$
\triangle=\begin
A& B& D\\
B& C& E\\
D& E& F
\end
$$
Если линия центральная, то векторы \(\boldsymbol
\) и \(\boldsymbol\) не коллинеарны, и условие компланарности \eqref
Центральная линия имеет особую точку тогда и только тогда, когда \(\triangle=0\).
Итак, сочетание \(\delta 0\), \(\triangle=0\) — пары мнимых пересекающихся прямых.
Рассмотрим нецентральные линии. Для них существует центр, хотя бы не являющийся особой точкой, тогда и только тогда, когда \(\triangle=0\). В этом (и только этом) случае векторы \(\boldsymbol
\) и \(\boldsymbol\) коллинеарны. Действительно, так как \(\delta=0\), по предложению 9 § 2 гл. II, если система уравнений \eqref
Обратно, пусть для нецентральной линии \(\triangle=0\). Докажем, что \(\boldsymbol
\) и \(\boldsymbol\) коллинеарны, что равносильно совместности уравнений центра. Действительно, в противном случае \(\boldsymbol
\) и \(\boldsymbol\) коллинеарны, и мы получаем противоречие.
Для нецентральных линий условие \(\triangle=0\) равносильно существованию центра.
Итак, сочетание \(\delta=\triangle=0\) характеризует пары параллельных прямых (вещественных, мнимых или совпавших).
Из последних двух утверждений следует, что равенство \(\triangle=0\) является инвариантным: оно не может измениться при переходе к другой системе координат.
http://matecos.ru/mat/matematika/krivye-vtorogo-poryadka.html
http://univerlib.com/analytic_geometry/second_order_lines_and_surfaces/second_order_line/