mir.pe (일반/어두운 화면)
최근 수정 시각 : 2024-12-05 22:40:53

삼각함수

sincostan에서 넘어옴

파일:나무위키+유도.png  
코사인은(는) 여기로 연결됩니다.
작곡가 Cosine에 대한 내용은 EmoCosine 문서
번 문단을
부분을
, 별명이 코사인인 곡에 대한 내용은 Colours of Sorrow 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
참고하십시오.

파일:나무위키+유도.png  
은(는) 여기로 연결됩니다.
기호의 기원에 대한 내용은 삼각비 문서
2번 문단을
부분을
, 인터넷 밈에 대한 내용은 삼각함수의 노래 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
참고하십시오.
이 문서는 토론을 통해 다음의 합의사항들이 합의됐습니다. 합의된 부분을 토론 없이 수정할 시 제재될 수 있습니다.
토론 합의사항
{{{#!wiki style="margin: 0 -10px -5px; min-height: 26px"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -6px -1px -11px"
* 무한급수(테일러 급수)로 사인과 코사인으로 나타내는 것을 '정의'로 인정하되 해석기하학적인 정의(평면좌표와 원의 방정식을 이용한 정의)보다 앞서 서술하지 않는다.
}}}}}}}}}
삼각함수의 관련 둘러보기 틀
[ 펼치기 · 접기 ]
----
초등함수
Elementary Functions
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px; word-break: keep-all"
<colbgcolor=#567843> 대수함수 다항함수 ( 상수 · 1차 · 2차 · 3차 · 4차 · 추론 · 공식 ( 길이 · 넓이 ) · 소수생성) · 유리함수 · 무리함수
초월함수 지수함수( 확률밀도함수 · 허수지수함수 ) · 로그함수 ( 복소로그함수 ) · 삼각함수 · 역삼각함수 · 쌍곡선 함수 · 역쌍곡선 함수 }}}}}}}}}

삼각함수 · 쌍곡선함수
Trigonometric Functions · Hyperbolic Functions
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#f080b0> 기본 개념 기하학{ 평면기하학( 삼각형 · 삼각비 · · 쌍곡선)} · 해석학{ 좌표계 · 복소평면 · 함수( 초월함수 · 특수함수)}
삼각함수 사인곡선( 위상수학자의 사인곡선) · 역함수 · 도함수 · 역도함수 · 관련 함수 · 삼각함수의 덧셈정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리 · 오일러 공식 · 푸리에 해석( 푸리에 변환) · 삼각 적분 함수 · 구데르만 함수 · 프레넬 적분 함수 · 디리클레 함수 · 바이어슈트라스 함수 · 볼테라 함수 · 에어리 함수 · 야코비 타원 함수
쌍곡선함수 현수선 · 쌍곡선 적분 함수 · 구데르만 함수 }}}}}}}}}

평면기하학
Plane Geometry
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#765432> 공통 도형 · 직선 ( 반직선 · 선분 · 평행) · ( 맞꼭지각 · 동위각 · 엇각 · 삼각비) · 길이 · 넓이 · 다각형 ( 정다각형 · 대각선) · 작도 · 합동 · 닮음 · 등적변형 · 삼각함수 ( 덧셈정리) · 접선 · 벡터
삼각형 종류 정삼각형 · 이등변삼각형 · 부등변삼각형 · 예각삼각형 · 직각삼각형 · 둔각삼각형
성질 오심 ( 관련 정리 · 구점원) · 피타고라스 정리 · 사인 법칙 · 코사인 법칙 · 헤론의 공식 · 신발끈 공식 · 스튜어트 정리 · 우산 정리 · 오일러 삼각형 정리 · 데자르그 정리 · 메넬라오스 정리 · 나폴레옹의 정리 · 체바 정리 · 사영 정리 · 판아우벌 정리
기타 세모 모양 · 평범한 삼각형 · 젤곤 삼각형 · 랭글리 삼각형 · 페르마 점
사각형 정사각형 · 직사각형 · 마름모 · 평행사변형 · 사다리꼴 · 등변 사다리꼴 · 연꼴 · 네모 모양
그 외 다각형 오각형 · 육각형 · 칠각형 · 팔각형 ( 정팔각형) · 구각형 · 십각형 · 십일각형 · 십이각형 · 백각형
단위원 · 원주율 · · 부채꼴 · 할선 · 활꼴 · 방정식 · 원주각 · 방멱 정리 · 톨레미 정리
원뿔곡선 포물선 · 타원 · 쌍곡선 · 파스칼 정리
기타 유클리드 · 보조선 · 테셀레이션( 펜로즈 타일) · 제곱근의 앵무조개 · 픽의 정리 · 논증 기하학 · 해석 기하학 · 3대 작도 불능 문제 }}}}}}}}}
1. 개요2. 일반각과 삼각비3. 정의4. 도량형학 관점에서 바라본 정의역의 고찰5. 항등식6. 함수의 주기성 및 그래프
6.1. 여러 가지 각의 삼각함수
7. 삼각방정식과 삼각함수부등식
7.1. 삼각방정식
7.1.1. 삼각방정식의 일반해
7.2. 삼각함수부등식
8. 극한 미적분
8.1. 특수한 극한값을 갖는 합성함수8.2. 도함수8.3. 역도함수
9. 역함수10. 관련 함수11. 푸리에 급수12. 복소 및 극형식
12.1. 극좌표12.2. 오일러 공식 관련12.3. 복소함수에서의 삼각함수의 절댓값12.4. 복소평면에서의 삼각함수의 그래프
13. 수학 교과에서의 삼각함수14. '삼각함수에 관한 식' 오역 의견15. 관련 문서
[clearfix]

1. 개요

/ trigonometric function[1]

삼각비에서 쓰이는 정의역 예각[2]에서 일반각[3]으로 확장시킨 것.

2. 일반각과 삼각비

일반각을 정의하는 방법에는 도([math(\degree)])를 단위로 하는 육십분법 라디안([math(\rm rad)])을 단위로 하는 호도법이 있다. 어떤 체계에서든 각도는 무차원량인 " 1회전"에 대한 상댓값이기 때문에 차원이 없으며 단위가 반드시 명시되어야 한다.

3. 정의

3.1. 해석기하학: 좌표와 으로 정의하기


파일:namu_삼각함수_단위원_정의.svg

좌표평면 상 원점 [math(\rm O)]가 중심인 단위원을 고려하자. 단위원 위의 한 점 [math({\rm P}(x,\,y))]에 대하여 [math(x)]축의 양의 방향을 시초선[5]으로 잡는다. [math(\rm O)]를 중심으로 시초선에서 반시계 방향 회전을 각의 양의 방향으로 잡고, 그 각의 크기를 [math(\theta)]라고 하고, 삼각함수를 다음과 같이 정의한다.
[math(\displaystyle \begin{aligned} \sin{\theta}&:=y \\ \cos{\theta}&:=x \\ \tan{\theta}&:=\frac{y}{x} \quad (x \neq 0) \end{aligned} )]
각각 '사인', '코사인', '탄젠트'로 읽는다.

동경이 몇 사분면에 위치하는지에 따라 삼각함수의 부호는 달라진다.
<colbgcolor=#efefef,#555555> 동경의 위치 1사분면 2사분면 3사분면 4사분면
사인의 부호 [math(+)] [math(+)] [math(-)] [math(-)]
코사인의 부호 [math(+)] [math(-)] [math(-)] [math(+)]
탄젠트의 부호 [math(+)] [math(-)] [math(+)] [math(-)]
이를 순서대로 올(all)사(sine)탄(tangent)코(cosine)[6]로 외우면 좋다.[7]

그동안 직각삼각형으로만 정의해왔던 것에 익숙한 사람은 위와 같은 정의가 낯설 수 있다. 하지만 잘 생각해보면 [math(\theta)]가 예각일 때, 위의 관계식은 빗변의 길이가 1인 직각삼각형에서 삼각비를 정의했던 것과 완전히 같다는 것을 알 수 있다. 차이점이라면 더 이상 (0 또는 음수가 될 수 없는) '길이' 개념에서 벗어나 '좌표'를 이용하기 때문에 직각삼각형에 구애받을 필요가 없고, 따라서 [math(\theta)]가 일반각으로 해석적으로 확장된다는 점이다.

다음과 같이 삼각함수의 역수를 정의한다.
[math(\displaystyle \begin{aligned} \sec{\theta}&:=\frac{1}{\cos{\theta}}=\frac{1}{x} \quad &&(x \neq 0) \\ \csc{\theta}&:=\frac{1}{\sin{\theta}}=\frac{1}{y} \quad &&(y \neq 0) \\ \cot{\theta}&:=\frac{1}{\tan{\theta}}=\frac{x}{y} \quad &&(y \neq 0) \end{aligned} )]
각각 '시컨트', '코시컨트', '코탄젠트'라 읽는다. 또, 코시컨트는 [math(\operatorname{cosec}{x})]로 쓰기도 한다.

좌표평면 상 원점 [math(\rm O)]가 중심이고, 반지름이 [math(r)]인 원 위의 점 [math((x,\,y))]에 대해서도 동일한 방법으로 정의가 가능하며, 아래와 같다.
[math(\displaystyle \begin{aligned} \sin{\theta}&:=\frac{y}{r} \\ \cos{\theta}&:=\frac{x}{r} \\ \tan{\theta}&:=\frac{y}{x} \end{aligned} )]

