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

является уравнением прямой, проходящей через точку P . Обратно, любая прямая, проходящая через точку P определяется уравнением (3), при некотороых числах λ 1 и λ 2 .

Доказательство. Во первых покажем, что уравнение (3) является линейным уравнением (уравнением первого порядка), т.е. уравнением, при котором коэффициент при x или y не равен нулю.

Группируем коэффициенты при x и y :

Тогда, например при λ 1 ≠0 (по условию теоремы хотя бы один из чисел λ 1 и λ 2 не равен нулю), получим:

(6)

.

(7)

Полученное равенство является условием параллельности прямых, определяемых уравнениями (1) и (2), что противоречит условию теоремы (эти прямые пересекаются и не совпадают). Таким образом хотя бы один из равенств (5) не выполняется, т.е. хотя бы один коэффициент при x и y в уравнении (4) не равен нулю. Отсюда следует, что уравнение (4) является линейным уравнением (уравнением первой степени) и является уравнением некоторой прямой. По условию теоремы, эта прямая проходит через точку P (x 0 , y 0), которая является пересечением прямых (1) и (2), т.е. выполняются равенства:

т.е. уравнение (3) проходит через точку P .

Докажем вторую часть теоремы. Покажем, что любая прямая, проходящая через точку P определяется уравнением (3) при некоторых значениях λ 1 и λ 2 .

Возьмем некоторую прямую проходящую через точки P и M" (x" , y" ). Покажем, что данная прямая определяется уравнением (3) при некоторых значениях λ 1 и λ 2 , не равных одновременно нулю.

В первой части доказательства теоремы мы показали, что прямая, проходящая через точку P определяется уравнением (3). Теперь, если эта прямая проходит через еще одну точку M" (x" , y" ), то координаты этой точки должны удовлетворять уравнению (3):

Заметим, что выражения в скобках не могут быть равным нулю одновременно, т.к. это означало бы, что оба уравнения проходят через точки P и M" (x" , y" ) и, следовательно, совпадают. Пусть, например, λ 1 (A 1 x" 0 +B 1 y" 0 +C 1)≠0. Тогда задав λ 2 произвольное число, отличное от нуля, решим (9) относительно λ 1:

Подставим координаты точки M в уравннение (12):

Упростим (13):

Задав, например, λ 2 =4, получим λ 1 =−5.

Положим значения λ 1 и λ 2 в (12):

Ответ:

−6x −31y +13=0.

Пример 2. Построить уравнение пучка прямых с центром M (4,1):

Решение. Возьмем две различные точки, не совпадающие с точкой M : M 1 (2,1), M 2 (−1,3). Построим уравнение, проходящие через точки M и M 1 . Нормальный вектор n 1 этой прямой должен быть ортогональным вектору , равному разностьям координат точек M и M 1: ={2−4, 1−1}={−2,0}. Т.е. можно взять n 1 ={0,1}. Тогда уравнение прямой с нормальным вектором n 1 , проходяще через точку M имеет следующий вид:

Ответ:

Заметим, что взяв другие точки M 1 и M 2 , мы получим уравнение того же пучка прямых, но с другими двумя прямыми.

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

Несобственным пучком плоскостей называется множество все параллельных между собой плоскостей.

Теорема 1. Для того чтобы три плоскости, заданные общими уравнениями

относительно общей декартовой системы координат, принадлежали одному пучку, собственному или несобственному, необходимо и достаточно, чтобы ранг матрицы

был равен или двум, или единице.

Доказательство необходимости . Пусть три плоскости (1) принадлежат одному пучку. Требуется доказать, что

Предположим сначала, что три данные плоскости принадлежат собственному пучку. Тогда система (1) имеет бесконечное множество решений (т.к. по определению собственного пучка: три плоскости принадлежат пучку, если они проходят через одну прямую); это будет тогда и только тогда, когда, так как если, то система (1) или имеет единственное решение, или несовместна, смотря по тому будет ли определитель, составленный из коэффициентов при неизвестных, отличен от нуля или равен нулю.

Если три данные плоскости принадлежат несобственному пучку то ранг матрицы

равен 1, а значит, ранг матрицы М равен или двум или единице.

Доказательство достаточности . Дано: Требуется доказать, что три данные плоскости принадлежат одному пучку.

Если, то и. Пусть. Тогда система (1) совместна, имеет бесконечное множество решений, а среди данных плоскостей есть пересекающиеся, (т.к. если бы не было пересекающихся, то они были бы все параллельны и ранг матрицы был бы равен 1), поэтому три данные плоскости принадлежат собственному пучку.

