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

ЛИЧНЫЙ КАБИНЕТ 

 

Здравствуйте гость!

 

Логин:

Пароль:

 

Запомнить

 

 

Забыли пароль? Регистрация

Повышение уникальности

Предлагаем нашим посетителям воспользоваться бесплатным программным обеспечением «StudentHelp», которое позволит вам всего за несколько минут, выполнить повышение уникальности любого файла в формате MS Word. После такого повышения уникальности, ваша работа легко пройдете проверку в системах антиплагиат вуз, antiplagiat.ru, etxt.ru или advego.ru. Программа «StudentHelp» работает по уникальной технологии и при повышении уникальности не вставляет в текст скрытых символов, и даже если препод скопирует текст в блокнот – не увидит ни каких отличий от текста в Word файле.

Результат поиска


Наименование:


Диплом Происхождение и основные понятия сферической геометрии. Принципы и особенности дистанционного обучения. Процесс дистанционного обучения. Основные модели дистанционного обучения. Роль преподавателя. Дистанционный курс по Сферической геометрии.

Информация:

Тип работы: Диплом. Предмет: Математика. Добавлен: 26.09.2014. Сдан: 2007. Уникальность по antiplagiat.ru: --.

Описание (план):


62
Федеральное агентство по образованию
государственное образовательное учреждение
высшего профессионального образования
«ПОМОРСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
им. М.В. Ломоносова»
Математический факультет
Кафедра математического анализа и геометрии
Квалификационная работа
Применение информационных технологий
при изучении сферической геометрии.
Выполнила студентка:
Катышева Н.Г.
Научный руководитель:
Старший преподаватель
Токаревская С.А.
Архангельск
2005

Оглавление

    Введение 3
    Глава 1. Сферическая геометрия 4
      §1 Происхождение сферической геометрии 4
      §2 Основные понятия сферической геометрии. 8
        2.1. Сфера, большая и малая окружности. 8
        2.2. Расстояние между точками. 11
        2.3. Полюс и поляра. 12
        2.4. Угол на сфере. 12
        2.5. Понятие движение 16
        2.6. Предмет сферической геометрии. 17
        2.7. Принцип двойственности. 18
      §3 Сферические треугольники 20
        3.1. Треугольники и двуугольники на сфере. 20
        3.2. Полярные треугольники. 21
        3.3. Равенство сферических треугольников. 24
        3.4. Равнобедренные сферические треугольники. 25
        3.5. Большая окружность как кратчайшая 26
        3.6. Площадь сферического треугольника. 31
      §4 Сферические многоугольники 34
        4.1. Понятие сферического многоугольника и его свойства. 34
        4.2. Площадь сферического многоугольника. 37
      §5 Малые окружности 37
      §6 Геометрические места точек на сфере 40
      §7 Тригонометрия 43
        7.1. Сферическая теорема косинусов 43
        7.2. Сферическая теорема синусов 46
        7.3. Формулы пяти элементов 48
        7.4. Двойственная теорема косинусов. 49
        7.5. Формулы котангенсов. 51
        7.6. Случай прямоугольного сферического треугольника. 52
        7.7. Решение сферических треугольников. 54
    Глава 2. Дистанционное обучение 58
      §1 Понятие и определение дистанционного обучения 58
      §2 Принципы и особенности дистанционного обучения 60
      §3 Процесс дистанционного обучения 64
      §4 Основные модели дистанционного обучения. 65
      §5 Роль преподавателя 67
      §6 Контроль 69
      §7 Дистанционный курс по «Сферической геометрии» 74
    Приложение 75
    Заключение 95
    Литература 96

Введение

Тема моей квалификационной работы «Применение информационных технологий при изучении сферической геометрии». Так как на смену XX веку, именовавшемуся индустриальным, пришел XXI, со своим названием - информационный; на мой взгляд, возрастает необходимость в расширении доступа к образованию. Нужно учитывать, насколько существующие системы образования способны отвечать потребностям современного общества, а также рассматривать альтернативы, предоставляемые для обучения новыми технологиями. В настоящее время создаются электронные учебники и дистанционные курсы к некоторым учебным дисциплинам. Именно в связи с этим мною была выбрана такая тема. А так как в основном курсе геометрии ВУЗа практически не уделяется внимания геометрии на сфере, работа над дистанционным курсом сочетается с изучением новой для меня темы.

Данная работа содержит две главы и приложение. Первая глава раскрывает ключевые исторические аспекты возникновения и развития, основные понятия и теоремы сферической геометрии; вторая посвящена дистанционному обучению. Она включает в себя обзор основных подходов к определению понятия «дистанционного обучения», а также принципы и особенности построения дистанционных курсов, их достоинства, недостатки и основные модели. Завершает главу описание дистанционного курса по сферической геометрии, который является результатом моей работы и, наряду с задачами, входит в приложение.

Основные цели, которые поставлены данной работой, могут быть сформулированы следующим образом:

1. Изучить тему «Сферическая геометрия».

2. Составить задачник к курсу «Сферическая геометрия».

3. Создание дистанционного курса по изучению темы «Сферическая геометрия».

Глава 1. Сферическая геометрия

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

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

Наблюдение небесных светил производилось ещё в Древнем Египте и Вавилоне, прежде всего с целью установления календаря. Мы обязаны египтянам разделением суток на 24 часа. Вклад вавилонян в развитии астрономии был более значителен: наблюдения затмений и звёзд первых веков «эры Набонасара», начавшейся в VIII в. до н. э. Древние греки познакомились с вавилонской астрономией по крайней мере в IV в. до н. э., когда первоначальные названия планет были заменены названиями планет по вавилонскому образцу, латинскими переводами которых являются общепринятые нами названия. Астрономия, изложенная в «Альмагесте» Птолемея, была результатом продолжавшегося несколько веков развития науки, впитавшей традиции как вавилонских астрономов, так и греческих геометров.

Сферика Автолика. Первым античным математическим сочинением, сохранившимся до наших дней, является книга «О движущейся сфере» Автолика, жившего в конце IV в. до н. э. Предметом исследования этой книги является небесная сфера, рассматриваемая, однако, в весьма абстрактном виде. Книга Автолика состоит из 12 предложений. Определения относятся к равномерному движению. В предложении 1 доказывается, что если сфера равномерно движется вокруг оси, то все её точки, не лежащие на оси, описывают параллельные круги, имеющие те же полюсы, что и сфера, а плоскости этих кругов перпендикулярны оси сферы. Под кругами здесь понимаются плоские фигуры, ограниченные окружностями, а под выражением «точка описывает круг» понимается то, что точка пробегает окружность круга.

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

Сферика Феодосия. Первое дошедшее до нас систематическое изложение сферической геометрии содержится в «Сферике» Феодосия, жившего во II-I вв. до н. э. «Сферика» Феодосия состоит из трёх книг, в первой из которых шесть определений и 23 предложения, во второй - одно определение и 23 предложения, в третьей - 14 предложений.

Определение 1 Феодосия: «Сфера есть телесная фигура, содержащая внутри одной поверхности, такая, что все прямые, падающие на неё из одной точки внутри фигуры, равны между собой».