주의해야 할 것은, 삼각함수를 [math(\sin^n\theta)]처럼 거듭제곱 꼴로 나타낸 경우, 이는 함수를 [math(n)]번 함수를 합성한 것이 아니라 함숫값의 [math(n)]제곱을 의미한다는 점이다. 즉,
[math(\displaystyle \begin{aligned} \sin^2\theta = (\sin\theta)^2 \neq \sin{(\sin\theta)} \end{aligned} )]

3.2. 해석학: 무한급수로 정의


파일:나무위키+유도.png  
은(는) 여기로 연결됩니다.
'무한급수'에 대한 내용은 급수(수학) 문서
3번 문단을
부분을
, '비율 판정법'에 대한 내용은 급수(수학) 문서
3.6번 문단을
번 문단을
부분을
부분을
, 사인함수와 코사인함수 이외의 다른 삼각함수에 대한 테일러 급수에 대한 내용은 테일러 급수/목록 문서
4.2번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
, 에 대한 내용은 문서
번 문단을
번 문단을
부분을
부분을
참고하십시오.
무한급수를 활용하여 삼각함수를 다음과 같이 테일러 급수로도 정의할 수 있다. 이 방법은 해석기하학에 의존하지 않으며 복소수나 정사각행렬 등으로도 확장할 수 있다. 이렇게 정의하면 원주율 [math(\pi)]는 코사인 함수의 근 중 가장 작은 양수의 2배로 정의된다. 기하학적으로 [math(\cos{(\pi/2)}=0)]을 반대로 접근하는 것인 셈. 그러면 단위원의 넓이는 [math(\pi)]이고 원주는 [math(2\pi)]가 되는데, 당연하겠지만 기존 기하학의 결과와 완전히 일치한다. 삼각함수를 기하학적으로 정의하면 삼각함수의 미적분에서 [math(\displaystyle \lim_{x\to0}\{(\sin x)/x\} = 1)]임을 증명하는 과정에서 기하학적인 원넓이의 공식을 이용하기 때문에 순환논리에 빠지지만(아래 특수한 극한값을 갖는 합성함수 문서 참고.), 무한급수로 삼각함수를 정의하면 이 순환논리를 피할 수 있다. 무한급수로 삼각함수를 정의하면 기하학적 의미를 알 수 없는데 곡선의 길이 공식으로 단위원을 적분하여 아크코사인 함수를 만들 수 있고 이것이 무한급수로 정의한 아크코사인과 같음을 보여서 급수로 정의한 삼각함수의 기하학적 의미를 알 수 있다.
[math(\displaystyle \begin{aligned} \sin x &=\sum_{n=0}^{\infty} \frac{(-1)^{n}x^{2n+1}}{(2n+1)!}\\&= x-\dfrac{x^3}{3!}+\dfrac{x^5}{5!}-\dfrac{x^7}{7!}+\cdots \\ \cos x &=\sum_{n=0}^{\infty} \frac{(-1)^{n}x^{2n}}{(2n)!}\\ &= 1-\dfrac{x^2}{2!}+\dfrac{x^4}{4!}-\dfrac{x^6}{6!}+\cdots \end{aligned} )]

[비율판정법으로 수렴·발산 여부 확인하기]
------
수열 [math(\{a_n\})]을 다음과 같이 가정하자.
[math(a_n := \dfrac{x^n}{n!})]
그러면 이 수열에 관한 [math(\sin x)], [math(\cos x)]의 식을 다음과 같이 나타낼 수 있다.
[math(\begin{aligned} \displaystyle \sin x &= x-\frac{x^3}{3!}+\frac{x^5}{5!}-\frac{x^7}{7!}+\cdots = \sum_{k=0}^\infty \left(-1\right)^{k}a_{2k+1} \\ \cos x &= 1-\frac{x^2}{2!}+\frac{x^4}{4!}-\frac{x^6}{6!}+\cdots = \sum_{k=0}^\infty \left(-1\right)^ka_{2k}\end{aligned})]
각 급수의 일반항의 비율은
[math(\begin{aligned} \sin x &: -\dfrac{a_{2k+3}}{a_{2k+1}} \\ \cos x &: -\dfrac{a_{2k+2}}{a_{2k}} \end{aligned})]
이며, 이들의 절댓값 극한을 한꺼번에 구하기 위해 아래와 같이 일반화할 수 있다:
[math(-\dfrac{a_{k+2}}{a_k} = -\dfrac{\dfrac{x^{k+2}}{\left(k+2\right)!}}{\dfrac{x^k}{k!}}=-\dfrac{x^2}{\left(k+1\right)\left(k+2\right)})]
이때 [math(x)]가 고정되어 있으므로 다음이 성립한다.
[math(\displaystyle \lim_{k\to\infty}\frac{x^2}{\left(k+1\right)\left(k+2\right)}=0)]

비율판정법의 따름정리에 의하여 위에서 나타낸 식
[math(\begin{cases}\displaystyle\sin x = \sum_{k=0}^\infty \left(-1\right)^{k}a_{2k+1} = \sum_{k=0}^\infty \frac{\left(-1\right)^{k}x^{2k+1}}{(2k+1)!} \\ \displaystyle \cos x = \sum_{k=0}^\infty \left(-1\right)^ka_{2k} = \sum_{k=0}^\infty \frac{\left(-1\right)^{k}x^{2k}}{(2k)!}\end{cases})]
이 성립하며, 어떤 실수 [math(x)]값을 대입하더라도 반드시 수렴한다.

또한 이 급수의 수열은 절대 수렴하는 수열이기 때문에 복소수를 대입하더라도 마찬가지로 정의에 따라 절대적으로 수렴함이 확인된다.[8]


다른 삼각함수에 대한 무한급수는 다음과 같다. [math(B_n)]은 베르누이 수열, [math(E_n)]은 오일러 수열이다.
[math(\begin{aligned} \displaystyle \tan{x} &= \sum_{n=1}^\infty \frac{ \left\{ \left( -4 \right)^n - \left( -16 \right)^n \right\}B_{2n}}{(2n)!} x^{2n-1} \\ &= \sum_{n=0}^{\infty} \dfrac {8x}{(2n+1)^2{\pi}^2-4x^2} \\
\sec{x} &= \sum_{n=0}^\infty \frac{ \left( -1 \right)^n E_{2n}}{(2n)!} x^{2n} \\ &= \sum_{n=0}^{\infty} \dfrac {(-1)^n(2n+1){\pi}}{\left(n+ \dfrac {1}{2}\right)^{\! 2}\!\!{\pi}^2-x^2} \\
\csc{x} &= \sum_{n=0}^\infty \frac{ \left\{ 2 \left( -1 \right)^n - \left( -4 \right)^n \right\}B_{2n}}{(2n)!} x^{2n-1} \\ &= \dfrac {1}{x} + 2x \sum_{n=1}^{\infty} \dfrac {(-1)^n}{x^2-(n{\pi})^2} \\
\cot{x} &= \sum_{n=0}^\infty \frac{ \left( -4 \right)^n B_{2n}}{(2n)!} x^{2n-1} \\ &= \dfrac {1}{x} + 2x \sum_{k=1}^{\infty} \dfrac {1}{x^2 -(k{\pi})^2}\end{aligned})]
자세한 내용은 미타그레플레르 정리 문서를 참고하자.

3.3. 해석학: 무한곱으로 사인·코사인 정의하기

한편 무한합이 아닌 무한으로도 삼각함수를 정의할 수 있는데, 카를 바이어슈트라스가 유도했다. 자세한 내용은 바이어슈트라스 분해 정리 문서를 참고하자.
[math(\displaystyle \begin{aligned}
\sin(\pi z) &= \pi z \prod_{k=1}^\infty \biggl( 1 -\frac{z^2}{k^2} \biggr) \\
\cos(\pi z) &= \prod_{k=1}^\infty \biggl( 1 -\frac{4z^2}{(2k-1)^2} \biggr)
\end{aligned} )]

4. 도량형학 관점에서 바라본 정의역의 고찰

물리량 문서에 명시되어있듯 (물리량)[math(=)](수치)[math(\times)](단위)의 관계에 있다. 어떤 물리량을 갖고 계산을 할 때 단위는 수치에 곱해져서 따라다닐 뿐 수치에 영향을 미치지 않기 때문에 수학에서는 물리량에서 단위를 뗀 수치에 주목해서 다루지만, 단위까지 포함된 물리량으로서 다뤄야 하는 도량형학(좀 더 넓은 범주로는 물리학)의 관점에서는 수치만 놓고 다룰 수 없다. 1회전이 육십분법에서는 [math(360\degree)]이고, 그레이드 단위에서는 [math(400^{\char0609})]이고 호도법에서는 [math(2\pi{\rm\,rad})][9]으로 1회전의 기준이 각각 다르게 정의되어 식의 계수가 변하기 때문이다.

