Th. 13.1 | Любая прямая на координатной плоскости может быть задана уравнением первой степени: (13.4) И, наоборот, любое уравнение первой степени определяет на плоскости прямую. | |
Доказательство. 1) Положение прямой однозначно определяется точкой которая принадлежит прямой, и вектором Будем называть этот вектор нормальным вектором прямой или нормалью. Т.к , то Выберем - текущую точку прямой | Рис. 13.1 | |
Очевидно, что тогда и только тогда, когда или В координатной форме последнее равенство имеет вид:
(13.5)
После раскрытия скобок получаем , где Таким образом, первая часть утверждения теоремы доказана.
2) Пусть – одно из решений уравнения (13.4), т.е.
(13.6)
Вычтем из уравнения (13.4) уравнение (13.6), получим Это уравнение является координатной записью условия где Но это условие определяет прямую, которая проходит через точку М перпендикулярно вектору. Таким образом, доказано и второе утверждение теоремы .