{{위키데이터 속성 추적}}
[[기하학]]에서 '''코사인 법칙'''(cosine法則, {{llang|en|law of cosines}})은 [[삼각형]]의 세 변과 한 각의 [[코사인]] 사이에 성립하는 정리이다. 이에 따르면, 삼각형의 두 변의 제곱합에서 사잇각의 코사인과 그 두 변의 곱의 2배를 빼면, 남은 변의 제곱과 같아진다. 삼각형의 두 변의 [[직각 삼각형]]에 대한 [[피타고라스의 정리]]에 대한 일반화이다. 코사인 법칙은 삼각형의 두 변과 그 사잇각을 알 때 남은 한 변을 구하거나, 세 변을 알 때 세 각을 구하는 데 사용될 수 있다.

== 정의 ==
[[파일:Triangle with notations 2.svg|섬네일|삼각형의 세 각 <math>A,B,C</math> 및 이들이 마주하는 변 <math>a,b,c</math>]]
삼각형 <math>ABC</math>의 세 각 <math>A,B,C</math>가 마주하는 변이 각각 <math>a,b,c</math>라고 하면, 다음이 성립한다.
:<math>c^2=a^2+b^2-2ab\cos C</math>
여기서 <math>\cos</math>은 [[삼각 함수]]의 하나인 [[코사인]]이다. 이를 '''코사인 법칙'''이라고 한다.<ref name="Isaacs">{{서적 인용
|성=Isaacs
|이름=I. Martin
|제목=Geometry for College Students
|언어=en
|총서=The Brooks/Cole Series in Advanced Mathematics
|출판사=Brooks/Cole
|날짜=2001
|isbn=0-534-35179-4 
}}</ref>{{rp|67}}

코사인 법칙을 통해 삼각형의 두 변과 그 사잇각으로부터 제3의 변을 구할 수 있다. 또한, 삼각형의 세 변으로부터 세 각을 다음과 같이 구할 수 있다.<ref name="Isaacs" />{{rp|67}}
:<math>\cos C=\frac{a^2+b^2-c^2}{2ab}</math>

코사인 법칙에서 <math>C</math>가 [[직각]]일 경우, <math>\cos C=0</math>이므로, 다음과 같은 [[피타고라스의 정리]]를 얻는다.<ref name="Isaacs" />{{rp|67}}
:<math>c^2=a^2+b^2</math>

== 역사 ==
[[유클리드]]의 《[[에우클레이데스의 원론|원론]]》 2권 명제12 및 명제 13은 코사인 법칙과 동치인 명제를 서술한다.
{{인용문|명제12<br />둔각 삼각형에서, 둔각을 마주하는 변 위의 정사각형은 둔각을 이루는 변들 위의 정사각형들(의 합)보다 수직 (직선)이 내려진 둔각의 변, 그리고 둔각을 향한 수직 (직선)에 의해 (삼각형의) 밖에서 절단된 (직선)이 이루는 (직사각형)의 두 배만큼 많다.<br />Proposition 12†<br />In obtuse-angled triangles, the square on the side subtending the obtuse angle is greater than the (sum of the) squares on the sides containing the obtuse angle by twice the (rectangle) contained by one of the sides around the obtuse angle, to which a perpendicular (straight-line) falls, and the (straight-line) cut off outside (the triangle) by the perpendicular (straight-line) towards the obtuse angle.
|<ref name="Heiberg">{{서적 인용
|url=http://farside.ph.utexas.edu/Books/Euclid/Elements.pdf
|성=Fitzpatrick
|이름=Richard
|제목=Euclid's Elements of Geometry
|언어=en
|날짜=2008
|isbn=978-0-6151-7984-1
|확인날짜=2018-12-10
}}</ref>{{rp|64}}
}}
{{인용문|명제13<br />예각 삼각형에서, 예각을 마주하는 변 위의 정사각형은 예각을 이루는 변들 위의 정사각형들(의 합)보다 수직 (직선)이 내려진 예각의 변, 그리고 예각을 향하는 수직 (직선)에 의해 (삼각형의) 안에서 절단된 (직선)이 이루는 (직사각형)의 두 배만큼 적다.<br />Proposition 13†<br />In acute-angled triangles, the square on the side subtending the acute angle is less than the (sum of the) squares on the sides containing the acute angle by twice the (rectangle) contained by one of the sides around the acute angle, to which a perpendicular (straight-line) falls, and the (straight-line) cut off inside (the triangle) by the perpendicular (straight-line) towards the acute angle.
|<ref name="Heiberg" />{{rp|65}}
}}

