Если A,B,C,D - четыре точки проективной плоскости, никакие три из которых не лежат на одной прямой, и A',B',C',D' - другие четыре точки этой плоскости, из которых также никакие три не лежат на одной прямой, то существует, и притом только одно, проективное преобразование, которое переводит A,B,C,D соответственно в A',B',C',D'. Пользуясь перечисленными свойствами проективных преобразований, можно решать различные геометрические задачи.
Задача 10. Доказать, что точки M',N',P',Q' на рис. 26 лежат на одной прямой.
Рис. 26
Решение. Пусть p - проективное преобразование, переводящее K' и L' в несобственные точки; мы получим (в евклидовой плоскости) расположение точек, показанное на рис. 26 справа. В этом случае точки M,N,P,Q, очевидно, лежат на одной прямой (на средней линии полосы между прямыми l1 и l2). Применяя обратное преобразование p-1 мы заключаем, что и на рис. 26 слева точки M',N',P',Q' лежат на одной прямой (поскольку при проективном преобразовании p-1 сохраняется прямолинейное расположение точек).
Все рассмотренные выше преобразования сохраняли прямолинейное расположение точек (на евклидовой или на проективной плоскости). Иначе говоря, система всех прямых линий на плоскости переводится снова в эту же систему линий. Существует интересный класс преобразований, который обладает аналогичным свойством по отношению к другой системе линий. Именно: рассмотрим на плоскости (евклидовой) систему, состоящую из всех прямых линий и всех окружностей. Преобразования, которые эту систему линий переводят снова в эту же систему, называются круговыми преобразованиями. Иначе говоря, прямая переходит при круговом преобразовании либо снова в прямую, либо в некоторую окружность (и то же справедливо для окружности). Чуть ниже мы уточним одно соглашение относительно евклидовой плоскости, которое требуется при рассмотрении круговых преобразований, но вначале рассмотрим один важный пример кругового преобразования - так называемую инверсию.
Пусть задана некоторая точка O плоскости и некоторое положительное число R. Геометрическое преобразование, которое каждую отличную от O точку A плоскости переводит в такую точку A' луча OA, что |OA|·|OA'| = R2, называется инверсией с центром O и радиусом R (рис. 27). Название «радиус» инверсии объясняется тем, что каждая точка окружности с центром O и радиусом R, очевидно, остается неподвижной при этом преобразовании (т. е. переходит в себя). Точки, лежащие внутри этой окружности (называемой окружностью инверсии), переходят в точки, лежащие вне ее, и наоборот. На этом основании инверсию часто называют симметрией относительно окружности. Инверсия является круговым преобразованием: каждая прямая или окружность переходит снова в прямую или окружность (рис. 28). Заметим теперь, что точка O (центр инверсии) не имеет образа при этом преобразовании, но если точка A приближается к O (не совпадая с ней), то соответствующая точка A' неограниченно удаляется от O. На этом основании условились считать, что на плоскости существует одна несобственная точка ∞, и при инверсии с центром O точка O переходит в ∞, а ∞ переходит в O. Плоскость, пополненная точкой ∞, называется круговой плоскостью (в отличие от проективной плоскости, которая получается присоединением не одной, а бесконечно многих несобственных точек). Теперь инверсия становится взаимно-однозначным преобразованием плоскости (круговой).
Рис. 27
Рис. 28
Помимо того что инверсия переводит систему всех прямых и окружностей снова в эту же систему, инверсия обладает еще рядом замечательных свойств, делающих ее важным инструментом при решении ряда геометрических задач. Основным из них является то, что инверсия сохраняет углы: если две линии l и m пересекаются под углом φ (т.е. угол между касательными к этим линиям в их общей точке равен φ), то образы l' и m' этих линий пересекаются под тем же углом φ. Если, в частности, окружность l ортогональна окружности инверсии, т.е. пересекает ее под прямым углом (о таких окружностях шла речь в конце статьи Лобачевского геометрия), то при инверсии эта окружность l переходит в себя (только части ее, лежащие внутри и вне окружности инверсии, меняются местами). Инверсия является важнейшим из круговых преобразований: можно доказать, что любое круговое преобразование плоскости является либо инверсией, либо подобием, либо композицией инверсии и подобия. Вместе взятые, круговые преобразования составляют группу преобразований, которая определяет на круговой плоскости своеобразную геометрию («круговую»).
Мы рассказали о наиболее важных геометрических преобразованиях плоскости. Можно рассматривать также геометрические преобразования трехмерного пространства, плоскости (или пространства) Лобачевского и других геометрических объектов. Заметим, в частности, что если f - движение трехмерного пространства R3, переводящее плоскость α ⊂ R3 в некоторую плоскость β, a p - центральное проектирование плоскости β на α из некоторой точки O (не принадлежащей плоскостям α и β), то композиция p ∘ f представляет собой проективное преобразование плоскости α (поскольку и f, и p переводят прямую снова в прямую). Оказывается, что в таком виде можно представить любое проективное преобразование плоскости α.
Знакомство с геометрическими преобразованиями и умение применять их является важным элементом математической культуры.
ГЕОМЕТРИЯ
Геометрия – одна из наиболее древних математических наук. Первые геометрические факты мы находим в вавилонских клинописных таблицах и египетских папирусах (III тысячелетие до н.э.), а также в других источниках. Название науки «геометрия» - древнегреческого происхождения. Оно составлено из двух древнегреческих слов ge - «Земля» и metreo - «измеряю».
Возникновение геометрических знаний связано с практической деятельностью людей. Это отразилось и в названиях многих геометрических фигур. Например, название фигуры трапеция происходит от греческого слова trapezion - «столик», от которого произошло также слово «трапеза» и другие родственные слова. Термин «линия» возник от латинского linum - «лен, льняная нить».
Еще в древности геометрия превратилась в дедуктивную, строго логическую науку, построенную на основе системы аксиом (см. Аксиоматика и аксиоматический метод). Она непрерывно развивалась, обогащалась новыми теоремами, идеями, методами. Интересы геометров и направления их научных исследований порою менялись в процессе исторического развития этой науки, поэтому нелегко дать точное и исчерпывающее определение, что такое геометрия сегодня, каков ее предмет, содержание и методы.
В замечательной книге «Диалектика природы» Ф. Энгельс определил геометрию как науку о пространственных формах окружающего нас реального мира, т.е. как часть математики, изучающую свойства пространства. Это философское определение полностью отражало состояние геометрии в то время, когда жил и работал Ф. Энгельс. Но в наше время возникли и оформились новые важные разделы геометрии. Каждый из этих разделов имеет свою специфику, которая уже не всегда укладывается в определение геометрии, данное в прошлом веке Ф. Энгельсом. Крупный советский геометр академик А. Д. Александров, которому принадлежат работы не только по геометрии, но и в области философии математики, расширил рамки энгельсовского определения, сказав, что геометрия изучает пространственные и пространственноподобные формы и отношения реального мира. Что это значит и какое это имеет значение для школьной геометрии, попытаемся раскрыть в этой статье.