Если; , то все плоскости коллинеарны (две из них непременно параллельны, а третья может и совпадать с одной из параллельных плоскостей).

Если, то и, и все плоскости совпадают.

Теорема 2 . Пусть в общей декартовой системе координат заданы две различные плоскости и общими уравнениями: ; .

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

относительно той же системы координат, принадлежала пучку, определяемому плоскостями и, необходимо и достаточно, чтобы левая часть уравнения плоскости была линейной комбинацией левых частей уравнений плоскостей и.

Доказательство необходимости . Дано: плоскость принадлежит пучку плоскостей, определяемому плоскостями и. Требуется доказать, что существуют числа и, такие, что будет выполнено тождество, справедливое при всех значениях х , у , z :

В самом деле, если три плоскости, и принадлежат одному пучку, то, где

Первые две строки этой матрицы линейно независимы (поскольку плоскости и различны), а так как, то третья строка есть линейная комбинация двух первых, т.е. существуют число и, такие, что

Умножая обе части первого равенства на х , обе части второго на у , обе части третьего на z и складывая почленно полученные равенства и равенство, получим доказываемое тождество.

Доказательство достаточности. Пусть тождество

справедливо при всех значениях х , у и z . Требуется доказать, что плоскость принадлежит пучку, определяемому плоскостями и.

Из данного тождества следуют соотношения,

так что третья строка матрицы М есть линейная комбинация двух первых, а потому. Ч.т.д.

Уравнение где и не равны нулю одновременно, называются уравнением пучка плоскостей, определяемого двумя различными плоскостями и, уравнения которых в общей декартовой системе координат таковы:

Как было доказано, уравнение всякой плоскости пучка, определяемого различными плоскостями и, может быть записано в виде.

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

т.е. является линейной комбинацией двух других, поэтому.

Если плоскости и пересекаются, а и не равны нулю одновременно, то все коэффициенты при х , у , z в уравнении не могут быть равны нулю, так как если бы имели место соотношения

то плоскости и были бы коллинеарны вопреки предположению.

Но если плоскости и параллельны, то существуют такие числа и, среди которых хотя бы одно не равно нулю, и такие, что в уравнении все коэффициенты при х , у и z равны нулю. Но тогда это будет несобственный пучок, и также как и в случае пучка прямых, здесь надо быть очень внимательным.

Лекции по алгебре и геометрии. Семестр 1.

Лекция 14. Уравнения пучка прямых на плоскости, пучка плоскостей и связки плоскостей.

Глава 14. Уравнения пучка прямых на плоскости, пучка плоскостей и связки плоскостей.

п.1. Уравнение пучка прямых на плоскости.

Определение. Пучком прямых на плоскости называется множество всех прямых данной плоскости, имеющих одну общую точку, которая называется центром пучка.

На рис.1 точка
– центр пучка.

Теорема. Пусть

– две прямые в координатной плоскости Оху, пересекающиеся в точке
. Тогда уравнение

где
– произвольные действительные числа одновременно не равные нулю, есть уравнение пучка прямых с центром пучка в точке
.

Доказательство.

Пусть L – призвольная прямая этого пучка с центром пучка в точке
и – ее нормальный вектор. Тогда векторное уравнение прямой L имеет вид:

, (2)

где – радиус-вектор точки
, – текущий радиус-вектор, т.е. радиус-вектор текущей точки
.

Так как прямые и
по условию теоремы пересекаются, то их нормальные векторы не коллинеарные и, следовательно, образуют базис.

Тогда вектор может быть разложен по этому базису:

,

где
– кэффициенты этого разложения одновременно не равные нулю, т.к. по определению нормальный вектор
. Подставляя в (2) получаем или

Но
и
– векторные уравнения прямых и
, т.е. ,

Подставляя в (3), получаем равенство (1).

Таким образом, мы доказали, что уравнение любой прямой из данного пучка имеет вид (1).

Обратно, докажем, что при любых
, одновременно не равных нулю, уравнение (1) есть уравнение некоторой прямой из данного пучка.

Действительно, с одной стороны, при любых
, одновременно не равных нулю, уравнение (1) есть общее уравнение прямой

С другой стороны, пусть в уравнении (1)
– произвольные действительные числа, одновременно не равные нулю, и пусть
– координаты центра пучка. Так как
и
, то координаты центра пучка удовлетворяют уравнениям прямых и
:

Тогда, подставляя координаты точки
в уравнение (1), получаем

Т.е. уравнение (1) есть уравнение прямой, проходящей через точку
, а значит прямая принадлежит данному пучку, ч.т.д.

Теорема доказана.

Замечание. Если в (1)

. Если
, то уравнение (1) есть уравнение прямой . Поэтому, если уравнение (1) рахделить на
, то получим уравнение любой прямой из данного пучка, кроме прямой
:

Пример. Написать уравнение произвольной прямой, проходящей через заданную точку
.

Решение. Искомая прямая есть прямая пучка прямых с центром пучка в точке
. Очевидно, следующие две прямые принадлежат этому пучку:

и

Или
,
. Тогда уравнение любой прямой этого пучка имеет вид

Если заменить в этом уравнении греческие буквы на латинские, получаем

– уравнение прямой, проходящей через заданную точку
. В частности, при
, получаем уравнение пучка прямых с центром пучка в начале координат:
.

Разделив уравнение (5) на
, получаем уравнение прямой с угловым коэффициентом, проходящей через заданную точку
:

, (6)

а при
, получаем уравнение прямой с угловым коэффициентом, проходящей через начало координат:

.

Другими словами, уравнение
, где
, есть уравнение пучка прямых с центром пучка в начале координат.

п.2. Уравнение связки плоскостей.

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

Теорема. Пусть , ,

– три плоскости в ПДСК Охуz, имеющие единственную общую точку
. Тогда уравнение , (7)

где
– произвольные действительные числа одновременно не равные нулю, есть уравнение связки плоскостей с центром связки в точке
.

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

Пример. Найти уравнение связки плоскостей с центром связки в точке
.

Решение. Очевидно, что следующие три плоскости пересекаются в единственной точке
:

,
,
.

Тогда уравнение

где
и одновременно не равны нулю, есть искомое уравнение.

В частности, если
, то уравнение

(9)

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

п.3. Уравнение пучка плоскостей.

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

Теорема. Пусть

– две плоскости, пересекающиеся по прямой L. Тогда уравнение

где
– произвольные действительные числа одновременно не равные нулю, есть уравнение пучка плоскостей с осью пучка L.

Доказательство аналогично доказательству теоремы об уравнении пучка прямых и предоставляется читателю.

Пример. Найти уравнение пучка плоскостей, осью которого является ось абсцисс.

Решение. Очевидно, что координатные плоскости

и
пересекаются по оси Ох.

Тогда уравнение (10) в данном случае принимает вид

. Заменив греческие буквы на латинские, получаем

, (11)

где
– произвольные действительные числа, одновременно не равные нулю. Уравнение (11) есть искомое уравнение пучка плоскостей с осью пучка Ох.

Аналогично, уравнение

, (12)

есть уравнение пучка плоскостей с осью пучка Оу, а уравнение

(13)

есть уравнение пучка плоскостей с осью пучка Оz.

п.4. Основные задачи на прямые и плоскости.

Задача 1. Найти уравнение прямой, проходящей через две заданные точки
и
.

Эта задача нами уже решена, см. лекцию 11, параграф 4, задача 1:

.

Задача 2. Найти угол между двумя прямыми

и
.

Эта задача была решена в лекции 11, параграф 4:

Искомый угол равен либо углу между их направляющими векторами

или
.

Задача 3. Найти общее уравнение плоскости, если известны координаты ее нормального вектора
и координаты точки
, лежащей на данной плоскости.

Решение. Одно решение этой задачи приведено в параграфе 2, формула (8).

Это же уравнение можно получить и по другому. Общее уравнение плоскости имеет вид

где
– координаты ее нормального вектора. Осталось найти коэффициент D. С этой целью подставим в уравнение координаты точки
: , откуда .

Подставляя в уравнение получаем:

– искомое уравнение плоскости.

Задача 4. Найти уравнение плоскости, проходящей через три заданные точки
,
и
.

Как мы видели в задаче 3, для составления общего уравнения плоскости достаточно знать координаты ее нормального вектора и координаты любой точки, лежащей на данной плоскости.

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

Искомое уравнение плоскости можно получить и в другом виде. Уравнение плоскости в векторной форме имеет вид

,

.

Задача 5. Найти угол между двумя плоскостями.

Решение. Из геометрии нам известно, что двугранный угол между двумя плоскостями измеряется линейным углом (см. рис.12).