[[레기오몬타누스]]는 1462~3년에 작성한 《삼각형에 대하여》({{llang|la|De Triangulis}})에서 (제1) 구면 코사인 법칙을 제시하였다.<ref name="Kline">{{서적 인용
|성=Kline
|이름=Morris
|제목=Mathematical Thoughts from Ancient to Modern Times. Volume 1
|언어=en
|출판사=Oxford University Press
|위치=New York, New York
|날짜=1972
|isbn=0-19-506135-7
}}</ref>{{rp|238-239, §12.4}} [[프랑수아 비에트]]는 1579년 저서 《표준 수학》({{llang|la|Canon Mathematicus}})에서 제2 구면 코사인 법칙을 제시하였다.<ref name="Kline" />{{rp|239-240, §12.4}}

== 증명 ==
=== 유클리드의 《원론》에서의 증명 ===
[[파일:Obtuse Triangle With Altitude ZP2.svg|섬네일|코사인 법칙의 [[유클리드]]의 《[[에우클레이데스의 원론|원론]]》에서의 증명]]
그림과 같이, <math>C</math>를 둔각으로 하는 둔각 삼각형 <math>ABC</math>의 높이선 <math>BH</math>를 긋자. 그렇다면, <math>ABH</math>는 <math>H</math>를 직각으로 하는 직각 삼각형이므로, [[피타고라스의 정리]]에 따라 다음이 성립한다.
:<math>AB^2=AH^2+BH^2</math>
또한, <math>AH=AC+CH</math>이므로, 다음이 성립한다.
:<math>AB^2=(AC+CH)^2+BH^2=AC^2+2(AC)(CH)+CH^2+BH^2</math>
마지막 두 항을 직각 삼각형 <math>BCH</math>에 대한 피타고라스의 정리를 통해 정리하면 다음을 얻는다.
:<math>AB^2=AC^2+2(AC)(CH)+BC^2</math>
이로써 [[유클리드]]의 《[[에우클레이데스의 원론|원론]]》 2권 명제12가 증명된다. 코사인의 정의에 따라
:<math>\cos C=-\cos(\pi-C)=-\frac{CH}{BC}</math>
이므로, 코사인 법칙
:<math>AB^2=AC^2+BC^2-2(AC)(BC)\cos C</math>
이 <math>C</math>가 둔각일 경우 성립함을 알 수 있다.<ref name="Heiberg" />{{rp|64-65}} <math>C</math>가 예각일 경우의 증명은 이와 비슷하다.

=== 삼각법을 통한 증명 ===
[[파일:Triangle-with-cosines.svg|섬네일|코사인 법칙의 [[삼각법]]을 통한 증명]]
삼각형의 세 변을 각각 높이선으로 안에서 또는 밖에서 나누면 다음을 얻는다.<ref>한국의 일부 문헌에서는 이를 '''제1 코사인 법칙'''이라고 부르며, 원래의 코사인 법칙을 '''제2 코사인 법칙'''이라고 부른다. 예시로는 다음을 참고할 수 있다. {{서적 인용
|url=https://books.google.com.br/books?id=Ae-vAwAAQBAJ
|저자=임해호
|제목=풍산자가 들려주는 고등학교 1학년 수학 이야기
|출판사=EASTASIA
|날짜=2009
|isbn=9788962620023
}}</ref>
:<math>a=b\cos C+c\cos B</math>
:<math>b=a\cos C+c\cos A</math>
:<math>c=a\cos B+b\cos A</math>
세 등식의 양변에 각각 <math>a,b,c</math>를 곱하면 다음을 얻는다.
:<math>a^2=ab\cos C+ac\cos B</math>
:<math>b^2=ab\cos C+bc\cos A</math>
:<math>c^2=ac\cos B+bc\cos A</math>
이제 첫째 등식에 둘째 등식을 더한 뒤 셋째 등식을 빼면 다음을 얻는다.
:<math>a^2+b^2-c^2=2ab\cos C</math>
이로써 코사인 법칙이 증명된다.

