삼각측량적 정체성의 증명

Proofs of trigonometric identities

삼각함수 사이의 주 삼각형 정체성은 주로 직각 삼각형의 지오메트리를 사용하여 증명된다. 더 큰 각도 및 음의 각도는 삼각함수를 참조하십시오.

기본 삼각형 ID

정의들

삼각함수는 오른쪽 삼각형의 측면 길이와 내부 각도 사이의 관계를 명시한다. 예를 들어, 각도 θ의 사인(sine)은 반대편의 길이를 하이포테뉴스의 길이로 나눈 값으로 정의된다.

6 삼각함수는 모든 실수에 대해 정의되며, 이들 중 일부를 제외하고, 직각(90°)의 배수로 0과 다른 각도에 대해 정의된다. 오른쪽의 다이어그램을 참조하여, right의 6 삼각함수는 직각보다 작은 각도에 대해 다음과 같다.

비율 ID

직각보다 작은 각도의 경우, 다음과 같은 정체성은 분할 정체성을 통한 위 정의의 직접적인 결과물이다.

그것들은 90°보다 큰 각도와 음의 각도에 대해 유효하다.

아니면

상호 보완적인 각도

합계가 π/2 라디안인 두 각(90도)은 보완적이다. 도표에서 정점 A와 B의 각도는 상호보완적이므로 a와 b를 교환할 수 있으며, θ을 //2 - θ으로 변경하여 다음을 얻을 수 있다.

피타고라스의 정체성

ID 1:

이것과 비율 정체성에서 다음 두 결과가 나타난다. To obtain the first, divide both sides of by ; for the second, divide by .

유사하게

ID 2:

다음은 세 가지 상호기능을 모두 설명한다.

증명 2:

위의 삼각형 다이어그램을 참조하십시오. + = 2 a} 피타고라스의 정리.

적절한 기능으로 대체 -

재배열로 얻을 수 있는 이점:

각도 합계 ID

사인

합계 공식의 그림.

