В этом случае одна из проекций прямой пересечения уже есть. На рисунке 4.29 эта проекция совпадает с проекцией 273 гиперплоскости 27. Остальные проекции строятся по точкам пересечения с прямыми а и b плоскости а(а, Ъ).
Рис. 4.28. Модель построения |
|
Рис. 4.29. Модель построения |
|||||
пересечения плоскости общего |
|
пересечения проецирующей гинер- |
|||||
иоложения а |
и проецирующей |
|
плоскости 27 и плоскости общего |
||||
|
плоскости В |
|
положения |
а |
|
||
5. Плоскость проецирующая, гиперплоскость общего положе |
|||||||
ния. |
|
|
|
|
|
|
|
В этом случае через плоскость |
а проводится проецирующая ги |
||||||
перплоскость Г(Г3) |
(рис. 4.30), аъ = |
Г3. По трем точкам пересечения |
|||||
с прямыми a, b и с строится плоскость пересечения |
Г и |
Z(a,b,c). |
|||||
Через |
плоскость |
а |
проводится |
плоскость у(у2), &г~Уг> |
У с |
Е• По |
|
точкам |
М и N |
строится прямая |
MN = аС\£. |
|
|
||
|
|
|
|
но |
|
|
|
6. Одна гиперплоскость проецирующая, вторая общего поло жения.
Построение плоскости пересечения гиперплоскостей 27(273) и А(а, /3, с) приведено на рисунке 4.31.
Рис. 4.30. Модель построения |
Рис. 4.31. Модель построения |
пересечения проецирующей |
пересечения гиперплоскостей |
плоскости и гиперплоскости |
общего положения А и |
общего положения |
проецирующей 27 |
ill
4.9.Общие случаи пересечения подпространств
пространства Е4
4.9.1. Пересечение прямой и гиперплоскости
В соответствии с теоремой о пересечении линейных подпро странств имеем для пространства Е4: 3 + 1-4 = 0, т.е. пересечением прямой и гиперплоскости является точка. Если эта точка несобствен ная, то прямая и гиперплоскость параллельны.
|
Рассмотрим |
конструктивный |
|||||
|
алгоритм |
построения |
точки |
пересе |
|||
|
чения |
прямой |
А В |
общего |
положе |
||
|
ния и гиперплоскости 27, заданной |
||||||
|
тремя прямыми с, d, е, пересе |
||||||
|
кающимися в одной точке (рис. |
||||||
|
4.32). |
|
|
|
|
|
|
|
Можно рассуждать так: в ги |
||||||
|
перплоскости |
(c\d,e) |
выбирается |
||||
|
2 плоскость А2, конкурирующая с |
||||||
|
прямой |
А В |
относительно |
какой- |
|||
|
либо плоскости проекций. Можно |
||||||
|
через прямую АВ провести проеци |
||||||
|
рующую гиперплоскость А3 относи |
||||||
|
тельно какой-либо плоскости про |
||||||
|
екций. Оба эти действия равносиль |
||||||
|
ны. На чертеже проводится плос |
||||||
|
кость Д2 или гиперплоскость А\. |
||||||
|
Пересечением А3 и 27 |
является |
|||||
|
2-плоскость (L,M,N). Теперь пря |
||||||
|
мая |
АВ |
и |
2-плоскость |
(L,M,N) |
||
Рис. 4.32. Модель пересечения |
лежат в одной гиперплоскости А" и |
||||||
|
|||||||
прямой (АВ) и гиперплоскости |
моделируются |
двумя |
проекциями |
||||
(с, d, е) общих положений |
А,В„ |
А2В2 и |
(LpA/piV,), |
(L2,M2, |
|||
|
N2). |
Дальнейшее |
решение |
задачи |
|||
совпадает с алгоритмом, описанным в п. 4.8.1. Результатом является точка Р = ABf] 27.
112
4.9.2.Пересечение плоскости и гиперплоскости
Пересечение плоскости и гиперплоскости является прямая, ножольку 2 + 3 - 4 = 1. Для ее построения необходимо дважды приме тить алгоритм построения точки пересечения прямой и гипсрплоско- :ти, а в качестве двух прямых будут любые две прямые заданной тлоскости.
Рис. 4.33. Модель построения пересечения плоскости (а,Ь) и гиперплоскости (с, d. е) общих положений
из
Пусть плоскость задана двумя пересекающимися прямыми а,Ь, а гиперплоскость - тремя c,d,e, пересекающимися в одной точке (рис.
4.33). Через прямую а проведена проецирующая гиперплоскость А\;
построена |
плоскость |
(L,M ,N)= |
A3f](c,d,e) |
и |
найдена |
точка |
|
р = ap\{c,d,e). |
Затем через |
прямую |
Ъ проведена |
проецирующая |
ги |
||
перплоскость |
Г3; построена плоскость (R,S,T)= |
r^f](c,d,e) |
и |
най |
|||
дена точка Q - ЬГ] (с, d, е). Искомая прямая PQ |
есть прямая пересече |
||||||
ния заданной гиперплоскости (c,d,e) |
и плоскости |
(а,Ь). |
|
|
|||
4.9.3.Пересечение двух плоскостей
Две плоскости общего положения пространства Е4 пересекаются в точке, поскольку 2 + 2 - 4 = 0. Для ее построения необходимо одну из заданных плоскостей заключить в гиперплоскость; построить пря мую пересечения второй плоскости и этой гиперплоскости; построить точку пересечения первой плоскости и построенной прямой.
Пусть первая плоскость задана двумя пересекающимися прямы ми а,Ь, вторая - прямыми c,d (рис. 4.34). Заключим плоскость (а.Ь) в произвольную гиперплоскость, для чего проведем через точку пере сечения прямых а и b произвольную прямую с. Для того, чтобы
найти прямую пересечения гиперплоскости (а,Ь,е) |
и 2—плоскости |
|||||
(c,d) |
выберем две |
проецирующие |
гиперплоскости |
27(27,) и Л(А-А. |
||
Тогда |
получим: |
Щ(а,Ь,е) = |
(А,В,Е), |
АГ\ (а. Ь, е) = (/7, Л/, Л'), |
||
27Г) (с, d) = (С, D), |
ЛГ| (с, d) = (U, V). |
|
|
|
||
Снова применим принцип понижения размерности пространства, |
||||||
т.е. все построения в проекциях на /7, и |
Я2 (Я, |
=ОХУ',П2 |
= OXZ) |
|||
моделируют пространственные построения в гиперплоскостях |
Е и А. |
|||||
Заметим, что выбор 27(273) и Л(Л3) произволен, они не обязательно должны быть параллельными.
Найдены точки Р = (С, D)f](А,В,Е) и R = UVC\(L,M,N). Пря мая (Р,R)есть прямая пересечения гиперплоскости (а,Ь,е) и плос кость (c.d).
Рис. 4.34. Модель построения пересечения двух плоскостей (а,Ь) и (c,d)
общих положений
Теперь используя только проекции на Пх и П2> строится точка Q = (P,R)C\(a,b), которая и есть искомая точка пересечения
Q = (a,b)r\(c,d).
4.9.4.Пересечение двух гиперплоскостей
Если даны две гиперплоскости 27 и А общего положения, то их пересечением является плоскость общего положения. Построить ее можно следующими двумя способами:
115
114
а) в одной из данных гиперплоскостей выбрать три прямые и найти их точки пересечения со второй гиперплоскостью (т.е. трижды повторить алгоритм в п. 4.9.1). Три несобственные точки зададут ис комую плоскость;
б) выбрать две проецирующие гиперплоскости и найти их пере сечение с каждой из заданных гиперплоскостей. Затем найти прямые пересечения двух плоскостей, лежащих в этих проецирующих гипер плоскостях. Результатом будут две пересекающиеся прямые, задаю щую плоскость пересечения заданных гиперплоскостей.
Первый способ приведен на рисунке 4.32, второй - на ри сунке 4.34.
4.10.Перпендикулярность линейных подпространств
пространства £ 4
Сформулируем признаки перпендикулярности двух линейных подпространств пространства Е4:
1. Прямая перпендикулярная гиперплоскости, если она перпен дикулярна прем, пересекающимся в одной точке, прямым этой гипер плоскости.
Этот же признак можно сформулировать иначе: прямая перпен дикулярна гиперплоскости, если она перпендикулярна любым двум скрещивающимся прямым этой гиперплоскости. Или: прямая перпен дикулярна гиперплоскости, если она перпендикулярна двум пересе кающимся плоскостям этой гиперплоскости
2.Плоскость перпендикулярна гиперплоскости, если она прохо дит через перпендикуляр к этой гиперплоскости.
3.Две гиперплоскости перпендикулярны, если одна из них про ходит через перпендикуляр к другой.
4.Две плоскости перпендикулярны, если каждая из двух пересе кающихся прямых одной плоскости перпендикулярна двум пересе кающимся прямым другой плоскости.
5.Две плоскости полуперпендикулярны, если одна из них про ходит через перпендикуляр к другой.
Вобщем случае, когда линейные образы (прямые, плоскости, 3- плоскости, ...) заданы в общем положении, по модели, не пользуясь никакими дополнительными построениями, невозможно определить перпендикулярны они друг другу или нет. Однако в частных случаях это возможно. Если знать частные случаи, т.е. знать признаки перпен-
днкулярности линейных образов на чертеже (на модели), можно пу тем преобразований привести их к виду, удобному для применения признаков перпендикулярности. Эти признаки являются обобщением известных признаков перпендикулярности прямых и плоскостей на модели Монжа пространства Е3. А именно:
-две прямые перпендикулярны, если одна пара их одноименных проекций перпендикулярна, а из другой пары одна из проекций па раллельна оси этих проекций;
-прямая перпендикулярна плоскости, если проекции линий уровня данной плоскости перпендикулярны одноименным проекциям данной прямой.
Обобщением этих признаков на модель пространства Е4 являют ся следующие.
1. Две прямые перпендикулярны, если одна пара их одноимен ных проекций перпендикулярна, а в двух других парах одна из проек
ций (одна и |
та же) параллельна оси этих проекций. |
|||||||
На рисунке 4.35 изображены две |
|
|||||||
перпендикулярные прямые а и А. В |
|
|||||||
силу того, что проекции /3, и Ь2 парал |
|
|||||||
лельны оси проекций и а3 |
L Ь3, |
поло |
|
|||||
жение проекций я, и а2 значения не |
|
|||||||
имеет, т.е. они могут быть любыми. |
|
|||||||
Проекцию |
а3 можно считать сле |
|
||||||
дом |
а3 |
гиперплоскости |
а. |
Тогда |
|
|||
b La |
и, |
следовательно, |
b |
перпенди |
|
|||
кулярна |
любой |
прямой |
а с: а. |
Но в |
|
|||
этом случае |
b перпендикулярна и лю |
|
||||||
бой плоскости гиперплоскости а. По |
|
|||||||
этому |
а3 |
можно считать вырожденной |
|
|||||
проекцией |
плоскости |
|
27(Г3 |
=а3), |
Рис. 4.35. Модель двух |
|||
у (~а |
и Ъ LZ |
|
|
|
|
|
перпендикулярных прямых |
|
2. Прямая перпендикулярна гиперплоскости, если проекции данной прямой перпендикулярны одноименным проекциям линий уровня данной гиперплоскости.
На рисунке 4.36 изображена прямая а, перпендикулярная гипер плоскости a(b,c,d), заданной своими прямыми уровня.
П 6
117
Естественно, что прямая а будет перпендикулярна любой плос кости Е с; a(b,c,d), например, плоскости E(b,d).
3. Две плоскости перпендикулярны, если две прямые одной плоскости перпендикулярны, соответственно, двум линиям уровня второй плоскости.
На рисунке 4.37 изображена плоскость Е(а,Ь), заданная своими линиями уровня а(ах,а2,а3) и bibx,b2,b3) и перпендикулярная ей плоскость A{c,d), с La, d Lb.
Рис. 4.36. Модель прямой, |
Рис. 4.37. Модель перпендикулярных |
перпендикулярной гиперплоскости. |
плоскостей Е(а,Ь) и A(c,d). |
ГЛАВА 5. КРИВЫЕ ЛИНИИ
Начертательная геометрия изучает модели объектов пространст ва, в частности, евклидова трехмерного Еъ, на плоскости. В предше ствующих главах были рассмотрены модели линейных объектов (элементов) евклидова пространства, а именно: точки, прямой линии, плоскости, а также задачи позиционного, аффинного и метрического характера с участием этих объектов. Кроме линейных, в пространстве существуют и нелинейные объекты, к которым относятся кривые ли нии, поверхности и множества этих объектов. Нелинейные объекты обладают рядом, специфических для каждого из них, геометрических свойств, которые отсутствуют у линейных объектов, например, нали чие кривизны. Процесс моделирования на плоскости нелинейного объекта включает последовательное выполнение следующих этапов:
1. Получение определенного значного соответствия, модели рующего поверхность, а в случае моделирования линии — получение определенных точечных подмножеств (образа и прообраза), соответ ственных в некотором соответствии.
2. Установление взаимосвязи (соответствия) геометрических свойств нелинейного объекта пространства и геометрических свойств его модели.
Целью второго этапа является достижение достаточно полного представления о том, как и во что при моделировании отображаются геометрические свойства объекта, и каким образом можно восстано вить геометрические свойства объекта по его модели. Выполнение лишь первого этапа, которым на протяжении своей истории занима лась начертательная геометрия, изучая различные аппараты проеци рующего отображения пространства на плоскость, нельзя признать в качестве полного моделирования нелинейного объекта пространства. Для выполнения второго этапа необходимы, во-первых, знания гео метрических свойств объектов, в том числе в малом (в бесконечно малой окрестности точки); во-вторых, знания геометрических свойств в малом самого отображения (при конструктивном моделировании речь идет о проецирующем отображении). В свете сказанного оче видна актуальность проблемы полного моделирования нелинейных объектов евклидова пространства. В настоящее время решение этой проблемы находится в начальной стадии и требует привлечения зна ний из областей других геометрий: проективной, аналитической, ал гебраической, исчислительной, дифференциальной и др.
118 |
119 |