Большинство предложений «Сферики» Феодосия - стереометрические теоремы и задачи на построение. Когда Феодосий говорит о пересечении кругов на сфере под некоторым углом или о параллельности этих кругов, он имеет в виду пересечение под данным углом или параллельность их плоскостей; когда он говорит о рассечении кругами на сфере друг друга пополам, он имеет в виду рассечение пополам плоских фигур.

Наряду со стереометрическими предложениями, сформулированные в терминах геометрии на поверхности сферы. Например, предложения 20-21 из I книги - задача о построении большого круга на сфере, проходящего через две точки ее поверхности, и задача о построении полюса данного круга на сфере.

Сферика Менелая. Значительно более развитую сферическую геометрию можно найти в трактате «О сфере» Менелая, жившего в конце I в. н. э. Сочинение Менелая сохранилось только в арабском переводе в нескольких обработках, лучшими из которых являются обработки Абу Насра ибн Ирака и Насир ад-Дина ат-Туси. «Сферика Менелая состоит из трёх книг, содержащих соответственно 39, 21 и 25 предложений. Во введении к книге I Менелай даёт определение сферического треугольника («трёхсторонней фигуры»), т.е. части поверхности, ограниченной тремя дугами больших кругов, меньшими полукругами, и углов сферического треугольника. Если большинство предложений «Сферики» Феодосия были стереометрическими, сочинение Менелая посвящено геометрии на поверхности сферы, трактуемой по аналогии с планиметрией Евклида. Например, предложение 1 книги I - задача о проведении дуги большого круга под данным углом к данной дуге большого круга; предложения 2 и 3 книги I - теорема о равенстве углов при основании равнобедренного сферического треугольника и обратная ей. Из предложений не совпадающих с предложениями планиметрии, отметим предложения 10 и 11, из которых вытекает, что сумма углов сферического треугольника больше двух прямых углов.

«Предложение десятое. Если две стороны трёхсторонней фигуры вместе меньше полукруга, то внешний угол, примыкающий к одной из этих сторон, больше того противолежащего ему внутреннего угла, который является одним из двух углов, прилежащих к оставшейся стороне; если две стороны вместе больше полукруга, то внешний угол меньше противолежащего ему внутреннего угла; а если две стороны вместе равны полукругу, то внешний угол равен противоположному ему внутреннему».

«Предложение одиннадцатое. Внешний угол всякой трёхсторонней фигуры меньше обоих противолежащих ему внутренних углов.

Теоремы Менелая: Особую роль в истории сферической геометрии и тригонометрии сыграло предложение 1 книги III сочинения Менелая, в которой доказывается как плоский, так и сферический случай теоремы, называемой в настоящее время «теоремой Менелая» или «теоремой о полном четырёхстороннике». Полным четырёхсторонником называется плоский или сферический четырёхугольник, пары противоположных сторон которого продолжены до пересечения.

Сферическая теорема Менелая изложена у Птолемея следующим образом: «Опишем на поверхности сферы дуги больших кругов так, чтобы проведённые к двум начерченным дугам АВ и АС две другие дуги ВЕ и СD пересекались в точке G; пусть каждая из этих дуг меньше полуокружности; то же будем предполагать и для всех таких построений. Я утверждаю, что отношение прямой под удвоенной дугой СЕ к прямой под удвоенной ЕА составлено из отношения прямой под удвоенной CG к прямой под удвоенной GD и отношения прямой под удвоенной DB к прямой под удвоенной ВА.»

Площадь сферического треугольника и многоугольника у Жирара. Выражение площади сферического треугольника и многоугольника через их угловые избытки впервые появилось в печати в статье «О мере поверхности сферических треугольников и многоугольников, открытой вновь», опубликованной в виде приложения к «Новому открытию в алгебре» фламандского математика Альбера Жирара.(1595-1632).

Основные теоремы сферической тригонометрии были открыты учеными средневекового Востока. Соотношения, выражаемые теоре-мой косинусов, были установлены сирийским математиком и астрономом IX века ал-Баттани, выходцем из семьи звездопоклонников - сабиев, у которых в течение многих веков сохранялись вавилонские астрономические традиции. Сферическая теорема сину-сов была открыта почти одновременно среднеазиатскими математи-ками и астрономами X века Ибн Ираком из Хорезма, Абу-л-Вафой из Хорасана и ал-Ходжанди из Ходжента. Соотношения, выражаемые двойственной теоремой косинусов, были установлены (с помощью полярного треугольника) в XIII веке работавшим в Азербайджане Насир-ад-дином ат - Туси, давшим первое полное изложение всей системы сферической тригонометрии.

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

2.1. Сфера, большая и малая окружности.

Сферой называется геометрическое место точек пространства, расположенных на данном расстоянии от данной точки, называемой её центром.

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

Пусть S-некоторая сфера с центром O радиуса R. Возьмём плоскость , удалённую от точки O на расстояние, меньшее R. Тогда пересечения плоскости и сферы S есть окружность. Радиус r этой окружности является катетом прямоугольного треугольника (рис.1), гипотенуза которого - радиус R, а второй катет - перпендикуляр h, опущенный из центра сферы на плоскость. Поэтому в силу теоремы Пифагора r =

Рис 1

Эта формула показывает, что величина r принимает максимальное значение r=R при h=0, то есть является диаметральной плоскостью. В этом случае окружность на сфере и называется большой окружностью. В геометрии на сфере большие окружности играют роль прямых на плоскости. При h>0 мы имеем r<R, окружность на сфере называется в этом случае малой окружностью.

Так как через всякие три точки пространства, не лежащие на одной прямой, проходит единственная плоскость, то через всякие две точки сферы, не являющиеся диаметрально противоположными проходит единственная диаметральная плоскость. Поэтому через всякие две точки сферы, не являющиеся диаметрально противоположными, проходит единственная большая окружность (рис.2). Этот факт вполне аналогичен тому, что на плоскости через всякие две точки проходит единственная прямая. Через две диаметрально противоположные точки сферы, напротив, можно провести бесконечное множество больших окружностей (рис.3). Так как всякие две диаметральные плоскости сферы пересекаются по её диаметру, то всякие две большие окружности пересекаются в двух диаметрально противоположных точках сферы (рис.4). Здесь мы наблюдаем отличие сферической геометрии от плоской геометрии, в которой две прямые пересекаются не более чем в одной точке.

Рис 2 Рис 3

Так как плоскость делит пространство на две области, то большая окружность делит сферу на две области (рис.2); эти области называются полусферами, а сама окружность - краем этих полусфер. Далее, так как две пересекающееся плоскости делят пространство на четыре области, то две большие окружности делят сферу на четыре области (рис.4). Наконец, так как три плоскости, пересекающиеся в одной точке, делят пространство на восемь областей, то три большие окружности, не пересекающиеся в одной точке, делят сферу на восемь областей (на рис.5 изображены восемь областей ABC, ABC, ABC, ABC, ABC, ABC, ABC, ABC, на которые делят сферу большие окружности AB, AC и BC, причём точки A,B,C диаметрально противоположны точкам A,B,C и, следовательно, области ABC и ABC, ABC и ABC, ABC и ABC, ABC и ABC попарно диаметрально противоположны).