온도에 관한 환산 공식을 쓸 때, 가령 섭씨온도 화씨온도 혹은 절대온도 화씨온도로 환산하는 경우
[math(\begin{aligned}\dfrac{T_{\rm\degree\!F}}{\rm\degree\!F} &= \dfrac95\dfrac{T_{\rm\degree\!C}}{\rm\degree\!C} + 32 \\ &= \dfrac95\dfrac{T_{\rm K}}{\rm K}-459.67 \end{aligned})]
위와 같이 차원은 물론 단위까지 고려한 방정식으로 나타내야 한다는 원칙[10]에 따라, 각도에 관한 물리량을 정의역으로 갖는 삼각함수 역시 도량형학 관점에서는 단위 관계가 같이 고려되어야 한다. 가령 널리 알려진 [math(\sin\theta)]의 미분 공식
[math(\dfrac{{\rm d}(\sin\theta)}{{\rm d}\theta} = \cos\theta)]
을 잘 살펴보면 좌변은 [math(\rm rad)] 단위를 내포하는 호도법의 미소각 [math({\rm d}\theta)]로 단위가 없는 미소 사인함수 [math({\rm d}(\sin\theta))][11]를 나눈 것과 같으므로 도량형학 관점에서 좌변은 단위가 [math(1/{\rm rad})]이다. 그러나 우변은 단위가 없는 [math(\cos\theta)]이므로 위 식은 도량형학 관점에서는 틀린 수식이 된다. 단위 관계를 맞추기 위해 좌변에 [math(\rm rad)]을 곱해서
[math(\dfrac{{\rm d}(\sin\theta)}{{\rm d}\theta}\,{\rm rad} = \dfrac{{\rm d}(\sin\theta)}{{\rm d}(\theta/{\rm rad})} = \cos\theta)]
로 나타낸다 해도 문제가 되는데, 알려진 바와 같이 [math(\sin\theta)]는 정의상 다음과 같이 무한 급수
[math(\begin{aligned}\displaystyle \sin\theta &= \sum_{n=0}^\infty\frac{(-1)^n\theta^{2n+1}}{(2n+1)!} \\ &= \theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \frac{\theta^7}{7!} + \cdots\end{aligned})]
와 같으므로 대입하면
[math(\begin{aligned}\frac{{\rm d}(\sin\theta)}{{\rm d}(\theta/{\rm rad})} &= \frac{\rm d}{{\rm d}(\theta/{\rm rad})}{\left(\theta - \frac{\theta^3}{3!} + \frac{\theta^5}{5!} - \frac{\theta^7}{7!} + \cdots\right)} \\ &= {\rm rad} - \frac{\theta^2}{2!}{\rm\,rad} + \frac{\theta^4}{4!}{\rm\,rad} - \frac{\theta^6}{6!}{\rm\,rad} + \cdots\end{aligned})]
으로 우변에 [math(\rm rad)]이 일괄적으로 곱해진 수식이 되며, 첫째 항은 단위가 [math(\rm rad)], 둘째 항은 [math(\theta^2)]까지 포함하여 단위가 [math(\rm rad^3)], 같은 방식으로 셋째 항은 단위가 [math(\rm rad^5)] 등등이 되어 양변의 단위가 전혀 맞지 않는 수식이 된다. 이를 해결하는 유일한 방법은 삼각함수의 정의역에 [math(\boldsymbol\theta)]가 아닌 [math(\boldsymbol\theta{\bf/rad})], 즉 호도법 각도의 수치[12]가 들어가는 것이다.

혹은 다음과 같이 보일 수도 있다. 평면 좌표계에서 반지름이 [math(r)]인 원위의 좌표 [math((x,\,y))]에 대하여 [math( y/r)]는 단위를 갖지 않는(설령 단위를 갖는다 하더라도 서로 같은 단위와 차원을 공유하는) [math(y)]와 [math(r)]의 비이므로 [math(y/r)]는 단위를 갖지 않는 순수한 수치이다. 이때 다음과 같은 무한 급수
[math(\displaystyle \sum_{n=0}^\infty \frac{(2n-1)!!}{(2n)!!{\cdot}(2n+1)}{\left(\frac yr\right)}^{2n+1} = \frac yr + \frac16{\left(\frac yr\right)}^3 + \frac3{40}{\left(\frac yr\right)}^5 + \frac5{112}{\left(\frac yr\right)}^7 + \cdots)]
는 순수한 수치들로만 구성된 급수이므로 위 급수가 특정 값 [math(\alpha)]로 수렴한다면 [math(\alpha)] 역시 단위를 갖지 않는 순수한 수치이다. 위 급수는 [math(| y/r|\le1)]일 때 수렴하는 것으로 알려져 있는데 [math(y)]가 반지름이 [math(r)]인 원 위의 점 [math((x,\,y))]의 좌표이므로 수렴하며, 이 값은 [math(arcsin{( y/r)} = alpha)], 즉 [math(\sin)] 함수의 정의역인 '각에 관한 값'을 나타낸다. [math(-\pi/2\le\alpha\le\pi/2)]라고 할 때, [math(\sin\alpha = y/r)]로 나타낼 수 있으며 [math(\alpha)]는 단위를 갖지 않는 수치이므로 [math(\rm rad)] 단위를 갖는 [math(\theta)]로 환원하면 [math(\theta = \alpha{\rm\,rad} \Leftrightarrow \alpha = \theta/{\rm rad})], 즉 삼각함수의 정의역에는 [math(\rm rad)] 단위가 약분된 수치 [math(\theta/{\rm rad})]이 들어가야 한다.

이 특징이 흔히 '호도법으로 나타낸 각은 [math(\rm rad)] 단위를 쓰지 않아도 된다'고 잘못 알려져 있는데 애초에 [math(\rm rad)]을 뗀 수치만을 정의역으로 가져야 수학에서 쓰는 공식을 물리학에서도 그대로 쓸 수 있다는 특성이 와전된 것이다. 이러니 고등학교 수학에서 꼭 나오는 질문 중 하나가 "왜 호도법 각을 쓸 때 단위를 안 쓰나요?"라는 것은 불견시도.

실제로 위와 같이 삼각함수의 정의역에 단위를 포함하지 않는, 호도법 각의 수치만 들어가야 한다는 고찰은 일찍이 학계에서도 논의된 바 있다. 해당 표기에 대해서는 학자마자 저마다의 표기를 써서 중구난방이긴 하지만 나열하면 다음과 같다.[13]

이에 따라 육십분법이나 그레이드로 나타낸 각도는 삼각함수의 정의역에 들어갈 때 호도법의 각 수치로 환산된 공식의 형태로만 들어가게 되는데[19]
[math(\phi_{\degree} : 360\degree = \phi_{{}^{\char0609}} : 400^{\char0609} = \theta : 2\pi{\rm\,rad} \quad \Leftrightarrow \quad \theta/{\rm rad} = \cfrac\pi{180\degree}\phi_{\degree} = \cfrac\pi{200^{\char0609}}\phi_{{}^{\char0609}})]
이므로
[math(\begin{aligned} \sin(\theta/{\rm rad}) &= \sin\frac\pi{180\degree}\phi_\degree \\ &= \sin\frac\pi{200^{\char0609}}\phi_{{}^{\char0609}}\end{aligned})]
이며 따라서
[math(\lim\limits_{\frac\theta{\rm rad}\to0}\cfrac{\sin(\theta/{\rm rad})}{\theta/{\rm rad}} = 1)]
이라는 공식은 각도를 다른 단위의 물리량으로 치환하면 결과값이 바뀌게 된다. 이를테면
[math(\begin{aligned}\lim\limits_{(\phi_\degree/\degree)\to0}\frac{\sin(\theta/{\rm rad})}{\phi_\degree/\degree} &= \frac{\sin\dfrac\pi{180}(\phi_\degree/\degree)}{\phi_\degree/\degree} \\ &= \frac\pi{180} \end{aligned})]
이다. 물론 삼각형과 부채꼴의 넓이로부터 해당 공식을 유도하는 과정을 육십분법 및 그레이드 단위로 진행하게 되면 결과적으로 분모가 각각
[math(\dfrac\pi{180\degree}\phi_\degree)], [math(\dfrac\pi{200^{\char0609}}\phi_{{}^{\char0609}})]
가 되기 때문에 여전히 공식은 [math(1)]이다. 아래의 특수한 극한값을 갖는 합성함수 문단 참고. 이는 물리량으로 나타낸 양 방정식(quantity equation)은 단위에 상관 없이 관계식이 일정한데 반해, 수치 방정식(numerical equation)은 무슨 단위를 썼냐에 따라 공식이 변한다는 일반적인 성질[20]을 잘 보여주는 부분이기도 하다.

정리하면 물리량을 다루는 도량형학 혹은 물리학 관점에서 삼각함수는 [math(\sin\theta)], [math(\cos\theta)], [math(\tan\theta)] 등이 아닌 단위 [math(\rm rad)]이 약분된 물리량 [math(\sin(\theta/{\rm rad}))], [math(\cos(\theta/{\rm rad}))], [math(\tan(\theta/{\rm rad}))] 등으로 쓰는 게 엄밀한 표기이며 삼각함수는 본질적으로 물리량을 다루는 양 방정식의 함수가 아닌, 수치를 다루는 수치 방정식의 함수이다.

5. 항등식


이상에서 복부호 동순이며, [math(n)]은 임의의 정수이다.

5.1. 삼각함수의 덧셈정리

파일:상세 내용 아이콘.svg   자세한 내용은 삼각함수의 덧셈정리 문서
번 문단을
부분을
참고하십시오.

6. 함수의 주기성 및 그래프

파일:상세 내용 아이콘.svg   자세한 내용은 사인 곡선 문서
번 문단을
부분을
참고하십시오.
파일:namu_삼각함수_각종_그래프_재수정.svg

위 그래프는 각종 삼각함수의 그래프를 주치 구간에 대하여 나타낸 것이다. 나머지 구간은 주치 구간의 그래프가 반복된다.

삼각함수는 모두 주기함수[23]이며, 기본 주기가 [math(\pi)]인 탄젠트 함수, 코탄젠트 함수를 제외하고 모두 기본 주기가 [math(2\pi)]이다. 무한 개의 변곡점을 갖는다.

한편 코사인 함수, 시컨트 함수는 [math(y)]축에 대칭인 짝함수이고, 나머지 넷은 원점에 대칭인 홀함수이다.

6.1. 여러 가지 각의 삼각함수

이하 모든 식들은 복부호 동순이다.

