α имеется некоторая фигура Г, то се точки соединяются с O прямыми, а из пересечений этих прямых с плоскостью β собирается фигура Γ1 на β, соответствующая Г ( Γ1 называется центральной проекцией на β из точки O фигуры Г). Такого рода преобразования фигур уже возникали раньше при построении изображений.
Рис. 1
«Основная идея этой чистой геометрии родилась из желания художников Возрождения создать «зрительную» геометрию. Как выглядят предметы в действительности и как их можно изобразить в плоскости чертежа?». С. Г. Гульд
Присмотритесь более внимательно к возникающему преобразованию. Может случиться так, что прямая, соединяющая точку O с точкой A, будет параллельна плоскости β и в результате точка A' на плоскости β не будет соответствовать никакой точке. Дезарг предлагает считать, что образом A тогда является бесконечно удаленная точка на β(образ «ушел на бесконечность»). Если провести через O плоскость, параллельную β, то в пересечении с α получится прямая l, которой в силу сказанного естественно поставить в соответствие на плоскости β бесконечно удаленную прямую. Если же, напротив, провести через точку O плоскость, параллельную α, то при пересечении с β получится прямая m, в точки которой при проектировании не будут переходить никакие конечные точки плоскости α, и принимается, что в m переходит бесконечно удаленная прямая плоскости α. Итак, по Дезаргу, одни и те же фигуры по-разному изображаются на разных плоскостях в пространстве. В частности, одна и та же прямая на одной плоскости предстанет перед нами как бесконечно удаленная, а на другой как конечная. Поэтому если мы не хотим, чтобы точки на одних картинах исчезали, а на других возникали из ничего, то мы должны рассматривать расширенную (проективную) плоскость.
Для того чтобы сделать эту точку зрения рабочей, надо выяснить, насколько же различаются изображения одних и тех же объектов. Ясно, что искажение при центральном проектировании весьма велико, но присущи ли различным изображениям хоть какие-то общие черты? Прежде всего сохраняется прямолинейность: прямые переходят в прямые, пересекающиеся прямые в пересекающиеся (параллельность частный случай!). Обратите внимание на то, сколько исключений пришлось бы оговорить уже здесь, не введи мы бесконечно удаленных элементов.
Замечательная догадка Дезарга заключалась в том, что имеются содержательные геометрические утверждения, в которых речь идет лишь о пересечениях прямых. Теорема, приведенная ниже, носит его имя. Пусть для треугольников A1B1C1 и A2B2C2 прямые (рис. 2), соединяющие вершины, A1 и A2, B1 и B2, C1 и C2 пересекаются в одной точке E. Тогда точки M, N, P пересечения соответствующих сторон ( A1B1 и A2B2, B1C1 и B2C2, A1C1 и A2C2) лежат на одной прямой. Верна и обратная теорема. Самое известное сегодня доказательство теоремы Дезарга очень красиво и связано с переходом к ее пространственному варианту. Весьма поучителен и другой способ рассуждения. Поскольку в теореме речь идет лишь о взаимном положении точек и прямых, сохраняющихся при центральном проектировании, из справедливости теоремы в одной картине следует ее справедливость в любой другой. Другими словами, можно сделать центральную проекцию так, чтобы ситуация стала особенно простой. Например, если сделать точки M,N бесконечно удаленными (соответствующие стороны будут параллельны), то получится элементарное утверждение, которое легко доказать, пользуясь подобием треугольников. Общий случай будет получаться автоматически!
Рис. 2
«Художнику необходима математика его искусства. Учение о перспективе - это и вожатый, и врата; без него ничего хорошего в живописи создать невозможно». Леонардо да Винчи
«Рисунок предмета - это сечение конуса, состоящего из прямых, проведенных из глаза художника к различным точкам изображаемого предмета». С. Г. Гульд
Следует заметить, что в проективной геометрии понятие треугольника нуждается в уточнении. Собственно говоря, надо прежде всего уточнить понятие отрезка. Проективную прямую следует себе мыслить как замыкающуюся через свою бесконечно удаленную точку, и пара точек определяет на прямой два отрезка (с точки зрения евклидовой геометрии, отрезок и его дополнение - пару лучей). Как всегда, проверка правильности определения производится при помощи центральной проекции. Ясно, что если точки A,B переходят в A',B' и какая-то точка отрезка AB уходит при проектировании на бесконечность, то AB переходит при проектировании во внешность отрезка A'B', т.е. действительно, в проективной геометрии отрезки и их внешности нельзя различать. Соответственно три точки A,B,C на проективной плоскости (не лежащие на одной прямой) определяют 4 треугольника. Впрочем, для теоремы Дезарга это несущественно, так как в ней фактически фигурируют лишь вершины и прямые, на которых лежат стороны.
Мы обсудили ситуацию с взаимным положением точек и прямых в проективной геометрии. А как обстоит дело с другими фигурами? Например, окружность при центральном проектировании, хотя и не остается окружностью, все же не искажается «бесконтрольно»: она всегда изображается коническим сечением (эллипсом, гиперболой или параболой). Проективная геометрия открыла новую эпоху в изучении конических сечений. Одну из первых теорем в этом направлении доказал Б. Паскаль (1623-1662) в возрасте 16 лет: три точки пересечения противоположных сторон шестиугольника, вписанного в коническое сечение, лежат на одной прямой (рис. 3). Заметим, что центральная проекция позволяет свести случай произвольного конического сечения к случаю окружности.
Рис. 3
О замечательных работах Ж. Дезарга и Б. Паскаля забыли на полтора века. Новая жизнь проективной геометрии началась с работ французских математиков Г. Монжа (1746-1818) и его ученика Ж. Понселе (1788-1867). Последний задумался над вопросом, почему эллипсы обычно пересекаются в четырех точках, а окружности - только в двух. Он обнаружил, что мы не замечаем двух других точек пересечения в случае окружностей, поскольку они являются не только бесконечно удаленными, но и мнимыми. Таким образом в геометрии появились комплексные числа.
Дальнейшее развитие проективной геометрии состояло в том, что геометры находили соотношения, не изменяющиеся при центральном проектировании. Очень непросто было обнаружить числовые соотношения, обладающие этим свойством, ведь расстояния изменяются существенно. Оказывается, что если взять четыре точки B,C,D,E на одной прямой (см. рисунок выше) и составить так называемое сложное, или двойное отношение четырех точек BD·DE/CD·BE, то оно не будет изменяться при центральных проектированиях и их композициях - проективных преобразованиях (см. Геометрические преобразования). Не нужно опасаться, что некоторые из приведенных здесь расстояний могут принимать бесконечные значения: если бесконечность есть в числителе, то она есть и в знаменателе, и нужно условиться формально сокращать их. Двойное отношение четырех точек A,B,C,D равно величине
,
которая называется двойным отношением четырех прямых OA, OB, OC, OD, проходящих через одну точку O (оно также сохраняется при проективных преобразованиях).
Для каждого понятия и утверждения проективной геометрии, в котором участвуют точки, прямые, а также конические сечения, можно построить двойственное утверждение, в котором роль точек будут играть прямые и наоборот, а принадлежность точек прямым сохраняется; при этом множеству точек конического сечения будет двойственно множество всех касательных к коническому сечению прямых. Например, теореме Паскаля (рис. 3) двойственна такая теорема Брианшона (рис. 4): три прямые, соединяющие вершины шестиугольника, описанного вокруг конического сечения, пересекаются в одной точке. Конфигурация Дезарга из 10 точек и 10 прямых (рис. 2) двойственна самой себе.
Рис. 4
Обобщения понятия проективной плоскости - конечные проективные плоскости, n-мерные (вещественные и комплексные) проективные пространства - в наши дни широко применяются в различных разделах математики и ее приложениях - комбинаторике, теории алгебраических кривых и поверхностей.
ПРОЕКЦИЯ
Проекцию фигуры (или тела) в пространстве можно представить себе как тень, отбрасываемую этой фигурой. За этим наглядным образом стоит несколько различных понятий: прямоугольная, или ортогональная, проекция, параллельная проекция, центральная проекция и др. Эти понятия широко используются в геометрии и других разделах математики, черчении, архитектуре и изобразительном искусстве, технике, географии, физике и астрономии. Не случайно и слово «проекция» и слово «проект» происходят от латинского слова projectio - «бросание вперед». Составляя описание будущего здания, сооружения, механизма - его проект, чертят план или общий вид - проекцию.
Определения разных видов проекций совпадают в одном: проекция фигуры - это множество проекций всех отдельных точек фигуры; при этом, конечно, разные точки могут проектироваться в одну.
В школьном курсе математики и в техническом черчении мы прежде всего встречаемся с прямоугольной проекцией. Пусть на плоскости задана прямая l. Проекцией точки M на прямую l называется основание M' перпендикуляра MM', проведенного из M к этой прямой. Например, проекцией круга на прямую в его плоскости будет всегда отрезок, равный по длине диаметру этого круга. Проекция на ось Ox точки (x,y) - это точка с координатой x; таким образом, проекцией графика функции y=f(x) на ось Ox служит область определения этой функции на ось Oy - множество ее значений (рис. 1,а). Проекция отрезка AB на ось Ox - отрезок длины