Общее уравнение плоскости вывод исследование

Всякое уравнение вида , где A, B, C и D – некоторые действительные числа, причем А, В и C одновременно не равны нулю, определяет плоскость в заданной прямоугольной системе координат Oxyz в трехмерном пространстве, и всякая плоскость в прямоугольной системе координат Oxyz в трехмерном пространстве определяется уравнением вида при некотором наборе чисел A, B, C и D.

Теорема состоит из двух частей. В первой части нам дано уравнение и нужно доказать, что оно определяет плоскость. Во второй части, нам дана некоторая плоскость и требуется доказать, что ее можно определить уравнением при некотором выборе чисел А, В, С и D.

Начнем с доказательства первой части теоремы.

Так как числа А, В и С одновременно не равны нулю, то существует точка , координаты которой удовлетворяют уравнению , то есть, справедливо равенство . Отнимем левую и правую части полученного равенства соответственно от левой и правой частей уравнения , при этом получим уравнение вида эквивалентное исходному уравнению . Теперь, если мы докажем, что уравнение определяет плоскость, то этим будет доказано, что эквивалентное ему уравнение также определяет плоскость в заданной прямоугольной системе координат в трехмерном пространстве.

Равенство представляет собой необходимое и достаточное условие перпендикулярности векторов и . Иными словами, координаты плавающей точки удовлетворяют уравнению тогда и только тогда, когда перпендикулярны векторы и . Тогда, учитывая факт, приведенный перед теоремой, мы можем утверждать, что если справедливо равенство , то множество точек определяет плоскость, нормальным вектором которой является , причем эта плоскость проходит через точку . Другими словами, уравнение определяет в прямоугольной системе координат Oxyz в трехмерном пространстве указанную выше плоскость. Следовательно, эквивалентное уравнение определяет эту же плоскость. Первая часть теоремы доказана.

Приступим к доказательству второй части.

Пусть нам дана плоскость, проходящая через точку , нормальным вектором которой является . Докажем, что в прямоугольной системе координат Oxyz ее задает уравнение вида .

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

Дата добавления: 2015-07-20