[math(n)]이 정수일 때 다음이 성립한다.
[증명]
------
삼각함수의 덧셈정리를 적용한다.
[math(\displaystyle \begin{aligned} \sin{(n\pi \pm \theta)}=\sin{(n\pi)}\cos{\theta} \pm \cos{(n \pi)} \sin{\theta} \end{aligned} )]
임을 얻을 수 있다. 한편,
[math(\displaystyle \begin{aligned} \sin{(n \pi)}&=0 \\ \cos{(n \pi)}&=(-1)^{n} \end{aligned} )]
이므로 위 결과는 다음과 같이 쓸 수 있다.
[math(\displaystyle \begin{aligned} \sin{(n\pi \pm \theta)}= \pm (-1)^{n} \sin{\theta} \end{aligned} )]
마찬가지의 방법으로 코사인에 대하여
[math(\displaystyle \begin{aligned} \cos{(n\pi \pm \theta)}&=\cos{(n\pi)}\cos{\theta} \mp \sin{(n \pi)} \sin{\theta} \\&=(-1)^{n}\cos{\theta} \end{aligned} )]
탄젠트는 사인, 코사인, 탄젠트의 관계에 의하여
[math(\displaystyle \begin{aligned} \tan{(n\pi \pm \theta)}&=\frac{\sin{(n\pi \pm \theta)}}{\cos{(n\pi \pm \theta)}} \\&=\frac{\pm (-1)^{n} \sin{\theta} }{(-1)^{n}\cos{\theta}} \\&=\pm \tan{\theta} \end{aligned} )]

마찬가지의 방법으로 삼각함수의 덧셈정리를 적용한다.
[math(\displaystyle \begin{aligned} \sin{\biggl\{ \dfrac{(2n+1)\pi}{2} \pm \theta \biggr\}}=\sin{\biggl\{ \dfrac{(2n+1)\pi}{2} \biggr\}} \cos{\theta} \pm \cos{\biggl\{ \dfrac{(2n+1)\pi}{2} \biggr\}} \sin{\theta} \end{aligned} )]
임을 얻을 수 있다. 한편,
[math(\displaystyle \begin{aligned} \sin{\biggl\{ \dfrac{(2n+1)\pi}{2} \biggr\}}&=(-1)^{n} \\ \cos{\biggl\{ \dfrac{(2n+1)\pi}{2} \biggr\}}&=0 \end{aligned} )]
이므로 위 결과는
[math(\displaystyle \begin{aligned} \sin{\biggl\{ \dfrac{(2n+1)\pi}{2} \pm \theta \biggr\}}=(-1)^{n} \cos{\theta} \end{aligned} )]
마찬가지의 방법으로 코사인에 대하여
[math(\displaystyle \begin{aligned} \cos{\biggl\{ \dfrac{(2n+1)\pi}{2} \pm \theta \biggr\}}&=\cos{\biggl\{ \dfrac{(2n+1)\pi}{2} \biggr\}} \cos{\theta} \mp \sin{\biggl\{ \dfrac{(2n+1)\pi}{2} \biggr\}} \sin{\theta} \\&=\mp(-1)^{n}\sin{\theta} \end{aligned} )]
탄젠트는 사인, 코사인, 탄젠트의 관계에 의하여
{\cos{\biggl\{ \dfrac{(2n+1)\pi}{2} \pm \theta \biggr\}}} \\&=\frac{(-1)^{n} \cos{\theta}}{\mp (-1)^{n}\sin{\theta}} \\&=\mp \cot{\theta} \end{aligned} )] ||
}}}

자주 사용되는 형태를 정리하면 아래와 같다.
[math(\displaystyle \begin{matrix}
\sin{(2n \pi \pm \theta)}=\pm \sin{\theta} \qquad \qquad & \cos{(2n \pi \pm \theta)}= \cos{\theta} \qquad \qquad & \tan{(2n \pi \pm \theta)}= \pm \tan{\theta}\\ \\
\sin{( \pi \pm \theta)}=\mp \sin{\theta} \qquad \qquad & \cos{( \pi \pm \theta)}= -\cos{\theta} \qquad \qquad & \tan{( \pi \pm \theta)}= \pm \tan{\theta}\\ \\
\sin{\biggl( \dfrac{\pi}{2} \pm \theta \biggr)}= \cos{\theta} \qquad \qquad & \cos{\biggl( \dfrac{\pi}{2} \pm \theta \biggr)}= \mp \sin{\theta} \qquad \qquad & \tan{\biggl( \dfrac{\pi}{2} \pm \theta \biggr)}= \mp \cot{\theta}\\ \\
\sin{\biggl( \dfrac{3\pi}{2} \pm \theta \biggr)}= -\cos{\theta} \qquad \qquad & \cos{\biggl( \dfrac{3\pi}{2} \pm \theta \biggr)}= \pm \sin{\theta} \qquad \qquad & \tan{\biggl( \dfrac{3\pi}{2} \pm \theta \biggr)}= \mp \cot{\theta}
\end{matrix} )]

이것을 외우지 않고, 임의의 각에 적용하는 방법은 아래와 같다.
  1. 임의의 각을 [math(\dfrac{\pi}{2}n \pm \theta)] (단, [math(n)]은 정수) 형태로 바꾼다.[24]
  2. [math(n)]이 홀수냐 짝수냐에 따라 다음을 진행한다.
    • [math(n)]이 홀수이면, 사인을 코사인으로, 코사인을 사인으로, 탄젠트를 코탄젠트로 바꾼다.
    • [math(n)]이 짝수이면, 삼각함수를 바꾸지 않고 그대로 진행한다.
  3. [math(\theta)]가 예각이라고 가정하고 [math(\dfrac{\pi}{2}n \pm \theta)]의 각이 나타내는 동경이 위치하는 사분면을 확인한다.
  4. 이 사분면에 원래 삼각함수가 양이면, [math(+)]를, 음이면 [math(-)]를 붙인다.

예로 [math(\sin{(35\pi/3)})]의 값을 구해보자. 우선 이 각은
[math(\displaystyle \frac{35\pi}{3}=\frac{\pi}{2}\cdot 23+\frac{\pi}{6} )]
이다. 따라서 [math(n)]이 홀수이므로 사인은 코사인으로 바뀐다. 한편, 해당 각은 (예각이긴 하지만) [math(\pi/6)]를 예각으로 취급했을 때, 3사분면에 위치한다. 3사분면에서 사인은 음이므로 [math(-)]를 붙여 다음과 같이 구해진다.
[math(\displaystyle \sin{\biggl( \frac{35\pi}{3} \biggr)}=-\cos{\biggl( \frac{\pi}{6} \biggr)}=-\frac{\sqrt{3}}{2} )]
만약
[math(\displaystyle \frac{35\pi}{3}=\frac{\pi}{2}\cdot 21+\frac{7\pi}{6} )]
로 생각한다면, [math(7\pi/6)]를 예각으로 취급하여 해당 각을 1사분면에 위치한다고 하여 양으로 잡아 [math(+)]를 붙여 다음과 같이 구하여야 한다.
[math(\displaystyle \sin{\biggl( \frac{35\pi}{3} \biggr)}=+\cos{\biggl( \frac{7\pi}{6} \biggr)}=-\frac{\sqrt{3}}{2} )]

이러한 유용한 공식이 나올 수 있는데는 삼각함수 자체가 주기함수이기 때문이다.

이 공식은 값이 큰 일반각을 다루기 쉽게 작은 각 또는 특수 각으로 고쳐 쉽게 일반각에 대한 삼각함수의 값을 구할 수 있다는데 의의가 있다. 또한 하틀리 변환에 사용되는 [math(rm cas)] 함수[25]를 계산할 때 유용하게 사용된다.

7. 삼각방정식과 삼각함수부등식

7.1. 삼각방정식

각의 크기가 미지수인 삼각함수를 포함하는 방정식을 삼각방정식이라 한다. 이 문단에서는 (삼각함수)[math(=)](상수) 꼴로 정리되는 것만 다룬다. 그 이유는 아주 특수한 경우를 제외하고는 손으로 풀지 못하고 수치해석 프로그램을 이용해야 하기 때문이다.[26][27] 후술할 복소형식을 이용할 수도 있으나, 대부분의 경우 환원 불능(casus irreducibilis)이 되어 유용하진 않다.

이 삼각방정식을 푸는 방법은 여러 가지가 있는데, 그것을 예를 통해 알아보자. 삼각방정식을 간단하게 정리하면 [math(\sin{x}=a)], [math(\cos{x}=a)], [math(\tan{x}=b)] ([math(a)], [math(b)]는 상수, [math(|a| \leq 1)]) 형태로 정리할 수 있다.

가장 간단한 방법은 그래프를 이용한 방법이다. 방정식 [math(f(x)=g(x))]는 곧 좌표평면 상 [math(y=f(x))], [math(y=g(x))]의 교점의 [math(x)]좌표임을 이용하면 된다. 예를 들어 [math(\cos{x}=a)]는 곧 [math(y=\cos{x})]와 [math(y=a)]의 교점의 [math(x)]좌표를 구하면 된다. 아래와 같이 [math(x=x_{1})] 또는 [math(x=x_{2})]가 구해진다.

파일:namu_삼각방정식_그래프이용.svg

또 하나의 방법은 단위원을 이용하는 것이다. 사인, 코사인, 탄젠트는 각각 단위원 위의 점에 의해서 정의된다. 아래의 그림은 [math(\sin{x}=a)]의 해를 단위원을 통해 구하여 아래와 같이 [math(x=x_{1})] 또는 [math(x=x_{2})]임을 얻은 것이다.

