Комментарии участников:
Мда, проективная геометрия — мощная штука. Помню, когда до меня допёрло понятие несобственной точки, два дня по стенам бегал.
"При проектировании точек одной плоскости на другую не каждая точка плоскости П имеет образ на плоскости П' и не каждая точка П' имеет прообраз П. Это обстоятельство привело к необходимости дополнения евклидовой плоскости т. н. бесконечно удалёнными (несобственными) точками. Такое присоединение приводит к образованию нового геометрического объекта — проективной плоскости.
Присоединяя к прямой несобственную точку, получают проективную прямую. К непараллельным прямым присоединяются разные точки, к параллельным — одна и та же. Дополняя плоскость несобственной прямой, считают, что на ней лежат несобственные точки всех прямых плоскости. Евклидова плоскость, дополненная несобственными элементами, называется (действительной) проективной плоскостью. На ней через любые две различные точки проходит и притом только одна прямая, и любые две различные прямые имеют и притом только одну общую точку. Дополнение евклидовой плоскости до проективной приводит к тому, что проектирование становится взаимно однозначным преобразованием."
Теперь понятно? :-)
Присоединяя к прямой несобственную точку, получают проективную прямую. К непараллельным прямым присоединяются разные точки, к параллельным — одна и та же. Дополняя плоскость несобственной прямой, считают, что на ней лежат несобственные точки всех прямых плоскости. Евклидова плоскость, дополненная несобственными элементами, называется (действительной) проективной плоскостью. На ней через любые две различные точки проходит и притом только одна прямая, и любые две различные прямые имеют и притом только одну общую точку. Дополнение евклидовой плоскости до проективной приводит к тому, что проектирование становится взаимно однозначным преобразованием."
Теперь понятно? :-)