=== 벡터와 스칼라곱을 사용한 증명 ===
다음과 같은 세 벡터를 정의하자.
:<math>\mathbf a=\overrightarrow{CB},\;\mathbf b=\overrightarrow{CA},\;\mathbf c=\overrightarrow{AB}=\mathbf a-\mathbf b</math>
그렇다면, 벡터 <math>\mathbf a,\mathbf b,\mathbf c</math>의 길이는 각각 <math>a,b,c</math>이며, 벡터 <math>\mathbf a</math>와 <math>\mathbf b</math> 사이의 각도는 <math>C</math>이다. 따라서, 코사인 법칙을 [[벡터]]의 [[스칼라곱]]의 성질에 따라 다음과 같이 간단히 증명할 수 있다.<ref name="Stillwell">{{서적 인용
|성=Stillwell
|이름=John
|제목=The Four Pillars of Geometry
|언어=en
|총서=Undergraduate Texts in Mathematics
|출판사=Springer
|날짜=2005
|isbn=978-0387-25530-9
}}</ref>{{rp|78}}
:<math>\begin{align}c^2
&=\mathbf c\cdot\mathbf c\\
&=(\mathbf a-\mathbf b)\cdot(\mathbf a-\mathbf b)\\
&=\mathbf a\cdot\mathbf a+\mathbf b\cdot\mathbf b-2\mathbf a\cdot\mathbf b\\
&=a^2+b^2-2ab\cos C
\end{align}</math>

== 비유클리드 기하학의 경우 ==
=== 구면 코사인 법칙 ===
[[파일:Spherical triangle with notations.png|섬네일|구면 삼각형의 세 각 <math>A,B,C</math>와 이들이 마주하는 세 변 <math>a,b,c</math>]]
[[단위 구면]] 위의 [[구면 삼각형]] <math>ABC</math>의 세 각 <math>A,B,C</math>가 마주하는 세 변이 각각 <math>a,b,c</math>라고 하면, 다음이 성립한다.
:<math>\cos c=\cos a\cos b+\sin a\sin b\cos C</math>
여기서 <math>\cos,\sin</math>은 각각 [[코사인]], [[삼각 함수|사인]]이다. 이를 '''(제1) 구면 코사인 법칙'''(第一球面cosine法則, {{llang|en|(first) spherical law of cosines}})이라고 한다. 이에 대한 쌍대 명제는 다음과 같다.
:<math>\cos C=-\cos A\cos B+\sin A\sin B\cos c</math>
이를 '''제2 구면 코사인 법칙'''(第二球面cosine法則, {{llang|en|second spherical law of cosines}})이라고 한다.

이 둘은 각각 다음과 같이 쓸 수 있다.
:<math>\cos C=\frac{\cos c-\cos a\cos b}{\sin a\sin b}</math>
:<math>\cos c=\frac{\cos C+\cos A\cos B}{\sin A\sin B}</math>