파일:namu_삼각방정식_단위원이용.svg

일반적으로 삼각방정식의 해를 구할 때는 주치 구간에 대하여 구하게 되는데[28] 일반적으로 해가 2개 존재하게 된다.[29] 그리고, 이 특정한 구간에 대하여 구한 해를 특수해라 한다.

이외에도 역함수를 이용하는 방법이 있다. 이 경우 단 하나의 특수해만을 갖는다.

7.1.1. 삼각방정식의 일반해

하지만 삼각함수 자체는 주기함수이기 때문에 해가 무한히 많다는 것을 그래프 상에서 직접 볼 수 있다. 따라서 실수 전체 구간에 대하여 구한 해를 일반해라 하는데, 그것을 구하는 방법을 알아보자.

간단하게 생각해보면 해의 범위를 실수 전체로 늘리면, 주치 구간에서 구한 특수해에서 한 바퀴 정수배 만큼의 회전이 가해지거나 감해지는 경우에도 방정식의 해가 될 것이다. 즉
[math(\begin{aligned} \displaystyle x&=x_{1}+2n \pi \\ x&=x_{2}+2n \pi \end{aligned})]
또한 해가 된다. 여기서 [math(n)]은 임의의 정수이다. 한편, [math(x_{2}>x_{1})]임을 가정하자.

파일:namu_삼각방정식_단위원이용.svg

[math(\sin{x}=a)]의 경우 다음이 성립한다.
[math(x_{2}=\pi-x_{1} )]
이것을 대입하면
[math(\begin{aligned} \displaystyle x_{2}+2n \pi&=(\pi-x_{1})+2n \pi \\ &=(2n+1)\pi-x_{1} \end{aligned})]
위의 결과를 종합하여 해를 다음과 같은 꼴로 쓸 수 있다.
[math(x=n\pi+(-1)^{n}x_{1})]
여기서는 [math(x_{1})]을 기준으로 했지만, [math(x_{2})]로 기준을 삼아도 결과는 같게 나온다.

파일:namu_삼각방정식_단위원이용_2.svg

[math(\cos{x}=a)]의 경우 다음이 성립한다.
[math(x_{2}=2\pi-x_{1} )]
이것을 대입하면
[math(\begin{aligned} \displaystyle x_{2}+2n \pi&=(2\pi-x_{1})+2n \pi \\ &=(n+1)2\pi-x_{1} \end{aligned})]
위의 결과를 종합하여 해를 다음과 같은 꼴로 쓸 수 있다.
[math(x=2n\pi\pm x_{1})]
여기서는 [math(x_{1})]을 기준으로 했지만, [math(x_{2})]로 기준을 삼아도 결과는 같게 나온다.

파일:namu_삼각방정식_단위원이용_3.svg

[math(\tan{x}=b)]의 경우 다음이 성립한다.
[math(x_{2}=\pi+x_{1} )]
이것을 대입하면
[math(\begin{aligned} \displaystyle x_{2}+2n \pi&=(\pi+x_{1})+2n \pi \\ &=(2n-1)\pi+x_{1} \end{aligned})]
위의 결과를 종합하여 해를 다음과 같은 꼴로 쓸 수 있다.
[math(x=n \pi + x_{1})]
여기서는 [math(x_{1})]을 기준으로 했지만, [math(x_{2})]로 기준을 삼아도 결과는 같게 나온다.

위 결과는 특수해를 주치 구간에 대하여 구한 것으로 한정했지만 실제로는 [math(x_{1})]이 어떤 구간에 대한 특수해에 대하여 성립한다. 하지만 유용성과 난이도를 이유로 [math(x_{1})]을 주치 구간의 특수해 중 작은 것을 잡는 것이 관례적이다.

위 문단의 내용을 정리하면 삼각방정식의 한 특수해를 [math(\xi)], [math(a)], [math(b)]는 상수, [math(|a| \leq 1)], [math(n)]을 임의의 정수라 할 때 다음이 성립한다.
방정식 일반해
[math(\boldsymbol{\sin{x}=a})] [math(x=n\pi+(-1)^{n}\xi)]
[math(\boldsymbol{\cos{x}=a})] [math(x=2n\pi \pm \xi)]
[math(\boldsymbol{\tan{x}=b})] [math(x=n\pi+\xi)]

삼각방정식 [math(\sin{x}=\sin{a})] 같은 꼴의 경우 해가 [math(x=a)]로 생각하기 쉽다. 하지만 그것은 틀린 생각으로 일반해의 개념을 적용하여 [math(x=n\pi+(-1)^{n}a)]가 돼야 옳다.

이 일반해의 개념으로 재미있는 논의를 해볼 수 있다. 예를 들어 좌표평면 상 [math(\tan{(x^2+y^2)}=1)]은 어떤 그래프를 그리게 될까? 간단히 일반해의 개념을 사용하면
[math(\begin{aligned} \displaystyle x^2+y^2=n\pi+\frac{\pi}{4} \end{aligned})]
를 만족해야 등식이 성립함을 알 수 있다. 그런데 이것은 중심이 원점이고, 반지름이 우변의 양의 제곱근과 같은 원의 방정식이다. [math(n)]은 무한히 가질 수 있으므로 이 원 또한 무한히 나타날 것이다. 마찬가지의 방법으로 [math(\tan{(y-f(x))}=a)] (단, [math(a)]는 상수)의 경우
[math(\begin{aligned} \displaystyle y-f(x)=k_{n} \end{aligned})]
[math(k_{n})]은 일반해이자 상수로, 좌표평면 상에서는 [math(y=f(x))]를 [math(y)]축 방향으로 [math(k_{n})]만큼 평행이동한 그래프가 무한히 나오게 될 것이다. 다만 불행히도 그래프를 그리는 프로그램은 우리 처럼 해석하는 것이 아닌 알고리즘의 이유로 정확히 그래프를 그려주지 못하는 편이다.

더 나아가, [math(\cos{e^x})], [math(sin{x^{-1}})] 같은 것도 생각해볼 수 있다.

7.2. 삼각함수부등식

삼각함수부등식을 푸는 것은 삼각방정식과 완전히 동일하다. 그래프와 단위원 모두 이용할 수 있다.

주치 구간에 대하여 [math(\cos{x}>a)] (단, [math(|a| \leq 1)])을 푸는 것을 예로 들어 이 논의를 마치고자 한다.

파일:namu_삼각방정식_그래프이용.svg

위와 같이 그래프를 보면, [math(\cos{x}>a)]의 의미는 곧 [math(y=\cos{x})]의 그래프가 [math(y=a)]보다 위에 있는 구간의 [math(x)]좌표의 구간을 구하는 것과 같다. 따라서 [math(0\leq x < x_{1})] 또는 [math( x_{2}< x \leq 2 \pi)]가 그 해이다.

파일:namu_삼각방정식_단위원이용_2.svg

단위원을 통한 방법 또한 단위원 상의 점이 [math(x=a)] 보다 오른쪽에 있는 각의 범위를 구하면 되므로 같은 해를 구할 수 있다.

삼각방정식과 마찬가지로 구하는 구간을 지정하지 않는 경우 부등식의 해는 무한히 나오게 된다.

참고로 삼각부등식은 다른 것을 뜻하므로 혼동에 주의할 것.

8. 극한 미적분

8.1. 특수한 극한값을 갖는 합성함수

파일:namu_삼각함수_극한_증명.svg

그림과 같이 [math(\angle {\rm A})]는 예각이고, [math(\overline{\rm AB}=\overline{\rm AC}=1)]을 만족하는 삼각형 [math(\rm BAC)]를 고려하자. 한편, 에서 변 [math(\rm AB)]의 연장선위의 [math(\rm P)]에서 변 [math(\rm AC)]에 내린 수선의 발을 [math(\rm C)]라 하자. 부채꼴 [math(\rm BAC)]의 넓이를 [math(S)]라 하면 다음이 성립한다.
[math(\triangle {\rm BAC}<S<\triangle {\rm PAC})]
한편, [math(\angle {\rm A}=A)]일 때
[math(\begin{aligned} \triangle {\rm BAC}&=\frac{1}{2}\cdot 1^{2} \cdot\sin{A} \\ S&=\frac{1}{2}\cdot 1^{2} \cdot A \\ \triangle {\rm PAC}&=\frac{1}{2} \cdot 1^{2} \cdot \tan{A} \end{aligned})]
이 성립하고, 부등식에 대입하여 정리하면
[math( \sin{A}<A<\tan{A})]
양변을 [math(\sin{A})]로 나누면,
[math( 1<\dfrac{A}{\sin{A}}<\dfrac{1}{\cos{A}} \quad \left(\because 0<A<\dfrac{\pi}{2} \right))]
역수를 취하면
[math( \cos{A}<\dfrac{\sin{A}}{A}<1)][30]
[math(A \to 0^{+})]일 때, [math(\cos{A} \to 1)]이므로 조임 정리에 의해
[math( \displaystyle \lim_{A\to 0^{+}}\dfrac{\sin{A}}{A}=1)]

음의 각에 대하여 구하기 위하여 [math(t=-A)]로 치환하면 [math(t \to 0^{-})]일 때 [math(A \to 0^{+})]이고,
[math( \displaystyle \begin{aligned} \lim_{t\to 0^{-}}\dfrac{\sin{t}}{t}&=\lim_{A\to 0^{+}}\dfrac{\sin{(-A)}}{-A} \\ &=\lim_{A\to 0^{+}}\dfrac{-\sin{A}}{-A} \\&=\lim_{A\to 0^{+}}\dfrac{\sin{A}}{A} \\&=1 \end{aligned})]
따라서 좌극한과 우극한이 같으므로
[math( \displaystyle \lim_{x\to 0}\dfrac{\sin{x}}{x}=1)]

