본문 바로가기
Topos Uranos

요약

이 수업은 삼각함수 사이의 대수적 관계를 연구하는 해석 삼각법을 시작한다. 항등식이 무엇인지, 즉 두 변의 공통 정의역 전체에서 성립하는 등식임을 정확히 정의하고, 기본 항등식을 모은다: 역수 관계, 몫의 관계, 제곱 관계, 홀짝 관계, 여각 관계이며, 이들은 또한 단위원에서 선분의 길이로 읽을 수 있다. 항등식을 증명하는 방법, 즉 한 변을 다른 변으로, 또는 두 변을 같은 식으로 변형하는 방법을 가르치고, 항등식 자체에서 출발하여 양변을 제곱하는 것이 왜 타당하지 않은지 보인다; 단 하나의 예외, 곧 반례만으로도 잘못된 항등식을 반박하기에 충분하다. 각 함수를 다른 함수로 나타내되 부호는 사분면이 정하며, 정의역에 주의하여 식을 간단히 하고, 치환으로 대수적 근호를 삼각함수로 바꾸며, 매개변수를 소거하여 점 (acos⁡t,bsin⁡t)\left( a \cos t, b \sin t \right)에서 타원을, 점 (asec⁡t,btan⁡t)\left( a \sec t, b \tan t \right)에서 쌍곡선을 알아본다.

학습 목표

  1. 삼각항등식을 정확히 정의하고, 그 공통 정의역을 구하여 방정식과 구별하며, 기본 항등식을 모아 증명한다. 선분으로서의 기하학적 해석도 포함한다.
  2. 한 변을 다른 변으로, 또는 두 변을 공통의 식으로 변형하여 항등식을 증명하고, 타당하지 않은 추론을 알아보며, 잘못된 항등식을 반례로 반박한다.
  3. 각 삼각함수를 다른 삼각함수로 나타내되 사분면에 맞는 부호를 붙이고, 정의역을 보존하면서 식을 간단히 한다.
  4. 삼각치환을 써서 근호를 포함한 식을 변형하고, 타원과 쌍곡선의 삼각함수 매개변수 표시에서 매개변수를 소거한다.

항등식이란 무엇인가

삼각함수 사이의 어떤 등식은 모든 실수에 대하여 성립한다. 예를 들어 sin⁡2θ+cos⁡2θ=1\sin^2 \theta + \cos^2 \theta = 1의 등식이 그러하며, 이는 삼각비와 단위원에 관한 수업에서 증명하였다; 다른 등식, 예를 들어 sin⁡θ=−12\sin \theta = -\frac{1}{2}의 등식은 일부 값에 대해서만 성립하며, 그 값을 찾는 방법은 역삼각함수에 관한 수업에서 배웠다. 둘의 차이는 본성의 차이이다: 앞의 것은 모든 수에 대하여 무언가를 주장하고, 뒤의 것은 물음을 제기한다. 그런데 「모든 실수에 대하여」라는 말에는 정밀화가 필요하다. 많은 삼각함수의 식이 모든 수에서 정의되지는 않기 때문이다.

삼각항등식이란 삼각함수로 만든 두 식 사이의 등식으로서, 양변이 모두 정의되는 변수의 모든 값에 대하여 성립하는 것이다. 그러한 값의 집합이 항등식의 공통 정의역이다. 공통 정의역의 일부 값에 대해서만 성립하는 등식은 방정식이며, 그 값들이 방정식의 해이다.

정의역은 사소한 것이 아니다. 탄젠트는 코사인이 영이 되지 않는 곳에서 정의되고, 코탄젠트는 사인이 영이 되지 않는 곳에서 정의된다; 따라서 둘의 곱은 xx가 π2\frac{\pi}{2}의 정수배가 아닐 때 정확히 정의되며, 거기서 그 값은 11이다:

tan⁡xcot⁡x=1,x≠kπ2\tan x \cot x = 1, \qquad x \neq \frac{k\pi}{2}

π2\frac{\pi}{2}의 배수에서 이 항등식은 아무것도 주장하지 않는다. 그 좌변이 어떤 수도 나타내지 않기 때문이다. 마찬가지로, sin⁡xtan⁡x=cos⁡x\frac{\sin x}{\tan x} = \cos x의 식은 그 공통 정의역에서 항등식이며, 이 정의역은 π2\frac{\pi}{2}의 배수를 제외한다; 그러나 함수 f(x)=sin⁡xtan⁡xf(x) = \frac{\sin x}{\tan x}와 g(x)=cos⁡xg(x) = \cos x는 같지 않다. 강좌 I의 함수의 연산에 관한 수업에 따르면 같은 두 함수는 정의역이 같은데, 뒤의 함수는 예를 들어 x=0x = 0에서 정의되기 때문이다. 따라서 항등식은 두 식을 둘 다 의미를 가지는 곳에서만 비교한다.