==== 제1 구면 코사인 법칙의 증명 (법벡터 사용) ====
다음과 같은 벡터들을 정의하자.
:<math>\mathbf u=\frac{
\overrightarrow{OA}-(\overrightarrow{OC}\cdot\overrightarrow{OA})\overrightarrow{OC}}{|
\overrightarrow{OA}-(\overrightarrow{OC}\cdot\overrightarrow{OA})\overrightarrow{OC}|},\;\mathbf v=\frac{
\overrightarrow{OB}-(\overrightarrow{OC}\cdot\overrightarrow{OB})\overrightarrow{OC}}{|
\overrightarrow{OB}-(\overrightarrow{OC}\cdot\overrightarrow{OB})\overrightarrow{OC}|}</math>
즉, <math>\mathbf u,\mathbf v</math>는 각각 <math>C</math>에서 <math>A,B</math>를 향하는 구면의 단위 [[접벡터]]이다. 그렇다면, <math>\mathbf u,\mathbf v</math> 사이의 각도는 <math>C</math>이다. 또한, <math>\{\overrightarrow{OC},\mathbf u\},\{\overrightarrow{OC},\mathbf v\}</math>는 각각 평면 <math>OAC,OAB</math>의 [[정규 직교 기저]]를 이루므로, <math>\overrightarrow{OA},\overrightarrow{OB}</math>를 각각 다음과 같이 분해할 수 있다.
:<math>\overrightarrow{OA}=\cos a\cdot\overrightarrow{OC}+\sin a\cdot\mathbf u</math>
:<math>\overrightarrow{OB}=\cos b\cdot\overrightarrow{OC}+\sin b\cdot\mathbf v</math>
따라서, 다음이 성립한다.
:<math>\begin{align}\cos c
&=\overrightarrow{OA}\cdot\overrightarrow{OB}\\
&=(\cos a\cdot\overrightarrow{OC}+\sin a\cdot\mathbf u)\cdot(\cos b\cdot\overrightarrow{OC}+\sin b\cdot\mathbf v)\\
&=\cos a\cos b+\sin a\sin b\cos C
\end{align}</math>

==== 제1 구면 코사인 법칙의 증명 (비네-코시 항등식 사용) ====
단위 구면의 중심을 <math>O</math>라고 하자. 또한, 다음과 같은 세 벡터를 정의하자.
:<math>\mathbf a=\overrightarrow{OA},\;\mathbf b=\overrightarrow{OB},\;\mathbf c=\overrightarrow{OC}</math>
그렇다면, <math>\mathbf a,\mathbf b,\mathbf c</math>의 길이는 모두 1이며, <math>\mathbf a,\mathbf b</math> 사이의 각도는 <math>c</math>이며, <math>\mathbf a,\mathbf c</math> 사이의 각도는 <math>b</math>이며, <math>\mathbf b,\mathbf c</math> 사이의 각도는 <math>a</math>이다. 따라서, [[벡터곱]] <math>\mathbf a\times\mathbf b</math>, <math>\mathbf a\times\mathbf c</math>, <math>\mathbf b\times\mathbf c</math>의 길이는 각각 <math>\sin c</math>, <math>\sin b</math>, <math>\sin a</math>이다. 또한, <math>\mathbf a\times\mathbf b</math>와 <math>\mathbf a\times\mathbf c</math> 사이의 각도는 <math>A</math>이며, <math>\mathbf b\times\mathbf a</math>와 <math>\mathbf b\times\mathbf c</math> 사이의 각도는 <math>B</math>이며, <math>\mathbf c\times\mathbf a</math>와 <math>\mathbf c\times\mathbf b</math> 사이의 각도는 <math>C</math>이다. 이제, [[비네-코시 항등식]]에 따라 다음이 성립함에 주의하자.
:<math>(\mathbf c\times\mathbf b)\cdot(\mathbf c\times\mathbf a)=(\mathbf c\cdot\mathbf c)(\mathbf a\cdot\mathbf b)-(\mathbf c\cdot\mathbf b)(\mathbf c\cdot\mathbf a)</math>
여기에 위의 결과들을 대입하면 다음을 얻는다.
:<math>\sin a\sin b\cos C=\cos c-\cos a\cos b</math>
이로써 제1 구면 코사인 법칙이 증명된다.

==== 제2 구면 코사인 법칙의 증명 ====
구면 삼각형 <math>ABC</math>의 [[극삼각형]]을 <math>A'B'C'</math>라고 하자. 그렇다면, 다음이 성립한다.
:<math>a'=\pi-A,\;b'=\pi-B,\;c'=\pi-C</math>
:<math>A'=\pi-a,\;B'=\pi-b,\;C'=\pi-c</math>
따라서 제1 구면 코사인 법칙을 극삼각형 <math>A'B'C'</math>에 적용하면, 구면 삼각형 <math>ABC</math>에 대한 제2 구면 코사인 법칙을 얻는다.