한편, 탄젠트에 대해선
[math( \displaystyle \begin{aligned} \lim_{x\to 0}\dfrac{\tan{x}}{x}&=\lim_{x\to 0}\dfrac{\sin{x}}{\cos{x}}\dfrac{1}{x} \\ &=\lim_{x\to 0} \frac{\sin{x}}{x} \frac{1}{\cos{x}} \\&=1 \cdot 1 \\&=1 \end{aligned})]
이다.

위 사항을 정리하면, 아래와 같다.[31]
[math( \displaystyle \begin{aligned} \lim_{x\to 0}\dfrac{\sin{x}}{x}&=1 \\ \lim_{x\to 0}\dfrac{\tan{x}}{x}&=1 \end{aligned})]

이 결과는 [math(y=(sin x)/x)]의 그래프, [math(y=(tan x)/x)]의 그래프를 통해서도 알 수 있다. 간혹 [math((\cos x)/x)]의 극한은 왜 구하지 않냐고 궁금해하는 사람들도 있을 것인데, [math(y=(cos x)/x)]의 그래프의 모습에서 볼 수 있듯 원점에서 좌극한과 우극한이 일치하지 않으므로 극한이 존재하지 않는다.

현대 수학에서는 '논리의 엄밀성'을 근거로, 위와 같이 넓이를 이용한 증명 방식이 순환 논법이라 주장하기도 한다. 극한을 증명하기 위해 각 도형의 '넓이'를 이용하고 있는데 부채꼴의 넓이를 구하는 과정에서 순환 논법에 빠진다는 것[32]이다. 물론 이는 반지름이 [math(r)]인 원의 넓이가 [math(\pi r^2)]이라는 사실을 자명한 것이라 받아들임으로써 해결이 되지만, 현대 수학에서는 한정된 공리와 정의만을 이용하여 논리적인 연역법에 따라 증명된 것만 이용할 수 있기 때문에 '증명되어야 할 원의 넓이'가 '자연스러운 것'으로 쉽게 받아들여지지 않는다[33]는 것이다. 이 문단 참고.

이를 피하기 위해 나온 것이 바로 무한급수를 이용한 정의이다. 전술한 대로 무한급수를 이용한 정의는 임의의 실수뿐만 아니라 복소수에 대해서도 절대 수렴하므로 극한에서 문제없이 다룰 수 있으며, [math(\cos x = 0)]을 만족하는 최소 양수가 존재하며 그 [math(2)]배가 [math(\pi)]라는 것으로 해결이 된다. 기타 기하학적인 성질 역시 증명이 가능하지만, 무한급수 역시 극한의 개념이 선행되어야 자연스럽기 때문에 여전히 좋은 해결책은 아니다. 어디까지나 현대 수학, 그리고 청소년들에게 이걸 이렇게 가르치는 게 적절한지를 고민하는 수학교육학에서의 떡밥이므로 일반인들은 '그렇게 보는 해석도 있다' 정도의 수준으로 넘어가면 된다.

2015 개정 교육과정 기준으로는 미적분에서 처음 배우기 시작한다. 이 내용을 '삼각함수의 극한'으로 배우지만 실제로는 '삼각함수가 유리함수에 합성된 합성함수의 극한'을 배우는 것이다. 실제로 수업 시간, 교과서에서 [math(y= (\sin x)/x)], [math(y=(\tan x)/x)]의 그래프나 성질을 직접적으로 다루지 않기 때문이다. '삼각함수'라는 단원으로부터 분리되어 극한 단원 혹은 미적분 파트에서 다루는 이유도 이 때문이다. 이 내용은 사실 '삼각함수'와 더 밀접하지 않으며, 그래프들을 다루는 것은 교육적으로 별로 의미가 없다. 종전 2009 개정 교육과정 미적분Ⅱ 때처럼 삼각함수와 더 직접적인 관련이 있는 것처럼 보일 것을 우려하고, 다시 현 교육과정처럼 '극한' 단원 편입으로 바꾼 것도 교육적 적합성을 다시 고려했기 때문으로 보인다.

이 내용의 교육적인 의의는 어떤 실수에 대해 그 실수를 취한 삼각함수의 비가 무한히 작아질 때 어떤 값으로 수렴하는지 파악하고 이 때 ' 사인 법칙'과 '근사'[34]를 익히기 위해서 배우는 것이다. 이 정리는 바로 밑에 있는 삼각함수의 도함수를 증명하는 과정에서 사용된다. 이는 '로그함수의 극한'이라고 배우는 자연로그와도 유사하다.

참고로 이 극한값은 [math(A)]의 단위에 관계 없이 일정하다. 육십분법으로 나타낸 각 [math(\varphi)]는
[math(\begin{aligned}A = \dfrac\pi{180\degree}\varphi\end{aligned})]
를 만족하므로 부채꼴 [math(\rm BAC)]의 넓이가
[math(\dfrac{A}{2} = \dfrac\pi{360\degree}\varphi)]
가 되며, 넓이로부터 얻어지는 부등식도[35]
[math(\sin\dfrac\pi{180\degree}\varphi < \dfrac\pi{180\degree}\varphi < \tan\dfrac\pi{180\degree}\varphi \quad \Leftrightarrow \quad \cos\dfrac\pi{180\degree}\varphi < \dfrac{\sin\dfrac\pi{180\degree}\varphi}{\dfrac\pi{180\degree}\varphi} < 1)]
가 되며 아래와 같은 결과를 얻는다.
[math( \begin{aligned} \lim\limits_{\varphi\to0\degree}\dfrac{\sin\dfrac\pi{180\degree}\varphi}{\dfrac\pi{180\degree}\varphi} &= 1\end{aligned})]
한편,
[math(\dfrac{\sin\dfrac\pi{180\degree}\phi}\phi)]
에서 [math(\phi\to0\degree)] 극한을 취하는 경우에는 수학이 아닌 단위와 차원까지 고려한 도량형학 혹은 물리학 범주의 식이 되는데, 그 이유는
[math(\sin{\left(\dfrac\pi{180\degree}\phi \right)})]
는 단위가 없는 반면 [math(\phi)]는 [math(degree)]라는 단위를 포함하기 때문이다. 해당 극한의 값은 [math(\pi/{180\degree})]로 [math(1/\degree)]의 단위를 갖는 값이 얻어지며
[math(1{\rm\,rad} = \dfrac{180\degree}\pi)]
이므로 해당 극한값은 [math(1{\rm\,rad^{-1}})], 즉 1 라디안의 역수와 등가이다.

8.2. 도함수

파일:상세 내용 아이콘.svg   자세한 내용은 삼각함수/도함수 문서
번 문단을
부분을
참고하십시오.

8.3. 역도함수

파일:상세 내용 아이콘.svg   자세한 내용은 삼각함수/역도함수 문서
번 문단을
부분을
참고하십시오.

9. 역함수

파일:상세 내용 아이콘.svg   자세한 내용은 역삼각함수 문서
번 문단을
부분을
참고하십시오.

10. 관련 함수

파일:상세 내용 아이콘.svg   자세한 내용은 삼각함수/관련 함수 문서
번 문단을
부분을
참고하십시오.

11. 푸리에 급수

파일:상세 내용 아이콘.svg   자세한 내용은 푸리에 해석 문서
2번 문단을
부분을
참고하십시오.

주기함수를 사인 및 코사인의 무한합으로 전개하는 것을 말한다.

12. 복소 및 극형식

12.1. 극좌표

파일:상세 내용 아이콘.svg   자세한 내용은 극좌표계 문서
번 문단을
부분을
참고하십시오.

12.2. 오일러 공식 관련

허수단위를 [math(i)]로 나타내면 오일러 공식에 의해 [math(e^{ix}=\cos x+i\sin x)]이므로
[math( \begin{aligned} \cos x &= \dfrac{e^{ix}+e^{-ix}}2 \\ \sin x &= \dfrac{e^{ix}-e^{-ix}}{2i} \end{aligned})]
지수함수에 대한 식이 유도된다. 그런데 위 식은 쌍곡선 함수의 식
[math( \begin{aligned} \cosh t &= \dfrac{e^t+e^{-t}}2 \\ \sinh t &= \dfrac{e^t-e^{-t}}2 \end{aligned})]
에서 [math(t=ix)]인 경우로 볼 수 있다. 즉
[math(\begin{aligned} \cos x &= \cosh(ix) \\ \sin x &= -i\sinh(ix) \end{aligned})] [math(\Leftrightarrow)] [math(\begin{aligned} \cosh x &= \cos(ix) \\ \sinh x &= -i\sin(ix) \end{aligned})]
이며 삼각함수와 쌍곡선 함수는 복소수를 매개로 연관되어 있음을 알 수 있다.
[math( \begin{aligned} \sin x &= -i\sinh(ix) \\ \cos x &= \cosh(ix) \\ \tan x &= -i\tanh(ix) \\ \csc x &= i\,\mathrm{csch} (ix) \\ \sec x &= \mathrm{sech} (ix) \\ \cot x &= i\coth(ix) \end{aligned})]

한편, 위 공식을 이용해 삼각함수의 함숫값을 대수적인 방법으로 구할 수 있다. 다만 대입하는 각이 특수각이 아닐 경우 환원 불능(Casus irreducibilis)[36]이 될 수 있으므로 주의해야 한다.[37]

12.3. 복소함수에서의 삼각함수의 절댓값