수평선(x축)을 긋고 원점 O를 표시한다. 수평선 위로 O각( {\ \alpha {\ \beta 두 번째 선과 x축 사이의 는 α+ 이다

를 원점에서 단위거리 + β {\ +\beta 로 정의된 선에 놓는다.

PQ는 각도 }에 의해 정의된 선 OQ에 수직이 되게 하라 이 선의 지점 Q에서 P.OQP는 직각이다.

QA는 X 축의 A 지점에서 Q 및 PB 지점까지 수직이 되게 한다. X 축의 B 지점에서 P. }OAQ와 OBP는 직각이다.

QR이 x축과 평행하도록 PB에 R을 그린다.

Now angle (because , making , and finally )

그래서 Q= β
그래서 R=


-을(를) 대체하고 Symmetry를 사용하여 다음을 얻는다.

또 다른 엄격한 증거, 그리고 훨씬 더 쉬운 것은 복잡한 분석으로부터 알려진 오일러의 공식을 사용함으로써 얻을 수 있다. 오일러의 공식은 다음과 같다.

각도에 대해 다음 사항을 준수한다.

지수 함수의 다음 속성도 사용:

제품 평가:

실제 부품과 가상 부품 동일화:

그러나 오일러의 공식에 대한 증명은 사인(sine)의 파생이 코사인(cosine)이라는 것을 알아야 하기 때문에 이는 두 각도의 사인(sine)에 대한 아이덴티티를 사용해야 증명할 수 있기 때문에 이것은 일종의 순환논쟁이다.

코사인

위의 그림을 사용하여,

그래서 = β \cos
P = 따라서 = β

-을(를) 대체하고 Symmetry를 사용하여 다음을 얻는다.

또한, 보완각 공식을 이용하여

탄젠트 및 코탄젠트

사인 공식과 코사인 공식에서, 우리는

분자와 분모를 모두 β 으로 나누면, 우리는 다음과 같은 결과를 얻을 수 있다

-)=- (-\beta )을 사용하여 에서

유사하게, 사인 공식과 코사인 공식에서, 우리는

그리고 분자와 분모를 β{\로 나누면 다음과 같은 결과를 얻을 수 있다

또는 = tan { { \cot \tan \

( -β = -

이중각 ID

각도 합을 통해 우리는

그리고

피타고라스의 정체성은 이들 후자에 대해 두 가지 대안적 형태를 제공한다.

또한 앵글섬 아이덴티티가 제공하는

오일러의 공식을 이용해 증명할 수도 있다.

양쪽을 제곱하면 수확량이 증가한다.

그러나 각도를 방정식의 왼쪽에서 동일한 결과를 얻는 이중 버전으로 대체하면 산출량이 증가한다.

그 뒤를 잇는다.

+ ) = + i 2 {\

제곱을 넓히고 방정식의 왼쪽을 단순화하면

.

상상적인 부분과 실제적인 부분은 같아야 하기 때문에 우리는 원래의 정체성을 갖게 된다.

- = -\

그리고 또한

cos = 2 {\

반각 정체성

cos 2θ에 대한 대체 형식을 제공하는 두 개의 정체성은 다음과 같은 방정식으로 이어진다.

제곱근의 부호는 적절히 선택할 필요가 있다. θ에 2π을 더하면 제곱근 내부의 수량은 변하지 않지만 방정식의 왼쪽 면은 부호를 바꾼다는 점에 유의한다. 따라서 정확한 부호는 on의 값에 따라 달라진다.

황갈색 함수의 경우 방정식은 다음과 같다.

그런 다음 제곱근 안에 있는 분자와 분모를 (1 + cos ))로 곱하고 피타고라스의 정체성을 사용하여 다음과 같이 된다.

또한 분자와 분모를 모두 (1 - cos θ)로 곱하면 결과는 다음과 같다.

이것은 또한 다음을 제공한다.

요람 기능에 대한 유사한 조작은 다음을 제공한다.

기타 – 3중 접선 아이덴티티

+ += {= 반원(예: {{\ {{\ 삼각형의 각도인 경우)

증명:[1]

기타 – 3중 접점 ID

+ + = 2= 쿼터 원,

( )+ ( ))+ ( ) = ( ) ( ( ( ) cot (\ ){ (\) (\

증명:

을(를) 보완 각도로 교체하여 동탄자가 접선으로 변하거나 그 반대로 변하도록 하십시오.

주어진

그래서 결과는 3중 접선 정체성에서 나타난다.

제품 ID의 합계

사인 ID 증명

먼저, 총각 ID부터 시작하십시오.

이것들을 함께 더하면

마찬가지로, 두 개의 총각 정체성을 빼면

+ = {\ - = -

= + ={\frac = {\fracta }{ = - - 2{\\ = ={\{\

을(를) 대체하십시오.

그러므로

코사인 신원 증명

코사인(cosine)의 경우, 다음과 같이 합계 각도 ID로 시작하십시오.

다시, 더하기 및 빼기

이전과 같이 을(를) 대체하십시오.

불평등

사인 및 접선 부등식의 예.

오른쪽 그림은 반지름 1의 원 부분을 보여준다. 부문은 전체 원의 θ/(2π)이므로 면적은 θ/2이다. 여기서 우리는 θ < π/2>라고 가정한다.

삼각형 OAD의 면적은 AB/2 또는 sin(sin)/2이다. 삼각형 OCD의 면적은 CD/2 또는 황갈색(θθ)/2이다.

Triangle OAD는 완전히 그 분야 안에 있고, 그것은 완전히 Triangle OCD 안에 있기 때문에, 우리는

이 기하학적 주장은 가정으로 작용하는 호 길이면적의 정의에 의존하기 때문에 증명 가능한 속성이라기보다는 삼각함수의 구성에서 부과되는 조건이다.[2] 사인 함수의 경우 다른 값을 처리할 수 있다. 만약 θ > π/2, 그러면 θ > 1. 그러나 죄악 θ 1 (피타고라스적 정체성 때문에) 그래서 죄악 < < have. 그래서 우리는 가지고 있다.

θ의 음수 값에 대해 사인 함수의 대칭에 의해 우리가 가지고 있다.

그러므로

그리고

미적분학 관련 신원

예선

사인 및 각도 비율 ID

즉, 함수 사인(function sine)은 0에서 구별이 가능하며, 파생상품은 1이다.

증거: 이전의 불평등으로부터, 우리는 작은 각도에서,

< < {\ <\\tan

그러므로

tan { { { \{\}{\}}}<\tan \

우측 불평등을 고려하십시오. 이후

\theta를 곱하십시오.

좌측 불평등과 결합:

0}을(를) 가져오는 중

그러므로

코사인 및 각도비 아이덴티티

증명:

이 세 가지 수량의 한계는 1, 0, 1/2이므로 결과적인 한계는 0이다.

각도 비율 ID의 코사인 및 제곱

증명:

앞의 증거와 같이

이 세 가지 수량의 한계는 1, 1, 1/2이므로 결과적인 한계는 1/2이다.

트리거 및 역트리그 함수의 구성 증명

이 모든 기능은 피타고라스 삼각측량 정체성에서 따온 것이다. 예를 들어, 우리는 그 기능을 증명할 수 있다.

증명:

우리는 부터 시작한다.

그런 다음 이 방정식을 로 나누자.

그런 다음 대체 = ( ) )}을를) 사용하십시오. 또한 피타고라스 삼각계 ID:

그런 다음, identity [ ( x) x을 사용한다.

참고 항목

메모들

  1. ^ "Archived copy". Archived from the original on 2013-10-29. Retrieved 2013-10-30.{{cite web}}: CS1 유지관리: 제목(링크)으로 보관된 사본 데드링크
  2. ^ Richman, Fred (March 1993). "A Circular Argument". The College Mathematics Journal. 24 (2): 160–162. doi:10.2307/2686787. JSTOR 2686787.

참조