Рис 4 Рис5

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

Рис 6

2.2. Расстояние между точками.

Возьмём две точки A,BS и рассмотрим большую окружность Q, проходящую через эти точки (рис.7). Окружность Q является объединением двух своих дуг AMB и ANB с концами в точках A и B. Длина той из двух дуг, которая не больше полуокружности, называется сферическим расстоянием между точкам A и B и обозначается через d(A,B). Следовательно, для любых дух точек сферы S имеем d(A,B)?r.

Рис. 7

Пусть AMBQ меньше полуокружности, и, значит, d(A,B) - длина этой дуги. Обозначим через величину центрального угла AOB, опирающегося на дугу AMB, и через (A,B) длину отрезка AB. Как известно,

d(A,B)=r. (1)

Из треугольника AOB (рис.7) находим:

(A,B)=2r sin() (2)

Из формул (1),(2) следует:

(A,B)=2r sin (). (3)

2.3. Полюс и поляра.

Всякой большой окружности соответствует две диаметрально противоположные точки сферы, высекаемые из неё диаметром, перпендикулярным к плоскости большой окружности (рис.8). Эти две точки называются полюсами большой окружности; в частности, полюсами экватора Земли являются её географические полюсы - Северный и Южный. Очевидно, что каждым двум диаметрально противоположным точкам А и В на сфере соответствует единственная большая окружность, для которой точки А и В являются полюсами; эта большая окружность называется полярой пары диаметрально противоположных точек А и В. Каждая точка поляры называется полярно сопряжённой с каждым из её полюсов; иначе говоря, точки P,Q сферы являются попарно сопряжёнными, если радиусы OP и ОQ перпендикулярны (О - центр сферы). Понятно, что все точки поляры удалены от своего полюса на расстояние, равное (или квадранту).

Рис 8

2.4. Угол на сфере.

Углом между двумя пересекающимися линиями в пространстве называется угол между касательными к этим линиям в точке их пересечения. Частным случаем общего понятия угла между двумя линиями является угол между двумя большими окружностями на сфере. На рис. 9 изображён угол BAC между большими окружностями АВ и АС на сфере и измеряющий этот угол XAY между касательными AX и AY к этим большим окружностям.

Рис 9

Если мы проведём большую окружность, являющуюся полярой вершины А угла на сфере и пересекающую стороны этого угла в точках В и С, то лучи ОВ и ОС соответственно параллельны лучам AX и AY, касательным к сторонам угла (рис. 9). Поэтому длина угла большой окружности ВС равна произведению ВАС на радиус сферы, т.е. угол на сфере равен длине дуги большой окружности между точками сторон угла, полярно сопряжёнными с вершиной угла, делённой на радиус сферы.

Так как оба угла ВАС и ВА'С, образованные двумя полуокружностями при их различных концах, равны одному и тому же углу ВОС, то эти углы равны между собой и величина каждого из них называется углом между двумя большими полуокружностями. Две большие окружности определяют четыре угла между двумя полуокружностями, попарно равные друг другу. Те из этих углов, обе стороны которых являются продолжениями сторон другого угла, равны и называются вертикальными углами (рис.10, а); те из этих углов, которые имеют одну общую сторону, составляют в сумме развёрнутый угол и называются смежными углами (рис. 10, б).

а) б)

Рис 10

Так как полюсы D и E больших окружностей AB и AC представляют собой точки большой окружности ВС, полученные из точек В и С поворотом вокруг прямой АА' на прямой угол, то дуга ВС равна дуге DE и угол ВАС равен длине дуги DE, делённой на радиус сферы. Заменяя одну из точек D или Е её диаметрально противоположной точкой D' или E' (рис.11), мы получим угол, смежный с углом ВАС. Таким образом, угол между двумя большими окружностями равен длине дуги, соединяющей их полюсы, делённой на радиус сферы.

Рис 11

Так как при отражении от диаметральной плоскости полюсы большой окружности, высекаемой из сферы этой плоскостью, переходят друг в друга, то большие окружности, проходящие через эти полюсы, при указанном отражении переходят в себя (рис.12). Поэтому углы, составляемые этими большими окружностями с большой окружностью, высекаемой плоскостью, равны углам, смежным с ними и, следовательно, являются прямыми углами. Таким образом, большие окружности, одна из которых проходит через полюс другой, пересекаются под прямым углом. Будем называть такие большие окружности перпендикулярными.

Рис 12

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

Рис 13 Рис 14

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

2.5. Понятие движение

Движением сферы называется такое преобразование сферы, при котором сохраняется расстояния между точками. Иными словами, преобразование сферы является движением, если для любых точек А,В сферы расстояние между точками (А) и (В) равно расстоянию между точками А и В. Так как две точки А и В в том и только том случае являются диаметрально противоположными, если расстояние между ними имеет наибольшее возможное значение, равное 2R (где R - радиус сферы), то из определения движения непосредственно следует, что при любом движении сферы диаметрально противоположные точки сферы переходят в диаметрально противоположные точки. Это свойство также не имеет аналога в плоской геометрии, так как на плоскости нет таких пар точек, что движение одной из этих точек вполне определяет движение второй. Поэтому, если движение плоскости является преобразованием множества точек этой плоскости, то движение сферы по существу является преобразованием множества пар диаметрально противоположных точек сферы.

Рис 15 Рис 16

В качестве примера движения сферы укажем поворот сферы вокруг некоторого ее диаметра СС' на угол , при котором каждая окружность сферы, имеющая линию СС' своей осью, поворачивается по себе на угол (рис.15). Другим примером движения сферы является симметрия сферы относительно некоторой ее диаметральной плоскости , при которой каждая точка А переходит в такую точку А', что плоскость перпендикулярна отрезку АА' и проходит через его середину (рис.16). Поворот и симметрия являются в некотором смысле основными движениями сферы; именно можно доказать, что всякое (нетождественное) движение сферы либо является поворотом, либо является симметрией, либо представляет собой произведение поворота и симметрии.

2.6. Предмет сферической геометрии.

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

а) б)

Рис 17

Иногда предмет сферической геометрии определяется иначе. Именно вместо движений, определённых выше рассматриваются только повороты сферы и изучаются те свойства фигур, которые сохраняются при поворотах. Фигуры, переходящие друг в друга при некотором повороте, называют в этом случае равными. Фигуры же, которые переходят друг в друга при движении, но не могут быть совмещены поворотом, равными не считают; такие фигуры называют симметричными. Так, на рис. 17,а изображены равные фигуры, а на рис.17,.б - симметричные фигуры.

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