[math(z=x+iy)]일 때, 삼각함수의 덧셈정리를 사용하면
[math( \begin{aligned} \sin z &= \sin(x+iy) = \sin x\cos iy + \cos x\sin iy \\ &= \sin x\cosh y+i \cos x\sinh y \\ \cos z &= \cos(x+iy) = \cos x\cos iy-\sin x\sin iy \\ &= \cos x\cosh y-i \sin x\sinh y \end{aligned})]
이 성질을 이용하여 삼각함수의 복소평면에서의 절댓값을 구해보자. 물론 [math(\mathbb R \subset \mathbb C)]이므로, 실수일 때도 성립한다. 참고로 [math(\tan z)]의 절댓값은 이렇게 구한 [math(\sin z)], [math(\cos z)]의 절댓값으로 구하는 게 빠르다.[38]
다음이 성립한다.
[math( \begin{aligned} |\sin z|&=\sqrt{\sin^2x\cosh^2y+\cos^2x\sinh^2y} \\ |\cos z|&=\sqrt{\cos^2x\cosh^2y+\sin^2x\sinh^2y} \end{aligned})]
이때, [math(\cosh^{2} y-\sinh^{2} y=1)]를 이용하면 다음과 같이 정리된다.
[math( \begin{aligned} |\sin z|&=\sqrt{\sin^2x\cosh^2y+\cos^2x\sinh^2y} \\&=\sqrt{\sin^2x+\sin^2x\sinh^2y+\cos^2x\sinh^2y} \\& =\sqrt{\sin^2x+\sinh^2y} \\ |\cos z|&=\sqrt{\cos^2x\cosh^2y+\sin^2x\sinh^2y} \\&=\sqrt{\cos^2x+\cos^2x\sinh^2y+\sin^2x\sinh^2y} \\& =\sqrt{\cos^2x+\sinh^2y} \end{aligned})]

12.4. 복소평면에서의 삼각함수의 그래프

파일:Trig-sin.png 파일:Trig-csc.png
[math(\sin z)] [math(\csc z)]
파일:Trig-cos.png 파일:Trig-sec.png
[math(\cos z)] [math(\sec z)]
파일:Trig-tan.png 파일:Trig-cot.png
[math(\tan z)] [math(\cot z)]

13. 수학 교과에서의 삼각함수

14. '삼각함수에 관한 식' 오역 의견

원서나 교과서 등에서는 사인 함수를 [math(\sin\theta)]로 서술하는 경우가 있다. 하지만 [math(\sin\theta)]는 함숫을 나타내는 식이며, [math(\theta)]가 변수로 쓰이지 않는 이상 ' 함수' 자체가 아니라는 점에서 다소 엄밀함이 떨어진다. 반례로 [math(\log k)]의 경우, 그 자체가 로그함수가 아닌 로그라고 불린다. 그 외의 다른 함수를 설명할 때도 함수와 함숫값을 엄연히 구별하는데, 삼각함수에서는 잘 지키지 않는 점이 특이하다.

영어(원문)의 경우, 삼각함수를 뜻하는 trigonometric function에서 'trigonometric'가 ' 삼각법의'를 뜻하는 형용사이다.[44] 언어적 구조만 보더라도 trigonometric은 수식언임이 자명하며, 이 구조를 그대로 한국어로 직역했을 때 '함수'라는 단어를 수식하는 건 '삼각법의'라는 걸 알 수 있다.

대한수학회에서의 trigonometric equations(직역: 삼각법의 방정식)의 정식 한국어 용어인 ' 삼각방정식'의 사례처럼 '삼각법의 식'에서 '-법의'를 생략하여 ‘삼각식’으로 번역할 수도 있었는데 그러지 못했다. 그렇다고 '삼각함수의 식'으로 번역하자니 원문의 수식언 trigonometric는 '삼각함수의'가 아니기 때문에 그럴 수 없다.

15. 관련 문서


