A gömbi trigonometriában a féloldali képletet a gömbháromszögek megoldására alkalmazzák .
ahol
Érdekes módon R az adott gömbháromszög körülírt kör sugarának érintője [1] :78.83 . A három képlet valójában ugyanaz a képlet, csak a megfelelő szögek és oldalak jelölése módosult.
Képlet levezetéseA koszinusztétel alapján a következőt kapjuk : [1] :75-77 :
Ezután a kettős szög képlete szerint (a pozitív gyöket vesszük, mert az oldal kisebb, mint 180 fok):
Az argumentumok hozzáadására szolgáló képlet és a függvények összegének átalakítására szolgáló képlet alkalmazásával a következőt kapjuk:
Hasonlóképpen a fél oldal koszinuszára a következőket kapjuk:
Ezért
Ennek a képletnek a kettősét, vagyis a félszög képletét a szokásos módon megkaphatjuk belőle - úgy, hogy az oldalt 180 fokig a megfelelő szög komplementerével helyettesítjük, a szögeket pedig a megfelelő oldalak komplementereivel felfelé. 180 fokra.
A kettős vagy féloldali képletek a félszög képletei [1] :74 :
ahol
Ráadásul ebben az esetben r lesz a gömbháromszög beírt körének érintője [1] :74 .
A planimetriában egy hasonló képletet kotangens tételként ismerünk .
A féloldali képletet egy ferde gömbháromszög háromoldali megoldására használjuk , vagyis amikor minden egyes szögét ki kell számítani az adott oldalakból [1] :102-104 . A félszög képlet pedig egy ferde háromszög háromszögben történő megoldására szolgál, vagyis amikor az adott három szögre minden oldalát ki kell számítani [1] :104-108 . Ha egy gömbháromszögnek van egy egyenes egyik sarka, akkor e képletek helyett egy kényelmesebb mnemonikus Napier-szabályt használnak a megoldásra .
Szférikus trigonometria | |
---|---|
Alapfogalmak | |
Képletek és arányszámok | |
Kapcsolódó témák |