Сферическая геометрия

Сферическая геометрия — геометрия на сфере^[1]. Раздел математики, изучающий геометрические образы на сфере в трёхмерном пространстве, аналогично тому как планиметрия изучает их на двумерном пространстве плоскости^[2]^[3]^[4].

Основные понятия этих геометрий^[5]:

плоской — точка плоскости, прямая на плоскости и движение плоскости;
сферической — точка сферы, большая окружность и движение сферы.

Предмет сферической геометрии — изучение таких свойств фигур, которые не изменяются при произвольных движениях сферы^[6].

Предмет сферической геометрии — это частный случай предмета геометрии вообще^[6].

Предмет геометрии — изучение таких свойств фигур, которые не изменяются при произвольных движениях фигуры^[7].

Сферическая геометрия возникла в древности в связи с потребностями астрономии и развилась в связи с потребностями астрономии, географии и мореплавания^[8].

Основные понятия сферической геометрии

Происхождение сферической геометрии

Разные разделы геометрии имеют разное происхождение^[9]:

геометрия на плоскости существенно «земного» происхождения и, как следует из самого слова «геометрия» (от др.-греч. γεωμετρία ← γῆ «земля» + μετρέω «мерить; оценивать», буквально «землемерие»), возникла из измерения небольших участков земли, которые можно рассматривать как плоские;
сферическая геометрия, то есть геометрия на сфере, напротив, «небесного» происхождения, с этой геометрией человечество впервые столкнулось при изучении видимой небесной сферы в астрономии.

Сочинение «Сферика» Менелая приходится на ранний этап возникновения и развития сферической геометрии в древности. Результаты, описанные в этой книге, были сразу применены Клавдием Птолемеем в астрономии. В дальнейшем, с развитием естественных наук (география) и транспорта (мореплавание), сферическая геометрия стала востребована не только в астрономии, но и при изучении поверхности земного шара^[5].

В настоящее время плоская и сферическая геометрии задействованы в науке о Земле геодезии^[5]:

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

Общность сферической и плоской геометрий

Сферическая и плоская геометрия обладают многими общими чертами. Этот факт вытекает из того обстоятельства, что сфера «подвижна» таким же образом, как и плоскость, а именно^[5]:

любая точка плоскости и выходящий из неё вектор (то есть направление на плоскости) соответствующее движение плоскости отображает на любую другую точку плоскости с выходящим из неё вектором (см. рисунок справа с плоскостью и направлением);
любая точка сферы и выходящий из неё касательный вектор (то есть направление на сфере) соответствующее движение сферы отображает на любую другую точку сферы с выходящим из неё касательным вектором (см. рисунок справа со сферой и направлением).

Основные понятия этих геометрий^[5]:

плоской — точка плоскости, прямая на плоскости и движение плоскости;
сферической — точка сферы, большая окружность и движение сферы.

Окружность на сфере

Окру́жность на сфе́ре (круг на ша́ре^[10]) — сечение сферы плоскостью^[11]^[10]^[2]^[3]^[4].

Различают следующие два вида окружностей на сфере, два вида сечений сферы плоскостью^[12].

Большая окружность (большой круг), или геодезическая линия^[13], — окружность на сфере, плоскость сечения которой есть диаметральная плоскость, то есть проходит через центр сферы^[12].

Сферическое расстояние между двумя точками сферы — длина дуги большой окружности, проходящей через эти две токи и не превосходящей полуокружности^[14].

Малая окружность (малый круг^[10]) — окружность на сфере, плоскость сечения которой отлична от диаметральной плоскости, то есть не проходит через центр сферы^[15], другими словами, это окружность на сфере, отличная от большой окружности^[10].

Сферический центр большой окружности на сфере — точка пересечения сферы с осью окружности, то есть диаметром сферы, перпендикулярным к плоскости сечения^[10].

Любая большая сферическая окружность имеет два диаметрально противоположных сферических центра^[10].

Полюс большой окружности — её сферический центр, при этом сама большая окружность называется полярой полюса^[10]^[16].

Движение сферы

Движение сферы — преобразование сферы, сохраняющее расстояние между точками на сфере^[17].

Предложение 1. Движение сферы переводит диаметрально противоположные точки в диаметрально противоположные^[18].

Доказательство. При движении сферы радиуса $r$ расстояние между диаметрально противоположными точками на сфере, которое максимально и равно $2r$ , сохраняется по определению, следовательно, диаметрально противоположные точки переходят в диаметрально противоположные^[18].

Отсутствие плоской аналогии. В плоской геометрии отсутствует аналог этому свойству, поскольку на плоскости не существуют таких пары точек, для которых движение одной точки определяет движение другой^[18].

В итоге движение на плоскости и сфере принципиально отличаются, поскольку^[18]:

