Scientific journal
Modern high technologies
ISSN 1812-7320
"Перечень" ВАК
ИФ РИНЦ = 0,940

1
1
1122 KB

Как известно, Ф. Клейн в своей работе [1] уточняет: «…разделяют два рода геометрий: геометрия синтетическая…и…геометрия аналитическая... Кроме этих двух…можно еще рассматривать третий род,…являющийся обобщением двух первых».

В настоящей статье для исследований попытаемся использовать третий род геометрий.

Известно, что одна из синтетических геометрий называется начертательной геометрий, которая изучает методы отображения пространственных форм на плоскость.

При этом в процессе отображения участвуют:

– оригинал,

– аппарат отображения,

– модель (изображение),

– носитель модели.

В качестве оригинала могут выступать любые объекты пространства, простейшим из которых является точка, однозначно определяемая тремя координатами, с мерностью ver1.wmf (точка на поверхности (плоскости) имеет мерность ver2.wmf, точка на кривой (прямой) имеет мерность ver3.wmf).

В качестве аппарата отображения используются кривые (прямые) или поверхности (плоскости).

Тогда моделью (изображением) точки будет точка – при проецировании кривой (прямой) или кривой (прямой) при проецировании поверхностью (плоскостью).

Ясно, что носителем модели может быть поверхность (плоскость) или кривая (прямая).

Мы для изложения из всего выше сказанного возьмем в качестве оригинала точку, тогда у нас будут:

  • оригинал – точка,
  • аппарат отображения – связка ver5.wmf или связки прямых,
  • модель – точка или точки,
  • носитель модели – плоскость.

При этом необходимым требованием для проецирования точек пространства, имеющей мерность ver6.wmf, является условие, чтобы модель ее имела мерность ver7.wmf.

Аппаратом проецирования являются связки ver8.wmf и ver9.wmf прямых, а носитель модели плоскость ver10.wmf. Точку C пространства спроецируем из центра ver11.wmf в точку ver12.wmf на плоскость П (рис. 1), имеющей мерность ver13.wmf при чем в точку С1 проецируются все точки луча ver15.wmf. Чтобы выполнить требование проецирования, возьмем еще один центр проецирования ver16.wmf, при этом точки ver17.wmf и ver18.wmf определят в пространстве прямую m, которая пересечет плоскость ver19.wmf в точке ver20.wmf, постоянную для данного аппарата проецирования, выделяющая на плоскости ver21.wmf пучок (ver22.wmf) прямых. Точка ver23.wmf из пучка (ver24.wmf) прямых выделит прямую c, на которую спроецируем точку C из центра ver26.wmf в точку ver27.wmf с мерностью ver28.wmf.

В результате имеем на плоскости П модель точки C – пару точек ver29.wmf и ver30.wmf.

Тогда мерность модели будет равна

ver31.wmf.

Откуда видно, что мерности оригинала и модели равны.

Если в качестве оригинала будет выступать тело, то оно пучком (m) плоскостей будет расслаиваться на сечения, которые из центров ver32.wmf и ver33.wmf проецирования будут моделироваться в пучке ver34.wmf прямых на плоскости П.

Отметим, что в оригинале точки могут быть: простая (точка C), двойная (точка ver36.wmf), конкурирующие (точки A и B) (рис. 1). Ясно, что проекции точек A и B из центра проецирования ver37.wmf на носитель модели прямую ver38.wmf проецируются в конкурирующие точки ver39.wmf, а из центра ver40.wmf проецируются в пару точек ver41.wmf. Тогда двойная точка ver42.wmf моделируется из центров проецирования ver43.wmf на носителе модели ver44.wmf двойными точками ver45.wmf и ver46.wmf.

verti1.wmf

Рис. 1

Как известно [1, 2], на плоскости определяются точки, прямые, кривые второго порядка, плоские кривые третьего, четвертого и т.д. порядков.

При этом точка – это элемент плоскости и пространства никак не определенный, а взятый как данность, не имеющая мерности, т.е. нульмерная величина.

Прямая, имеющая протяженность – одномерная величина, она на плоскости определяется двумя точками.

Кривая второго порядка определяется на плоскости 5 точками.

Плоская кривая третьего порядка определяется 9 точками.

Плоская кривая четвертого порядка, определяется 14 точками и кривая n-го порядка, определяется ver48.wmf точками.

Так как две прямые на аффинной плоскости могут пересекаться или не пересекаться, если они параллельны. Значит между точками и прямыми на аффинной плоскости не существует взаимно однозначного соответствия.

Для устранения этой неопределенности условились [1, 2, 3 и др.], что параллельные прямые пересекаются в несобственной точке, находящейся на несобственной прямой, введенной на аффинной плоскости и превратившей аффинную плоскость в проективную. Так как на проективной плоскости любые прямые пересекаются, то этим устанавливается взаимно однозначное соответствие между точками и прямыми плоскости. Как отмечалось выше, прямая на аффинной плоскости определяется двумя точками, и если ее рассматривать как числовую ось, взяв на ней точку O – начало отсчета и единицу отчета – точку 1, то двигаясь от точки O вправо мы будем двигаться к точке ver49.wmf, а двигаясь от точки O влево – к точке ver50.wmf, числовой оси, где число ver51.wmf самое большое, а число ver52.wmf – самое маленькое. На проективной плоскости, рассматривая прямую как замкнутую линию точкой ver53.wmf, в которую проецируются две конкурирующие точки ver56.wmf и ver57.wmf, то точка ver55.wmf является третья несобственная точка на этой прямой. Поэтому проективную прямую можно рассматривать как окружность бесконечного радиуса, представляющую распавшуюся окружность на две пересекающиеся прямые – несобственную прямую и на проективную прямую.