[1] 다른 이름으로는 angle function(각 함수), circular function( 함수), goniometric function(각도 함수) 등이 있다. [2] [math(0\degree)]에서 [math(90\degree)]사이의 각 [3] 기존의 예각은 물론 예각이 아닌 각까지 포함하는 더 넓은 개념 [4] 흔히 삼각함수와 동일한 것으로 착각하지만 삼각비에서는 [math(0 \degree)]와 [math(90 \degree)]에서 값이 정의되지 않는다. 단, 극한값은 존재한다. [5] 사실 시초선은 시점이 [math(\rm O)]인 반직선일 뿐이며 위치는 어떻게 잡아도 상관이 없다. 굳이 [math(x)]축 양의 방향으로 잡은 이유는 [math(xy)]좌표평면과 극좌표계간의 변수 변환이 편리하기 때문이다. [6] 한국어 암기 팁: 얼싸안고 / 영어 암기 팁: All Student Take Calculus, All Science Teachers Crazy, Add Sugar To Coffee 등 [7] 또는 암기할 때 각을 나타내는 동경과 단위원과의 교점에서 코사인을 [math(x)]좌표, 사인을 [math(y)]좌표, 탄젠트를 그 점과 원점을 지나는 직선의 기울기 (또는 동경의 기울기)라고 생각한다면 매우 수월해진다. 예를 들어, 제1, 4사분면에서는 [math(x)]좌표가 양수이니 코사인 값도 양수이고, 마찬가지로 제1, 2사분면에서 [math(y)]값이 양수이니 사인도 양수라고 생각하면 된다. [8] 절대수렴하는 수열합에 한해서는 수열의 배치를 바꾸더라도 수열합은 변하지 않는다. 이를 이용하여 복소수의 거듭제곱의 실수부와 허수부의 위치를 재조정해서 실수부와 허수부가 한 값으로 수렴함을 보일 수 있다. 다만 이는 절대수렴하지 않는 수열합에 대해서는 성립하지 않는 성질이다. 예를 들어서 [math(a_n={(-1)^n}/n)]이라고 하면, 이 수열은 수렴하지만 절대수렴하지 않는데, 이 경우 [math(\displaystyle \sum_{k=1}^\infty a_n)]의 순서를 재조정하면 원래 값의 2배, 3배 이상을 만드는 것도 가능하다. 하지만 절대수렴하는 수열인 [math(b_n=2^{-n})]의 경우, 이 수열은 순서를 어떻게 재조정하더라도 [math(\displaystyle \sum_{k=1}^\infty b_n=1)]이 보장된다. [9] 국제단위계에서도 각도의 표준 단위는 [math(rm rad)]이라 규정한다. 따라서 본 문단은 '호도법의 각도는 [math(\rm rad)]으로 반드시 표기해야 한다'는 점을 염두에 두고 읽자. [10] 간단하게 정리하자면, \'차원이 같더라도 단위가 다르면 덧셈 및 뺄셈 연산이 불가능하다'이다. 즉 [math(T_{\rm\degree\!F})]는 [math(\rm\degree\!F)]라는 단위가 내재된 물리량이기 때문에, 가령 [math(T_{\rm\degree\!F} = \dfrac95T_{\rm\degree\!C}+32)]라 나타낸 경우 [math(T_{\rm\degree\!C} = 25{\rm\,\degree\!C})]이면 우변의 결과가 [math(\dfrac95\times25{\rm\,\degree\!C} + 32 = 45{\rm\,\degree\!C}+32)]가 되어 '화씨온도(물리량) = 섭씨온도(물리량) + 수치'라는 해괴한 관계가 된다. 이는 [math(5{\rm\,m} + 3{\rm\,kg})]이 물리학적으로 말이 안 되는 수식인 점을 떠올리면 된다. 한편, 물리량에서 단위를 뗀 수치는 이러한 제약에서 자유로우며 (수치)[math(=)](물리량)[math(\div)](단위)이므로 이를 적용하면 위와 같은 형태의 수식이 된다. 해당 표기법은 국제도량형국(BIPM)에서 가장 최근에 발행한 SI 책자 제9판의 133페이지에서도 확인할 수 있다. [11] 삼각함수는 단위원에서 단위가 없는 두 좌표의 비를 결과값으로 가지므로 단위를 갖지 않는 순수한 수치이다. 따라서 수치의 미소 변화량인 [math({\rm d}(\sin\theta))] 역시 단위를 갖지 않는다. [12] (물리량)[math(=)](수치)[math(\times)](단위)라는 관계를 다시 상기해보면, [math(\theta/{\rm rad})]은 (물리량)[math(\div)](단위) 꼴이며 이는 곧 (수치)를 의미하므로, [math(\theta/{\rm rad})]이란 곧 호도법 각도의 수치를 의미하는 표기법이다. [13] 아래 논문 외에도 [math(\rm rad)]이 약분된 물리량이 다뤄져야 한다는 논문으로서 J. E. Romain의 1962년 논문([math(left<thetaright> = theta/{rm rad})]), J.-M. Levy-Leblond의 1998년 논문([math(angle = {rm rad})]), M. P. Foster의 2010년 리뷰([math(k = {rm rad}^{-1})]) 등이 있다. 아래 논문들과의 차이점이라면 삼각함수의 정의역까지 고찰하지 않고 호의 길이에 관한 내용에서 끝났다는 점이다. 호의 길이 역시 [math(l=r\theta)]가 아닌 [math(l=r\theta/{\rm rad})]이 좀 더 엄밀한 표기이다. [14] 중간의 [math({\rm d}y \simeq {\rm d}s\operatorname{Cos}\varphi)]는 평면좌표계에서의 기하학을 동원했다. [15] 멀리 갈 것도 없이 편미분 연산자의 하나인 달랑베르시안과 표기가 겹친다. [16] 사실상 Torrens가 제안했던 것을 문자만 다르게 표현한 것에 지나지 않는다. [17] 이 관계식은 참이다. 단, 그렇다고 해서 [math(\rm rad^2)]이 등장하는 모든 물리 공식에 [math({\rm rad^2} = {\rm sr})]이 적용되는 것은 아니다. 입체각 참고. [18] 해당 논문에서의 표기. 일반적으론 허수단위 [math(i)]를 직립체로 쓰지 않으므로 [math(x = A\exp(i\omega t/\theta_{\rm C}))]가 좀 더 적절할 것이다. [19] 이는 곧 [math(\sin60\degree)]와 같은 표기는 엄밀하지 않은 표기이고 [math(\sin(60\degree/{\rm rad})=\sin{\left(60\degree{\cdot}\dfrac\pi{180\degree}\right)}=\sin\dfrac\pi3 = \dfrac{\sqrt3}2)]과 같이 쓰는 것이 올바른 표기라는 뜻이기도 하다. [20] 아주 쉬운 예로 등속직선운동에서 속력과 거리에 관한 공식 [math(d=vt)]를 들 수 있다. 양 방정식인 [math(d=vt)]는 각 물리량이 단위를 이미 내포하고 있고 구체적인 수치를 다룰 때에나 단위환산 과정이 들어가지 결과적으로 속력 [math(v)]와 시간 [math(t)]를 곱해서 거리라는 물리량 [math(d)]가 도출되는 건 똑같다. 그러나 위 공식을 수치 방정식으로 치환할 경우 단위환산이 본격적으로 수식에 드러나기 때문에 식의 형태가 대부분의 경우 바뀐다고 보면 된다. 가령 [math(d)]의 단위가 [math(\rm m)]이고 [math(v)]의 단위가 [math(\rm m/s)]이고 [math(t)]의 단위가 [math(\rm s)]라면 그대로 [math(\cfrac d{\rm m} = \cfrac v{\rm m/s}{\cdot}\cfrac t{\rm s})]로 쓰면 되지만 [math(v)]의 단위가 [math(\rm km/h)]라면 [math(\rm km/h = \dfrac{1000{\rm\,m}}{3600{\rm\,s}} = \dfrac1{3.6}{\rm\,m/s})]이므로 [math(\cfrac d{\rm m} = \cfrac1{3.6}\cfrac v{\rm\,km/h}{\cdot}\cfrac t{\rm s})]로 [math(v)]의 수치에 [math(\dfrac1{3.6})]이 곱해져 식의 꼴이 변한다. [증명] 이 항등식은 미분을 통해서 간단하게 증명할 수 있다. [math(f(x)=\cos^{2}{x}+\sin^{2}{x})]라고 두고 미분하게 되면 [math(f'(x)=-2\cos x\sin x+2\cos x\sin x=0)]이므로 항등함수가 되고, [math(x=0)]을 대입하면 [math(f(0)=\cos^2 0+\sin^2 0=1)]이 되어 항등식이 성립함을 보일 수 있다. [22] 즉, 사인함수와 코사인함수의 차수가 무한대라는 의미이며 이는 다른 삼각함수에 관해서도 마찬가지이다. 초월함수이기 때문에 차수 값은 일반적인 정의로 구할 수 없고 로그의 비율에 극한을 취한 값 [math(\lim\limits_{x\to\infty}\cfrac{\ln|f(x)|}{\ln x})]을 이용해서 구해야 한다. 나아가 삼각함수의 경우 로피탈의 정리를 적용할 수 있으므로 [math(\lim\limits_{x\to\infty}\cfrac{xf'(x)}{f(x)})]로도 구할 수 있으며 이 식에 삼각함수를 대입하면 무한대가 얻어진다. 참고로 차수가 무한대라는 것의 직관적인 의미는 무한 번 미분 가능하다 정도로 이해하면 된다. [23] 임의의 실수 범위의 함수 [math(f)]에 대하여 적당한 상수 [math(k\ne 0)]을 잡을 때, [math(f)]의 정의역에 속하는 임의의 [math(x)]에 대하여 [math(f(x+k)=f(x))]가 성립하면, [math(f)]를 주기함수라 하고, [math(k)]를 [math(f)]의 주기라 한다. 주기 중 양의 최솟값을 기본 주기라고 한다. [24] 보통 [math(\theta)]는 예각이나 특수각, 또는 나올 수 있는 양의 각 중 가장 작은 값을 택하나 필요에 따라 임의의 각, 음의 각을 택하여도 된다. [25] [math(\sin{x} + \cos{x})] [26] 그 예로 [math(\tan{x}=\dfrac\pi 4 x)]의 해는 이것과 같이 나온다. [27] 조건을 잘 설정한 경우 그래프를 그려 해결할 수도 있을 것이다. [28] 이를 분지 절단(branch cut)이라고 한다. [29] 이는 (삼각함수)[math(=)](상수) 꼴로 정리되는 방정식만 해당한다. [30] 여기서 [math(\dfrac{\sin{A}}{A})]를 싱크 함수(sinc function)라고 한다. [31] 로피탈의 정리를 이용해도 같은 결과를 얻을 수 있다.
[math(\displaystyle \begin{aligned} \lim_{x \to 0} \frac{\sin x}x &\xlongequal{\textsf{l'H\^opital}} \lim_{x \to 0}\frac{\cos x}{1} = 1 \\ \lim_{x \to 0} \frac{\tan x}x &\xlongequal{\textsf{l'H\^opital}} \lim_{x \to 0}\frac{\sec^2 x}{1} = 1\end{aligned})]
[32] 넓이를 엄밀하게 다루려면 적분이 선행되어야 하고, 적분을 다루기 위해서는 미분이 선행되어야 하는데, 미분을 다루려면 극한이 선행되어야 한다. 극한을 다루고 있는데 극한이 정립이 되어야 하는 결론에 다다르므로 순환 논법이다. [33] 기하학적으로 극한의 개념을 쓰지 않고 원의 넓이가 [math(\pi r^2)]임을 증명하기가 대단히 어렵다. [34] 샌드위치 정리 또는 조임 정리(squeeze theorem) [35] 아래 식을 보면 알 수 있지만 삼각함수는 호도법으로 나타낸 각의 수치만을 정의역으로 갖는다. 즉 [math(\sin60\degree)]와 같이 나타낸 식은 삼각함수의 무한 급수 표현 등 미적분학을 고려하면 엄밀하지 않은 표현이고 [math(\sin\left(\dfrac\pi{180\degree}{\cdot}\,60\degree\right) = \sin\dfrac\pi3)]으로 쓰는 것이 정확한 표현이다. 단, 호도법을 배우기 이전 과정에서 이러한 개념을 가르칠 수는 없기에 [math(\sin(\phi) = \sin\dfrac\pi{180\degree}\phi)]라 정의하고 쓰는 것으로 봄이 타당하다. [36] 실수이지만, 허수단위를 없앨 수 없는 꼴 [37] 대표적인 예로 파섹이 있다. 2015년 이전까지 파섹을 정의하는 데 특수각이 아닌 [math(pi/648000)]라는 각도에 삼각함수를 취한 값이 들어갔었다. 2015년 이후부터는 [math(648000/\pi)]을 사용. [38]
[math(\begin{aligned} \tan z&=\tan(x+iy)\\ &= \dfrac{\tan x + \tan iy}{1 - \tan x\tan iy} \\ &=\dfrac{\tan x+i \tanh y}{1-i \tan x\tanh y} \\ &=\dfrac{(\tan x+i\tanh y)(1+i\tan x\tanh y)}{1+\tan^2x\tanh^2y} \\ &=\dfrac{\tan x(1-\tanh^2y)+i\tanh y(1+\tan^2x)}{1+\tan^2x\tanh^2y} \\ &=\dfrac{\mathrm{sech}^2\,y\tan x+i\tanh y\sec^2x}{1+\tan^2x\tanh^2y} \end{aligned})]
[39] 사상 최초로 삼각함수가 마지막 단원이 아니다. [40] 반각공식과 배각공식이 삭제됐다. 다만, 즉석에서 삼각함수의 덧셈정리를 이용하여 공식을 유도하는 것이 가능하기 때문에 시험에 출제가 허용될 수도 있다. 이에 교육자들도 어차피 출제될 가능성이 있는 김에 그냥 외우는 게 편하다는 교육자와, 교육과정에서 공식적으로 삭제된 내용이 풀이에 핵심이 되는 수학 문제는 출제될 수 없으며, 설령 출제된다 해도 즉석에서 덧셈정리 쓰면 그만이므로 외울 필요가 없다고 주장하는 교육자로 파가 나뉘게 되었다. [41] 기본과 심화로 구분됐지만 두 과목은 일반 선택과목이다. 그러나 수학Ⅰ은 수능 필수 출제범위라 모든 고등학생들이 이수해야 하는 반면, 미적분은 수능에서 선택 과목이라 이공계열로 진학하려는 학생들만 미적분을 선택하게 되고 인문사회계열로 진학할 예정인 학생들은 확률과 통계를 많이 선택하게 된다. 단, 경제학과나 경영학과 진학을 희망하는 학생들 중에서는 극소수가 미적분을 고르기도 한다. 수학Ⅰ에서는 기본적인 개론과 함수의 그래프, 방정식 등을 다루며, 미적분에서는 삼각함수의 덧셈정리와 삼각함수의 극한·미분·적분 등을 다룬다. [42] 수학Ⅰ에서 배운다. [43] 대수학의 대수가 맞다. 실제로도 과목명에 문제가 있다는 의견이 있다. [44] 포털 검색 결과, trigonometry 번역 '삼각법'

분류