기본 항등식

아래의 항등식들은 정의와 앞 단원의 정리에서 바로 얻어진다; 나머지 모든 항등식은 이들로부터 유도된다.

정리기본 항등식

각 등식의 공통 정의역에서 아래의 역수 관계, 몫의 관계, 제곱 관계가 성립한다. 또한 사인, 탄젠트, 코시컨트, 코탄젠트는 기함수이고, 코사인과 시컨트는 우함수이다; 그리고 각 함수의 π2−θ\frac{\pi}{2} - \theta에서의 값은 그 여함수의 θ\theta에서의 값과 같다. 여기서 사인과 코사인, 탄젠트와 코탄젠트, 시컨트와 코시컨트는 서로 여함수이다.

sin⁡θcsc⁡θ=1,cos⁡θsec⁡θ=1,tan⁡θcot⁡θ=1\sin \theta \csc \theta = 1, \qquad \cos \theta \sec \theta = 1, \qquad \tan \theta \cot \theta = 1
tan⁡θ=sin⁡θcos⁡θ,cot⁡θ=cos⁡θsin⁡θ\tan \theta = \frac{\sin \theta}{\cos \theta}, \qquad \cot \theta = \frac{\cos \theta}{\sin \theta}
sin⁡2θ+cos⁡2θ=1,1+tan⁡2θ=sec⁡2θ,1+cot⁡2θ=csc⁡2θ\sin^2 \theta + \cos^2 \theta = 1, \qquad 1 + \tan^2 \theta = \sec^2 \theta, \qquad 1 + \cot^2 \theta = \csc^2 \theta
sec⁡(−θ)=sec⁡θ,csc⁡(−θ)=−csc⁡θ,cot⁡(−θ)=−cot⁡θ\sec(-\theta) = \sec \theta, \qquad \csc(-\theta) = -\csc \theta, \qquad \cot(-\theta) = -\cot \theta
sec⁡(π2−θ)=csc⁡θ,csc⁡(π2−θ)=sec⁡θ,cot⁡(π2−θ)=tan⁡θ\sec\left( \frac{\pi}{2} - \theta \right) = \csc \theta, \qquad \csc\left( \frac{\pi}{2} - \theta \right) = \sec \theta, \qquad \cot\left( \frac{\pi}{2} - \theta \right) = \tan \theta

모든 것은 점 P(θ)=(cos⁡θ,sin⁡θ)P(\theta) = \left( \cos \theta, \sin \theta \right)에서 읽어 낼 수 있다. 이 점은 삼각비에 관한 수업의 점이다: 나머지 네 함수는 거기서 그 좌표의 몫으로 정의되었고, 같은 수업에서 증명한 사인과 코사인의 대칭성 정리는 P(θ)P(\theta)의 xx축에 대한 대칭이동과 직선 y=xy = x에 대한 대칭이동을 준다. 나머지 항등식은 몫과 역수를 취하여 얻는다. 그림은 예각을 사용한다.