Мы видели, что любое движение сферы переводит пару диаметрально противоположных точек снова в пару диаметрально противоположных точек. Таким образом, пара диаметрально противоположных точек является в сферической геометрии самостоятельным геометрическим объектом. Отметим одно замечательное свойство этих пар точек: всякой теореме сферической геометрии соответствует другая теорема этой геометрии, получающаяся из первой взаимной заменой слов: «пара диаметрально противоположных точек» и «большая окружность», «лежит на» и «проходит через», «соединяются» и «пересекаются на» и т.д. Например:

Всякие две большие окружности на сфере пересекаются в одной
паре диаметрально противопо-ложных точек.
Всякие две пары диаметрально противоположных точек сферы соединяются одной большой окружностью
Это свойство теорем сферической геометрии является следствием того, что всякой большой окружности на сфере взаимно однозначно соответствует пара её полюсов, а всякой паре диаметрально противоположных точек сферы взаимно однозначно соответствует их поляра, причём если большая окружность проходит через пару диаметрально противоположных точек, то полюсы этой окружности лежат на поляре этой пары точек (рис.18). Это свойство называется принципом двойственности, а теоремы, получающиеся друг из друга указанной заменой, называются двойственными друг другу теоремами. Если одна из двух двойственных теорем доказана, то доказательство второй теоремы может быть получено из доказательства первой теоремы переходом от каждой большой окружности к ее полюсам, а от каждой пары диаметрально противоположных точек - к ее поляре.
Рис 18
§3 Сферические треугольники

3.1. Треугольники и двуугольники на сфере.

Возьмём на сфере три точки А, В, С, не лежащие в одной плоскости с центром О данной сферы. Совокупность этих точек и дуг АВ, ВС, и АС больших окружностей (меньшие полуокружности) называется сферическим треугольником АВС. Точки А, В, С называются вершинами сферического треугольника, а дуги АВ, ВС и АС - его сторонами. Углы, образуемые сторонами сферического треугольника в его вершинах, называются углами сферического треугольника. Ясно, что сферический треугольник можно получить с помощью трёхгранного угла, если пересечь его сферой, центр которой будет совпадать с вершиной данного угла. В самом деле, в пересечении сферы с гранями данного трёхгранного угла мы получим сферический треугольник.

В отличии от плоскости, где треугольник является многоугольником с наименьшим числом сторон, на сфере имеются многоугольники с числом сторон меньше трёх - двуугольники. Двуугольником является часть сферы, ограниченная двумя половинами больших окружностей с общими концами; эти общие концы, называемые вершинами двуугольника, являются диаметрально противоположными точками сферы.

Биссектрисой сферического треугольника называется большая окружность, делящая пополам один из его углов, а также дуга этой большой окружности, имеющая своими концами вершину треугольника и точку пересечения большой окружности с противолежащей стороной. Медианой сферического треугольника называется большая окружность, проходящая через одну из его вершин и через середину противолежащей стороны. Высотой сферического треугольника называется большая окружность, проходящая через одну из его вершин и перпендикулярная к противолежащей стороне, а также одна из двух дуг этой большой окружности, имеющих своими концами данную вершину треугольника и точки пересечения с противолежащей стороной. Если углы сферического треугольника при двух других его вершинах оба острые или оба тупые, то за высоту естественно принять дугу, лежащую внутри треугольника. Если же из двух углов при двух других вершинах один острый, другой тупой, то обе дуги, о которых идёт речь, проходят вне сферического треугольника; в этом случае за высоту естественно принять дугу, меньшую квадранта. Наконец, понятие высоты сферического треугольника, выходящей из данной вершины, теряет смысл, если углы при двух других вершинах оба прямые: в этом случае всякая большая окружность, проходящая через данную вершину, перпендикулярна противолежащей стороне.

3.2. Полярные треугольники.

Всякому сферическому треугольнику АВС можно поставить в соответствие другой сферический треугольник А'В'С', вершины которого являются полюсами сторон ВС, СА, АВ сферического треугольника АВС, лежащими от этих сторон по ту же сторону, что и соответственно вершины А, В, С (рис. 19). Будем называть сферический треугольник А'В'С' полярным по отношению к сферическому треугольнику АВС.

Рис 19

Если сферический треугольник А'В'С' является полярным по отношению к сферическому треугольнику АВС, то и сферический треугольник АВС полярен по отношению к сферическому треугольнику А'В'С'. В самом деле, так как точка В' является полюсом стороны АС, то точка В' полярно сопряжена с точками А и С (рис. 19). Так как точка С' является полюсом стороны АВ, то точка С' полярно сопряжена с точками А и В. Но так как точка А полярно сопряжена с точками В' и С' стороны В'С', то она является полюсом стороны В'С'. При этом, так как точки А и А' лежат по одну сторону от стороны ВС, то они лежат и по одну сторону и от стороны В'С'. Также доказывается, что точки В и С тоже являются полюсами сторон С'А' и А'В' и лежат по ту же сторону от этих сторон, что и точки В'С', т.е. сферический треугольник АВС полярен по отношению к сферическому треугольнику А'В'С'.

Обозначим точки пересечения больших окружностей АВ и АС со стороной В'С' через L и М, точки пересечения больших окружностей ВС и ВА со стороной А'С' через N и Р и точки пересечения больших окружностей СА и СВ со стороной А'В' через Q и R (рис. 19). Тогда если величины углов САВ, АВС и ВСА обозначить через А, В и С, а радиус сферы - через r, то дуги больших окружностей LM, NP и QR соответственно равны Аr, Br, Cr. Далее, так как дуги В'М, LC', C'P, NA', A'R, QB' соединяют полярно сопряжённые точки, то они равны . Поэтому, если все три угла А, В, С , то дуги B'L и MC', C'N и PA', A'Q и RB', дополняющие дуги Аr, Br, Cr до , соответственно равны , , . Таким образом, стороны В'С', С'А' и А'В' полярного треугольника в этом случае равны ,,. Тот же результат совершенно аналогично доказывается и для случаев, когда углы А, В или С больше . Поэтому стороны треугольника, полярного по отношению к сферическому треугольнику АВС, соответственно равны ,,. Отсюда, если мы обозначим эти стороны через а', b', с', мы получим, что т.е. углы треугольника, полярного по отношению к сферическому треугольнику со сторонами а', b', с', соответственно равны .

Переход от данного сферического треугольника к треугольнику полярному относительно данного позволяет, зная свойства сторон первого треугольника, выводить из них свойства углов второго. Таким путём получается следующая теорема:
Теорема 1. Во всяком сферическом треугольнике:
1) каждый угол, увеличенный на два прямых, больше суммы двух других углов;
2) сумма трёх углов больше двух прямых и меньше шести прямых.
Сферический треугольник, совпадающий со своим полярным треугольником, называется автополярным треугольником. Так как все вершины автополярного треугольника полярно сопряжены, все стороны этого сферического треугольника равны четверти большой окружности, откуда вытекает, что все три угла этого сферического треугольника прямые. На рис. 20 изображён автополярный треугольник АВС.
Рис 20

3.3. Равенство сферических треугольников.