=== 쌍곡 코사인 법칙 ===
[[가우스 곡률]] -1의 [[쌍곡면]] 위의 [[쌍곡 삼각형]] <math>ABC</math>의 세 각 <math>A,B,C</math>이 마주하는 변이 각각 <math>a,b,c</math>라고 하면, 다음이 성립한다.
:<math>\cosh c=\cosh a\cosh b-\sinh a\sinh b\cos C</math>
여기서 <math>\cosh,\sinh</math>는 각각 [[쌍곡 코사인]], [[쌍곡 사인]]이다. 이를 '''(제1) 쌍곡 코사인 법칙'''((第一)雙曲cosine法則, {{llang|en|(first) hyperbolic law of cosines}})이라고 한다. 마찬가지로, 다음이 성립한다.
:<math>\cos C=-\cos A\cos B+\sin A\sin B\cosh c</math>
이를 '''제2 쌍곡 코사인 법칙'''(第二雙曲cosine法則, {{llang|en|second hyperbolic law of cosines}})이라고 한다.

이 두 법칙은 각각 다음과 같이 다시 쓸 수 있다.<ref name="liz" />{{rp|72}}
:<math>\cos C=\frac{\cosh a\cosh b-\cosh c}{\sinh a\sinh b}</math>
:<math>\cosh c=\frac{\cos A\cos B+\cos C}{\sin A\sin B}</math>

특히, <math>C</math>가 직각일 경우의 제1 쌍곡 코사인 법칙은 [[쌍곡 피타고라스 정리]]가 된다.<ref name="liz" />{{rp|72}}
:<math>\cosh c=\cosh a\cosh b</math>

==== 제1 쌍곡 코사인 법칙의 증명 ====
[[복소 평면]] <math>\mathbb C</math> 위의 [[열린집합|열린]] [[단위 원판]] <math>D\subseteq\mathbb C</math> 위에서 [[푸앵카레 원판 모형]]을 취하자. 쌍곡 삼각형 <math>z_1,z_2,z_3</math>의 세 각의 크기를 <math>A,B,C</math>, 세 변의 길이를 <math>a,b,c</math>라고 하자. <math>D</math> 위에 적절한 [[등거리 변환]]을 가하여 <math>z_3,z_2,z_1</math>을 각각 원점 0, 양의 실수 <math>r\in \mathbb R^+</math>, [[허수부]] <math>\operatorname{Im}z>0</math>가 0보다 큰 복소수 <math>z</math>로 옮길 수 있다. 등거리 변환의 성질에 따라 새로운 삼각형 <math>z,r,0</math>의 세 변 및 세 각은 원래의 삼각형 <math>z_1,z_2,z_3</math>와 같으므로, 새로운 삼각형 <math>z,r,0</math>에 대하여 증명하는 것으로 족하다. [[쌍곡 거리]]의 정의에 따라, 세 변은 다음과 같다.
:<math>a=\ln\frac{1+r}{1-r}</math>
:<math>b=\ln\frac{1+|z|}{1-|z|}</math>
:<math>c=\ln\frac{|1-rz|+|z-r|}{|1-rz|-|z-r|}</math>
여기서 <math>\ln</math>은 [[자연 로그]]이며, <math>|-|</math>은 복소수의 [[절댓값]]이다. 이 셋을 다음과 같이 변형할 수 있다.
:<math>\tanh\frac a2=r</math>
:<math>\tanh\frac b2=|z|</math>
:<math>\tanh\frac c2=\frac{|z-r|}{|1-rz|}</math>
여기서 <math>\tanh</math>는 [[쌍곡 탄젠트]]이다. [[쌍곡선 함수]]의 항등식을 사용한 뒤 위의 결과를 대입하여 정리하면 다음을 얻는다.
:<math>\begin{align}\cosh c
&=2\sinh^2\frac c2+1\\
&=2\frac{\tanh^2\frac c2}{1-\tanh^2\frac c2}+1\\
&=2\frac{|z-r|^2}{|1-rz|^2-|z-r|^2}+1\\
&=2\frac{r^2+|z|^2-2rz\cos C}{(1-r^2)(1-|z|^2)}+1\\
&=\frac{(1+r^2)(1+|z|^2)-4rz\cos C}{(1-r^2)(1-|z|^2)}
\end{align}</math>
넷째 등호에서 분자 부분은 평면 삼각형 <math>z,r,0</math>에 대한 평면 코사인 법칙에 따르며, 분모 부분은 절댓값이 실수부와 허수부의 제곱합임에 따라 계산할 수 있다. 이제, 여기에 다음을 대입하면 제1 쌍곡 코사인 법칙의 증명이 완성된다.<ref name="liz">{{서적 인용
|저자1=李忠
|저자2=周建莹
|제목=双曲几何
|언어=zh
|출판사=湖南教育出版社
|위치=长沙
|날짜=1991-12
|isbn=978-7-5355-1376-2
}}</ref>{{rp|72-74}}
:<math>\cosh a=\frac{1+\tanh^2\frac a2}{1-\tanh^2\frac a2}=\frac{1+r^2}{1-r^2}</math>
:<math>\sinh a=\frac{2\tanh\frac a2}{1-\tanh^2\frac a2}=\frac{2r}{1-r^2}</math>
:<math>\cosh b=\frac{1+|z|}{1-|z|}</math>
:<math>\sinh b=\frac{2|z|}{1-|z|^2}</math>

