Neka je

. Onda je

. Neka je

, ocigledno je

. Onda je na osnovu sinusne teoreme u

vazi

, pa je

. Sada je

, pa je

. Sada cemo pokazati da je

.
Neka je

. Onda je

,

i

.
Sad se ovo gore svodi na

, sto posle svodjenja na zajednicki postaje ekvivalentno sa

, odnosno

. Sada posto je

, ovo prethondo postaje ekvivalentno sa

, odnosno

, sto je i trebalo pokazati.
Na osnovu ovoga zakljcujemo da je

, pa kako je

to je

.
[Ovu poruku je menjao qzqzqz dana 18.06.2006. u 14:33 GMT+1]