Два сферических треугольника называются равными, если их можно совместить друг с другом движением сферы. Очевидно, что между вершинами двух равных сферических треугольников можно установить такое соответствие, при котором и соответственные стороны, и соответственные углы этих сферических треугольников равны: для этого надо поставить в соответствие каждой вершине первого сферического треугольника ту вершину второго сферического треугольника, в которую он переходит при совмещении этих сферических треугольников.
Равенство сферических треугольников, так же как равенство плоских треугольников, определяется равенством трёх элементов этих треугольников.
Первый признак равенства треугольников.
Два сферических треугольника равны, если две стороны одного сферического треугольника равны двум соответственным сторонам другого сферического треугольника и равны углы между этими сторонами.
Второй признак равенства.
Два сферических треугольника равны, если два угла одного сферического треугольника равны двум соответственным углам другого сферического треугольника и равны стороны между этими углами.
Третий признак равенства.
Два сферических треугольника равны, если все три стороны одного сферического треугольника равны соответственным сторонам другого сферического треугольника.
Четвёртый признак равенства.
Два сферических треугольника равны, если две стороны одного сферического треугольника равны двум соответственным сторонам другого сферического треугольника, углы, лежащие против двух равных сторон, равны, а углы, лежащие против двух других равных сторон, одновременно острые или тупые.
Пятый признак равенства.
Два сферических треугольника равны, если два угла одного сферического треугольника равны двум соответственным углам другого сферического треугольника, стороны, лежащие против двух равных углов, равны, а стороны, лежащие против двух других равных углов, одновременно меньше или больше .
Шестой признак равенства.
Два сферических треугольника равны, если все три угла одного сферического треугольника равны соответственным углам другого сферического треугольника.
Сравнивая первый признак равенства со вторым, третий с шестым, а четвёртый с пятым, можно заметить, что если для двух сферических треугольников выполнен признак каждой пары, для полярных по отношению к ним треугольников выполнен второй признак той же пары. Поэтому, так как из равенства двух сферических треугольников, очевидно, вытекает равенство полярных по отношению к ним треугольников, то из справедливости одного из признаков каждой пары вытекает справедливость второго из признаков той же пары.

3.4. Равнобедренные сферические треугольники.

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

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

Действительно, мы знаем, что в силу того, что оба треугольника имеют противоположное расположение, невозможно наложить один треугольник на другой так, чтобы совпадали соответственные вершины, т.е. вершины, находящиеся первоначально на концах одного диаметра; если бы среди сторон треугольника не было равных между собой, то такое наложение было бы невозможно и ни каким другим образом.
Обратно, всякий равнобедренный сферический треугольник наложим на треугольник, ему симметричный.
Если треугольник А'В'С' симметричен треугольнику АВС и если АВ равно АС, то два треугольника АВС и А'С'В', имеющие (при выбранном порядке вершин каждого из них) одно и тоже расположение, равны по второму признаку равенства.
Теорема 2. В равнобедренном сферическом треугольнике углы, противолежащие равным сторонам, равны.
Действительно, при совмещении треугольника АВС (АВ=АС) с симметричным ему треугольником А'С'В' угол, совпадающий с углом В', есть угол С'; таким образом, оба эти угла равны, и тоже самое имеет место и для углов С и В'.
Обратно, всякий сферический треугольник, два угла которого равны, равнобедренный.
Действительно, если АВС сферический треугольник, в котором В=С и треугольник А'В'С' - треугольник, ему симметричный, то треугольники АВС и А'С'В', имеющие одинаковое расположение равны по первому признаку равенства, и, следовательно, АВ=А'С'=АС.

3.5. Большая окружность как кратчайшая

Теорема 3. Во всяком сферическом треугольнике каждая сторона меньше суммы двух других сторон и больше их разности.

В самом деле, пусть АВС - произвольный сферический треугольник. Допустим, что из двух сторон АВ, АС сторона АС большая. Отложим на стороне АС дугу АВ', равную дуге АВ (рис.21). Проведем какую-нибудь плоскость, проходящую через точки В. В' и пересекающую лучи ОА и ОС (а не их продолжение) в точках А1 и С1. Треугольники ОА1В и ОА1В' равны, (так как они имеют общую сторону ОА1. равные стороны ОВ и ОВ' и равные углы при вершине О). Следовательно. А1В=А1В'. Так как точки А1. В' и С1 лежат на одной прямой, (являющейся пинией пересечения плоскостей ОАС и А1ВС1 ). Причем точка В' лежит между А1 и С1, то
В'С1 = А1С1 - А1В'=А1С1 - А1В ВС1.
Рассмотрим теперь треугольники ОВС1 и ОВ'С1. В этих треугольниках ОС1 - общая сторона и ОВ=ОВ', а третьи стороны связаны неравенством В'С1ВС1. Следовательно, углы, лежащие в этих треугольниках против неравных сторон, связаны неравенством В'ОС1 ВОС1. Поэтому дуга В'С, стягиваемая углом В'ОС, также меньше дуги ВС1, стягиваемой углом ВОС1. Иначе говоря,
АС - АВ = АС - АВ' = В'С ВС,
т.е. каждая сторона сферического треугольника больше разности двух других его сторон. Отсюда, в свою очередь, вытекает, что
АС АВ + ВС,
т.е. каждая сторона сферического треугольника меньше суммы двух других его сторон.
Следствие 1. Во всяком сферическом треугольнике против большего угла лежит большая сторона, а против большей стороны лежит больший угол.
Доказательство: Пусть в сферическом треугольнике АВС имеет место неравенство С=B, тогда через вершину проходит внутри треугольника такая дуга CD, что АВС=ВСD. Треугольник ВСD - равнобедренный и BD=CD, тогда верно неравенство
AC<AD+DC=AD+DB=AB
И обратно, пусть теперь AB>AC, тогда предположим, что С=В. Отсюда следует, что АВ=АС или С<В, но тогда АВ<АС. Получили противоречие с условием.
Следствие 2. Дуга большой окружности, меньшая полуокружности, короче всякой линии, состоящей из дуг нескольких больших окружностей, соединяющей те же точки сферы.
Рис. 21
В отличие от плоскости, где невозможны треугольники с двумя прямыми углами, на сфере возможны такие треугольники: это треугольники, у которых одна из вершин является полюсом противоположной стороны; стороны этих треугольников, лежащие против прямых углов, равны . Имеются на сфере и треугольники с тремя прямыми углами - это автополярные треугольники, у них все три стороны равны . В том случае, когда сферический треугольник обладает только одним прямым углом, сторона, лежащая против этого угла, также как в случае плоских прямоугольных треугольников, называется гипотенузой, а остальные две стороны - катетами.
Теорема 4. Для того чтобы большая окружность пересекалась с какой-либо окружностью на сфере под прямым углом, необходимо и достаточно, чтобы первая из этих окружностей проходила через полюсы второй.
Доказательство: Пусть I - общая точка двух окружностей, прямые IT и It -- касательные к большой и малой окружностям в этой точке, Р и Р'-- полюсы малой окружности, О - центр шара (рис. 22).
Рис. 22
Условие, указанное и теореме, достаточно. Действительно, если большая окружность проходит через точки Р и P', то её плоскость содержит две прямые, не параллельные между собой и перпендикулярные к прямой It, а именно диаметр РР' и радиус ОI. Следовательно, эта плоскость, а значит, и касательная IT перпендикулярны к It.
То же условие и необходимо. Действительно, если две окружности пересекаются под прямым углом, то плоскость большой окружности содержит прямые IT и OI, перпендикулярные к It. Следовательно, она перпендикулярна к этой прямой, а потому и к плоскости малой окружности, и содержит в силу этого диаметр РР', перпендикулярный к этой последней плоскости и проходящий через точку О.
Следствие. Через точку, лежащую на шаре, можно провести большую окружность, перпендикулярную к данной окружности этой сферы; эта большая окружность будет единственной, если данная точка не является полюсом данной окружности.
Большая окружность, отвечающая поставленному условию, определяется данной точкой А и полюсами Р и Р' данной окружности.
Заметим, что существуют две дуги большой окружности, выходящие из точки А и перпендикулярные к данной окружности; а именно те дуги, которые имеют своими концами точки пересечения I и I? данной окружности с большой окружностью, существование которой только что было доказано.
Примечание. Здесь рассматриваются исключительно дуги, выходящие из точки А и имеющие своими концами первые точки пересечения этих дуг с данной окружностью. Если не ввести этого ограничения, то число перпендикулярных дуг было бы более двух: например, поставленному условию отвечала бы дуга АР?I? (рис. 22).
Теорема 5. Если через какую-либо точку сферы провести две дуги большой окружности, перпендикулярные к данной окружности, и различные дуги больших окружностей, наклонные к той же окружности, то одна из перпендикулярных дуг короче, а другая длиннее, чем все наклонные дуги. Наклонная дуга будет тем длиннее, чем далее отстоит её конец от конца меньшей перпендикулярной дуги.
Доказательство: Пусть А - данная точка; Р--тот из полюсов данной окружности, который расположен по ту же сторону от этой окружности, как и точка А; АI и АI? - обе перпендикулярные дуги большой окружности, причём АI? - та из этих дуг, на которой лежит точка Р; АК, АК', АК"- различные наклонные дуги (рис. 23).
Рис. 23.
1о. Дуга АК больше дуги AI, но меньше АI?. Действительно, если провести дугу РК большой окружности, то из сферического треугольника АРК имеем:
АК >РК -- РА, АК < РК + РА,
в то время как
РК--РА = PI -- PA = АI,
РК+ РА = PI? + РА = АI?.
2°. Предположим, что точки К и К' данной большой окружности таковы, что дуги IК и IК' равны. При этом хорды, стягивающие эти дуги, также равны, и точка I одинаково удалена от двух точек К и К'. Так как точка Р обладает тем же свойством, то геометрическое место точек сферы, одинаково удалённых от точек К и К', есть большая окружность РI. Последняя проходит через точку А, а потому хорды АК и АК' равны, и, следовательно, равны соответствующие им дуги больших окружностей.
3о. Пусть теперь какая-либо точка К?? на данной окружности обладает тем свойством, что IK?? > IК. Можно предположить, основываясь на (2о), что обе точки К и К?? лежат по одну сторону от точки I. Проводим дуги больших окружностей РК и РК??. Так как точка К лежит внутри угла К??РI, то KPI<К??РI. Треугольники АРК и АРК?? имеют, таким образом, по неравному углу (при вершине А), заключенному между соответственно
равными сторонами, откуда следует, что АК < АК??. Теорема доказана.

