2.(10) Изображение плоских и пространственных фигур в параллельной проекции.
Паралельное проектирование. Возьмем в евклидовом пространстве Е3 некоторую плоскость σ и какой-нибудь ненулевой вектор , не параллельный этой плоскости.
Пусть - произвольная точка пространства. Проведем через эту точку прямую, параллельную вектору , и обозначим через А0 точку, в которой эта прямая пересекает плоскость σ. Точка А0 называется проекцией точки на плоскость σ при праектировании паралельно вектору . Обычно предполагается, что плоскость σ и вектор заданы, поэтому точку А0 кратко называют параллельной проекцией точки . Если вектор перпендикулярен к плоскости σ, то точка называется ортогональной проекцией точки . Множество параллельных проекций всех точек фигуры образуют некоторую фигуру F0, которая называется параллельной проекцией фигуры . Если вектор перпендикулярен к плоскости σ, то F0 называется ортогональной проекцией фигуры .
Свойства. (Прямые и отрезки не параллельны вектору )
Проекция прямой есть прямая.
Проекции паралельных прямых параллельны и совпадают.
Проекция отрезка есть отрезок А0 B0, где А0 и B0– проекции точек и .
При параллельном проектировании сохраняется простое отношение трех точек; в частоности, проекция середины отрезка есть середина проекции отрезка.
Проекции параллельных отрезков параллельны и принадлежат одной прямой.
Проекции параллельных отрезков или отрезков, лежащих на одной прямой, пропорциональны самим отрезкам.
Пусть σ’ и σ — различные или совпадающие плоскости пространства Е3. Взаимно однозначное отображение f:σ’ σ называется аффинным отображением плоскости σ’ на плоскость σ’, если оно любые три точки М’1, M’2, М’3 плоскости σ’, лежащие на одной прямой, переводит в три точки М1, M2, М3 плоскости σ, лежащие на одной прямой, и сохраняет их простое отношение, т. е. (М’1M’2, М’3 ) = (М1M2, М3). Отображение f:σ’ σ называется подобием, если существует такое число k > 0, что для любых двух точек A’ и B’ плоскости σ’ и их образов А и В плоскости σ выполняется равенство АВ = kA’B’. Аффинное отображение f:σ’ σ будет, очевидно, аффинным преобразованием, если плоскости σ’ и σ совпадают. Таким образом, аффинные преобразования являются частным случаем аффинных отображений.
Теорема 1. Пусть R’ = (А’, В’, С’) и R = (А, В, С) — произвольные реперы соответственно плоскостей σ’ и σ. Тогда существует одно и только одно аффинное отображение плоскости σ’ на плоскость σ, которое переводит репер R’ в репер R. При этом любая точка М’ плоскости σ’ с данными координатами в репере R’ переходит в точку М плоскости σ с теми же координатами в репере R.
Фигуры F’ и F, лежащие соответственно в плоскостях σ’ и σ, называются аффинно-эквивалентными, если существует аффинное отображение f:σ’ σ которое фигуру F’ переводит в фигуру F. Если, в частности, существует подобие f, при котором F = f(F’), то фигуры F’ и F называются подобными.
Теорема 2. Два четырехугольника, лежащие соответственно в плоскостях σ’ и σ, аффинно-эквивалентны тогда и только тогда, когда их можно обозначить буквами A’B’C’D’ и ABCD так, чтобы (А’С’, Е’) = (AC, E), (B’D’, E’) = (BD, Е), где E’, Е — точки пересечения прямых A’C’, B’D’ и AC, BD
Выберем некоторую плоскость σ и назовем ее плоскостью изображений. Затем возьмем ненулевой вектор , не параллельный плоскости σ. Направление этого вектора назовем направлением проектирования. Пусть F’ — произвольная фигура, расположенная в пространстве, a F — параллельная проекция этой фигуры на плоскость σ. Фигуру F’ называют оригиналом, a F — проекцией оригинала. Любую фигуру F0 на плоскости σ, подобную фигуре F, называют изображением фигуры F’.
Построение изображений фигур с помощью параллельного проектирования основано на свойствах параллельного проектирования и аффинных отображений. Будем предполагать, что плоскости оригинала и изображения пересекаются и что направление проектирования не параллельно ни одной из этих плоскостей.
Теорема 3. Пусть фигуры F’ и F лежат соответственно на пересекающихся плоскостях σ’ и σ. Фигура F может служить изображением фигуры F’ тогда и только тогда, когда фигуры F’ и F аффинно-эквиваленты.
а) Треугольник. Нетрудно видеть, что любой треугольник ABC плоскости σ может служить изображением данного треугольника A’B’C’ плоскости σ’, если плоскости σ’ и σ пересекаются. В самом деле, по теореме 1 существует аффинное отображение f:σ’ σ, которое репер (A’,B’,C’) переводит в репер (A,B,C), поэтому треугольники A’B’C’ и ABC аффинно-эквивалентны. По теореме 3 треугольник ABC может служить изображением треугольника A’B’C’.
б) Цидиндр. Пусть данный цилиндр-оригинал F’ расположен так, что его ось О’O’1 параллельна плоскости изображения σ. Направление проектирования выбрано следующим образом; оно не параллельно плоскостям оснований цилиндра, но параллельно плоскости, проходящей через ось цилиндра перпендикулярно к плоскости σ (для наглядности).
Пусть γ’ - окружность верхнего основания цилиндра F’, а A’B’ и C’D’ – взаимно перпендикулярные диаметры этой окружности, причем А’В’║σ . Проведем контурные образующие А’А’1 и В’В’1 цилиндра F’ и рассмотрим касательные А’М’ и В’N’ к окружности γ’ в точках А’ и В’. При проектировании цилиндра F’ на плоскость σ окружность γ’ проектируется в эллипс γ с осями АВ и CD, которые являются проекциями диаметров А’В’ и C’D’. Для большей наглядности изображение проектирования выбирается так, чтобы АВ>CD. Для этого достаточно, направление проектирования выбрать таким образом, чтобы прямая, проходящая через точку О’ по этому направлению, пересекала плоскость нижнего основания цилиндра в точке К’, что О’О’1<О’1К’ ( рис3., где изображено сечение цилиндра F’ плоскостью, проходящей через ось О’О’1 перпендикулярно к плоскости σ ). Так как ▲ О’О’1К’~▲ОDP, то OD<DP или OD<D’O’=OA. Т.о. 2OD<2OA или CD<AB. В этом случае АВ – большая ось эллипса γ, а CD –малая. Отрезок CD принадлежит проекции ОО1, оси цилиндра. Так как плоскость, определяемая прямыми А’А’1 и А’М’, перпендикулярна к плоскости σ, то проекции этих прямых совпадают. Но проекция АМ касательной А’М’ является касательной к эллипсу γ. Поэтому проекция АА1 контурной образующей А’А’1 является касательной к эллипсу γ. Аналогично проекция ВВ1. Нижнее основание γ’1 цилиндра проектируется в эллипс γ1, равный эллипсу γ и полученный из него параллельным переносом на вектор . Ясно что прямые А1А и В1В являются касательными к эллипсу γ1 в точках А1 и В1.