движение плоскости — это преобразование точек плоскости;
движение сферы — это преобразование пар диаметрально противоположных точек сферы.

Поворот сферы — поворот сферы вокруг её некоторого диаметра $CC'$ на угол $\alpha$ . При таком повороте любая окружность сферы с осью $CC'$ поворачивается вдоль самой себя на угол $\alpha$ . При этом все эти окружности поворачиваются на угол $\alpha$ в одном направлении (см. рисунок справа с поворотом сферы)^[18].

Симметрия сферы — зеркальное отражение сферы относительно некоторой её диаметральной плоскости $\Pi$ . При такой симметрии любая точка $A$ отображается в такую точку $A'$ , обладающую следующими свойствами (см. рисунок справа с симметрией сферы)^[19]:

отрезок $AA'$ перпендикулярен плоскости $\Pi$ ,
середина отрезка $AA'$ лежит на плоскости $\Pi$ .

Предложение 2. Любое движение сферы есть^[19]:

либо поворот,
либо симметрия,
либо композиция поворота и симметрии.

Поэтому в некотором смысле основные движения сферы — это поворот и симметрия^[19].

Плоская аналогия. Любое движение плоскости есть^[20]:

либо параллельный перенос,
либо вращение,
либо скользящая симметрия (симметрия относительно прямой — частный случай скользящей симметрии).

Два подхода к предмету сферической геометрии

Существуют два подхода к определению предмета сферической геометрии^[6].

Обычный подход

Предмет сферической геометрии — изучение таких свойств фигур, которые не изменяются при произвольных движениях сферы^[6].

Предмет сферической геометрии — это частный случай предмета геометрии вообще^[6].

Предмет геометрии — изучение таких свойств фигур, которые не изменяются при произвольных движениях фигуры^[7].

Равные фигуры на сфере — фигуры на сфере, совмещающиеся некоторым движением сферы. Равные фигуры имеют одинаковые геометрические свойства^[6].

Предмет сферической геометрии без симметрии

Предмет сферической геометрии без симметрии — изучение таких свойств фигур, которые не изменяются только при произвольных поворотах сферы^[6].

Художественная литература. Написан научно-фантастический роман о жизни плоских существ, которые не могут выйти за пределы сферы, на которой живут. Такой мир называется Сферландия.

Равные фигуры без симметрии на сфере — фигуры на сфере, совмещающиеся только некоторым поворотом сферы (см. на рисунке справа равные фигуры)^[6].

Симметричные фигуры на сфере — фигуры на сфере, совмещающиеся некоторым движением сферы, но которые нельзя совместить никаким поворотом сферы (см. на рисунке справа симметричные фигуры)^[6].

Плоская аналогия

Геометрия на плоскости также имет два подхода к определению своего предмета. При первом под движением плоскости понимается любое её движение (параллельный перенос, поворот, симметрия относительно прямой и их композиции). При втором подходе движение плоскости — это только «движение первого рода» (параллельный перенос, поворот и их композиция)^[21].

Эти два подхода приводят к различным геометрическим системам планиметрии. При втором подходе имеются геометрические понятия, не имеющие смысла в обычное планиметрии^[22]:

При втором подходе определение равенства фигур из первого подхода также распадается на два определения^[23].

Равные фигуры без симметрии на плоскости — фигуры. которые переходят друг в друга при «движении первого рода», то есть эти фигуры не просто «равны» в обычном понимании этого слова, но и имеют одинаковое направление обхода (по часовой стрелке или против)^[23].

Симметричные фигуры на плоскости — фигуры, которые «равны» в обычном смысле, но не равны при «движениях первого рода», то есть имеют противоположные направления обхода^[23].

Наложение равных сферических треугольников

В плоской геометрии при первом подходе равные фигуры всегда можно наложить друг на друга, пусть и за счёт выхода из плоскости в трёхмерное пространство. В сферической геометрии раница между двумя подходами к её предмету может показаться более серьёзной, поскольку никаким «механическим» перемещением в трёхмерном пространстве нельзя совместить симметричные сферические треугольники. Даже если «вынуть» симметричный треугольник из сферы и попытаться приложить его к исходному симметричному треугольнику «другой стороной», то треугольники всё равно не совместятся из-за искривлённости сферы (см. рисунок справа с симметричными красными треугольниками, выгнутыми в разные стороны)^[22].

Однако это не принципиально, потому что, если сферу поместить в четырёхмерное пространство, то тогда симметричные фигуры вполне совмещаются «механическим» перемещением, то есть при помощи «движения первого рода» в четырёхмерном пространстве^[22].

Принцип двойственности

Предложение 1. В сферической геометрии пара диаметрально противоположных точек есть геометрический объект^[24].

Доказательство. Произвольное движение сферы переводит пару диаметрально противоположных точек в пару диаметрально противоположных точек^[24].