3.6. Площадь сферического треугольника.

Будем называть площадью сферической фигуры, по аналогии с площадью плоской фигуры, действительное число, удовлетворяющее следующим четырём требованиям:

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

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

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

4) площадь всей сферы радиуса R равна 4R2 (свойство нормировки).

Прежде всего найдём площадь двуугольника. Из свойства аддитивности, инвариантности и нормировки следует, что если разделить сферу на n равных двуугольников (рис. 24), то площадь каждого из них (т.е. площадь двуугольника с углом ) равна . Поэтому площадь двуугольника с углом , составленного из m рассмотренных двуугольников, равна , а если угол некоторого двуугольника больше и меньше , то площадь этого двуугольника заключена между и (это вытекает из первого и третьего свойств площади). Неограниченно увеличивая число n, мы можем с помощью предельного перехода найти площадь любого двуугольника: площадь двуугольника, углы при вершинах которого равны , равна

,

т.е.

. (1)

Рис. 24 Рис. 25
Если нам дан сферический треугольник АВС, то пара больших окружностей, проходящих через две его стороны, определяет два двуугольника, углы которых равны углу сферического треугольника между этими сторонами (рис. 25). Всего таким образом получается шесть двуугольников, два с углом А, два - с углом В и два - с углом С. Треугольник АВС и диаметрально противоположный ему треугольник А'В'С' (равный треугольнику АВС), входят в три двуугольника, остальные точки сферы (не лежащие на сторонах двуугольников) входят только в один двуугольник. Поэтому сумма площадей шести двуугольников равна сумме площади S всей сферы и учетверённой площади S() треугольника АВС, т.е.
2S(A)+2S(B)+2S(C)=S+4S().

Так как

S(A)=2r2A, S(B)=2r2B, S(C)=2r2C,

То мы получаем

4r2(A+B+C)=4r2+4S(),

т.е.
S()=r2(A+B+C-). (2)
Так как величины S() и r2 положительны, то величина А+В+С- также положительна, откуда следует, что
А+В+С,
т.е. сумма углов сферического треугольника больше развёрнутого угла. Величина А+В+С- называется угловым избытком сферического треугольника.
Таким образом, площадь сферического треугольника равна произведению его углового избытка на квадрат радиуса сферы.
Заменяя в последнем неравенстве углы А, В и С равными им выражениями где, а', b', с' - стороны полярного треугольника, мы получим неравенство
а'+ b'+ с' 2r,
показывающее, что сумма сторон сферического треугольника меньше длины большой окружности.

§4 Сферические многоугольники

4.1. Понятие сферического многоугольника и его свойства.

