Sfäriska cotangensformlerna

Från testwiki
Hoppa till navigering Hoppa till sök
Figur 1: Den sfäriska triangeln △ABC.

De sfäriska cotangensformlerna är en uppsättning av sex formler inom sfärisk trigonometri som säger att för fyra konsekutiva element (sidor eller hörn) i en sfärisk triangel △ABC med sidlängderna a,b, och c med de motsvarande motstående hörnvinklarna α,β respektive γ på en enhetssfär, som i figur 1, gäller:

cos⁡b⋅cos⁡γ=cot⁡a⋅sin⁡b−cot⁡α⋅sin⁡γ
cos⁡b⋅cos⁡α=cot⁡c⋅sin⁡b−cot⁡γ⋅sin⁡α
cos⁡c⋅cos⁡α=cot⁡b⋅sin⁡c−cot⁡β⋅sin⁡α
cos⁡c⋅cos⁡β=cot⁡a⋅sin⁡c−cot⁡α⋅sin⁡β
cos⁡a⋅cos⁡β=cot⁡c⋅sin⁡a−cot⁡γ⋅sin⁡β
cos⁡a⋅cos⁡γ=cot⁡b⋅sin⁡a−cot⁡β⋅sin⁡γ

Formlerna används för att räkna ut en andra sida när man känner två vinklar och den mellanliggande sidan eller en andra vinkel när man känner två sidor och den mellanliggande vinkeln. De är också att föredra framför den sfäriska sinussatsen i de fall de kan användas, eftersom cotangens ger entydiga resultat mellan noll och π (och sålunda är entydig för alla Eulerska trianglar), vilket gör att man slipper det tvetydiga resultatet π2±x som fås från arcsinus inom samma intervall, men å andra sidan är den sfäriska sinussatsen både enklare att använda och, inte minst, att minnas.

Härledning

Utgå från två av de tre varianterna av den sfäriska cosinussatsen, som:

cos⁡a=cos⁡b⋅cos⁡c+sin⁡b⋅sin⁡c⋅cos⁡α (1) och
cos⁡c=cos⁡a⋅cos⁡b+sin⁡a⋅sin⁡b⋅cos⁡γ (2)

Ersätt cos⁡c i (1) med (2), vilket ger (med hjälp av "trigonometriska ettan" i andra steget):

cos⁡a=cos⁡b⋅(cos⁡a⋅cos⁡b+sin⁡a⋅sin⁡b⋅cos⁡γ)+sin⁡b⋅sin⁡c⋅cos⁡α==cos2b⋅cos⁡a+cos⁡b⋅sin⁡a⋅sin⁡b⋅cos⁡γ+sin⁡b⋅sin⁡c⋅cos⁡α==(1−sin2b)⋅cos⁡a+cos⁡b⋅sin⁡a⋅sin⁡b⋅cos⁡γ+sin⁡b⋅sin⁡c⋅cos⁡α==cos⁡a−sin2b⋅cos⁡a+cos⁡b⋅sin⁡a⋅sin⁡b⋅cos⁡γ+sin⁡b⋅sin⁡c⋅cos⁡α⇔
sin2b⋅cos⁡a=cos⁡b⋅sin⁡a⋅sin⁡b⋅cos⁡γ+sin⁡b⋅sin⁡c⋅cos⁡α⇔ (3)
sin2b⋅cos⁡asin⁡b⋅sin⁡a=cos⁡b⋅sin⁡a⋅sin⁡b⋅cos⁡γsin⁡b⋅sin⁡a+sin⁡b⋅sin⁡c⋅cos⁡αsin⁡b⋅sin⁡a⇔
sin⁡b⋅cot⁡a=cos⁡b⋅cos⁡γ+sin⁡c⋅cos⁡αsin⁡a

Från den sfäriska sinussatsen får vi sin⁡a=sin⁡αsin⁡csin⁡γ, vilket insätts:

sin⁡b⋅cot⁡a=cos⁡b⋅cos⁡γ+sin⁡c⋅cos⁡αsin⁡αsin⁡csin⁡γ==cos⁡b⋅cos⁡γ+sin⁡c⋅cos⁡α⋅sin⁡γsin⁡c⋅sin⁡α==cos⁡b⋅cos⁡γ+cot⁡α⋅sin⁡γ⇔
cos⁡b⋅cos⁡γ=cot⁡a⋅sin⁡b−cot⁡α⋅sin⁡γ

Härmed är den första av de sex formlerna härledd. Den andra formeln fås om man inledningsvis i stället ersätter cos⁡a i (2) med (1) (och symmetrin mellan cosinussatsen för cos⁡a och cos⁡c gör att man strax inser att det bara innebär att a byts mot c och α byts mot γ - det går även att visa med polära dualitetssatsen, men detta är spilld kraft), medan de fyra övriga formlerna fås om man byter ut cosinussatsen för cos⁡b mot endera av de båda andra.

Sinus-cosinus-formlerna

Om man bara förkortar mellanledet (3) i den ovanstående härledningen av den första cotangensformeln med sin⁡b får man

sin⁡b⋅cos⁡a=cos⁡b⋅sin⁡a⋅cos⁡γ+sin⁡c⋅cos⁡α

Denna (och de fem andra formler som på samma sätt erhålls från motsvarande mellanled i härledningen av de fem övriga cotangensformlerna) har kallats sinus-cosinus-formeln eller mellersta formeln.[1]

Genom att utnyttja den polära dualitetssatsen på den ovanstående sinus-cosinus-formeln (samt att sin⁡(π−x)=sin⁡x och cos⁡(π−x)=−cos⁡x) fås en "dual sinus-cosinus-formel":

sin⁡(π−β)⋅cos⁡(π−α)=cos⁡(π−β)⋅sin⁡(π−α)⋅cos⁡(π−c)+sin⁡(π−γ)⋅cos⁡(π−a)⇔
−sin⁡β⋅cos⁡α=cos⁡β⋅sin⁡α⋅cos⁡c−sin⁡γ⋅cos⁡a⇔
sin⁡γ⋅cos⁡a=cos⁡β⋅sin⁡α⋅cos⁡c+sin⁡β⋅cos⁡α

Eftersom allt som kan beräknas med hjälp av sinus-cosinus-formeln och dess dual även kan beräknas med sfäriska cosinussatsen eller duala cosinussatsen har sinus-cosinus-formlerna föga användning.

Referenser och noter

  1. ↑ Knut Lundmark, Astronomisk matematik - Sfärisk trigonometri, Teknisk tidskrift, 29 juli 1944, sid. 885-896 (887).
Hämtad från ”https://sv.wiki.beta.math.wmflabs.org/w/index.php?title=Sfäriska_cotangensformlerna&oldid=4013”