Принцип двойственности сферической геометрии — любая теорема сферической геометрии имеет другую двойственную теорему этой геометрии, которая получается из исходной взаимной заменой слов^[25]:

«пара диаметрально противоположных точек» и «большая окружность»;
«лежит на» и «проходит через»;
«соединяются» и «пересекаются».

Доказательство. Имеют место два взаимно однозначных соответствия:

любая большая окружность и её пара полюсов;
пара диаметрально противоположных точек и их поляра,

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

Двойственные теоремы сферической геометрии — две теоремы, тексты которых получаются друг из друга заменами принципа двойственности^[26].

Пример. Приведём следующий пример двойственных теорем^[24]:

любые две большие окружности пересекаются в паре диаметрально противоположных точек,

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

Когда доказана одна из двойственных теорем, то доказательство остальной теоремы получается из доказательства первой заменой каждой большой окружности её полюсами, а каждой пары диаметрально противоположных точек — её полярой^[24].

См. также

Примечания

↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.2. Точки, большие окружности, малые окружности, с. 518.
↑ ¹ ² Битюцков В. И. Сферическая геометрия, 1985, стб. 290.
↑ ¹ ² Сферическая геометрия, 1976, с. 116.
↑ ¹ ² Битюцков В. И. Сферическая геометрия, 1988.
↑ ¹ ² ³ ⁴ ⁵ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.1. Происхождение сферической геометрии, с. 519.
↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.4. Предмет сферической геометрии, с. 524.
↑ ¹ ² Яглом И. М., Атанасян Л. С. Геометрические преобразования, 1963, 6.1. Предмет геометрии, с. 99.
↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.1. Происхождение сферической геометрии, с. 518—519.
↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.1. Происхождение сферической геометрии, с. 518.
↑ ¹ ² ³ ⁴ ⁵ ⁶ ⁷ Степанов Н. Н. Сферическая тригонометрия, 1948, § 1. Круги на шаре, с. 7.
↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.2. Точки, большие окружности, малые окружности, с. 519.
↑ ¹ ² Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.2. Точки, большие окружности, малые окружности, с. 520.
↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 2.4. Большая окружность как кратчайшая, с. 536; 3.2. Геодезическая кривизна малой окружности, с. 541.
↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 2.3. Равенство сферических треугольников, с. 536.
↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.2. Точки, большие окружности, малые окружности, с. 520; 3.1. Окружности и углы на сфере, с. 539.
↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.2. Точки, большие окружности, малые окружности, с. 521—522.
↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.3. Движение сферы, с. 522—523.
↑ ¹ ² ³ ⁴ ⁵ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.3. Движение сферы, с. 523.
↑ ¹ ² ³ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.3. Движение сферы, с. 524.
↑ Яглом И. М., Атанасян Л. С. Геометрические преобразования, 1963, 4.3. Произведения движений; классификация движений, с. 89.
↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.4. Предмет сферической геометрии, с. 524—525.
↑ ¹ ² ³ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.4. Предмет сферической геометрии, с. 526.
↑ ¹ ² ³ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.4. Предмет сферической геометрии, с. 525.
↑ ¹ ² ³ ⁴ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.5. Принцип двойственности, с. 526.
↑ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.5. Принцип двойственности, с. 526—527.
↑ ¹ ² Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.5. Принцип двойственности, с. 527.

Источники

Битюцков В. И. Сферическая геометрия // Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 5 Слу—Я. М.: «Советская Энциклопедия», 1985. 1248 стб., ил. Стб. 290—291.
Битюцков В. И. Сферическая геометрия // Математический энциклопедический словарь / Гл. ред. Ю. В. Прохоров; Ред. Кол.: С. И. Адян, Н. С. Бахвалов, В. И. Битюцков, А. П. Ершов, Л. Д. Кудрявцев, А. Л. Онищик, А. П. Юшкевич. М.: «Советская энциклопедия», 1988. 847 с., ил. С. 571.
Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии // Энциклопедия элементарной математики, книга четвёртая — геометрия / Гл. ред. П. С. Александров, А. И. Маркушевич, А. Я. Хинчин. Ред. книги 4: В. Г. Болтянский, И. М. Яглом. М.: Физматгиз, 1963. 568 с., ил. С. 518—557.
Степанов Н. Н. Сферическая тригонометрия. 2-е изд. М.—Л.: ОГИЗ. Государственное издательство технико-теоретической литературы, 1948. 154 с., ил.
Сферическая геометрия // Большая советская энциклопедия. (В 30 томах) Гл. ред. А. М. Прохоров. Изд. 3-е. М.: «Советская энциклопедия», 1976. Т. 25. Струнино — Тихорецк. 1976. 600 с. с илл., 27 л. илл., 3 л. карт. С. 116—117.
Яглом И. М., Атанасян Л. С. Геометрические преобразования // Энциклопедия элементарной математики, книга четвёртая — геометрия / Гл. ред. П. С. Александров, А. И. Маркушевич, А. Я. Хинчин. Ред. книги 4: В. Г. Болтянский, И. М. Яглом. М.: Физматгиз, 1963. 568 с., ил. С. 49—158.