В работе автором [4] доказано, что проекции точек ver56.wmf и ver57.wmf на проективной плоскости совпадают, являясь конкурирующими точками. Действительно, так как оригинал проективной прямой представляет виток винтовой линии a, где точки ver58.wmf и ver59.wmf конкурирующие, лежащие на одном проецирующем луче, то проективная прямая плоскости ver60.wmf есть замкнутая линия ver61.wmfс простыми точками, как, например, ver62.wmf и т.д., и совпавшими проекциями конкурирующих точек ver63.wmf (рис. 2).

Таким образом, введение несобственных точек в проективной геометрии на прямой позволило упростить многие предложения, например, две прямые на плоскости теперь всегда пересекаются. Поэтому можно утверждать, что при движении в любом направлении по прямой мы можем через бесконечную точку вернуться в исходную точку. Такую прямую назвали проективной прямой, а плоскость – проективной плоскостью, а пространство – проективным пространством. Используя доказанную автором теорему из [4] можно сказать, что все несобственные точки прямых проективной плоскости образуют двойную несобственную прямую плоскости. То есть несобственная прямая проективной плоскости двойная по образованию. По принципу двойственности несобственной прямой проективной плоскости многие понятия и определения становятся очевидными. Таким образом, известно, что прямая на аффинной плоскости двусторонняя и сама аффинная плоскость двусторонняя. Проективная прямая на проективной плоскости отличается от прямой аффинной плоскости наличием на ней совпавших проекций конкурирующих точек ver64.wmf и ver65.wmf. То есть она является двусторонней. Так как на проективной плоскости происходит замыкание, подобно застежки «молнии», по точкам ver66.wmf и ver67.wmf несобственной прямой, поэтому проективная плоскость односторонняя. Другими словами, оригинал проективной плоскости, представляет виток винтовой поверхности, которая двусторонняя.

verti2.wmf

Рис. 2

В этом свете рассмотрим, как себя ведут кривые второго порядка относительно несобственной прямой.

1) Эллипс, уравнение которого на плоскости в прямоугольной системе координат имеет вид

ver69.wmf (1)

где а – большая полуось, b – малая полуось эллипса, т.е. ver72.wmf

Запишем уравнение эллипса в однородных координатах

ver73.wmf

или

ver75.wmf

где ver76.wmf то ver77.wmf имеем

ver78.wmf,

которое разлагается на два уравнения прямых

ver79.wmf ver80.wmf,

представляющие собой две мнимо сопряженные прямые, пересекающие несобственную прямую в точках ver81.wmf ver82.wmf и ver83.wmfver84.wmf. То есть, точки ver85.wmf и ver86.wmf меняют свое положение на несобственной прямой в зависимости от изменения параметров ver87.wmf

2. Аналогично рассуждая для любой окружности, получим две фиксированные точки ver88.wmf, пересечения с несобственной прямой ver89.wmf, которые называются круговыми точками, прямые, проходящие через круговые точки, называются изотропными прямыми.

3. Гиперболы пересекают несобственную прямую в двух переменных действительных точках ver90.wmf, ver91.wmf Равнобочные гиперболы пересекают несобственную прямую в двух действительных неподвижных точках ver92.wmf

4. Парабола имеет с несобственной прямой одну действительную неподвижную точку ver93.wmf(рис. 3).

vert3.tiff

Рис. 3

Известно, что эксцентриситеты кривых второго порядка следующие: эллипса равен ver94.wmf; окружности равен ver95.wmf; параболы равен ver96.wmf; гиперболы равен ver97.wmf; равнобочной гиперболы равен ver98.wmf.

На числовой оси е они расположатся так, как на рис. 4.

vert4.tiff

Рис. 4

Таким образом, можно высказать предложение:

Фиксированные значения эксцентриситетов кривых второго порядка соответствуют неподвижным точкам пересечения кривых второго порядка с несобственной прямой.

Выводы

1. Модель проективной прямой представляет собой замкнутую линию. Замыкание происходит по конкурирующим точкам ver100.wmf.

2. Оригинал проективной прямой представляет разомкнутую линию в виде витка винтовой линии (см. рис. 2).

3. Модель проективной плоскости представляет собой одностороннюю поверхность. Замыкание происходит по несобственной прямой.

4. Оригинал проективной плоскости представляет собой виток винтовой двусторонней поверхности.

5. Несобственная прямая является двойной.

6. Любая точка проективной плоскости определяет пучок прямых, в каждый из которых входят две изотропные прямые, оси эллипсов, асимптоты гипербол, ось парабол.

7. Точки несобственной прямой определяют пучки параллельных прямых.

8. Кривые второго порядка ведут себя на проективной плоскости относительно несобственной прямой особенно: окружность, парабола и равнобочная гипербола пересекают ее в фиксированных точках, эллипсы и гиперболы пересекают ее в переменных точках в зависимости от значений их параметров.

9. Значения эксцентриситетов кривых второго порядка определяются типом точек пересечения кривых второго порядка с несобственной прямой.