비록 코사인 개념이 아직 그의 시대에 발전되지 않았지만, 기원전 3세기까지 거슬러 올라가는 유클리드원소에는 코사인 법칙에 거의 필적하는 초기 기하학적 정리가 들어 있다. 둔탁한 삼각형과 급성 삼각형의 경우(부정 또는 양의 코사인 두 경우에 대응함)는 제2권 제안 12와 13에서 별도로 취급한다. 유클리드 시대에 부재한 삼각함수와 대수(특히 음수)는 더 기하학적인 풍미를 가지고 있다.
발의안 제12호 둔각 삼각형에서 둔각 미분하는 측면의 사각형은 둔각, 즉 수직이 떨어지는 직사각형, 그리고 직선이 둔부를 향해 수직으로 떨어져 나가는 직선의 두 배만큼 둔각을 포함하는 측면의 사각형보다 크다.이삭을 줍다
이 공식은 CH = (CB)cos(cos)( = -γ) =- (CB)cosγ에 주목하여 cosines의 법칙으로 변형될 수 있다. 발의안 제13호는 급성 삼각형에 대해 완전히 유사한 진술을 포함하고 있다.
유클리드 원소는 코사인의 법칙을 발견하는 길을 닦았다. 15세기 페르시아의 수학자 겸 천문학자인 잠쉬드 알 카쉬는 코사인의 법칙에 대한 최초의 명시적 진술을 삼각 측정에 적합한 형태로 제공했다. 그는 정확한 삼각표를 제공하고, 정리를 현대 용법에 적합한 형태로 표현했다. 1990년대를 기점으로 프랑스에서는 코사인 법칙을 여전히 테오렘달카시(Téorem d'Al-Kashi)라고 부른다.[1][3][4]
이 정리는 16세기에 프랑수아 비에트에 의해 서구 세계에서 대중화되었다. 19세기 초에 현대 대수 표기법은 코사인 법칙을 현재의 상징적 형태로 쓸 수 있게 했다.
적용들
그림 3 – 코사인 법칙의 적용: 알 수 없는 측면과 알 수 없는 각도.
정리는 삼각측량(triangulation)에 사용되며, 삼각형이나 원을 해결하기 위해, 즉 찾기(그림 3 참조):
삼각형의 세 번째 면과 두 변 사이의 각도를 아는 경우:
삼면을 아는 경우 삼각형의 각도:
두 변과 그 중 하나와 반대되는 각도를 아는 경우 삼각형의 세 번째 변(직각 삼각형이라면 피타고라스 정리를 사용하여 이를 수행할 수도 있다).
이러한 공식은 삼각형이 매우 급성인 경우, 즉 c가 a에 비해 작고 b 또는 γ이 1에 비해 작을 경우 부동소수점 계산에서 높은 반올림 오차를 발생시킨다. 심지어 각도의 코사인보다 약간 큰 결과를 얻을 수도 있다.
표시된 세 번째 공식은 2차 방정식a2- 2abcosγ+ b22- c = 0에서 a에 대한 해결의 결과물이다. 이 방정식은 데이터가 주어진 가능한 삼각형 수에 해당하는 2, 1, 0의 양의 용액을 가질 수 있다. bsin < < c< b, c =bsinγ인 경우 하나의 양성 용액만,c < bsinif인 경우에는 해결책이 없을 것이다. 이러한 서로 다른 사례들은 또한 측면 각도의 응집 모호성에 의해 설명된다.
길이 a, b, c의 변이 있는 삼각형을 고려한다. 여기서 c은 길이 c의 변 반대편에 있는 각도의 측정이다. 이 삼각형은 "x" 축을 따라 정렬된 횡방향으로 데카르트 좌표계에 배치될 수 있으며, 그림에서와 같이 삼각형의 세 지점의 구성요소를 표시하여 원점에 배치한다. 4:
이 증명의 장점은 삼각형이 급성, 우측 또는 둔탁할 때 서로 다른 경우를 고려할 필요가 없다는 것이다.
삼각법 사용
그림 5 – 수직으로 된 급성 삼각형
삼각형의 고도인 C 지점을 통해 측면 c에 수직선을 떨어뜨리는 것은 다음과 같다(그림 5 참조).
(α 또는 β가 둔탁한 경우, 수직이 삼각형 바깥으로 떨어지는 경우에도 이는 여전히 사실이다.) c 수율에 의한 곱하기
삼각형의 다른 두 고도를 고려할 때
후자의 두 방정식을 더하면 얻을 수 있다.
마지막 방정식에서 첫 번째 방정식을 빼면 다음과 같다.
로 단순화하는.
이 증거는 다양한 각도의 코사인을 그 자체로 수량으로 취급한다는 점에서 삼각법을 사용한다. 그것은 각도의 코사인이 어떤 직각 삼각형으로 그 각도를 둘러싸고 있는 양쪽 사이의 관계를 나타낸다는 사실을 사용한다. 다른 증명(아래)은 cosγ과 같은 표현을 단지 특정 선 세그먼트의 길이에 대한 레이블로 취급한다는 점에서 더 기하학적인 것이다.
많은 증거들이 둔각과 급성 각 γ의 경우를 별도로 다룬다.
피타고라스의 정리를 이용하여
높이 BH의 둔부 삼각형 ABC
피타고라스 정리에 근거한 증거인 평면 삼각법의 코사인 정리.
둔각의 경우
유클리드는 피타고라스의 정리를 표시된 그림(AHB와 CHB)에 있는 두 개의 오른쪽 삼각형 각각에 적용함으로써 이 정리를 증명했다. d를 사용하여 높이 BH에 대한 선 세그먼트 CH와 h를 나타냄, 삼각형 AHB는 우리에게
이것은 원소 제2권에 나오는 유클리드 제안서 12이다.[5] 코사인 법칙의 현대적 형태로 변모시키기 위해서는 다음과 같은 점에 유의한다.
급성 각의 경우
그의 발의안 13에 대한 유클리드의 증명서는 그의 발의안 12에 대한 증명과 같은 선을 따라 진행된다: 그는 : 각도를 둘러싸고 있는 한쪽 면에 수직선을 떨어뜨려 형성된 양쪽 오른쪽 삼각형에 피타고라스 정리를 적용하고 이항 정리를 사용하여 단순화한다.
그림 6 – 급성 각도의 경우 삼각법을 사용한 짧은 증거
급성 사건의 또 다른 증거
삼각법을 더 많이 사용하면, 코사인의 법칙은 피타고라스의 정리를 한 번만 사용함으로써 추론할 수 있다. 사실, 그림의 왼쪽에 있는 직각 삼각형을 이용해 6이:c2)(b− 오리온 γ)2+(죄를 γ)2)b2−는 2b. 왜냐하면 γ+a2. 왜냐하면 2 γ 2죄 2 γ)b2+a2−는 2b. 왜냐하면 γ,{\displaystyle{\begin{정렬}\quad c^{2}&.)(b-a\cos \gam+표시할 수 있다.엄마.
이증거는 b < a cos(cos)인 경우 약간의 수정이 필요하다. 이 경우 피타고라스 정리가 적용되는 오른쪽 삼각형은 ABC 삼각형 밖으로 이동한다. 이것이 계산에 미치는 유일한 영향은 b- acos(cos)가 cos(cos) -b로 대체된다는 것이다. 이 양이 제곱을 통해서만 계산에 들어가기 때문에 나머지 증명은 영향을 받지 않는다. 그러나 이 문제는 β가 둔탁할 때만 발생하며, γ의 이등분자에 대한 삼각형을 반영하여 피할 수 있다.
그림 6을 참조하여, 반대편 a의 각도가 α인 경우, 다음 사항에 유의할 필요가 있다.
이것은 두 변과 포함된 각도가 주어졌을 때 두 번째 각도의 직접적인 계산에 유용하다.
프톨레마이오스의 정리 사용
프톨레마이오스의 정리를 이용한 코사인법 증명
도표를 참조하여, AB = c, BC = a, AC = b가 있는 삼각형 ABC는 그림과 같이 원형 안에 그려진다. Triangle ABD는 AD = BC, BD = AC로 삼각형 ABC에 맞추어 생성된다. D와 C의 직각은 각각 E와 F에서 베이스 AB를 만난다. 다음:
급성 각도 γ의 경우, 여기서 a> 2bcosγ.A에서 a = BC로 수직선을 떨어뜨려 길이 bcos의 선 세그먼트를 만든다. 오른쪽 삼각형을 복제하여 등각 삼각형ACP를 형성하십시오. 중심 A와 반지름 b, 접선h= BH ~ B로 원을 생성한다. 접선 h는 반지름 b와 직각을 형성한다(유클리드 원소: 제3권, 발의안 제18호, 또는 여기서 보라) 따라서 그림 8의 노란색 삼각형이 옳다. 피타고라스의 정리를 적용하여 얻음
그런 다음 접선 세컨트 정리(유클리드 원소: 제3권, 발의안 제36호)는 원 바깥의 B 지점을 통과하는 접선의 사각형은 원의 어떤 이등분자가 B를 통해 생성되는 (B로부터) 두 선 세그먼트의 산물과 동일하다고 말한다. 현재의 경우: BH2= BC·BP 또는
이전 방정식으로 대체하면 코사인 법칙을 얻을 수 있다.
h는2 원에 대한 점 B의 힘이라는 점에 유의한다. 피타고라스 정리와 접선 세컨트 정리의 사용은 포인트 정리의 힘을 단 한 번의 적용으로 대체할 수 있다.
그림 8b – 삼각형 ABC(핑크), 보조원(연청색) 및 보조 우측 삼각형(노란색) 2개
급성 각도 γ의 경우, 여기서 < 2bcosγ.A에서 a = BC로 수직선을 떨어뜨려 길이 bcos의 선 세그먼트를 만든다. 오른쪽 삼각형을 복제하여 등각 삼각형ACP를 형성하십시오. 중심A와 반지름 b, 그리고 C = AB에 수직인 B를 통과하는 현으로 원을 구성하며, 그 중 절반은 h = BH이다.피타고라스의 정리를 적용하여 얻음
이제 화음 정리(유클리드 원소: 제3권, 발의안 제35호)는 두 개의 화음이 교차할 경우, 한 화음에 얻은 두 선 부분의 산물은 다른 화음에 얻은 두 개의 선 부분의 산물과 동일하다고 말한다. 현재의 경우: BH2= BC·BP또는
이전 방정식으로 대체하면 코사인 법칙을 얻을 수 있다.
원에 대한 점 B의 검정력은 음의 값 -h를2 가지고 있다는 점에 유의한다.
그림 9 – 포인트 정리의 힘을 이용한 코사인 법칙의 증명.
둔각의 경우 γ. 이 증명은 접선이나 화음을 구성하여 얻은 보조 삼각형 없이 직접 점 정리의 힘을 사용한다. 중심B와 반지름 a를 가진 원을 생성한다(그림 9 참조). 이 원은 C와 K에서 A와 C를 통해 두 번째를 교차한다. 원에 대한 점 A의 힘은 AB2- BC와2AC/AK 둘 다와 같다. 그러므로
코사인 법칙이지
선 세그먼트에 대수적 측정을 사용하여(분절 길이로 음수를 허용) 둔각(CK> 0)과 급성각(CK< 0)의 경우를 동시에 처리할 수 있다.
씨네들의 법칙을 이용하여
시네스의 법칙을 사용하고 삼각형의 각도가 180도에 합해져야 한다는 것을 알음으로써, 우리는 다음과 같은 방정식 체계를 갖추게 된다(미지의 세 가지가 각이다).
그런 다음 세 번째 방정식을 사용하여 다음과 같은 두 가지 변수에서 두 가지 방정식의 시스템을 얻는다.
여기서 우리는 보조 각도의 사인(sign)이 각도의 사인(sign)과 같다는 삼각계 특성을 사용했다.
그 양측과 삼각 지대는 2등변의 a=b, 즉 각도 γ 동일한 incident, 코사인의 법칙 간단하게 크게. 즉, 때문에 a2+b2=2a2=2ab, 코사인의 법칙이 된다.
또는
테트라헤드라의 아날로그
유사한 진술은 α, β, β, Δ를 사면체의 네 면의 영역으로 취함으로써 시작된다. ^ {\ 등으로디헤드 각도를 나타낸다. 그러면[6]
작은 각도에 적합한 버전
각도인 γ이 작고 인접한 면인 a와 b가 길이가 비슷할 때 코사인 법칙의 표준형식의 오른손은 유의성의 수치적 상실에 대한 정확도가 많이 떨어질 수 있다. 이것이 중요한 관심사인 상황에서, 해버신 공식과 유사한 코사인 법칙의 수학적으로 동등한 버전이 유용하다는 것을 증명할 수 있다.
유클리드 평면에 대한 코사인 법칙과 유사한 버전도 단위 구와 쌍곡면에 고정되어 있다. 구면 기하학에서 삼각형은 단위 구체에 있는 u, v, w의 세 점, 그리고 그 점들을 연결하는 원호의 호로 정의된다. 만약 이러한 원들이 반대편인 a, b, c로 A, B, C 각도를 만든다면, 코사인의 구형 법칙은 다음 두 가지 관계가 모두 유지된다고 주장한다.
^Casey, John (1889). A Treatise on Spherical Trigonometry: And Its Application to Geodesy and Astronomy with Numerous Examples. London: Longmans, Green, & Company. p. 133.