Литература

Алексеевский Д. В., Винберг Э. Б., Солодовников А. С. Геометрия пространств постоянной кривизны. // Итоги науки и техники. Современные проблемы математики. Фундаментальные направления. — М.: ВИНИТИ, 1988. — Т. 29. — С. 1—146.
Берже М. Геометрия. / Пер. с франц., в 2 т. — М.: Мир, 1984. — Т. II, ч. V: Внутренняя геометрия сферы, гиперболическая геометрия, пространство сфер.
Степанов Н. Н. Сферическая тригонометрия. — Л.-М., 1948.
Шафаревич И. Р., Ремизов А. О. Линейная алгебра и геометрия. — М.: Физматлит, 2009.
Александров А. Д., Нецветаев Н. Ю. Геометрия. — М.: Наука, 1990.
Александров П. С. Что такое неэвклидова геометрия. — М.: УРСС, 2007.

[_74c9fa756cfdf98d-1] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.2. Точки, большие окружности, малые окружности, с. 518.

[_4098b0961e0b821b-2] ¹ ² Битюцков В. И. Сферическая геометрия, 1985, стб. 290.

[_9f162a7872eb9e48-3] ¹ ² Сферическая геометрия, 1976, с. 116.

[_88f7ea31adfb947b-4] ¹ ² Битюцков В. И. Сферическая геометрия, 1988.

[_2572b4da4139b9c5-5] ¹ ² ³ ⁴ ⁵ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.1. Происхождение сферической геометрии, с. 519.

[_c76943d4b6de46d2-6] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ ⁸ ⁹ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.4. Предмет сферической геометрии, с. 524.

[_fd4ff26e6d40028f-7] ¹ ² Яглом И. М., Атанасян Л. С. Геометрические преобразования, 1963, 6.1. Предмет геометрии, с. 99.

[_e36fb47bd64e09f9-8] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.1. Происхождение сферической геометрии, с. 518—519.

[_1b22d1da3ae9ff5e-9] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.1. Происхождение сферической геометрии, с. 518.

[_6faee2702c799955-10] ¹ ² ³ ⁴ ⁵ ⁶ ⁷ Степанов Н. Н. Сферическая тригонометрия, 1948, § 1. Круги на шаре, с. 7.

[_69a1977565f728c6-11] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.2. Точки, большие окружности, малые окружности, с. 519.

[_ebfcc65d2bc4f156-12] ¹ ² Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.2. Точки, большие окружности, малые окружности, с. 520.

[_125e110a8a869884-13] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 2.4. Большая окружность как кратчайшая, с. 536; 3.2. Геодезическая кривизна малой окружности, с. 541.

[_0fc446ed48f0769c-14] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 2.3. Равенство сферических треугольников, с. 536.

[_0e0268d115c6bff0-15] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.2. Точки, большие окружности, малые окружности, с. 520; 3.1. Окружности и углы на сфере, с. 539.

[_93b5f668dd1638ec-16] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.2. Точки, большие окружности, малые окружности, с. 521—522.

[_fd827417b4e478ee-17] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.3. Движение сферы, с. 522—523.

[_561c0c281ddc650b-18] ¹ ² ³ ⁴ ⁵ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.3. Движение сферы, с. 523.

[_1f6d2f280093a926-19] ¹ ² ³ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.3. Движение сферы, с. 524.

[_2ebe6e529b09eba8-20] Яглом И. М., Атанасян Л. С. Геометрические преобразования, 1963, 4.3. Произведения движений; классификация движений, с. 89.

[_7985f849b8c7974a-21] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.4. Предмет сферической геометрии, с. 524—525.

[_dcee21d4c43eaaac-22] ¹ ² ³ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.4. Предмет сферической геометрии, с. 526.

[_d1b726d4bd2a9959-23] ¹ ² ³ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.4. Предмет сферической геометрии, с. 525.

[_7ab222aef3cfd6d3-24] ¹ ² ³ ⁴ Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.5. Принцип двойственности, с. 526.

[_f9c1883e385976f1-25] Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.5. Принцип двойственности, с. 526—527.

[_70490faeed6c69ec-26] ¹ ² Розенфельд Б. А. Основные понятия сферической геометрии и тригонометрии, 1963, 1.5. Принцип двойственности, с. 527.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

Ссылки на внешние ресурсы
Тематические сайты	MathWorld
Словари и энциклопедии	Большая датская Большая российская (научно-образовательный портал) Кругосвет Britannica (онлайн)
В библиографических каталогах	GND: 4182228-6 NDL: 01212460

Сферическая геометрия

Содержание