==== 제2 쌍곡 코사인 법칙의 증명 ====
[[쌍곡 사인 법칙]]에 나오는 비율의 구체적인 값은 다음과 같다.
:<math>\frac{\sin A}{\sinh a}=\frac{\sin B}{\sinh b}=\frac{\sin C}{\sinh c}=
\frac\sqrt{1-\cosh^2a-\cosh^2b-\cosh^2c+2\cosh a\cosh b\cosh c}{\sinh a\sinh b\sinh c}</math>
이에 따라 각 <math>A,B,C</math>의 사인 값은 다음과 같다.
:<math>\sin A=\frac\sqrt{1-\cosh^2a-\cosh^2b-\cosh^2c+2\cosh a\cosh b\cosh c}{\sinh b\sinh c}</math>
:<math>\sin B=\frac\sqrt{1-\cosh^2a-\cosh^2b-\cosh^2c+2\cosh a\cosh b\cosh c}{\sinh a\sinh c}</math>
:<math>\sin C=\frac\sqrt{1-\cosh^2a-\cosh^2b-\cosh^2c+2\cosh a\cosh b\cosh c}{\sinh a\sinh b}</math>
또한, 제1 쌍곡 코사인 법칙에 따라 <math>A,B,C</math>의 코사인 값은 다음과 같다.
:<math>\cos A=\frac{\cosh b\cosh c-\cosh a}{\sinh b\sinh c}</math>
:<math>\cos B=\frac{\cosh a\cosh c-\cosh b}{\sinh a\sinh c}</math>
:<math>\cos C=\frac{\cosh a\cosh b-\cosh c}{\sinh a\sinh b}</math>
따라서, 다음이 성립한다.
:<math>\begin{align}\frac{\cos A\cos B+\cos C}{\sin A\sin B}
&=\frac{(\cosh b-\cosh c-\cosh a)(\cosh a\cosh c-\cosh b)+\sinh^2c(\cosh a\cosh b-\cosh c)}{1-\cosh^2a-\cosh^2b-\cosh^2c+2\cosh a\cosh b\cosh c}\\
&=\frac{\cosh a\cosh b\cosh^2c-\cosh^2a\cosh c-\cosh^2b\cosh c+\cosh a\cosh b+\cosh a\cosh b\sinh^2c-\cosh c\sinh^2c}{1-\cosh^2a-\cosh^2b-\cosh^2c+2\cosh a\cosh b\cosh c}\\
&=\cosh c
\end{align}</math>
마지막 등호에는 항등식 <math>\cosh^2c-\sinh^2c=1</math>이 사용되었다. 이로써 제2 쌍곡 코사인 법칙이 증명된다.<ref name="liz" />{{rp|74-75}}

