Также по теме

СФЕРИЧЕСКАЯ ГЕОМЕТРИЯ

СФЕРИЧЕСКАЯ ГЕОМЕТРИЯ – математическая дисциплина, изучающая геометрические образы (точки, линии, фигуры), находящиеся на сфере, и соотношения между ними.

По-видимому, первым обращением человечества к тому, что потом получит название сферической геометрии, была планетарная теория греческого математика Евдокса (ок. 408–355), одного из участников Академии Платона. Это была попытка объяснить движение планет вокруг Земли с помощью четырех вращающихся концентрических сфер, каждая из которых имела особую ось вращения с концами, закрепленными на охватывающей сфере, к которой, в свою очередь, были «прибиты» звезды. Таким образом объяснялись замысловатые траектории планет (в переводе с греческого «планета» – блуждающая). Именно благодаря такой модели древнегреческие ученые умели достаточно точно описывать и предсказывать движения планет. Это было необходимо, например, в мореплавании, а так же во многих других «земных» задачах, где нужно было учитывать, что Земля – не плоский блин, покоящийся на трех китах. Значительный вклад в сферическую геометрию внес Менелай из Александрии (ок. 100 н.э.). Его труд Сферика стал вершиной достижений греков в этой области. В Сферике рассматриваются сферические треугольники – предмет, которого нет у Евклида. Менелай перенес на сферу евклидову теорию плоских треугольников и в числе прочего получил условие, при котором три точки на сторонах сферического треугольника или их продолжениях лежат на одной прямой. Соответствующая теорема для плоскости в то время была уже широко известна, однако в историю геометрии она вошла именно как теорема Менелая, причем, в отличие от Птолемея (ок. 150), у которого в работах немало вычислений, трактат Менелая геометричен строго в духе евклидовой традиции.

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

Всякая плоскость, пересекающая сферу, дает в сечении окружность. Если плоскость проходит через центр сферы, то в сечении получается так называемый большой круг. Через любые две точки на сфере, кроме диаметрально противоположных, можно провести единственный большой круг. (На глобусе примером большого круга служит экватор и все меридианы.) Через диаметрально противоположные точки проходит же бесконечное количество больших кругов. Меньшая дуга AmB (рис. 1) большого круга является кратчайшей из всех линий на сфере, соединяющих заданные точки. Такая линия называется геодезической. Геодезические линии играют на сфере ту же роль, что и прямые в планиметрии. Многие положения геометрии на плоскости справедливы и на сфере, но, в отличие от плоскости, две сферические прямые пересекаются в двух диаметрально противоположных точках. Таким образом, в сферической геометрии просто не существует понятия параллельности. Еще одно отличие – сферическая прямая замкнута, т.е. двигаясь по ней в одном и том же направлении, мы вернемся в исходную точку, точка не разбивает прямую на две части. И еще один удивительный с точки зрения планиметрии факт – треугольник на сфере может иметь все три прямых угла.

      Рис. 1

Прямые, отрезки, расстояния и углы на сфере.

Прямыми на сфере считаются большие окружности. Если две точки принадлежат большой окружности, то длина меньшей из дуг, соединяющих эти точки, определяется как сферическое расстояние между этими точками, а сама дуга – как сферический отрезок. Диаметрально противоположные точки соединены бесконечным числом сферических отрезков – больших полуокружностей. Длина сферического отрезка определяется через радианную меру центрального угла a и радиус сферы R (рис. 2), по формуле длины дуги она равна R a. Любая точка С сферического отрезка АВ разбивает его на два, и сумма их сферических длин, как и в планиметрии, равна длине всего отрезка, т.е. РАОС + РСОВ = РАОВ. Для любой же точки D вне отрезка АВ имеет место «сферическое неравенство треугольника»: сумма сферических расстояний от D до А и от D до В больше АВ, т.е. РAOD + РDOB > РAOB, полное соответствие между сферической и плоской геометриями. Неравенство треугольника – одно из основополагающих в сферической геометрии, из него следует, что, как и в планиметрии, сферический отрезок короче любой сферической ломаной, а значит, и любой кривой на сфере, соединяющей его концы.

      Рис. 2

Таким же образом на сферу можно перенести и многие другие понятия планиметрии, в частности те, которые можно выразить через расстояния. Например, сферическая окружность – множество точек сферы, равноудаленных от заданной точки Р. Легко показать, что окружность лежит в плоскости, перпендикулярной диаметру сферы РР` (рис. 3), т.е. это обычная плоская окружность с центром на диаметре РР`. Но сферических центров у нее два: Р и Р`. Эти центры принято называть полюсами. Если обратиться к глобусу, то можно видеть, что идет речь именно о таких окружностях, как параллели, и сферическими центрами всех параллелей являются Северный и Южный полюса. Если диаметр r сферической окружности равен p/2, то сферическая окружность превращается в сферическую прямую. (На глобусе – экватор). В этом случае такую окружность называют полярой каждой из точек Р и P`.

      Рис. 3

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

Углы на сфере определяются следующим образом. При пересечении двух сферических прямых a и b на сфере образуются четыре сферических двуугольника, подобно тому, как две пересекающиеся прямые на плоскости разбивают ее на четыре плоских угла (рис. 4). Каждому из двуугольников соответствует двугранный угол, образованный диаметральными плоскостями, содержащими a и b. А угол между сферическими прямыми равен меньшему из углов образуемых ими двуугольников.

      Рис. 4

Отметим так же, что угол РABC, образованный на сфере двумя дугами большого круга, измеряют углом РA`BC` между касательными к соответствующим дугам в точке В (рис. 5) или двугранным углом, образованным диаметральными плоскостями, содержащими сферические отрезки АВ и ВС.

      Рис. 5

Точно так же, как и в стереометрии, каждой точке сферы сопоставляется луч, проведенный из центра сферы в эту точку, а любой фигуре на сфере – объединение всех пересекающих ее лучей. Так, сферической прямой соответствует содержащая ее диаметральная плоскость, сферическому отрезку – плоский угол, двуугольнику – двугранный угол, сферической окружности – коническая поверхность, ось которой проходит через полюсы окружности.

Многогранный угол с вершиной в центре сферы пересекает сферу по сферическому многоугольнику (рис. 6). Это область на сфере, ограниченная ломаной из сферических отрезков. Звенья ломаной – стороны сферического многоугольника. Их длины равны величинам соответствующих плоских углов многогранного угла, а величина угла при любой вершине А равна величине двугранного угла при ребре ОА.