요약
이 수업은 삼각함수 사이의 대수적 관계를 연구하는 해석 삼각법을 시작한다. 항등식이 무엇인지, 즉 두 변의 공통 정의역 전체에서 성립하는 등식임을 정확히 정의하고, 기본 항등식을 모은다: 역수 관계, 몫의 관계, 제곱 관계, 홀짝 관계, 여각 관계이며, 이들은 또한 단위원에서 선분의 길이로 읽을 수 있다. 항등식을 증명하는 방법, 즉 한 변을 다른 변으로, 또는 두 변을 같은 식으로 변형하는 방법을 가르치고, 항등식 자체에서 출발하여 양변을 제곱하는 것이 왜 타당하지 않은지 보인다; 단 하나의 예외, 곧 반례만으로도 잘못된 항등식을 반박하기에 충분하다. 각 함수를 다른 함수로 나타내되 부호는 사분면이 정하며, 정의역에 주의하여 식을 간단히 하고, 치환으로 대수적 근호를 삼각함수로 바꾸며, 매개변수를 소거하여 점 에서 타원을, 점 에서 쌍곡선을 알아본다.
학습 목표
- 삼각항등식을 정확히 정의하고, 그 공통 정의역을 구하여 방정식과 구별하며, 기본 항등식을 모아 증명한다. 선분으로서의 기하학적 해석도 포함한다.
- 한 변을 다른 변으로, 또는 두 변을 공통의 식으로 변형하여 항등식을 증명하고, 타당하지 않은 추론을 알아보며, 잘못된 항등식을 반례로 반박한다.
- 각 삼각함수를 다른 삼각함수로 나타내되 사분면에 맞는 부호를 붙이고, 정의역을 보존하면서 식을 간단히 한다.
- 삼각치환을 써서 근호를 포함한 식을 변형하고, 타원과 쌍곡선의 삼각함수 매개변수 표시에서 매개변수를 소거한다.
항등식이란 무엇인가
삼각함수 사이의 어떤 등식은 모든 실수에 대하여 성립한다. 예를 들어 의 등식이 그러하며, 이는 삼각비와 단위원에 관한 수업에서 증명하였다; 다른 등식, 예를 들어 의 등식은 일부 값에 대해서만 성립하며, 그 값을 찾는 방법은 역삼각함수에 관한 수업에서 배웠다. 둘의 차이는 본성의 차이이다: 앞의 것은 모든 수에 대하여 무언가를 주장하고, 뒤의 것은 물음을 제기한다. 그런데 「모든 실수에 대하여」라는 말에는 정밀화가 필요하다. 많은 삼각함수의 식이 모든 수에서 정의되지는 않기 때문이다.
삼각항등식이란 삼각함수로 만든 두 식 사이의 등식으로서, 양변이 모두 정의되는 변수의 모든 값에 대하여 성립하는 것이다. 그러한 값의 집합이 항등식의 공통 정의역이다. 공통 정의역의 일부 값에 대해서만 성립하는 등식은 방정식이며, 그 값들이 방정식의 해이다.
정의역은 사소한 것이 아니다. 탄젠트는 코사인이 영이 되지 않는 곳에서 정의되고, 코탄젠트는 사인이 영이 되지 않는 곳에서 정의된다; 따라서 둘의 곱은 가 의 정수배가 아닐 때 정확히 정의되며, 거기서 그 값은 이다:
의 배수에서 이 항등식은 아무것도 주장하지 않는다. 그 좌변이 어떤 수도 나타내지 않기 때문이다. 마찬가지로, 의 식은 그 공통 정의역에서 항등식이며, 이 정의역은 의 배수를 제외한다; 그러나 함수 와 는 같지 않다. 강좌 I의 함수의 연산에 관한 수업에 따르면 같은 두 함수는 정의역이 같은데, 뒤의 함수는 예를 들어 에서 정의되기 때문이다. 따라서 항등식은 두 식을 둘 다 의미를 가지는 곳에서만 비교한다.
기본 항등식
아래의 항등식들은 정의와 앞 단원의 정리에서 바로 얻어진다; 나머지 모든 항등식은 이들로부터 유도된다.
각 등식의 공통 정의역에서 아래의 역수 관계, 몫의 관계, 제곱 관계가 성립한다. 또한 사인, 탄젠트, 코시컨트, 코탄젠트는 기함수이고, 코사인과 시컨트는 우함수이다; 그리고 각 함수의 에서의 값은 그 여함수의 에서의 값과 같다. 여기서 사인과 코사인, 탄젠트와 코탄젠트, 시컨트와 코시컨트는 서로 여함수이다.
모든 것은 점 에서 읽어 낼 수 있다. 이 점은 삼각비에 관한 수업의 점이다: 나머지 네 함수는 거기서 그 좌표의 몫으로 정의되었고, 같은 수업에서 증명한 사인과 코사인의 대칭성 정리는 의 축에 대한 대칭이동과 직선 에 대한 대칭이동을 준다. 나머지 항등식은 몫과 역수를 취하여 얻는다. 그림은 예각을 사용한다.
증명
역수 관계와 몫의 관계는 탄젠트, 코탄젠트, 시컨트, 코시컨트의 정의 그 자체이다: 각 함수는 분모가 영이 되지 않는 곳에서 정의되며, 그 정의역에서 함수와 그 역수의 곱은 이다. 그림에서 사인과 코사인은 의 좌표이다.
점 에서 원점까지의 거리는 이다: 이것이 첫째 피타고라스 항등식이며, 삼각비에 관한 수업에서 증명하였다. 인 곳에서는 그 양변을 로 나누고, 인 곳에서는 로 나눈다; 위에서 얻은 항등식에 의해 나머지 두 항등식이 얻어진다.
의 축에 대한 대칭이동은 이다: 대칭성 정리에 의해 코사인은 우함수이고 사인은 기함수이다. 특히 가 각 함수의 정의역에 속하는 것은 가 속할 때와 정확히 같다. 사인과 코사인의 영점이 대칭으로 놓여 있기 때문이다.
역수와 몫을 취하면, 식에 사인을 정확히 한 번 포함하는 함수에 음의 부호가 나타난다: 시컨트는 우함수이고, 코시컨트, 탄젠트, 코탄젠트는 기함수이다.
의 직선 에 대한 대칭이동은 이다: 대칭성 정리에 의해 이 대칭이동은 사인과 코사인을 맞바꾼다.
역수와 몫을 취하면 시컨트와 코시컨트, 탄젠트와 코탄젠트도 맞바뀐다. 정의역은 서로 대응한다: 가 시컨트의 정의역에 속할 필요충분조건은 가 코시컨트의 정의역에 속하는 것이다. 이기 때문이며, 나머지 함수도 마찬가지이다.
선분으로 본 여섯 함수
탄젠트와 시컨트라는 이름은 기하학에서 유래한다: 예각에 대하여 이들은 단위원의 접선과 할선 위에 놓인 선분의 길이이다. 이 고전적인 그림은 여섯 함수와 세 피타고라스 항등식을 한 장의 그림에 모은다.
이라 하고, 를 단위원 위의 점 , 를 그 점에서 축에 내린 수선의 발, , 이라 하자. 동경을 포함하는 직선은 에서의 연직 접선과 한 점 에서 만나고, 에서의 수평 접선과 한 점 에서 만난다. 이때 의 코사인, 사인, 탄젠트, 시컨트, 코탄젠트, 코시컨트는 각각 에서 까지, 에서 까지, 에서 까지, 에서 까지, 에서 까지, 에서 까지의 선분의 길이이다; 또한 꼭짓점이 , , 인 삼각형과 꼭짓점이 , , 인 삼각형에서의 피타고라스 정리는 각각 둘째와 셋째 피타고라스 항등식이다.
그림을 선분 하나씩 따라간다. 도구는 삼각비에 관한 수업에서 탄젠트의 의미를 준 것과 같다: 동경을 포함하는 직선은 원점을 지나고 기울기가 이므로, 그 방정식은 이다.
증명
정의에 의해 의 좌표는 코사인과 사인이다; 에서 까지의 수평 선분의 길이는 가로 좌표이고, 에서 까지의 연직 선분의 길이는 세로 좌표이며, 둘 다 제1사분면에서 양수이다.
원의 에서의 접선은 직선 이다. 동경의 방정식에 을 대입하면 를 얻는다: 에서 까지의 선분은 접선 위에 있고, 그 길이는 이다.
점 는 점 에 를 곱한 것이다. 이기 때문이다. 에서 원점까지의 거리가 이므로, 에서 원점까지의 거리는 이다: 에서 까지의 선분은 할선 위에 있고, 그 길이는 시컨트이다.
꼭짓점이 , , 인 삼각형은 에서 직각이고, 직각을 낀 변은 과 , 빗변은 이다. 이 삼각형에서의 피타고라스 정리가 둘째 피타고라스 항등식이다.
에서의 접선은 직선 이다. 을 에 대입하면 를 얻는다; 또 이므로, 점 는 에 를 곱한 것이다. 따라서 에서 까지의 선분의 길이는 코탄젠트이고, 에서 까지의 선분의 길이는 코시컨트이다.
꼭짓점이 , , 인 삼각형은 에서 직각이고, 직각을 낀 변은 과 , 빗변은 이다: 이 삼각형에서 셋째 피타고라스 항등식이 나온다. 그 에서의 각의 크기는 이며, 이 각에 대하여 의 코탄젠트는 대변이다: 곧 여각의 탄젠트이다.
그림에서는 또한 예각의 시컨트와 코시컨트가 보다 크다는 것도 읽을 수 있다. 이들은 길이 인 변을 직각을 낀 변으로 가지는 삼각형의 빗변이기 때문이다. 또 탄젠트는 시컨트보다 작다. 첫째 피타고라스 항등식도 마찬가지로 꼭짓점이 , , 인 삼각형에서의 피타고라스 정리이다.
콘텐츠를 불러오는 중…