Seminar 1

Trigonometrie sferic
Datorit faptului c ochiul uman nu poate discerne distanele pn la obiectele cereti (Soarele, Luna, planetele, stelele, etc.), acestea par a se afla la aceeai distan de fiecare persoan care le observ; bolta cereasc apare ca o sfer pe care se deplaseaz corpurile cereti. Pentru scopuri practice imediate (orientare, determinarea timpului, etc.) este necesar cunoaterea direciei de vizare a unui astru, distana pn la acesta fiind irelevant. n plus, cea mai evident micare a atrilor, micarea diurn aparent` este o micare de rotaie omogen fa de observator (micare datorat rotaiei Pmntului), susinnd aparena cerului sferic. Din punct de vedere matematic, n msura n care nu suntem interesai de distanele reale pn la atri, vom opera doar cu direciile pe care acetia se gsesc fa de observator. n acest caz, putem construi o sfer de raz arbitrar i putem echivala n mod trivial "direciile" din spaiul tridimensional cu "punctele" acestei sfere. Astfel, formalismul calculelor ce trebuiesc efectuate pentru determinrile astronomice se simplific de la geometria tridimensional cartezian la o geometrie bidimensional sferic. n cadrul acestei geometrii, "dreptele" sunt nlocuite de cercurile mari de pe suprafaa sferei. Pentru calculele astronomice este important problema rezolvrii triunghiurilor sferice. Pentru aceasta, vor fi demonstrate formulele fundamentale ale trigonometriei sferice, formulele lui Gauss, acesta fiind principalul rezultat al acestei lecii. Aceste formule corespund ntr-o anumit msur relaiilor trigonometrice ce determin triunghiurile plane cum sunt teorema sinusurilor sau teorema cosinusului.

1. Triunghiul sferic. Proprieti. Formulele lui Gauss

Un cerc de pe suprafaa unei sfere se numete cerc mare dac raza sa este egal cu raza sferei. Observaie: Un cerc de pe suprafaa unei sfere este un cerc mare dac i numai dac planul determinat de el conine centrul sferei.

Definiie: Se numete triunghi sferic figura convex determinat pe suprafaa unei sfere de trei cercuri mari neconcurente . Evident, trei cercuri de pe suprafaa unei sfere sunt neconcurente dac nu exist nici un punct care s fie comun tuturor celor trei cercuri. Observaie: Trei cercuri mari determin pe suprafaa unei sfere mai multe triunghiuri sferice. Astfel, n figur, att ABC ct i A'B'C' dar i A'BC sau AB'C', sunt triunghiuri sferice. Msurile laturilor unui triunghi sferic. Se definete msura unei laturi AB a triunghiului sferic ABC ca fiind msura arcului de cerc mare AB. Evident, aceasta este egal cu unghiul la centru AOB. n mod tradiional se noteaz mrimile laturilor unui triunghi ABC astfel: AB=c, AC=b, BC=c. Msurile unghiurilor unui triunghi sferic. Msura unghiului BAC al triunghiului sferic ABC este msura unghiului diedru format de planele (OAB) i (OAC). Observaie. Cum tangenta la un cerc este perpendicular pe raza n punctul de contact, avem c tangentele la cercurile mari AB i AC n punctul A sunt ambele perpendiculare pe muchia diedrului format de planele OAB i OAC. Deci, unghiul unui triunghi sferic se poate msura i ntre tangentele la laturile triunghiului in punctul considerat. Conform definiiei, triunghiul sferic este o figur convex. Aceasta nseamn c msura nici unui unghi al triunghiului nu este mai mare de 180 (o figur concav determinat de trei cercuri mari neconcurente pe suprafaa unei sfere este de exemplu exteriorul triunghiului ABC din figur - aceasta nu face obiectul studiului nostru). Spre deosebire de cazul plan, pentru un triunghi sferic, suma unghiurilor este ntotdeauna mai mare dect 180. Un triunghi se numete dreptunghic dac are (cel puin!) un unghi drept; el se va numi rectilater dac are o latur cu msura de 90. Un exemplu remarcabil de triunghi sferic este triunghiul tridreptunghic (trei unghiuri drepte) trirectilater (trei laturi de 90) - triunghiul format pe globul terestru de ecuator, meriadianele 0 si 90. Proprieti Pentru orice triunghi sferic ABC avem: 0< a+b+c< 360 a< b+c, a-b< c 180 < A+B+C< 540 A+B< 180+C, A-B> 180-C

Aria triunghiului sferic este dat de: unde R este raza sferei, iar E se numete exces sferic i reprezint diferena dintre suma unghiurilor triunghiului i 180 exprimat n radiani.

Demonstraie n ceea ce privete primele dou proprieti, avnd n vedere definiia mrimilor laturilor triunghiului ABC, demonstraia se reduce la o problem simpl de geometrie a tetraedrului OABC. Cea de a treia i cea de a patra proprietate se vor demonstra n seciunea urmtoare, folosind formalismul triunghiurilor polare. Expresia ariei triunghiului sferic face n ntregime subiectul celei de a treia seciuni a acestei lecii. Formulele lui Gauss S considerm un triunghi sferic oarecare ABC pe suprafaa unei sfere de raz R i s construim dou sisteme carteziene de coordonate Oxyz i Ox'y'z' astfel: O este centrul sferei Oz trece prin B planul Oyz este planul (OAB) Oz' trece prin A planul Oy'z' este planul (OAB) Impunnd condiia ca sistemul de coordonate s fie drept, axele Ox i Ox' vor fi determinate. Mai mult, cum planele Oyz i Oy'z' coincid, rezult c Ox=Ox'. Se observ faptul c sistemul Ox'y'z' se obine din sistemul Oxyz printr-o rotaie n jurul axei Ox.

Pentru a gsi un set de expresii ce leag elementele triunghiului sferic ABC, vom adopta urmtoarea strategie: Scriem coordonatele punctului C n sistemul Oxyz Scriem coordonatele punctului C n sistemul Ox'y'z' Scriem expresia transformrii de rotaie a sistemului Oxyz n Ox'y'z'

Coordonatele punctului C n Oxyz

Raportndu-ne acum la elementele triunghiului ABC avem (conform figurii):

i deci obinem:

Coordonatele punctului C n Ox'y'z'

n acest caz avem:

Astfel, obinem:

Rotaia n jurul axei Ox Expresia rotaiei n planul (Oyz)=(Oy'z') este:

Din nou, ne raportm la elementele triunghiului ABC. Avem: de unde rezult imediat:

Formulele lui Gauss Din (1), (2) i (3) obinem

Simplificnd cu R i sciind n ordine invers obinem expresia standard a formulelor lui Gauss:

Prima relaie se numete teorema cosinusurilor pentru trigonometria sferic. Ultima relaie este teorema sinusurilor, iar cea de a doua formul se numete formula celor cinci elemente. Teorema sinusurilor se poate pune i sub forma

2. Triunghiul polar. Formulele lui Gauss pentru unghiuri.

Definiie. Se numesc poli ai unui cerc mare interseciile cu sfera ale dreptei perpendiculare pe planul cercului n centrul sferei. Un exemplu ilustrativ este dat de polii globului terestru care reprezint poli n sensul definiiei de mai sus fa de ecuatorul terestru. Definiie. Se numete triunghi polar (A'B'C') al unui triunghi sferic dat (ABC) un triunghi pentru care fiecare latur are ca pol unul din vrfurile triunghiului ABC.

Astfel, A este pol pentru cercul OB'C', B este pol pentru cercul OA'C' iar C este pol pentru cercul OA'B'. Proprietate Dac A'B'C' este triunghiul polar al triunghiului ABC, avem triunghiul ABC este triunghi polar pentru triunghiul A'B'C' (triunghiul polar al triunghiului polar al unui triunghi dat este triunghiul dat) i n plus: a'=180-A b'=180-B c'=180-C A'=180-a B'=180-b C'=180-c adic laturile triunghiului polar sunt suplementele unghiurilor triunghiului dat iar unghiurile triunghiului polar sunt suplementele laturilor triunghiului dat. Demonstraie Vom schia doar demonstraia afirmaiei de mai sus i a primei relaii, celelalte cinci rezultnd n mod analog.

n primul rnd avem evident faptul c: un punct P este pol pentru un cerc C dac i numai dac distana de la P la dou puncte distincte ale cercului C este de 90.

Astfel BC'=90 (B pol pentru A'C) i AC'=90 (A pol pentru B'C'); de aici rezult conform proprietii de mai sus c C' este pol pentru AB. Analog se arat c B' este pol pentru AC i c A' este pol pentru BC. Deci ABC este triunghi polar al triunghiului A'B'C'. Pentru demonstrarea relaiei a'=180-A, prelungim latura AC care intersecteaz B'C' n E, iar prelungirea arcului AB intersecteaz B'C' n D. Avem: C' este pol pentru cercul ABD, deci C'D=90 B' este pol pentru cercul ACE, deci B'E=90 DE=A fiind egal cu unghiul ODE, diedru pentru planele ABD i ACE a'=B'C'=B'D+DE+EC'=B'E+DC'-DE=90+90-A=180-A.
Observaie: Aceasta nu este o demonstraie riguroas, ea bazndu-se pe doar pe o poziionare particular a polilor prezentat n figur. Mai mult, fiecare dintre cele trei vrfuri ale triunghiului ABC determin doar trei cercuri mari pentru care ele sunt poli. Cum am precizt mai sus, cele tri cercuri determin mai multe triunghiuri pe suprafaa sferei. Evident, nu toate verific formulele de mai sus (dect ntr-o aritmetic modulo 180). Important este faptul c ntotdeauna, pentru orice triunghi sferic exist un alt triunghi sferic care are ca laturi suplementele unghiurilor si ca unghiuri suplementele laturilor triunghiului iniial. Aceasta induce o dualitate unghiuri-laturi pentru triunghiul sferic considerat. Astfel, dac scriem o anumit relaie ntre laturile triunghiului oarecare ABC pentru laturile triunghiul polar A'B'C', vom obine o relaie ntre unghiurile triunghiului ABC

Astfel, dac scriem prima dintre inegalitile ce caracterizeaz orice triunghi sferic ABC: 0< a+b+c< 360 pentru triunghiul polar A'B'C' al acestuia avem: 0< a'+b'+c'< 360 adic 0< 180-A+180-B+180-C< 360 deci: 540> A+B+C> 180, cea de a treia dintre inegalitile din primul paragraf. n mod analog se obin inegalitile A-B> 180-C i A+B< 180+C din a-b< c i a+b> c. n continuare vom aplica acelai raionament i n cazul formulelor lui Gauss. Formulele lui Gauss pentru unghiuri S considerm un triunghi ABC i triunghiul su polar A'B'C'. S scriem acum formulele lui Gauss pentru A'B'C':

Dar conform proprietilor triunghiului polar, avem:

Adic:

Din nou, aplicnd dualitatea unghiuri-laturi introdus de existena triunghiului polar, am obinut un nou set de ecuaii care determin triunghiul ABC. Acestea se numesc formulele lui Gauss pentru unghiuri. n contrast cu aceasta, formulele lui Gauss n forma original se mai numesc formulele lui Gauss pentru unghiuri. Se observ c ultima relaie se putea deduce imediat din teorema sinusurilor pentru laturi. n schimb, demonstrarea geometric a primelor dou relaii ar fi fost extrem de laborioas; se observ nc o dat elegana prin care formalismul triunghiului polar ne aduce informaii noi despre un triunghi sferic.

3. Aria triunghiului sferic.

Demonstrarea formulei ariei triunghiului sferic pleac de formula ariei fusului sferic . Acesta se definete ca fiind zona determinat pe suprafaa unei sfere de dou cercuri mari ale cror planuri formeaz unghiul diedru D. Aria fusului sferic de unghi diedru D este: (pentru a reine aceast formul s observm c ntreaga sfer poate fi definit ca fiind un fus sferic de deschidere 360) S considerm triunghiul ABC ca n figur. Se observ pentru nceput c:

Msurile celor dou triunghiuri sunt evident egale, datorit simetriei. Acum, s considerm urmtoarele fusuri sferice:

nsumnd aceste suprafee se observ c obinem o semisfer plus de dou ori aria triunghiului ABC (acesta aparine fusului B ct i fusului C, deci a fost considerat de dou ori)

Adunnd deci aceste relaii obinem:

Principalele sistemele de coordonate folosite n astronomie (orizontale, ecuatoriale, ecliptice, galactice) au acelai reper - observatorul. O transformare de coordonate de la unul din aceste sisteme la altul este deci echivalent cu un set de rotaii n jurul axelor de coordonate carteziene. Dar, dup cum am artat, formulele care determin rotaia n sistemul cartezian se reduc la formulele lui Gauss n trigonometria sferic. Astfel, determinarea direciilor de observare a corpurilor cereti n diferite sisteme de coordonate se va reduce la rezolvarea unor triunghiuri pe sfera cereasc, folosind fie formulele lui Gauss pentru laturi, fie formulele lui Gauss pentru unghiuri.