증명

  1. tan⁡θ=sin⁡θcos⁡θ,cot⁡θ=cos⁡θsin⁡θ,sec⁡θ=1cos⁡θ,csc⁡θ=1sin⁡θ\tan \theta = \frac{\sin \theta}{\cos \theta}, \quad \cot \theta = \frac{\cos \theta}{\sin \theta}, \quad \sec \theta = \frac{1}{\cos \theta}, \quad \csc \theta = \frac{1}{\sin \theta}

    역수 관계와 몫의 관계는 탄젠트, 코탄젠트, 시컨트, 코시컨트의 정의 그 자체이다: 각 함수는 분모가 영이 되지 않는 곳에서 정의되며, 그 정의역에서 함수와 그 역수의 곱은 11이다. 그림에서 사인과 코사인은 P(θ)P(\theta)의 좌표이다.

  2. sin⁡2θ+cos⁡2θ=1→sin⁡2θcos⁡2θ+1=1cos⁡2θ,1+cos⁡2θsin⁡2θ=1sin⁡2θ\sin^2 \theta + \cos^2 \theta = 1 \rightarrow \frac{\resaltar{\sin^2 \theta}}{\cos^2 \theta} + 1 = \frac{1}{\resaltar{\cos^2 \theta}}, \quad 1 + \frac{\resaltar{\cos^2 \theta}}{\sin^2 \theta} = \frac{1}{\resaltar{\sin^2 \theta}}

    점 P(θ)P(\theta)에서 원점까지의 거리는 11이다: 이것이 첫째 피타고라스 항등식이며, 삼각비에 관한 수업에서 증명하였다. cos⁡θ≠0\cos \theta \neq 0인 곳에서는 그 양변을 cos⁡2θ\cos^2 \theta로 나누고, sin⁡θ≠0\sin \theta \neq 0인 곳에서는 sin⁡2θ\sin^2 \theta로 나눈다; 위에서 얻은 항등식에 의해 나머지 두 항등식이 얻어진다.

  3. P(−θ)=(cos⁡θ,−sin⁡θ)\dato{i}{P(-\theta) = \left( \cos \theta, \resaltar{-\sin \theta} \right)}

    P(θ)P(\theta)의 xx축에 대한 대칭이동은 P(−θ)P(-\theta)이다: 대칭성 정리에 의해 코사인은 우함수이고 사인은 기함수이다. 특히 −θ-\theta가 각 함수의 정의역에 속하는 것은 θ\theta가 속할 때와 정확히 같다. 사인과 코사인의 영점이 대칭으로 놓여 있기 때문이다.

  4. sec⁡(−θ)=1cos⁡θ=sec⁡θ,csc⁡(−θ)=1−sin⁡θ=−csc⁡θ,cot⁡(−θ)=cos⁡θ−sin⁡θ=−cot⁡θ\sec(-\theta) = \frac{1}{\cos \theta} = \sec \theta, \quad \csc(-\theta) = \frac{1}{\resaltar{-\sin \theta}} = -\csc \theta, \quad \cot(-\theta) = \frac{\cos \theta}{\resaltar{-\sin \theta}} = -\cot \theta

    역수와 몫을 취하면, 식에 사인을 정확히 한 번 포함하는 함수에 음의 부호가 나타난다: 시컨트는 우함수이고, 코시컨트, 탄젠트, 코탄젠트는 기함수이다.

  5. P(π2−θ)=(sin⁡θ,cos⁡θ)\dato{c}{P\left( \frac{\pi}{2} - \theta \right) = \left( \resaltar{\sin \theta}, \resaltar{\cos \theta} \right)}

    P(θ)P(\theta)의 직선 y=xy = x에 대한 대칭이동은 P(π2−θ)P\left( \frac{\pi}{2} - \theta \right)이다: 대칭성 정리에 의해 이 대칭이동은 사인과 코사인을 맞바꾼다.

  6. sec⁡(π2−θ)=1sin⁡θ=csc⁡θ,csc⁡(π2−θ)=1cos⁡θ=sec⁡θ,cot⁡(π2−θ)=sin⁡θcos⁡θ=tan⁡θ\sec\left( \frac{\pi}{2} - \theta \right) = \frac{1}{\resaltar{\sin \theta}} = \csc \theta, \quad \csc\left( \frac{\pi}{2} - \theta \right) = \frac{1}{\resaltar{\cos \theta}} = \sec \theta, \quad \cot\left( \frac{\pi}{2} - \theta \right) = \frac{\resaltar{\sin \theta}}{\resaltar{\cos \theta}} = \tan \theta

    역수와 몫을 취하면 시컨트와 코시컨트, 탄젠트와 코탄젠트도 맞바뀐다. 정의역은 서로 대응한다: π2−θ\frac{\pi}{2} - \theta가 시컨트의 정의역에 속할 필요충분조건은 θ\theta가 코시컨트의 정의역에 속하는 것이다. cos⁡(π2−θ)=sin⁡θ\cos\left( \frac{\pi}{2} - \theta \right) = \sin \theta이기 때문이며, 나머지 함수도 마찬가지이다.

선분으로 본 여섯 함수

탄젠트와 시컨트라는 이름은 기하학에서 유래한다: 예각에 대하여 이들은 단위원의 접선과 할선 위에 놓인 선분의 길이이다. 이 고전적인 그림은 여섯 함수와 세 피타고라스 항등식을 한 장의 그림에 모은다.

정리선분으로 본 여섯 삼각비

0<θ<π20 < \theta < \frac{\pi}{2}이라 하고, PP를 단위원 위의 점 P(θ)P(\theta), QQ를 그 점에서 xx축에 내린 수선의 발, A=(1,0)A = (1, 0), B=(0,1)B = (0, 1)이라 하자. 동경을 포함하는 직선은 AA에서의 연직 접선과 한 점 TT에서 만나고, BB에서의 수평 접선과 한 점 SS에서 만난다. 이때 θ\theta의 코사인, 사인, 탄젠트, 시컨트, 코탄젠트, 코시컨트는 각각 OO에서 QQ까지, QQ에서 PP까지, AA에서 TT까지, OO에서 TT까지, BB에서 SS까지, OO에서 SS까지의 선분의 길이이다; 또한 꼭짓점이 OO, AA, TT인 삼각형과 꼭짓점이 OO, BB, SS인 삼각형에서의 피타고라스 정리는 각각 둘째와 셋째 피타고라스 항등식이다.

