Den første og anden sfæriske cosinussætning etablerer sammenhænge mellem siderne og modsatte vinkler i en sfærisk trekant .
Cosinussætningerne for en sfærisk trekant med siderne a , b , c og vinklerne A , B , C er som følger:
Disse to sætninger er dobbelte i forhold til hinanden, da vinklerne og siderne af enhver sfærisk trekant suppleres til en ret vinkel af siderne og vinklerne i den tilsvarende polære trekant . Derfor er det tilstrækkeligt at bevise en af dem.
BevisBeviset vil blive udført ved hjælp af projektioner [1] . Figuren viser en sfærisk trekant ABC på en kugle med radius R centreret ved O. BP er vinkelret på planet for den store cirkel, der går gennem side b , BM er vinkelret på OC , BN er vinkelret på OA . Ved det modsatte af de tre perpendikulære sætning er PM vinkelret på OC , PN er vinkelret på OA . Bemærk at vinklen PMB er lig med π - C, desuden er ON = R cos c og OM = R cos a. Dernæst projicerer vi polylinjen OMPN på linjen, der indeholder ON .
, , , .Vi erstatter de sidste tre udtryk og ovenstående udtryk ON = R cos c i det første udtryk og får:
.Cosinussætningerne for de to andre sider, det vil sige sætningen for cos a og sætningen for cos b, opnås på samme måde, de kan også fås direkte fra formlen for side c ved hjælp af en cirkulær permutation af bogstaver:
Hvis vinklen C er ret, går den første cosinussætning ind i den sfæriske Pythagoras sætning :
Selvom mere bekvemme formler normalt bruges til at løse skrå sfæriske trekanter , ved hjælp af cosinussætningen, udledes en vigtig formel for geodæsi for længden af den store cirkel - den korteste afstand mellem punkter på jordens overflade med kendte koordinater (forudsat at jorden er sfærisk). Lad os betegne de geografiske breddegrader af de to givne punkter og , forskellen mellem længdegrader - , den korteste afstand mellem dem vil vi betegne d, buelængden på 1 grad - a. Derefter ortodromilængdeformlen [2] :
Denne formel opnås umiddelbart ved at anvende cosinussætningen på siden AB af den sfæriske trekant P n AB. En lignende formel er gyldig for enhver sfærisk overflade, og den kan derfor også bruges til at bestemme vinkelafstanden mellem stjerner ved hjælp af deres kendte ækvatorialkoordinater [3] .
Eksempel 1: Bestemmelse af vinkelafstanden mellem to armaturer på himmelkuglenLad os bestemme vinkelafstanden (x) mellem stjernen δ Cepheus (ækvatorialkoordinater: α 1 =22h 29m, δ 1 =+58° 25′) og Andromeda-tågen galaksen (α 2 =0h 43m, δ 2 =+41 ° 16′) ved himmelsfæren. Vi udtrykker α 1 i grader og brøkdele af en grad:
På samme måde opnår vi, at α 2 =10°,75. Vi udtrykker δ 1 i grader og brøkdele af en grad:
Tilsvarende er 52 = 41°,27. Vi anvender cosinussætningen [4] :
Derfor x=27°,11.
Cosinussætningen i sin anden form (forholdet mellem tre vinkler og en side) kan anvendes til at beregne den indbyrdes hældning af to baner, givet hældningen af hver bane til et andet plan. For eksempel kan denne formel bruges til at beregne hældningen af Plutos kredsløb til Neptuns hældning ved at bruge hældningerne af deres kredsløb til ekliptikken og længdegraderne af deres stigende knudepunkter.
Eksempel 2: Bestemmelse af den indbyrdes hældning af himmellegemernes banerLad os bestemme den indbyrdes hældning (x) af Pluto 's baner (hældningen af banen til ekliptikken er 17°.14, længdegraden af den stigende node er 110°.30) og Neptun (banens hældning til ekliptikken er 1°,77, længdegraden af den stigende knude er 131°,79) . I den tilsvarende sfæriske trekant kendes to vinkler: Den ene er lig med hældningen af Plutos bane til ekliptika, den anden er tilføjelsen af hældningen af Neptuns bane til ekliptika op til 180 grader. Den side, der støder op til disse hjørner, er også kendt, svarende til forskellen i længdegrader af de stigende knuder af Pluto og Neptun. Det er tilbage at anvende den anden version af cosinussætningen - for vinkler:
Derfor x≈15°,51.
Matematikere fra det middelalderlige øst brugte et udsagn svarende til den sfæriske cosinussætning til at løse specifikke astronomiske problemer. Disse forhold, der bruges til at bestemme Solens højde, findes i skrifterne af Thabit ibn Korra , al-Mahani , al-Battani , Ibn Yunis , al-Biruni .
Den første eksplicitte formulering af teoremet blev givet i det 15. århundrede af Regiomontanus , som kaldte det "Albategnius-sætningen" (efter det latiniserede navn al-Battani ).
Sfærisk trigonometri | |
---|---|
Basale koncepter | |
Formler og forhold | |
relaterede emner |