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]