Нетрудно видеть, что линейный угол , измеряющий двугранный угол между двумя плоскостями равен углу
между нормальными векторами этих плоскостей или равен
. Здесь используется признак равенства углов со взаимно перпендикулярными сторонами.

или
.

Таким образом, задача вычисления угла между плоскостями сводится к задаче вычисления угла между векторами.

Задача 6. Найти расстояние от заданной точки
до заданной плоскости

Решение. Выберем произвольную точку
, лежащую на данной плоскости. Заметим, что если
, то начало координат лежит на плоскости и его можно взять в качестве точки
. Если же
, то в качестве такой точки можно взять точку пересечения плоскости с одной из координатных осей. Так как плоскость не может быть параллельной всем трем координатным осям, то хотя бы одна координатная ось пересекает данную плоскость.

Пусть, например,
– точка пересечения плоскости с координатной осью Ох. Здесь
, если
.

Итак, пусть точка
тем или иным способом выбрана, тогда расстояние
от заданной точки
до заданной плоскости равно модулю проекции вектора
на нормальный вектор плоскости :

.

Так как , то эту формулу можно записать в виде

. (14)

Определение. Пусть дано произвольное общее уравнение плоскости и произвольная точка пространства
. Число

называется невязкой точки
относительно плоскости .

С помощью введенного понятия невязки, формула расстояния от точки до плоскости иожет быть записана в виде:

.

Определение. Величина

(15)

называется отклонением точки
от плоскости .

Из последнего определения следует, что расстояние от точки
до плоскости равно модулю отклонения точки
от плоскости :

Из формулы (21) видно, что отклонение и невязка имеют одинаковый знак.

Замечание. Формулы (14) – (16) можно записать в другом виде. Приведем данное уравнение плоскости к нормальному виду:

и минус, в противном случае.

Теперь, формула (14) расстояния от точки до плоскости принимает вид:

– отклонение точки
от плоскости .

Задача 7. Найти расстояние от данной точки
до данной прямой
.

Решение. Задача решается аналогично предыдущей.

. Так как
, то

.

Аналогично вводятся понятия невязки точки относительно прямой и отклонения точки от прямой.

Определение. Пусть дано произвольное общее уравнение прямой
и произвольная точка плоскости
. Число

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

Определение. Величина

называется отклонением точки
от плоскости .

Если привести уравнение прямой к нормальному виду:

,

, причем знак плюс берется в случае, когда
и минус, в противном случае, то формула расстояния от точки до прямой принимает вид:

– отклонение точки
от прямой L.

Задача 8. Найти расстояние между двумя параллельными плоскостями.

Решение. 1-й способ. Найти на одной плоскости произвольную точку и найти расстояние от нее до второй плоскости, т.е. свести эту задачу к задаче 6.

2-й способ. Приведем оба уравнения параллельных плоскостей к нормальному виду:

где
и
– нормальные векторы плоскостей и
соответственно,
,
– расстояния от начала координат до плоскостей и
соответственно.

Так как нормальные векторы и направлены от начала координат к плоскости, то возможны 2 случая:

а)
. На следующем рисунке схематически изображены две параллельнве плоскости и
и их единичные нормальные векторы, отложенные от начала координат О.

Здесь,
,
– расстояния от начала координат до соответствующих плоскостей. Так как неизвестно, какая плоскость ближе к началу координат, то расстояние между плоскостями

б)
. Так как нормальные векторы и направлены от начала координат к плоскостям и противоположны,то начало координат находится между плоскостями, см. следующий рисунок.

Здесь, как и в предыдущем случае,
,
– расстояния от начала координат до соответствующих плоскостей. Отсюда следует, что расстояние между плоскостями

Задача 9. Найти расстояние между двумя параллельными прямыми.

В этой статье мы дадим определение пучка плоскостей, получим уравнение пучка плоскостей относительно заданной прямоугольной системы координат и подробно рассмотрим решения характерных задач, связанных с понятием пучка плоскостей.

Навигация по странице.

Пучок плоскостей – определение.

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

Пусть нам задана прямая a . Возьмем точку М 1 , не лежащую на прямой a . Тогда через прямую a и точку М 1 мы можем провести плоскость, причем только одну. Обозначим ее . Теперь возьмем точку М 2 , не лежащую в плоскости . Через прямую a и точку М 2 проходит единственная плоскость . Если взять точку М 3 , не лежащую ни в плоскости , ни в плоскости , то можно построить плоскость , проходящую через прямую a и точку М 3 . Очевидно, этот процесс построения плоскостей, проходящих через заданную прямую a , можно продолжать бесконечно.