그림을 선분 하나씩 따라간다. 도구는 삼각비에 관한 수업에서 탄젠트의 의미를 준 것과 같다: 동경을 포함하는 직선은 원점을 지나고 기울기가 tan⁡θ\tan \theta이므로, 그 방정식은 y=xtan⁡θy = x \tan \theta이다.

증명

  1. P(θ)=(cos⁡θ,sin⁡θ),Q=(cos⁡θ,0)P(\theta) = \left( \cos \theta, \sin \theta \right), \quad Q = \left( \cos \theta, 0 \right)

    정의에 의해 PP의 좌표는 코사인과 사인이다; OO에서 QQ까지의 수평 선분의 길이는 가로 좌표이고, QQ에서 PP까지의 연직 선분의 길이는 세로 좌표이며, 둘 다 제1사분면에서 양수이다.

  2. T=(1,tan⁡θ)\dato{t}{T = \left( 1, \tan \theta \right)}

    원의 AA에서의 접선은 직선 x=1x = 1이다. 동경의 방정식에 x=1x = 1을 대입하면 TT를 얻는다: AA에서 TT까지의 선분은 접선 위에 있고, 그 길이는 tan⁡θ\tan \theta이다.

  3. T=sec⁡θ⋅(cos⁡θ,sin⁡θ)T = \resaltar{\sec \theta} \cdot \left( \cos \theta, \sin \theta \right)

    점 TT는 점 P(θ)P(\theta)에 sec⁡θ\sec \theta를 곱한 것이다. sec⁡θcos⁡θ=1\sec \theta \cos \theta = 1이기 때문이다. P(θ)P(\theta)에서 원점까지의 거리가 11이므로, TT에서 원점까지의 거리는 sec⁡θ\sec \theta이다: OO에서 TT까지의 선분은 할선 위에 있고, 그 길이는 시컨트이다.

  4. 12+tan⁡2θ=sec⁡2θ\resaltar{1^2} + \resaltar{\tan^2 \theta} = \resaltar{\sec^2 \theta}

    꼭짓점이 OO, AA, TT인 삼각형은 AA에서 직각이고, 직각을 낀 변은 11과 tan⁡θ\tan \theta, 빗변은 sec⁡θ\sec \theta이다. 이 삼각형에서의 피타고라스 정리가 둘째 피타고라스 항등식이다.

  5. S=(cot⁡θ,1)=csc⁡θ⋅(cos⁡θ,sin⁡θ)\dato{s}{S = \left( \cot \theta, 1 \right) = \csc \theta \cdot \left( \cos \theta, \sin \theta \right)}

    BB에서의 접선은 직선 y=1y = 1이다. y=1y = 1을 y=xtan⁡θy = x \tan \theta에 대입하면 x=cot⁡θx = \cot \theta를 얻는다; 또 csc⁡θsin⁡θ=1\csc \theta \sin \theta = 1이므로, 점 SS는 P(θ)P(\theta)에 csc⁡θ\csc \theta를 곱한 것이다. 따라서 BB에서 SS까지의 선분의 길이는 코탄젠트이고, OO에서 SS까지의 선분의 길이는 코시컨트이다.

  6. 12+cot⁡2θ=csc⁡2θ\resaltar{1^2} + \resaltar{\cot^2 \theta} = \resaltar{\csc^2 \theta}

    꼭짓점이 OO, BB, SS인 삼각형은 BB에서 직각이고, 직각을 낀 변은 11과 cot⁡θ\cot \theta, 빗변은 csc⁡θ\csc \theta이다: 이 삼각형에서 셋째 피타고라스 항등식이 나온다. 그 OO에서의 각의 크기는 π2−θ\frac{\pi}{2} - \theta이며, 이 각에 대하여 θ\theta의 코탄젠트는 대변이다: 곧 여각의 탄젠트이다.

그림에서는 또한 예각의 시컨트와 코시컨트가 11보다 크다는 것도 읽을 수 있다. 이들은 길이 11인 변을 직각을 낀 변으로 가지는 삼각형의 빗변이기 때문이다. 또 탄젠트는 시컨트보다 작다. 첫째 피타고라스 항등식도 마찬가지로 꼭짓점이 OO, QQ, PP인 삼각형에서의 피타고라스 정리이다.