=== 평면 코사인 법칙과의 관계 ===
평면 코사인 법칙은 제1 구면 및 쌍곡 코사인 법칙의 극한이다. 예를 들어, 평면 코사인 법칙이 제1 쌍곡 코사인 법칙의 극한임을 다음과 같이 보일 수 있다. 푸앵카레 원판의 반지름이 <math>r</math>일 경우, 제1 쌍곡 코사인 법칙은 다음과 같이 된다.

:<math>\cosh\frac{c_r}r=\cosh\frac{a_r}r\cosh\frac{b_r}r-\sinh\frac{a_r}r\sinh\frac{b_r}r\cos C_r</math>
이 경우, <math>r\to\infty</math>일 때 쌍곡 거리 <math>a_r,b_r,c_r</math>는 유클리드 거리의 2배 <math>2a_\infty,2b_\infty,2c_\infty</math>로 수렴하며, 쌍곡각 <math>A_r,B_r,C_r</math>은 유클리드 각 <math>A_\infty,B_\infty,C_\infty</math>로 수렴한다. [[테일러 정리]]에 따라 다음이 성립한다.
:<math>\cosh\frac{a_r}r=1+\frac 12\left(\frac{a_r}r\right)^2+o\left(\frac 1{r^2}\right)\qquad(r\to\infty)</math>
:<math>\cosh\frac{b_r}r=1+\frac 12\left(\frac{b_r}r\right)^2+o\left(\frac 1{r^2}\right)\qquad(r\to\infty)</math>
:<math>\cosh\frac{c_r}r=1+\frac 12\left(\frac{c_r}r\right)^2+o\left(\frac 1{r^2}\right)\qquad(r\to\infty)</math>
이를 법칙에 대입하면 다음을 얻는다.
:<math>\frac{c_r^2}{r^2}=\frac{a_r^2}{r^2}+\frac{b_r^2}{r^2}-2\sinh\frac{a_r}r\sinh\frac{b_r}r\cos C_r+o\left(\frac 1{r^2}\right)\qquad(r\to\infty)</math>
다음에 주의하여, 양변에 <math>r^2</math>을 곱한 뒤 극한 <math>r\to\infty</math>을 취하고 다시 양변에 4를 나누자.
:<math>\lim_{r\to\infty}r\sinh\frac{a_r}r=2a_\infty</math>
:<math>\lim_{r\to\infty}r\sinh\frac{b_r}r=2b_\infty</math>
:<math>\lim_{r\to\infty}r\sinh\frac{b_r}r=2c_\infty</math>
그러면 평면 코사인 법칙을 얻는다.<ref name="liz" />{{rp|113-114}}
:<math>c_\infty^2=a_\infty^2+b_\infty^2-2a_\infty b_\infty\cos C_\infty</math>
제2 쌍곡 코사인 법칙
:<math>\cos C_r=-\cos A_r\cos B_r+\sin A_r\sin B_r\cosh\frac{c_r}r</math>
에 극한 <math>r\to\infty</math>을 취하면 다음과 같은 자명한 항등식이 된다.
:<math>\cos C_\infty=-\cos A_\infty\cos B_\infty+\sin A_\infty\sin B_\infty</math>
이는 <math>A_\infty+B_\infty+C_\infty=\pi</math>이므로 자명하다. 따라서 유클리드 기하학에는 제2 코사인 법칙이 존재하지 않는다.<ref name="liz" />{{rp|114}}

== 같이 보기 ==
{{포털|수학}}
* [[사인 법칙]]
* [[탄젠트 법칙]]
* [[코탄젠트 법칙]]
* [[삼각함수]]

== 각주 ==
{{각주}}

== 외부 링크 ==
* {{proofwiki|id=Law of Cosines|제목=Law of cosines}}

[[분류:삼각법]]
[[분류:삼각형에 대한 정리]]