Jump to content

Differentiation of trigonometric functions

This is a fully translated article. Click here for more information.
From DawoumWiki, the free Mathematics self-learning
함수 도함수

삼각 함수의 미분화(differentiation of trigonometric functions)는 삼각 함수(trigonometric function)도함수(derivative), 또는 변수에 관한 그의 변화율을 찾는 수학적 과정입니다. 예를 들어, 사인 함수의 도함수는 sin′(a) = cos(a)로 쓰이며, 특정 각도 x = a에서 sin(x)의 변화율이 해당 각도의 코사인에 의해 제공됨을 의미합니다.

원형 삼각 함수의 모든 도함수는 tan(x) = sin(x)/cos(x)와 같은 함수에 적용된 몫 규칙(quotient rule)을 수단으로 sin(x)와 cos(x)의 도함수로부터 구할 수 있습니다. 이들 도함수를 알면, 역 삼각 함수(inverse trigonometric functions)의 도함수는 암시적 미분화(implicit differentiation)를 사용하여 구해집니다.

Derivatives of trigonometric functions and their inverse functions

.

Proofs of derivatives of trigonometric functions

Limit of sin(θ)/θ as θ tends to 0

Circle, centre O, radius 1

오른쪽 그림은 중심 O와 반지름 r = 1을 갖는 원을 보여줍니다. 두 반지름 OAOB는 θ 라디안의 호를 만듭니다. 우리는 θ가 영으로 경향일 때 극한을 고려하므로, 우리는 θ가 작은 양수, 즉 첫 번째 사분면에서 0 < θ < ½ π라고 가정할 수 있습니다.

그림에서, R1을 삼각형 OAB, R2원형 부채꼴(circular sector) OAB, 및 R3를 삼각형 OAC로 놓습니다. 삼각형 OAB의 넓이는 다음입니다:

원형 부채꼴 OAB의 넓이이지만, 삼각형 OAC의 넓이는 다음에 의해 제공됩니다:

각 영역은 다음 것을 포함하므로, 우리는 다음을 가집니다:

게다가, 첫 번째 사분면에서 sin θ > 0이므로, 우리는 ½ sin θ를 통해 나눌 수 있으며, 다음을 제공합니다:

마지막 단계에서 우리는 세 양의 항의 역수를 취하여, 부등식을 거꾸로 뒤집습니다.

Squeeze: The curves y = 1 and y = cos θ shown in red, the curve y = sin(θ)/θ shown in blue.

우리는 0 < θ < ½ π에 대해, 양 sin(θ)/θ항상 1보다 작고 항상 cos(θ)보다 크다는 결론을 내립니다. 따라서, θ가 0에 가까워짐에 따라, sin(θ)/θ는 높이 1에서 천장과 높이 cos θ에서 바닥 사이에서 "조임된(squeezed)" 것이며, 이것은 1을 향해 올라갑니다; 따라서 sin(θ)/θθ가 양의 방향에서 0으로 경향일 때 1로 경향이어야 합니다:

θ가 작은 음수 –½ π < θ < 0인 경우에 대해, 우리는 사인이 홀수 함수(odd function)라는 사실을 사용합니다.

Limit of (cos(θ)-1)/θ as θ tends to 0

마지막 섹션은 상대적으로 쉽게 이 새로운 극한을 계산하는 것을 활성화합니다. 이것은 간단한 조작을 사용함으로써 행해집니다. 이 계산에서, θ의 부호는 중요하지 않습니다.

cos2θ – 1 = –sin2θ, 곱의 극한이 극한의 곱이라는 사실, 및 이전 섹션으로부터 결과 극한을 사용하여, 우리는 다음임을 찾습니다:

Limit of tan(θ)/θ as θ tends to 0

사인(sine) 함수에 대한 극한, 탄젠트 함수가 홀수 함수, 및 곱의 극한이 극한의 곱이라는 사실을 사용하여, 우리는 다음임을 찾습니다:

Derivative of the sine function

우리는 극한 정의(limit definition)로부터 사인 함수(sine function)의 도함수를 계산합니다:

각도 덧셈 공식(angle addition formula) sin(α+β) = sin α cos β + sin β cos α을 사용하여, 우리는 다음을 가집니다:

사인(sine)코사인(cosine) 함수에 대해 극한을 사용하여:

Derivative of the cosine function

From the definition of derivative

우리는 다시 극한 정의로부터 코사인 함수(cosine function)의 도함수를 계산합니다:

각도 덧셈 공식 cos(α+β) = cos α cos β – sin α sin β을 사용하여, 우리는 다음을 가집니다:

사인(sine)코사인(cosine) 함수에 대해 극한을 사용하여:

From the chain rule

체인 규칙으로부터 코사인 함수의 도함수를 계산하기 위해, 먼저 다음 세 사실을 관찰하십시오:

첫 번째와 두 번째는 삼각 항등식(trigonometric identities)이고, 세 번째는 위에 입증되었습니다. 이들 세 사실을 사용하여, 우리는 다음을 쓸 수 있습니다,

우리는 체인 규칙(chain rule)을 사용하여 이것을 미분할 수 있습니다. 을 설정하면, 우리는 다음을 가집니다:

.

그러므로, 우리는 다음임을 입증했습니다:

.

Derivative of the tangent function

From the definition of derivative

탄젠트 함수(tangent function) tan θ의 도함수를 계산하기 위해, 우리는 첫 번째 원리(first principles)를 사용합니다. 정의에 의해:

잘-알려진 각도 공식 tan(α+β) = (tan α + tan β) / (1 - tan α tan β)을 사용하여, 우리는 다음을 가집니다:

곱의 극한이 극한의 곱이라는 사실을 사용하여:

탄젠트(tangent) 함수에 대해 극한, 및 tan δδ가 0으로 경향일 때 0으로 경향이라는 사실을 사용하여:

우리는 즉시 다음임을 알 수 있습니다:

From the quotient rule

우리는 몫 규칙(quotient rule)을 사용하여 탄젠트 함수의 도함수를 역시 계산할 수 있습니다.

분자는 피타고라스 항등식(Pythagorean identity)에 의해 1로 단순화될 수 있으며, 다음을 제공합니다:

그러므로,

Proofs of derivatives of inverse trigonometric functions

다음 도함수는 우리가 도함수를 취하기를 원하는 역 삼각 함수(inverse trigonometric function)와 같은 변수(variable) y를 설정함으로써 구해집니다. 암시적 미분화(implicit differentiation)를 사용하고 그런-다음 dy/dx에 대해 풀면, 역함수의 도함수는 y의 관점에서 구해집니다. dy/dx를 다시 x의 관점으로 되게 변환하기 위해, 우리는 단위 원 위에 참조 삼각형을 그릴 수 있으며, θy로 놓습니다. 피타고라스 정리(Pythagorean theorem)와 정규 삼각 함수의 정의를 사용하여, 우리는 x의 관점에서 dy/dx를 마침내 표현할 수 있습니다.

Differentiating the inverse sine function

우리는 다음을 놓습니다:

여기서

그런-다음

양쪽 변에 에 관해 도함수를 취하고 dy/dx에 대해 풀면:

위의 것에서 를 치환하면,

위의 것에서 를 치환하면,

Differentiating the inverse cosine function

우리는 다음을 놓습니다:

여기서

그런-다음

양쪽 변에 에 관해 도함수를 취하고 dy/dx에 대해 풀면:

위의 것에서 을 치환하면, 우리는 다음을 얻습니다:

위의 것에서 를 치환하면, 우리는 다음을 얻습니다:

Differentiating the inverse tangent function

우리는 다음을 놓습니다:

여기서

그런-다음

양쪽 변에 에 관해 도함수를 취하고 dy/dx에 대해 풀면:

왼쪽 변:

using the Pythagorean identity

오른쪽 변:

그러므로,

위의 것에서 를 치환하면, 우리는 다음을 얻습니다:

Differentiating the inverse cotangent function

우리는 다음을 놓습니다:

여기서 . 그런-다음

양쪽 변에 에 관해 도함수를 취하고 dy/dx에 대해 풀면:

왼쪽 변:

using the Pythagorean identity

오른쪽 변:

그러므로,

를 치환하면,

Differentiating the inverse secant function

Using implicit differentiation

다음을 놓습니다

그런-다음

(위의 표현에서 절댓값은 y의 구간에서 시컨트와 탄젠트의 곱이 항상 비-음이기 때문에 필요하지만, 제곱근 은 주요 제곱근의 정의에 의해 항상 비-음수이므로, 남아있는 인수는 반드시 역시 비-음이어야 하며, 이것은 x의 절댓값을 사용함으로써 달성됩니다.)

Using the chain rule

대안적으로, 아크시컨트의 도함수는 체인 규칙(chain rule)을 사용하여 아크코사인의 도함수로부터 유도될 수 있습니다.

다음을 놓습니다:

여기서

and

그런-다음, 체인 규칙을 에 적용하면:

Differentiating the inverse cosecant function

Using implicit differentiation

다음을 놓습니다:

그런-다음

(표현에서 절댓값은 y의 구간에서 코시컨트와 코탄젠트의 곱이 항상 비-음수이기 때문에 필요하지만, 제곱근 은 주요 제곱근의 정의에 의해 항상 비-음수이므로, 남아있는 인수는 반드시 항상 비-음수이어야 하며, 이것은 x의 절댓값을 사용함으로써 달성됩니다.)

Using the chain rule

대안적으로, 아크코시컨트의 도함수는 체인 규칙(chain rule)을 사용하여 아크코사인의 도함수로부터 유도될 수 있습니다.

다음을 놓습니다:

여기서

and

그런-다음, 체인 규칙을 에 적용하면:

See also

References

Bibliography