Общее уравнение плоскости
Утверждение. Всякое уравнение первой степени вида , где , и — некоторые действительные числа, где , то есть , и одновременно не равны нулю, задает плоскость в прямоугольной системе координат , и обратно, любая плоскость в прямоугольной системе координат задается уравнением вида при некотором наборе значений , и .Утверждение состоит из двух частей.
Докажем сначала, что уравнение вида задает плоскость.
Всегда найдется точка , координаты которой удовлетворяют уравнению , то есть, . Это следует из того, что система линейных уравнений, состоящая из одного уравнения , всегда имеет решение.
Вычтем из левой и правой частей уравнения соответственно левую и правую части равенства , при этом получаем эквивалентное уравнение вида .
Уравнение представляет собой необходимое и достаточное условие перпендикулярности двух векторов и . То есть, множество всех точек определяет в прямоугольной системе координат плоскость, перпендикулярную направлению вектора .
Таким образом, уравнение задает плоскость в прямоугольной декартовой системе координат , следовательно, эквивалентное ему уравнение вида задает эту же прямую. Таким образом, первая часть утверждения доказана.
Теперь докажем обратное, что всякая плоскость в прямоугольной системе координат определяется уравнением вида .
Пусть в прямоугольной системе координат задана плоскость , проходящая через точку , причем — нормальный вектор плоскости , и пусть — произвольная точка этой плоскости. Тогда векторы и перпендикулярны, следовательно, их скалярное произведение равно нулю, то есть, . Полученное равенство можно переписать в виде . Если обозначить , то получим уравнение , которое соответствует плоскости .
Итак, доказательство утверждения завершено.