Sfäriska formlerna för halva vinkeln och halva sidan
Figur 1.
De sfäriska formlerna för halva vinkeln och halva sidan är en uppsättning formler inom sfärisk trigonometri. För en sfärisk triangel på en enhetssfär enligt figur 1 gäller:
där och [1].
Motsvarande gäller för och respektive och .
Formlerna används för att beräkna hörnvinklarna i sfäriska trianglar om de tre sidorna är kända, respektive sidorna om hörnvinklarna är kända.
där vi i sista steget utnyttjat från den plana trigonometrin.
Från den plana trigonometrin har vi också att vilket med och samt den halva "perimetern" ger oss:
Insättning av (2) i (1) ger oss sinusformeln för halva vinkeln:
Cosinusformeln för halva vinkeln härleds analogt, men utnyttjar att , vilket ger
Tangensformeln för halva vinkeln fås genom att dividera formeln för sinus med formeln för cosinus.
Formlerna för halva sidan visas analogt, men med utgångspunkt i den duala cosinussatsen i stället för den sfäriska cosinussatsen, sålunda:
De kan även visas ur formlerna för halva vinkeln med hjälp av polära dualitetssatsen (som ju används för att härleda den duala cosinussatsen från den sfäriska cosinussatsen, så det blir ju "samma härledning, men i olika ordning"), som säger att för den polära triangeln till gäller att:
Referenser och noter
Isaac Todhunter, 1886, Spherical Trigonometry: For the Use of Colleges and Schools, Macmillan & Co, sid. 23-24 (artikel 47-50). Faksimil PDF (3 MB), TeX PDF (789 kB). 1883 års upplaga online på Google Books.
Robert E.Moritz, 1913, A Text Book On Spherical Trigonometry, John Wiley And Sons, sid. 39-43.
^Notera att eftersom då vinkelsumman i en sfärisk triangel är större än . Sålunda: i formlerna för sinus och tangens för halva sidan.