Реферат: Элементы сферической геометрии

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

Рис.4

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

Рис.5

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

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

Рис.6

Каждому из двуугольников соответствует двугранный угол АОВ, образованный диаметральными плоскостями, содержащими a и b.

2.3. Сферический треугольник

Среди всех сферических многоугольников наибольший интерес представляет сферический треугольник. Три больших окружности, пересекаясь попарно в двух точках, образуют на сфере восемь сферических треугольников. Зная элементы (стороны и углы) одного из них, можно определить элементы всех остальных, поэтому рассматривают соотношения между элементами одного из них, того, у которого все стороны меньше половины большой окружности. Стороны треугольника измеряются плоскими углами трехгранного угла ОАВС, углы треугольника – двугранными углами того же трехгранного угла[1] (рис. 7).

рис. 7

Многие свойства сферического треугольника (а они одновременно являются и свойствами трехгранных углов) почти полностью повторяют свойства обычного треугольника. Среди них – неравенство треугольника, которое на языке трехгранных углов гласит, что любой плоский угол трёхгранного угла меньше суммы двух других. Или, например, три признака равенства треугольников. Все планиметрические следствия упомянутых теорем вместе с их доказательствами остаются справедливыми на сфере. Так, множество точек, равноудаленных от концов отрезка, будет и на сфере перпендикулярной к нему прямой, проходящей через его середину, откуда следует, что серединные перпендикуляры к сторонам сферического треугольника AВС имеют общую точку, точнее, две диаметрально противоположные общие точки Р и Р`, являющиеся полюсами его единственной описанной окружности (рис. 8). В стереометрии это означает, что около любого трёхгранного угла можно описать конус. Легко перенести на сферу и теорему о том, что биссектрисы треугольника пересекаются в центре его вписанной окружности.

рис. 8

Теоремы о пересечении высот и медиан также остаются верными, но их обычные доказательства в планиметрии используют параллельность, которой, на сфере нет, и потому проще доказать их заново, на языке стереометрии. Рис. 9 иллюстрирует доказательство сферической теоремы о медианах: плоскости, содержащие медианы сферического треугольника АВС, пересекают плоский треугольник с теми же вершинами по его обычным медианам, следовательно, все они содержат радиус сферы, проходящий через точку пересечения плоских медиан. Конец радиуса и будет общей точкой трех «сферических» медиан.

Рис. 9

Свойства сферических треугольников во многом отличаются от свойств треугольников на плоскости. Так, к известным трем случаям равенства прямолинейных треугольников добавляется еще и четвертый: два треугольника АВС и А`В`С` равны, если равны соответственно три угла А = А`, В = В`, С = С`. Таким образом, на сфере не существует подобных треугольников, более того, в сферической геометрии нет самого понятия подобия, т.к. не существует преобразований, изменяющих все расстояния в одинаковое (не равное 1) число раз. Эти особенности связаны с нарушением евклидовой аксиомы о параллельных прямых и также присущи геометрии Лобачевского. Треугольники, имеющие равные элементы и различную ориентацию, называются симметричными, таковы, например, треугольники АС`С и ВСС` (рис. 10).

рис. 10

Сумма углов всякого сферического треугольника всегда больше 180. Разность А+В +С –  =  (измеряемая в радианах) – величина положительная и называется сферическим избытком данного сферического треугольника. Площадь сферического треугольника: S = R2 где R – радиус сферы, а  – сферический избыток. Эта формула впервые была опубликована голландцем А.Жираром в 1629г. и названа его именем.

2.4. Координаты на сфере

Каждая точка на сфере определяется заданием двух чисел; эти числа (координаты) определяются следующим образом (рис. 11). Фиксируется некоторый большой круг QQ` (экватор), одна из двух точек пересечения диаметра сферы PP`, перпендикулярного к плоскости экватора, с поверхностью сферы, например Р (полюс), и один из больших полукругов PAP`, выходящих из полюса (первый меридиан). Большие полукруги, выходящие из P, называются меридианами, малые круги, параллельные экватору, такие, как LL`, – параллелями. В качестве одной из координат точки M на сфере принимается угол  = POM (высота точки), в качестве второй – угол  = AON между первым меридианом и меридианом, проходящим через точку M (долгота точки, отсчитываемая против часовой стрелки).

рис. 11