Так мы подошли к определению пучка плоскостей.

Определение.

Пучок плоскостей – это множество всех плоскостей в трехмерном пространстве, проходящих через одну данную прямую.

Прямую, которую содержат все плоскости пучка, называют центром этого пучка плоскостей. Таким образом, имеет место выражение «пучок плоскостей с центром a ».

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

Уравнение пучка плоскостей – решение задач.

Для практических целей представляет интерес не столько пучок плоскостей в его геометрическом образе сколько .

Давайте сразу ответим на логичный вопрос: «Что же такое уравнение пучка плоскостей»?

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

Возникает следующий логичный вопрос: «Какой вид имеет уравнение пучка плоскостей в прямоугольной системе координат Oxyz »?

Вид уравнения пучка плоскостей дает следующая теорема.

Теорема.

Плоскость принадлежит пучку плоскостей, который определяют две пересекающиеся плоскости и , заданные уравнениями и соответственно, тогда и только тогда, когда ее общее уравнение имеет вид , где и - произвольные действительные числа, одновременно не равные нулю (последнее условие эквивалентно неравенству ).

Доказательство.

Для доказательства достаточности нужно показать:

Перепишем уравнение в виде . Полученное уравнение является общим уравнением плоскости, если выражения и одновременно не равны нулю.

Докажем, что они действительно не обращаются в ноль одновременно методом от противного. Предположим, что . Тогда, если , то , если же , то . Полученные равенства означают, что векторы и связаны соотношениями или (при необходимости смотрите статью ), следовательно, выполняется и . Так как - нормальный вектор плоскости , - нормальный вектор плоскости , и векторы и коллинеарны, то плоскости и параллельны или совпадают (смотрите статью условие параллельности двух плоскостей). А этого быть не может, так как плоскости и задают пучок плоскостей, а, значит, пересекаются.

Итак, уравнение действительно является общим уравнением плоскости. Покажем, что плоскость, определяемая этим уравнением, проходит через линию пересечения плоскостей и .

Если это действительно так, то система уравнений вида имеет бесконечное множество решений. (Если записанная система уравнений имеет единственное решение, то плоскости, из уравнений которых составлена система, имеют единственную общую точку, следовательно, плоскость пересекает прямую, определяемую пересекающимися плоскостями и . Если записанная система уравнений не имеет решений, то не существует точки, одновременно принадлежащей всем трем плоскостям, следовательно, плоскость параллельна прямой, заданной пересекающимися плоскостями и ).

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

Достаточность доказана.

Переходим к доказательству необходимости.

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

Возьмем плоскость, которая проходит через точку и через линию пересечения плоскостей и (М 0 не лежит на линии пересечения этих плоскостей). Покажем, что всегда можно выбрать такие значения и параметров и , при которых координаты точки М 0 будут удовлетворять уравнению , то есть, будет справедливо равенство . Этим будет доказана достаточность.

Подставим в уравнение координаты точки М 0 : . Так как плоскости и одновременно не проходят через точку М 0 (в противном случае эти плоскости совпадали бы), то хотя бы одно из выражений или отлично от нуля. Если , то уравнение можно можно разрешить относительно параметра как и, придав параметру произвольное ненулевое значение , вычисляем . Если , то придав параметру произвольное ненулевое значение , вычисляем .

Теорема полностью доказана.

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

Так как в уравнении пучка плоскостей параметры и одновременно не равны нулю, то его можно записать в виде , если , и в виде , если .

Однако эти уравнения не эквивалентны уравнению пучка плоскостей вида , так как ни при каких значениях из уравнения нельзя получить уравнение плоскости вида , а из уравнения ни при каких значениях не получить уравнение плоскости вида .

Переходим к решению примеров.

Пример.

Напишите уравнение пучка плоскостей, который в прямоугольной системе координат Oxyz задают две пересекающиеся плоскости и .

Решение.

Заданное уравнение плоскости в отрезках равносильно общему уравнению плоскости вида . Теперь мы можем записать требуемое уравнение пучка плоскостей: .

Ответ:

Пример.

Принадлежит ли плоскость пучку плоскостей с центром , ?

Решение.

Если плоскость принадлежит пучку, то прямая, являющаяся центром пучка, лежит в этой плоскости. Таким образом, можно взять две различные точки прямой и проверить, лежат ли они в плоскости . Если да, то плоскость принадлежит указанному пучку плоскостей, если нет – то не принадлежит.

