기하학 에서 사인 법칙 (-法則, 영어 : law of sines ) 혹은 라미의 정리 는 삼각형 의 변의 길이와 각의 사인 사이의 관계를 나타내는 정리이다. 이에 따라 삼각형의 두 각의 크기와 한 변의 길이를 알 때 남은 두 변의 길이를 구할 수 있다.
사인 법칙의 증명
삼각형
A
B
C
{\displaystyle ABC}
의 변
c
{\displaystyle c}
위의 높이를
h
{\displaystyle h}
라고 하자.[ 1] :20 삼각법에 따라
h
=
b
sin
A
{\displaystyle h=b\sin A}
이므로, 삼각형
A
B
C
{\displaystyle ABC}
의 넓이
K
{\displaystyle K}
는 다음과 같다.
K
=
1
2
c
h
=
1
2
b
c
sin
A
{\displaystyle K={\frac {1}{2}}ch={\frac {1}{2}}bc\sin A}
자모를 치환하면 다음과 같은 등식을 얻는다.
2
K
=
b
c
sin
A
=
a
c
sin
B
=
a
b
sin
C
{\displaystyle 2K=bc\sin A=ac\sin B=ab\sin C}
양변에
a
b
c
{\displaystyle abc}
를 나누면 사인 법칙을 얻는다.
sin
A
a
=
sin
B
b
=
sin
C
c
{\displaystyle {\frac {\sin A}{a}}={\frac {\sin B}{b}}={\frac {\sin C}{c}}}
C
{\displaystyle C}
가 예각일 경우
C
{\displaystyle C}
가 직각일 경우
C
{\displaystyle C}
가 둔각일 경우
삼각형
A
B
C
{\displaystyle ABC}
의 외접원 을 그리자.[ 1] :52
A
{\displaystyle A}
를 지나는 지름을
A
D
{\displaystyle AD}
라고 하자. 따라서
A
B
D
{\displaystyle ABD}
는 직각 삼각형이며, 빗변은
A
D
=
2
R
{\displaystyle AD=2R}
이다. 삼각법에 따라 다음이 성립한다.
c
=
2
R
sin
D
{\displaystyle c=2R\sin D}
만약
C
{\displaystyle C}
가 예각일 경우,
C
{\displaystyle C}
와
D
{\displaystyle D}
는 같은 호의 원주각 이므로
∠
C
=
∠
D
{\displaystyle \angle C=\angle D}
이다. 따라서 다음이 성립한다.
c
=
2
R
sin
C
{\displaystyle c=2R\sin C}
만약
C
{\displaystyle C}
가 직각일 경우,
B
{\displaystyle B}
와
D
{\displaystyle D}
는 같은 점이므로,
2
R
=
c
{\displaystyle 2R=c}
이며
sin
C
=
1
{\displaystyle \sin C=1}
이다. 따라서 역시 위와 같은 식이 성립한다. 만약
C
{\displaystyle C}
가 둔각일 경우,
C
{\displaystyle C}
와
D
{\displaystyle D}
는 내접 사각형 의 두 마주보는 각이므로,
∠
C
=
π
−
∠
D
{\displaystyle \angle C=\pi -\angle D}
이다. 따라서 역시 위와 같은 식이 성립한다. 남은 두 각
A
,
B
{\displaystyle A,B}
에 대한 식 역시 마찬가지로 증명할 수 있다.
코사인 법칙 에 따라 다음이 성립한다.[ 2] :180
sin
2
A
a
2
=
1
−
cos
2
A
a
2
=
4
b
2
c
2
−
4
b
2
c
2
cos
2
A
4
a
2
b
2
c
2
=
4
b
2
c
2
−
(
b
2
+
c
2
−
4
b
c
)
2
4
a
2
b
2
c
2
=
(
a
+
b
+
c
)
(
a
+
b
−
c
)
(
a
−
b
+
c
)
(
b
+
c
−
a
)
4
a
2
b
2
c
2
{\displaystyle {\begin{aligned}{\frac {\sin ^{2}A}{a^{2}}}&={\frac {1-\cos ^{2}A}{a^{2}}}\\&={\frac {4b^{2}c^{2}-4b^{2}c^{2}\cos ^{2}A}{4a^{2}b^{2}c^{2}}}\\&={\frac {4b^{2}c^{2}-(b^{2}+c^{2}-4bc)^{2}}{4a^{2}b^{2}c^{2}}}\\&={\frac {(a+b+c)(a+b-c)(a-b+c)(b+c-a)}{4a^{2}b^{2}c^{2}}}\end{aligned}}}
결과가
a
,
b
,
c
{\displaystyle a,b,c}
에 대하여 대칭적이므로, 변의 선택에 의존하지 않는다. 또한, 세 변과 세 각의 사인은 모두 양수이므로, 사인 법칙이 성립한다.
구의 중심을
O
{\displaystyle O}
라고 하자.
O
A
{\displaystyle OA}
에서 아무 점
P
{\displaystyle P}
를 취하자.
P
{\displaystyle P}
를 지나는 평면
B
O
C
{\displaystyle BOC}
의 수선을
P
D
{\displaystyle PD}
라고 하자.
D
{\displaystyle D}
를 지나는 직선
O
B
,
O
C
{\displaystyle OB,OC}
의 수선을 각각
D
E
,
D
F
{\displaystyle DE,DF}
라고 하자. 삼수선 정리 에 따라
P
E
,
P
F
{\displaystyle PE,PF}
는 각각
O
B
,
O
C
{\displaystyle OB,OC}
와 수직이다. 삼각법에 따라 다음이 성립한다.
P
D
=
P
E
sin
B
=
O
P
sin
c
sin
B
{\displaystyle PD=PE\sin B=OP\sin c\sin B}
P
D
=
P
F
sin
C
=
O
P
sin
b
sin
C
{\displaystyle PD=PF\sin C=OP\sin b\sin C}
두 식에서
P
D
/
O
P
{\displaystyle PD/OP}
를 소거하면 다음을 얻는다.
sin
b
sin
B
=
sin
c
sin
C
{\displaystyle {\frac {\sin b}{\sin B}}={\frac {\sin c}{\sin C}}}
남은 한 등식 역시 같은 방법으로 증명하면 구면 사인 법칙을 얻는다.[ 3] :21, Art. 42
구의 중심과 세 꼭짓점
A
,
B
,
C
{\displaystyle A,B,C}
를 잇는 벡터를 각각
a
,
b
,
c
{\displaystyle \mathbf {a} ,\mathbf {b} ,\mathbf {c} }
라고 하자. 삼중곱 의 정의에 따라 다음이 성립한다.
(
a
×
b
)
×
(
a
×
c
)
=
(
(
a
×
b
)
⋅
c
)
a
{\displaystyle (\mathbf {a} \times \mathbf {b} )\times (\mathbf {a} \times \mathbf {c} )=((\mathbf {a} \times \mathbf {b} )\cdot \mathbf {c} )\mathbf {a} }
(
b
×
a
)
×
(
b
×
c
)
=
(
(
b
×
a
)
⋅
c
)
b
{\displaystyle (\mathbf {b} \times \mathbf {a} )\times (\mathbf {b} \times \mathbf {c} )=((\mathbf {b} \times \mathbf {a} )\cdot \mathbf {c} )\mathbf {b} }
(
c
×
a
)
×
(
c
×
b
)
=
(
(
c
×
a
)
⋅
b
)
c
{\displaystyle (\mathbf {c} \times \mathbf {a} )\times (\mathbf {c} \times \mathbf {b} )=((\mathbf {c} \times \mathbf {a} )\cdot \mathbf {b} )\mathbf {c} }
따라서 다음이 성립한다.
|
(
a
×
b
)
×
(
a
×
c
)
|
=
|
(
b
×
a
)
×
(
b
×
c
)
|
=
|
(
c
×
a
)
×
(
c
×
b
)
|
{\displaystyle |(\mathbf {a} \times \mathbf {b} )\times (\mathbf {a} \times \mathbf {c} )|=|(\mathbf {b} \times \mathbf {a} )\times (\mathbf {b} \times \mathbf {c} )|=|(\mathbf {c} \times \mathbf {a} )\times (\mathbf {c} \times \mathbf {b} )|}
여기에 다음을 대입하면 구면 사인 법칙을 얻는다.
|
(
a
×
b
)
×
(
a
×
c
)
|
=
sin
c
sin
b
sin
A
{\displaystyle |(\mathbf {a} \times \mathbf {b} )\times (\mathbf {a} \times \mathbf {c} )|=\sin c\sin b\sin A}
|
(
b
×
a
)
×
(
b
×
c
)
|
=
sin
c
sin
a
sin
B
{\displaystyle |(\mathbf {b} \times \mathbf {a} )\times (\mathbf {b} \times \mathbf {c} )|=\sin c\sin a\sin B}
|
(
c
×
a
)
×
(
c
×
b
)
|
=
sin
b
sin
a
sin
C
{\displaystyle |(\mathbf {c} \times \mathbf {a} )\times (\mathbf {c} \times \mathbf {b} )|=\sin b\sin a\sin C}
제1 구면 코사인 법칙 을 사용하여 구면 사인 법칙을 다음과 같이 증명할 수 있다.[ 3] :20-21, Art. 40, 41
sin
2
A
sin
2
a
=
1
−
cos
2
A
sin
2
a
=
sin
2
b
sin
2
c
−
sin
2
b
sin
2
c
cos
2
A
sin
2
a
sin
2
b
sin
2
c
=
sin
2
b
sin
2
c
−
(
cos
a
−
cos
b
cos
c
)
2
sin
2
a
sin
2
b
sin
2
c
=
1
−
cos
2
a
−
cos
2
b
−
cos
2
c
+
2
cos
a
cos
b
cos
c
sin
2
a
sin
2
b
sin
2
c
{\displaystyle {\begin{aligned}{\frac {\sin ^{2}A}{\sin ^{2}a}}&={\frac {1-\cos ^{2}A}{\sin ^{2}a}}\\&={\frac {\sin ^{2}b\sin ^{2}c-\sin ^{2}b\sin ^{2}c\cos ^{2}A}{\sin ^{2}a\sin ^{2}b\sin ^{2}c}}\\&={\frac {\sin ^{2}b\sin ^{2}c-(\cos a-\cos b\cos c)^{2}}{\sin ^{2}a\sin ^{2}b\sin ^{2}c}}\\&={\frac {1-\cos ^{2}a-\cos ^{2}b-\cos ^{2}c+2\cos a\cos b\cos c}{\sin ^{2}a\sin ^{2}b\sin ^{2}c}}\end{aligned}}}
제1 쌍곡 코사인 법칙 을 사용하여 쌍곡 사인 법칙을 다음과 같이 증명할 수 있다.[ 4] :74
sin
2
A
sinh
2
a
=
1
−
cos
2
A
sinh
2
a
=
sinh
2
b
sinh
2
c
−
sinh
2
b
sinh
2
c
cos
2
A
sinh
2
a
sinh
2
b
sinh
2
c
=
sinh
2
b
sinh
2
c
−
(
cosh
b
cosh
c
−
cosh
a
)
2
sinh
2
a
sinh
2
b
sinh
2
c
=
1
−
cosh
2
a
−
cosh
2
b
−
cosh
2
c
+
2
cosh
a
cosh
b
cosh
c
sinh
2
a
sinh
2
b
sinh
2
c
{\displaystyle {\begin{aligned}{\frac {\sin ^{2}A}{\sinh ^{2}a}}&={\frac {1-\cos ^{2}A}{\sinh ^{2}a}}\\&={\frac {\sinh ^{2}b\sinh ^{2}c-\sinh ^{2}b\sinh ^{2}c\cos ^{2}A}{\sinh ^{2}a\sinh ^{2}b\sinh ^{2}c}}\\&={\frac {\sinh ^{2}b\sinh ^{2}c-(\cosh b\cosh c-\cosh a)^{2}}{\sinh ^{2}a\sinh ^{2}b\sinh ^{2}c}}\\&={\frac {1-\cosh ^{2}a-\cosh ^{2}b-\cosh ^{2}c+2\cosh a\cosh b\cosh c}{\sinh ^{2}a\sinh ^{2}b\sinh ^{2}c}}\end{aligned}}}