Теорема синусов

Теоре́ма си́нусов — теорема, устанавливающая зависимость между длинами сторон треугольника и величиной противолежащих им углов. Существуют два варианта теоремы; обычная теорема синусов: Шаблон:Рамка Стороны треугольника пропорциональны синусам противолежащих углов.
Шаблон:Конец рамки и расширенная теорема синусов: Шаблон:Рамка Для произвольного треугольника
где , , — стороны треугольника, — соответственно противолежащие им углы, а — радиус окружности, описанной около треугольника. Шаблон:Конец рамки
Доказательства
Доказательство обычной теоремы синусов
Воспользуемся только определением высоты треугольника, опущенной на сторону Шаблон:Math, и синуса для двух углов:
- . Следовательно, , что и требовалось доказать. Повторив те же рассуждения для двух других сторон треугольника, получаем окончательный вариант обычной теоремы синусов. ∎
Доказательство расширенной теоремы синусов
Вариации и обобщения
В треугольнике против большего угла лежит бо́льшая сторона, против большей стороны лежит больший угол.
где — угол между гранями и ; — общая грань и ; — объём симплекса.
История
- В первой главе Альмагеста (около 140 года н. э.) теорема синусов используется, но явно не формулируется[1].
- Древнейшее из дошедших до нас доказательств теоремы синусов на плоскости описано в книге Насир ад-Дин Ат-Туси «Трактат о полном четырёхстороннике» написанной в XIII веке[2].
- Теорема синусов для сферического треугольника была доказана математиками средневекового Востока ещё в X веке[3]. В труде Ал-Джайяни XI века «Книга о неизвестных дугах сферы» приводилось общее доказательство теоремы синусов на сфере[4].
Вариации и обобщения
- Сферическая теорема синусов
- На плоскости Лобачевского с кривизной теорема синусов принимает следующую форму:
- Теорема косинусов
- Теорема котангенсов
- Теорема о проекциях
- Теорема Пифагора
- Теорема тангенсов
- Тригонометрические тождества
- Тригонометрические функции
- Формулы Мольвейде
Примечания
Шаблон:Внешние ссылки Шаблон:Треугольник Шаблон:Тригонометрия
- ↑ Шаблон:Книга
- ↑ Шаблон:Книга
- ↑ Sesiano just lists al-Wafa as a contributor. Sesiano, Jacques (2000). «Islamic mathematics», pp. 137. — Page 157, in Шаблон:Citation
- ↑ Шаблон:Cite web