Параметрические уравнения прямой в пространстве позволяют легко определить координаты точек, лежащих на ней. Возьмем два значения параметра (к примеру, и ) и вычислим координаты двух точек М 1 и М 2 прямой :

Прежде всего мы скажем, что плоскость

есть линейная комбинация плоскостей

если уравнение (1) есть линейная комбинация уравнений (2) и (3), т. е. если найдутся такие и , что имеет место тождество

Из тождества (4) следует, что всякая точка ), удовлетворяющая обоим уравнениям (2) и (3), удовлетворяет и уравнению (1) - всякая точка, принадлежащая обеим плоскостям (2) и (3), принадлежит и плоскости (1). Другими словами:

Плоскость, являющаяся линейной комбинацией двух данных пересекающихся плоскостей (2) и (3), проходит через прямую пересечения этих плоскостей. Докажем, что и, обратно, всякая плоскость (1), проходящая через прямую пересечения d двух данных плоскостей (2) и (3), является лннейпой комбинацией этих плоскостей.

Без ограничения общности можем предположить, что плоскость (1) не совпадает ни с одной из плоскостей (2) и (3). Доказательство совершенно такое же, как в случае прямых (гл. V, § 5).

Плоскость, проходящая через прямую d, будет полностью определена, если мы укажем какую-нибудь ее точку (рис. 122), не лежащую на прямой d.

Возьмем же такую точку на нашей плоскости (1) и напишем уравнение с двумя неизвестными и :

Так как по предположению точка не лежит на прямой d, то хотя бы одна из скобок в левой части уравнения (5) отлична от нуля; из этого уравнения (5) однозначно определяется отношение

Пусть теперь и какие-нибудь числа, удовлетворяющие пропорции (6). Тогда выполнено и равенство (5), означающее, что точка лежит на плоскости

Но эта плоскость, будучи линейной комбинацией плоскостей (2) и (3), проходит через прямую d и содержит точку , принадлежащую плоскости (-значит, плоскость (1) совпадает с плоскостью (7) и является линейной комбинацией плоскостей (2) и (3). Утверждение доказано.

Итак, для того чтобы плоскость (1) проходила через прямую пересечения двух плоскостей (2) и (3), необходимо и достаточно, чтобы уравнение (1) было линейной комбинацией уравнений (2) и (3).

Пусть теперь плоскости (2) и (3) параллельны. Совершенно так же как и в § 5 главы V, мы убеждаемся в том, что всякая плоскость, являющаяся линейной комбинацией плоскостей (2) и (3), будет им параллельна и что, обратно, всякая плоскость, параллельная двум (параллельным между собою) плоскостям (2) и (3), является их линейной комбинацией.

Назовем совокупность всех плоскостей, проходящих через данную прямую d, собственным пучком плоскостей с осью назовем несобственным пучком плоскостей совокупность всех плоскостей, параллельных (в широком смысле слова) одной какой-нибудь плоскости. Наконец, назовем множество всех плоскостей, являющихся линейными комбинациями двух каких-нибудь плоскостей и , одномерным многообразием плоскостей, порожденным двумя своими элементами и . Мы доказали, что всякий пучок плоскостей (собственный или несобственный) является одномерным многообразием, порожденным любыми двумя своими элементами.

Обратно, всякое одномерное многообразие плоскостей (порожденное какими-нибудь двумя плоскостями и 62) есть пучок плоскостей - собственный, если плоскости и 62 пересекаются, несобственный, если они параллельны.

В главе XXIII этих «Лекций» мы построим проективное пространство, пополнив обычное пространство бесконечно удаленными (несобственными) точками таким образом, что совокупность этих бесконечно удаленных точек образует бесконечно удаленную (несобственную) плоскость;

Все прямые, лежащие в этой плоскости, также будут называться бесконечно удаленными или несобственными. Каждая «собственная» (т. е. обыкновенная) плоскость пространства пересекается с несобственной плоскостью по несобственной прямой - по единственной несобственной прямой данной собственной плоскости. При этом оказывается, что две собственные плоскости тогда и только тогда параллельны, когда они пересекаются по (своей общей) бесконечно удаленной прямой. Таким образом, в проективном пространстве различие между собственными и несобственными пучками плоскостей исчезает: несобственный пучок - это пучок плоскостей, осью которого является одна из несобственных прямых проективного пространства.