Pallotrigonometria

Pallotrigonometria tarkoittaa kolmiomittausta pallon pintaa pitkin. Koska pallopinta eroaa kaarevuutensa vuoksi tasosta, myös pallotrigonometrialla on eroja koulusta tuttuun tason trigonometriaan verrattuna. ^[1] Pallotrigonometrialla on perinteisesti ollut erityisen suuri merkitys tähtitieteessä sekä navigoinnissa.

Pallotrigonometrian perusobjekti on pallokolmio. Pallokolmio muodostuu kolmen pallon keskipisteen kautta kulkevan tason ja pallon pinnan leikkauksena syntyvistä pallon isoympyrän kaarista. Pallokolmion kulmat ovat näiden tasojen väliset kulmat eli diedrikulmat. Koska isoympyrän kaarien suuruus ilmaistaan niitä vastaavien keskuskulmien suuruutena, pallokolmion sivut ja kulmat ilmoitetaan molemmat kulmamitoin. Pallotrigonometrian sovelluksissa käytetään lähes yksinomaan kulman mittayksikkönä astetta, mutta joissakin teoreettisissa tarkasteluissa on hyödyllisempää käyttää radiaaniyksikköä.

Olkoon ${\displaystyle O}$ pallon keskipiste. Pallokolmion ${\displaystyle ABC}$ napakolmio on ${\displaystyle A'B'C'}$, missä ${\displaystyle OA'}$ on tason ${\displaystyle OBC}$ normaali ja ${\displaystyle A'}$ on se normaalin ja pallon leikkauspiste, josta tarkasteltuna kaari ${\displaystyle BC}$ kuljetaan positiiviseen kiertosuuntaan ja ${\displaystyle B'}$, ${\displaystyle C'}$ määritellään analogisesti. Napakolmion sivuille ${\displaystyle a',\,b'\,c'}$ pätee ${\displaystyle a'=180^{\circ }-A}$, ${\displaystyle b'=180^{\circ }-B}$ ja ${\displaystyle c'=180^{\circ }-C}$. Osoittautuu, että kolmion ${\displaystyle A'B'C'}$ napakolmio on ${\displaystyle ABC}$. Siis ${\displaystyle a=180^{\circ }-A'}$, ${\displaystyle b=180^{\circ }-B'}$ ja ${\displaystyle c=180^{\circ }-C'}$.

Pallokolmioiden tuntemattomien osien laskeminen tunnettujen osien avulla perustuu pallotrigonometrian sini- ja kosinilauseisiin. Jos pallokolmion kulmat ovat ${\displaystyle A}$, ${\displaystyle B}$ ja ${\displaystyle C}$ (pallokolmion kulmia ja sen kärkiä on tapana merkitä samalla symbolilla) ja niiden vastaiset sivut ${\displaystyle a}$, ${\displaystyle b}$ ja ${\displaystyle c}$, niin pallotrigonometrian sinilauseen ilmaisevat yhtälöt

${\displaystyle {\frac {\sin a}{\sin A}}={\frac {\sin b}{\sin B}}={\frac {\sin c}{\sin C}}}$.

Pallotrigonometrian (ensimmäinen) kosinilause puolestaan sisältyy yhtälöön

${\displaystyle \cos a=\cos b\,\cos c+\sin b\,\sin c\,\cos A}$

(ja siitä symbolien kiertovaihteluilla muodostettuihin yhtälöihin).

Pallotrigonometrian toinen kosinilause puolestaan sisältyy yhtälöön

${\displaystyle \cos A=-\cos B\,\cos C+\sin B\,\sin C\,\cos a}$

(ja siitä symbolien kiertovaihteluilla muodostettuihin yhtälöihin).

Pallotrigonometrian ensimmäisen kosinilauseen todistamiseksi oletetaan pallon säteeksi 1. Merkitään pallokolmion kärkipisteitä samoilla kirjaimilla kuin sen kulmia ja pallon keskipistettä ${\displaystyle O}$:lla. Tason ${\displaystyle OAB}$ normaalivektori on ${\displaystyle {\overrightarrow {OA}}\times {\overrightarrow {OB}}}$ ja tason ${\displaystyle OAC}$ normaalivektori on ${\displaystyle {\overrightarrow {OA}}\times {\overrightarrow {OC}}}$. Kerrottavien vektorien pituus on 1, joten ristitulojen pituudet ovat ${\displaystyle \sin c}$ ja ${\displaystyle \sin b}$. Lisäksi ${\displaystyle {\overrightarrow {OA}}\cdot {\overrightarrow {OB}}=\cos c}$, ${\displaystyle {\overrightarrow {OB}}\cdot {\overrightarrow {OC}}=\cos a}$ ja ${\displaystyle {\overrightarrow {OC}}\cdot {\overrightarrow {OA}}=\cos a}$. Normaalivektorien pistetulon avulla voidaan ilmaista tasojen ${\displaystyle OAB}$ ja ${\displaystyle OAC}$ välisen kulman kosini eli ${\displaystyle \cos A}$: ${\displaystyle \sin b\sin c\cos A=({\overrightarrow {OA}}\times {\overrightarrow {OB}})\cdot ({\overrightarrow {OA}}\times {\overrightarrow {OC}})={\overrightarrow {OA}}\cdot ({\overrightarrow {OB}}\times ({\overrightarrow {OA}}\times {\overrightarrow {OC}}))={\overrightarrow {OA}}\cdot (({\overrightarrow {OB}}\cdot {\overrightarrow {OC}}){\overrightarrow {OA}}-({\overrightarrow {OB}}\cdot {\overrightarrow {OA}}){\overrightarrow {OC}})=\cos a-\cos b\cos c.}$ Edellä käytettiin tietoa kertomisjärjestyksen vaihtamismahdollisuudesta skalaarikolmitulossa ja vektorikolmitulon laskukaavaa.

Pallotrigonometrian sinilause voidaan johtaa kosinilauseesta trigonometrian peruskaavojen avulla ja toinen kosinilause on ensimmäinen kosinilause sovellettuna ${\displaystyle ABC}$:n napakolmioon ${\displaystyle A'B'C'}$.

Tasogeometrian kolmion kulmasummalause ei päde pallokolmioille. Pallokolmion kulmien summa on aina suurempi kuin ${\displaystyle 180^{\circ }}$. Tämän todistamiseksi tarkastellaan ensin pallokolmiota ${\displaystyle ABC''}$, missä ${\displaystyle C''}$ on pisteen ${\displaystyle C}$ antipodipiste eli ${\displaystyle C}$:stä piirretyn pallon halkaisijan toinen päätepiste. Tämän kolmion sivut ovat ${\displaystyle 180^{\circ }-a,\,180^{\circ }-b,\,c}$. Koska isoympyrän kaari ${\displaystyle c=AB}$ on pallon geodeettinen viiva eli lyhin tie pisteestä ${\displaystyle A}$ pisteeseen ${\displaystyle B}$, on ${\displaystyle c<(180^{\circ }-a)+(180^{\circ }-b)}$ eli ${\displaystyle a+b+c<360^{\circ }}$. Pallokolmion sivujen pituus on siis enintään ${\displaystyle 360^{\circ }}$. Kun tämä relaatio sovitetaan napakolmioon ja otetaan huomioon napakolmion sivujen ja alkuperäisen kolmion kulmien välinen yhteys, saadaan ${\displaystyle 360^{\circ }>a'+b'+c'=(180^{\circ }-A)+(180^{\circ }-B)+(180^{\circ }-C)}$ eli ${\displaystyle A+B+C>180^{\circ }}$. Pallokolmion ja tasokolmion kulmien summien erotusta ${\displaystyle E}$ kutsutaan palloylijäämäksi tai pallokolmioylijäämäksi (engl. spherical excess). Jos pallokolmion kulmien ${\displaystyle A}$, ${\displaystyle B}$ ja ${\displaystyle C}$ suuruudet on ilmoitettu radiaaneissa, palloylijäämä on

${\displaystyle E=(A+B+C)-\pi \,}$.

Pallokolmion pinta-ala ${\displaystyle S}$ on suorassa yhteydessä sen palloylijäämään. Jos kulmayksikkönä käytetään radiaania, on

${\displaystyle S=Er^{2}\,}$,

missä ${\displaystyle r}$ on pallon säde. On nimittäin helppo nähdä, että pallokaksikulmiot, joiden kärjet ovat pallokolmion kärkiä ja sivut pallokolmion jatkeita, peittävät yhteensä puolipallon pinnan ja sen lisäksi kahdesti pallokolmion ${\displaystyle ABC}$. Koska pallokaksikolmioiden alat ovat (jos kulmat ilmaistaan radiaaneina) ${\displaystyle A/(2\pi )\,}$, ${\displaystyle B/(2\pi )\,}$ ja ${\displaystyle C/(2\pi )\,}$ koko pallon pallon pinta-alasta eli ${\displaystyle 2Ar^{2}\,}$, ${\displaystyle 2Br^{2}\,}$ ja ${\displaystyle 2Cr^{2}\,}$, saadaan yhtälö ${\displaystyle 2(A+B+C)r^{2}=2\pi r^{2}+2S\,}$, mistä ${\displaystyle S=Er^{2}\,}$.

Täten palloylijäämä ilmoittaa (steradiaaneissa) sen avaruuskulman, jossa pallokolmio näkyy pallon keskipisteestä katsottuna.

Pallotrigonometrian ensimmäisen kosinilauseen avulla voidaan määrittää kahden maapallon pinnan pisteen ${\displaystyle B}$ ja ${\displaystyle C}$ lyhin etäisyys, kun pisteiden maantieteelliset koordinaatit tunnetaan. Muodostetaan pallokolmio, jonka yksi kärki (${\displaystyle A}$) on pohjoisnapa ja toiset kärjet ${\displaystyle B}$ ja ${\displaystyle C}$. Tällöin ${\displaystyle b}$ (tai ${\displaystyle c}$) on joko ${\displaystyle 90^{\circ }-}$ pisteen leveyskoordinaatti (jos piste on pohjoisella pallonpuoliskolla) tai ${\displaystyle 90^{\circ }+}$ pisteen leveyskoordinaatti (jos piste on eteläisellä pallonpuoliskolla). Kulma ${\displaystyle A}$ on joko pisteiden ${\displaystyle B}$ ja ${\displaystyle C}$ pituuskoordinaattien erotus (jos pisteet ovat molemmat itäisellä tai molemmat läntisellä pallonpuoliskolla) tai pienempi luvuista pituuskoordinaattien summa ja ${\displaystyle 180^{\circ }-}$ pituuskoordinaattien summa (jos toinen piste on läntisellä ja toinen itäisellä pallonpuoliskolla). Ensimmäinen kosinilause kertoo pisteitä ${\displaystyle B}$ ja ${\displaystyle C}$ yhdistävän ispoympyräkaaren kosinin; kun tästä määritetään kulma ${\displaystyle a}$ ja otetaan huomioon maapallon ympärysmitta noin 40000 km, saadaan isoympyräkaaren ${\displaystyle BC}$ pituus ${\displaystyle {\frac {a}{360^{\circ }}}\cdot 40000}$ km.

• Thompson, Jan & Martinsson, Thomas: Matematiikan käsikirja. Helsinki: Tammi, 1994. ISBN 951-31-0471-0.

Wikimedia Commonsissa on kuvia tai muita tiedostoja aiheesta Pallotrigonometria.

• Calculate distance, bearing and more between Latitude/Longitude points (englanniksi)
• World Distance Calculator (Arkistoitu – Internet Archive) (englanniksi)