요약
이 수업에서는 사인, 코사인, 탄젠트를 라디안으로 측정한 실수 변수의 함수로 연구한다. 이들의 정의역, 치역, 영점, 최댓값과 최솟값, 홀짝성을 구하고, 이 사인과 코사인의 가장 작은 양의 주기이며 가 탄젠트의 가장 작은 양의 주기임을 증명한다. 단위원을 펼쳐서 사인의 그래프를 만들고, 평행이동으로 코사인의 그래프를 얻으며, 탄젠트의 수직 점근선을 부호표로 기술한다. 이로부터 시컨트, 코시컨트, 코탄젠트의 그래프를 이끌어 낸다. 넓이를 비교하여 부등식 (단, ) 을 증명하고, 사인곡선 를 연구한다. 이것들로 낮의 길이, 밀물과 썰물, 대관람차의 운동과 같은 주기적인 현상을 모형화한다.
학습 목표
- 사인, 코사인, 탄젠트를 실수 변수의 함수로 정의하고, 그 치역, 영점, 최댓값과 최솟값, 홀짝성, 최소 주기를 증명한다.
- 단위원으로부터 여섯 삼각함수의 그래프를 만들고, 수직 점근선을 부호표로 기술한다.
- 부등식 (단, ) 과 상계 을 증명하고, 이를 함수와 방정식의 연구에 사용한다.
- 사인곡선의 진폭, 주기, 위상 이동, 세로 방향 평행이동을 사인 그래프의 변환으로 해석하고, 주기적인 현상에 사인곡선을 맞춘다.
함수로서의 사인과 코사인
삼각비와 단위원 수업에서는 임의의 각의 사인과 코사인을, 표준 위치에 있는 각의 동경이 단위원과 만나는 점 의 좌표로 정의하였다. 그런데 각과 그 측정 수업에 따르면, 모든 실수는 어떤 방향각의 라디안 크기이고, 두 각의 동경이 같은 것은 그 크기의 차가 의 정수배일 때, 그리고 그때뿐이다. 그렇다면 사인과 코사인은 전체에서 정의된 함수로 볼 수 있다: 각 실수 에 점 의 좌표 하나를 대응시키는 것이다.
각 실수 에 대하여, 를 표준 위치에 있는 라디안의 각에 대응하는 단위원 위의 점이라 하자. 사인 함수는 에 의 세로 좌표를 대응시키고, 코사인 함수는 그 가로 좌표를 대응시킨다. 두 함수 모두 정의역은 모든 실수의 집합이다.
변수는 언제나 도가 아니라 라디안으로 측정한다. 이 선택은 아무래도 좋은 약속이 아니다: 둘째 절의 결과, 예를 들어 ( 가 양수일 때) 은 사인을 변수 자체와 비교하는데, 이 비교는 이 단위원 위에서 지나간 호의 길이일 때, 즉 1 라디안이 재는 것일 때에만 뜻이 있다.
사인의 치역과 코사인의 치역은 모두 구간 이다. 모든 실수 에 대하여 과 가 성립한다. 사인은 기함수이고 코사인은 우함수이다. 사인의 값이 영이 되는 곳은 정확히 의 정수배이고, 값 을 갖는 곳은 정확히 수 이며, 값 을 갖는 곳은 정확히 수 이다 ( 은 정수). 코사인의 값이 영이 되는 곳은 정확히 수 이고, 값 를 갖는 곳은 정확히 수 , 값 를 갖는 곳은 정확히 수 이다.
모든 것은 단위원 위에서, 피타고라스 항등식과 삼각비 수업에서 증명한 대칭성으로 읽어 낼 수 있다.
증명
피타고라스 항등식에 의해 사인의 제곱은 많아야 이므로, 사인은 와 사이에 있다. 코사인도 마찬가지이다.
거꾸로, (단, ) 이 주어지면 아래의 점 은 단위원 위에 있다. 각과 그 측정 수업에서 받아들인 호의 길이에 따른 이동의 공리의 덮개 성질에 의해, 그것은 점 이다 ( 는 어떤 각). 따라서 이다. 마찬가지로, 점 은 코사인이 값 을 가짐을 보여 준다.
라디안의 각과 라디안의 각은 동경이 같으므로 이다. 또한 삼각비 수업에서 증명했듯이, 는 를 가로축에 대하여 대칭이동한 점이다: 사인은 기함수, 코사인은 우함수이다.
사인이 영이 되는 것은 이 가로축 위에 있을 때, 즉 그것이 또는 일 때이다. 이들은 각 와 , 그리고 이들과 동경이 같은 각의 점이다. 코사인이 영이 되는 것은 이 또는 일 때이다.
이면, 피타고라스 항등식에 의해 코사인은 영이어야 하고, 점 는 이며, 이는 각 에 대응한다. 이면, 점은 이고, 이는 에 대응한다.
같은 추론으로, 코사인이 값 을 갖는 것은 일 때, 값 을 갖는 것은 일 때이다. 정리하면, 사인과 코사인의 최댓값과 최솟값은 아래의 수에서 얻어진다 ( 는 정수).
사인의 그래프
의 그래프는 단위원을 가로축 위에 펼쳐서 얻는다: 점 가 원을 따라 움직이는 동안, 지나간 호 (길이 ) 를 가로축으로 옮기고 각 가로 좌표 위에 점의 높이를 세운다. 삼각비 수업의 대칭성에 의해, 그래프 전체를 처음 4분의 1로부터 만들 수 있다.
그림은 단위원을 가로축 위에, 둘에 같은 길이 단위를 써서 펼친다: 점 의 높이는 가로 좌표 로 옮겨지고, 그래프 전체는 처음 4분의 1을 반복하고 대칭이동하여 얻어진다.
증명
이 에서 까지 갈 때, 점 는 에서 까지 제1사분면을 지나간다. 호의 길이에 따른 이동의 공리의 반바퀴 성질에 의해, 그 가로 좌표 은 에서 까지 엄격하게 감소한다. 그 높이는 음이 아닌 제곱근 이므로 에서 까지 엄격하게 증가한다. 역삼각함수 수업에서는 같은 논증을 구간 전체로 넓힌다.
삼각비 수업에서 계산한 특수각의 값은 첫 호의 중간 점 세 개를 준다.
과 사이에서는 보각의 대칭성에 의해 에서의 높이가 에서의 높이와 같다: 첫 호는 수직선 에 대하여 대칭이고, 내려가서 높이 에 이르며, 그때의 가로 좌표는 이다.
과 사이에서는 점 이 와 원점에 대하여 대칭인 점이다: 높이의 부호가 바뀌고, 그래프는 축 아래에서 이미 그린 호를 만큼 평행이동하고 대칭이동한 것을 반복한다.
주기성에 의해, 과 사이의 부분은 한 사이클이라 부르며 오른쪽과 왼쪽으로 반복된다. 또 사인은 기함수이므로 그래프는 원점에 대하여 대칭이다.
사인의 그래프는 직선 과 사이에서 진동하는 파동으로, 의 배수에서 가로축과 만나고, 수 에서 최댓값을, 수 에서 최솟값을 갖는다. 이는 위의 정리와 같다.
더욱이 그림은 두 가지 성질을 전제로 한다. 이 성질들은 펼친 원이 시사하지만 이 단원의 도구로는 증명할 수 없다: 그래프가 끊어지지 않은 곡선이라는 것, 그리고 축 위에 있는 각 호가 언제나 아래쪽으로 휜다는 것이다. 둘 다 극한으로 정의되며, 미적분학 I 강좌에서 증명된다. 여기서는 받아들인다. 이 단원의 어떤 정리도 이것들에 기대지 않는다: 이것들은 몇몇 문제에서만 쓰이며, 그 문제에서는 그 사실을 밝힌다.
증명 없이 받아들이는 사실 (삼각함수와 그 역함수의 연속성). 사인과 코사인은 수직선 전체에서 연속이다. 탄젠트, 시컨트, 코시컨트, 코탄젠트는 그 정의역에 포함된 각 구간에서 연속이다. 아크사인, 아크코사인, 아크탄젠트는 역삼각함수 수업에서 정의되며, 각자의 정의역에서 연속이다. 연속함수의 합, 곱, 분모가 영이 아닌 몫, 합성은 연속이다. 따라서 강좌 I에서 증명 없이 받아들이고 유리함수 수업에서 언급한 사잇값 정리에 관한 사실은, 정의역에 포함된 각 닫힌구간에서 , 또는 과 같은 함수에 적용된다: 양 끝에서 부호가 바뀌면 어떤 내부의 점에서 영이 된다.
증명 없이 받아들이는 사실 (사인이 위로 볼록함). 사인은 각 구간 ( 는 정수) 에서 엄격하게 위로 볼록하다: 이 이 구간의 점이면, 가로 좌표 인 그래프 위의 점은 가로 좌표 와 인 그래프 위의 점을 잇는 선분보다 엄격하게 위에 있다.
주기함수
함수 이 주기적이라는 것은, 어떤 수 가 있어서 정의역의 모든 에 대하여 와 가 정의역에 속하고 이 성립한다는 것이다. 이러한 수를 의 주기라 한다. 이 주기이면 , , 그리고 귀납법에 의해 그 모든 자연수배가 주기이다: . 따라서 주기함수는 무한히 많은 주기를 가지며, 가장 흥미로운 것은 그중 가장 작은 것 (존재한다면) 으로, 이를 최소 주기라 한다. 그 그래프는 주기와 같은 길이의 구간에 대응하는 부분을 반복하여 얻는다.
이 함수 의 최소 주기이면, 의 주기는 정확히 수 ( 는 자연수) 이다.
임의의 주기를 로 나누되, 나머지가 있는 나눗셈처럼 하여 나머지가 양수일 수 없음을 보인다. 그림은 최소 주기가 인 함수를 쓴다.
증명
의 각 자연수배는 주기이다. 이는 방금 귀납법으로 보았다.
거꾸로, 을 주기라 하자. 의 최소성에 의해 이다. 강좌 I의 유리수의 십진 표현 수업에서 증명한 실수의 아르키메데스 성질과 정렬성 원리에 의해, 각과 그 측정 수업의 첫 바퀴로의 환원 정리에서처럼, 자연수 가 있어서 이고, 나머지 은 과 사이에 있다 (뒤의 것은 제외).
만약 이 양수이면, 그것은 주기이다: 만큼 나아간 뒤 만큼 물러나는 것은 만큼 나아가는 것이고, 와 은 모두 주기이기 때문이다.
그러나 보다 작은 양의 주기는 의 최소성에 모순된다. 따라서 나머지는 영이고, 은 의 자연수배이다.
수 은 사인과 코사인의 최소 주기이다.
성질 정리에 의해 은 두 함수의 주기이다. 와 사이의 어떤 수도 주기가 아님을 보이면 되고, 이를 위해서는 최댓값을 어디서 갖는지 보는 것으로 충분하다.
증명
(단, ) 이 사인의 주기라고 가정하자. 등식 에 를 대입하면, 수 도 최댓값을 갖는 점이 된다.
성질 정리에 의해 사인이 값 을 갖는 곳은 수 뿐이다: 그러면 은 의 정수배가 되는데, 이는 와 사이에서는 불가능하다. 바꿔 말하면, 사인의 이웃한 두 최댓값 점 사이의 거리는 정확히 이다.
코사인에 대해서는 로 마찬가지로 생각한다: 주기 는 을 주지만, 코사인이 값 를 갖는 곳은 의 정수배뿐이다.
위의 보조정리에 의해, 사인과 코사인의 주기는 정확히 수 ( 는 자연수) 이다.
평행이동한 사인으로서의 코사인
코사인의 그래프에는 새로운 작도가 필요 없다. 그것은 사인의 그래프를 평행이동한 것이기 때문이다.
모든 실수 에 대하여 가 성립한다. 따라서 의 그래프는 사인의 그래프를 왼쪽으로 만큼 평행이동한 것이다.
여각과 보각의 대칭성을 결합하고, 이어서 강좌 I의 함수의 연산 수업의 변환 정리를 쓴다.
증명
여각의 대칭성에 의해 의 코사인은 의 사인이다.
보각의 대칭성에 의해 이다. 라 두면, 각 은 이다.
변환 정리에 의해, 의 그래프는 의 그래프를 가로 방향으로 만큼 평행이동한 것이다. 여기서 는 사인이고 이다: 사인 그래프의 각 점은 왼쪽으로 만큼 옮겨진다. 최댓값 점 은 로 옮겨진다.
평행이동한 그래프에서 코사인의 성질을 읽어 낼 수 있다: 코사인은 우함수이므로 그래프는 세로축에 대하여 대칭이고, 수 에서 가로축과 만나며, 최댓값 를 갖는 곳은 의 짝수배, 최솟값 를 갖는 곳은 홀수배이다.
콘텐츠를 불러오는 중…