Сферическим многоугольником называется часть сферы, ограниченная дугами больших окружностей, меньшими полуокружности, концами которых служат точки пересечения этих больших окружностей, взятых в последовательном порядке.
Сферический многоугольник называется выпуклым, если он расположен по одну сторону от каждого из больших кругов, частью которых служат его стороны; в противном случае он называется вогнутым.
В случае, когда многоугольник выпуклый каждый большой круг, частью которого служит сторона многоугольника, делит сферу на две полусферы, из которых одна содержит весь многоугольник; общая область R всех таких полусфер, содержащих данный многоугольник, и будет внутренней областью многоугольника.
Меньшая дуга большого круга, которая соединяет точки M и N, лежащие внутри многоугольника или на его периметре, целиком лежит в области R, т.е. внутри многоугольника. Сферические многоугольники классифицируются, как и плоские многоугольники, по числу их сторон; наиболее простым из них является сферический треугольник. Сферический двуугольник не является многоугольником, так как каждая его сторона равна полуокружности, а не меньше её.
Связь между сферическими многоугольниками и многогранными углами. Каждому сферическому многоугольнику соответствует многогранный угол, вершиной которого служит центр сферы, а рёбрами - прямые, соединяющие центр с вершинами многоугольника.
Линейные углы двугранных углов многогранного угла равны, углам многоугольника. Обратно, всякий многогранный угол, вершиной которого служит центр сферы, пересекает последнюю по сферическому многоугольнику.
Отсюда следует, что из каждого свойства, касающегося плоских углов и двугранных углов многогранного угла, можно вывести некоторое свойство, касающееся сторон и углов соответствующего сферического многоугольника.
Теорема 6. Если некоторый выпуклый сферический многоугольник расположен внутри какого-либо сферического многоугольника (причём оба многоугольника могут иметь одну или несколько общих вершин или сторон), то периметр объемлемого многоугольника меньше периметра объемлющего многоугольника.
Доказательство: Пусть ACDB - выпуклый многоугольник и AC?D?EFB - объемлющий его многоугольник (рис.26) Продолжим стороны АС и СD в одном и том же направлении АСDB, т.е. сторону АС за точку С, а сторону CD - за точку D. Эти продолжения пересекут стороны объемлющего многоугольника соответственно в точках G и H. Путь ACDB короче пути ACHB, т.е. они имеют общую часть ACD, а остающаяся часть DB первого короче остающейся части DHB второго. В свою очередь, путь ACHB меньше чем ABD?EFB, так как, отбрасывая общие части АС, НВ, получим отрезок СН, который короче CGD?EFH. Наконец, точно также AGD?EFH, меньше AC?D?EFB, так как AG меньше AC?G. Таким образом, имеем:
ACDB<ACHB<AGD?EFB<AC?D?EFB
Рис. 26
Доказательство сохраняет силу и в том случае, если объемлющий многоугольник заменить совокупностью двух больших полуокружностей.
Теорема 7. Периметр выпуклого сферического многоугольника меньше большой окружности.
Доказательство: Пусть дан сферический треугольник АВС, а точка А? - точка диаметрально противоположная точке А. Тогда ВС<ВА?+А?С или ВС<4d-AB-AC. Откуда и следует, что ВС+АВ+АС<4d, где d - прямой угол.
Случай многоугольника, имеющего любое число сторон, постепенно сводится к случаю треугольника; с этой целью продолжают две стороны многоугольника, смежные с одной и той же его стороной, так что число сторон уменьшается на единицу. Этот путь доказательства вполне соответствует цепи тех построений на сфере, которые изображены на рис.27 Рис. 27

4.2. Площадь сферического многоугольника.

Соединим одну из вершин выпуклого сферического n-угольника дугами больших окружностей со всеми другими вершинами этого многоугольника, получим n-2 сферических треугольника. Площадь выпуклого сферического n-угольника равна сумме площадей этих n-2 сферических треугольников. Поэтому, так как сумма углов всех n-2 сферических треугольников равна сумме углов сферического n-угольника, площадь Sn выпуклого сферического n-угольника равна

Sn=r2(n-(n-2)),

где n-сумма всех его внутренних углов.

Эта формула остаётся справедливой и для невыпуклых сферических многоугольников.

§5 Малые окружности

Сечение сферы плоскостью, не проходящей через её центр, является малой окружностью. Так как все три точки сферы определяют единственную плоскость, то через всякие три точки сферы, не лежащие на большой окружности, можно провести единственную малую окружность. Действительно, пусть А, В, С - три точки данной сферы, не лежащие на одной большой окружности. Через них проходит единственная плоскость АВС. Плоскость АВС пересекает сферу, и притом по малой окружности, проходящей через точки А, В, С, так как данные точки не лежат по условию на одной большой окружности. Эта малая окружность единственна, так как плоскость АВС единственная.

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

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

Так как большие окружности, проходящие через центр малой окружности, перпендикулярны поляре центра малой окружности, то расстояние от точек малой окружности до этой большой окружности равно дополнению сферического радиуса окружности до . Обратно, геометрическое место точек сферы, равноотстоящих от одной её большой окружности и расположенных по одну сторону от неё, является геометрическим местом точек, равноотстоящих от одного её полюса, т.е. является малой окружностью. Таким образом, малая окружность является геометрическим местом точек сферы, равноотстоящих от одной большой окружности и расположенных по одну сторону от неё. Эта большая окружность называется базой малой окружности, а расстояние точек малой окружности до базы называется параметром малой окружности. Очевидно, что сферический радиус R и параметр Р малой окружности составляют в сумме . На рис. 28 изображены центр и база малой окружности.

Рис. 28
Пусть центр малой окружности в её плоскости - точка Q, радиус её - число ?, а М - произвольная точка этой окружности (рис.28), т.е. ОМ=r, QM=?, а МОQ=. Тогда из прямоугольного треугольника OQM мы найдём, что ?=, т.е. длина окружности сферического радиуса R равна
.
С другой стороны, так как , то длина окружности параметра Р равна
.
Так как сферический круг, ограничиваемый окружностью сферического радиуса R, представляет собой сферический сегмент высоты
,
а площадь всякого сферического слоя высоты h равна 2rh, где r - радиус сферы, то площадь сферического круга радиуса R равна
.

§6 Геометрические места точек на сфере

Простейшие геометрические места точек, рассматриваемые в геометрии на плоскости, распространяются и на случай сферы.

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

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

Геометрическое место III. Геометрическое место точек сферы, равноудалённых от двух точек А и В этой сферы, есть большая окружность, перпендикулярная к дуге АВ и проходящая через середины обеих дуг, имеющих точки А и В, своими концами.

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

Ещё одно геометрическое место точек на сфере не имеющее аналогии в геометрии на плоскости.

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

Действительно, пусть Р - полюс данной малой окружности, которой соответствует её радиус r, меньший квадранта. Так как расстояние точки Р от точки касания данной малой окружности с какой-либо большой окружностью равно r, то расстояние той же точки Р от одного из полюсов этой большой окружности дополняет дугу r до квадранта.

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

Доказательство: Пусть В и С - две данные вершины, А - третья вершина; предположим, что дана величина В + С - А. Пусть далее О (рис.29) один из полюсов окружности, описанной около треугольника: покажем, что точка О неподвижна.

Так как треугольник ОВС равнобедренный, то дуги больших окружностей ОВ и ОС образуют со стороной ВС углы, равные по абсолютной величине, но имеющие противоположные знаки. Пусть - первый из этих углов; следовательно,

= СВО = - ВСО;

Пусть точно также

= АСО = - САО,

= ВАО = - АВО.

Если расположение треугольника таково, что угол ВАС положителен, то будем иметь с точностью до целых окружностей:

А = + ,

В = + ,

С = + ,

и, следовательно, В + С - А = 2,

или иначе:

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

Рис. 29

Наоборот, если сделать относительно расположения треугольника предположение, противоположное тому, которое было сделано ранее, то получим другую окружность; то же самое будет и в том случае, если изменить знак разности В+С-А.

