Proofs for the Spherical Laws of sines and Cosines
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
I am looking for "classical" proofs for the spherical laws of sines and cosines. A proof that relies only on knowledge that was common to the ancient greek geometers, not containing analytical geometry and vectors and such.
Thanks!
geometry trigonometry euclidean-geometry spherical-geometry spherical-trigonometry
add a comment |Â
up vote
0
down vote
favorite
I am looking for "classical" proofs for the spherical laws of sines and cosines. A proof that relies only on knowledge that was common to the ancient greek geometers, not containing analytical geometry and vectors and such.
Thanks!
geometry trigonometry euclidean-geometry spherical-geometry spherical-trigonometry
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
I am looking for "classical" proofs for the spherical laws of sines and cosines. A proof that relies only on knowledge that was common to the ancient greek geometers, not containing analytical geometry and vectors and such.
Thanks!
geometry trigonometry euclidean-geometry spherical-geometry spherical-trigonometry
I am looking for "classical" proofs for the spherical laws of sines and cosines. A proof that relies only on knowledge that was common to the ancient greek geometers, not containing analytical geometry and vectors and such.
Thanks!
geometry trigonometry euclidean-geometry spherical-geometry spherical-trigonometry
edited Jul 23 at 7:45
asked Jul 23 at 7:28


Gouni Jacobi
63
63
add a comment |Â
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
0
down vote
Let $A$, $B$, $C$ the vertices of a spherical triangle on a sphere of unit radius and center $O$ (see diagram below). Spherical angle $angle ACB=gamma$ is by definition angle $angle ECF$ formed by tangent lines at $C$.
In right triangles $OCE$ and $OCF$ we have then $EC=tan b$ and $FC=tan a$, so by the cosine rule in triangle $CEF$:
$$
EF^2=tan^2 a+tan^2 b-2tan atan bcosgamma.
$$
On the other hand we also have $OE=sec b$ and $OF=sec a$, so by the cosine rule in triangle $OEF$:
$$
EF^2=sec^2 a+sec^2 b-2sec asec bcos c.
$$
Equating the right hand sides of both formulas leads, after some simplifications, to:
$$
cos c=cos acos b+sin a sin bcosgamma,
$$
which is the spherical cosine rule.
This proof works as long as $a$ and $b$ are acute angles, but I think it can also be extended, with some modifications, to the other cases.
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
Let $A$, $B$, $C$ the vertices of a spherical triangle on a sphere of unit radius and center $O$ (see diagram below). Spherical angle $angle ACB=gamma$ is by definition angle $angle ECF$ formed by tangent lines at $C$.
In right triangles $OCE$ and $OCF$ we have then $EC=tan b$ and $FC=tan a$, so by the cosine rule in triangle $CEF$:
$$
EF^2=tan^2 a+tan^2 b-2tan atan bcosgamma.
$$
On the other hand we also have $OE=sec b$ and $OF=sec a$, so by the cosine rule in triangle $OEF$:
$$
EF^2=sec^2 a+sec^2 b-2sec asec bcos c.
$$
Equating the right hand sides of both formulas leads, after some simplifications, to:
$$
cos c=cos acos b+sin a sin bcosgamma,
$$
which is the spherical cosine rule.
This proof works as long as $a$ and $b$ are acute angles, but I think it can also be extended, with some modifications, to the other cases.
add a comment |Â
up vote
0
down vote
Let $A$, $B$, $C$ the vertices of a spherical triangle on a sphere of unit radius and center $O$ (see diagram below). Spherical angle $angle ACB=gamma$ is by definition angle $angle ECF$ formed by tangent lines at $C$.
In right triangles $OCE$ and $OCF$ we have then $EC=tan b$ and $FC=tan a$, so by the cosine rule in triangle $CEF$:
$$
EF^2=tan^2 a+tan^2 b-2tan atan bcosgamma.
$$
On the other hand we also have $OE=sec b$ and $OF=sec a$, so by the cosine rule in triangle $OEF$:
$$
EF^2=sec^2 a+sec^2 b-2sec asec bcos c.
$$
Equating the right hand sides of both formulas leads, after some simplifications, to:
$$
cos c=cos acos b+sin a sin bcosgamma,
$$
which is the spherical cosine rule.
This proof works as long as $a$ and $b$ are acute angles, but I think it can also be extended, with some modifications, to the other cases.
add a comment |Â
up vote
0
down vote
up vote
0
down vote
Let $A$, $B$, $C$ the vertices of a spherical triangle on a sphere of unit radius and center $O$ (see diagram below). Spherical angle $angle ACB=gamma$ is by definition angle $angle ECF$ formed by tangent lines at $C$.
In right triangles $OCE$ and $OCF$ we have then $EC=tan b$ and $FC=tan a$, so by the cosine rule in triangle $CEF$:
$$
EF^2=tan^2 a+tan^2 b-2tan atan bcosgamma.
$$
On the other hand we also have $OE=sec b$ and $OF=sec a$, so by the cosine rule in triangle $OEF$:
$$
EF^2=sec^2 a+sec^2 b-2sec asec bcos c.
$$
Equating the right hand sides of both formulas leads, after some simplifications, to:
$$
cos c=cos acos b+sin a sin bcosgamma,
$$
which is the spherical cosine rule.
This proof works as long as $a$ and $b$ are acute angles, but I think it can also be extended, with some modifications, to the other cases.
Let $A$, $B$, $C$ the vertices of a spherical triangle on a sphere of unit radius and center $O$ (see diagram below). Spherical angle $angle ACB=gamma$ is by definition angle $angle ECF$ formed by tangent lines at $C$.
In right triangles $OCE$ and $OCF$ we have then $EC=tan b$ and $FC=tan a$, so by the cosine rule in triangle $CEF$:
$$
EF^2=tan^2 a+tan^2 b-2tan atan bcosgamma.
$$
On the other hand we also have $OE=sec b$ and $OF=sec a$, so by the cosine rule in triangle $OEF$:
$$
EF^2=sec^2 a+sec^2 b-2sec asec bcos c.
$$
Equating the right hand sides of both formulas leads, after some simplifications, to:
$$
cos c=cos acos b+sin a sin bcosgamma,
$$
which is the spherical cosine rule.
This proof works as long as $a$ and $b$ are acute angles, but I think it can also be extended, with some modifications, to the other cases.
edited Jul 23 at 14:19
answered Jul 23 at 14:11


Aretino
21.7k21342
21.7k21342
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2860097%2fproofs-for-the-spherical-laws-of-sines-and-cosines%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password