Теорема Лекселля (Lexell). Если даны площадь сферического треугольника и две его вершины, то геометрическое место третьих вершин состоит из двух малых окружностей, проходящих через точки, диаметрально противоположные двум данным вершинам.

Доказательство: Пусть А и В - данные вершины, С - третья вершина, А? и В? - точки диаметрально противоположные точкам А и В.(рис.30)

Рис. 30

Сумма А+В+С углов треугольника АВС известна; но углы СА?В? и СВ?А? треугольника А?В?С соответственно равны САВ? и СВА?, т.е. углам, пополнительным углам А и В. Таким образом, сумма А+В+С может быть записана в виде С+2-СА?В?-СВ?А?. Следовательно, известна величина СА?В?+СВ?А?-С? и геометрическое место точек С состоит из двух малых окружностей, проходящих через точки А? и В?.

§7 Тригонометрия

7.1. Сферическая теорема косинусов

Рассмотрим произвольный сферический треугольник АВС. Сферическая теорема косинусов аналогична теореме косинусов плоской тригонометрии.
Предположим сначала, что каждая из сторон b и с сферического треугольника АВС меньше . Проведём из точки А касательные АМ и AN к сторонам с и b и найдём точки М и N пересечения этих касательных с продолжениями радиусов ОВ и ОС (рис.31); эти точки пересечения существуют, так как , по предположению, каждый из углов АОС, АОВ меньше . Тогда угол А равен углу MAN, и для плоского треугольника MAN в силу плоской теоремы косинусов получаем
MN2 = AN2 + AM2 - 2AN AM cosA. (1)
Рис. 31
С другой стороны, углы ВОС, АОС и АОВ, являющиеся центральными углами больших окружностей сферы, опирающимися на дуги a, b, c, соответственно равны , и . Поэтому из треугольника OMN находим
MN2 = OM2 + ON2 - 2OM ON cos. (2)
Сравнивая (1) и (2), получаем
OM2 + ON2 - 2OM ON cos = AN2 + AM2 - 2AN AM cosA. (3)
Из прямоугольного треугольника ОМА находим, что
OM2 - AM2 = OA2, , , (4)
а из прямоугольного треугольника ONA находим, что
ON2 - AN2 = OA2, , , (5)
В силу первых формул (4) и (5) равенство (3) можно переписать в виде
2OM ON cos = 2OA2 + 2AN AN AM cosA,
т.е.
OM ON cos = OA2 + AN AM cosA. (6)
Разделив (6) на произведение OM ON, получим
или, в силу вторых и третьих равенств (4) и (5),
(7)
Если теперь сторона b больше , а сторона с меньше , то продолжим стороны а и b нашего треугольника до пересечения в точке С', диаметрально противоположной точке С (рис.32). Тогда в сферическом треугольнике АВС' стороны АС' и АВ, соответственно равные и с, меньше , а угол ВАС, смежный с углом А, равен - А. Поэтому в силу формулы (7) для треугольника АВС'
,
т.е.
,
откуда получаем формулу (7).
Рис. 32
Если, наконец, обе стороны b и с больше , то продолжим стороны b и с нашего треугольника до пересечения в точке А, диаметрально противоположной точке А (рис.33). Тогда в сферическом треугольнике АВС стороны СА и ВА, соответственно равные r-b и r-c, меньше , а ВА'С равен углу А. Поэтому с силу формулы (7) для треугольника А'ВС
,
откуда непосредственно получаем формулу (7).
Рис.33
Формула (7) выражает сферическую теорему косинусов, которую обычно формулируют в следующем виде: косинус стороны сферического треугольника равен сумме произведения косинусов двух других сторон и произведения синусов двух других сторон на косинус угла между ними.
Заменяя в формуле (7) обозначения сторон а, b, с и углов А, В, С в круговом порядке, получаем две аналогичные формулы
(8)
и
(9)

7.2. Сферическая теорема синусов

Докажем теперь сферическую теорему синусов, аналогичную теореме синусов плоской тригонометрии. Из формулы (7) вытекает равенство

.

Применяя это равенство, вычислим отношение

.

Так как полученное выражение симметрично относительно сторон a,b,c, то оно равно аналогичным выражениям, полученным из левой части этого равенства заменой сторон a,b,c и углов А, В, С в круговом порядке. Извлекая квадратный корень из этих выражений, получаем три равные выражения:

(10)

Эта формула и выражает сферическую теорему синусов: синусы сторон сферического треугольника относятся, как синусы противолежащих углов. Из формулы (10), в частности видно, что если в сферическом треугольнике имеет место соотношение, так что sinB=sinA, то в силу формулы (10) , т.е. либо a=b, либо . Но если a=b, то А=В и в соответствии с соотношением это даёт . Следовательно, С - полюс стороны АВ, и потому . Таким образом, соотношение справедливо и в этом случае. Итак, если , то стороны a и b связаны соотношением .

7.3. Формулы пяти элементов

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

(11)

(12)

(13)

Меняя в формуле (11) местами стороны а и с и углы А и С, а затем заменяя обозначения сторон a, b, c и углов А, В, С в круговом порядке, мы получим еще три аналогичные формулы

(14)

(15)

(16)

Эти формулы аналогичны теоремам проекций плоской тригоно-метрии.
Заменяя в формуле (11) пропорциональными и величинами sinA, sinB и sinC, мы получим формулу
или
. (17)
Мы получили формулу пяти элементов другого вида, которую обычно формулируют в виде: произведение косинуса стороны сфе-рического треугольника на синус прилежащего угла равно сумме произведения косинуса угла, лежащего против этой стороны, на синус третьего угла и произведения синуса угла, лежащего против данной стороны, на косинус третьего угла и на косинус стороны, лежащей против данного угла.
Заменяя в формуле (17) обозначения сторон а, b, с и углов А, B, С в круговом порядке, мы получим еще две аналогичные фор-мулы
(18)
(19)
Меняя в формуле (17) местами стороны а и с и углы A и C, а затем заменяя обозначения сторон а, b, с и углов A, В, С в круговом порядке, мы получим еще три аналогичные формулы:
(20)
(21)
. (22)
Эти формулы не имеют аналогов в плоской тригонометрии.

7.4. Двойственная теорема косинусов.

Докажем теперь двой-ственную теорему косинусов, также не имеющую аналога в плоской тригонометрии. Подставим значение из равенства (20) в равенство (19). Получим

,

или

,

т. е.

или, после сокращения на sinC,

. (23)

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

Заменяя в формуле (23) обозначения сторон а, b, с и углов A, В, С в круговом порядке, мы получим две аналогичные формулы:

, (24)

. (25)

Формулы (23), (24) и (25) двойственной теоремы косинусов могут быть получены также соответственно из формул (7), (8) и (9) теоремы косинусов, если записать эти формулы для полярного треугольника и использовать соотношения между углами и сторо-нами двух взаимно полярных треугольников; этим и объясняется название этой теоремы.

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


Перейти к полному тексту работы



Смотреть похожие работы


* Примечание. Уникальность работы указана на дату публикации, текущее значение может отличаться от указанного.