삼각함수의 덧셈정리

• 상위 항목 : 삼각함수

1 개요

프톨레 마이오스의 저서 알마게스트(Almagest)에 최초로 언급되어 정리되었으며, 그이후 삼각법을 다루는데 중요한 공식 중의 하나이다. 특히 이 삼각함수의 덧셈정리는 문제를 박박 꼬면 정말 미칠듯한 난이도를 자랑한다. 그림으로 나오는 문제들을 풀 때는 80% 이상이 탄젠트 덧셈정리를 사용한다고 생각하면 된다. 또한 본 덧셈정리들의 증명법 또한 알아두어야 한다.

2 공식

(이하 복부호 동순)

• [math]\sin\left(\alpha\pm\beta\right)=\sin\alpha\cos\beta\pm\cos\alpha\sin\beta[/math]
• [math]\cos\left(\alpha\pm\beta\right)=\cos\alpha\cos\beta\mp\sin\alpha\sin\beta[/math]
• [math]\tan\left(\alpha\pm\beta\right)=\frac{\tan\alpha\pm\tan\beta}{1\mp\tan\alpha\tan\beta}[/math]

복소수에서는 다음과 같다.

• [math]\sin\left(\alpha\pm i \beta\right)=\sin\alpha\cosh\beta\pm i \cos\alpha\sinh\beta[/math]
• [math]\cos\left(\alpha\pm i \beta\right)=\cos\alpha\cosh\beta\mp i \sin\alpha\sinh\beta[/math]
• [math]\tan\left(\alpha\pm i \beta\right)=\frac{\tan\alpha\pm i \tanh\beta}{1\mp i \tan\alpha\tanh\beta}[/math]

2.1 외우는 요령

sin(α+β)	=	sinα · cosβ	+	cosα · sinβ
		싸코	플	코싸
cos(α+β)	=	cosα · cosβ	-	sinα · sinβ
		코코	마	싸싸
tan(α+β)	=	tan α + tan β
		1 - tan α · tan β
		일 마 탄탄 분의 탄 플 탄

가장 기본적이고 널리 알려진 방법중 하나.
마이너스 일때는 +- 부호를 뒤집어 버리면 된다.

sin(α+β) = 신(sin)코(cos)픈(+)꽃(cos)신(sin)
cos(α+β) = 고(cos)구(cos)마(-)사(sin)소(sin)

이런 배리에이션도 있다.

2.2 증명

• 단위원을 이용한 증명

단위원의 중심을 O, 양의 x축을 시초선으로하고 각의 크기가 각각 [math]\beta, \alpha[/math]인 동경이 단위원과 만나는 점을 각각 [math]B, C[/math]라고 하자 (즉, [math]\angle AOB=\beta, \angle AOC=\alpha[/math]). 그럼 두 점의 좌표는 [math]B\left(\cos\beta, \sin\beta\right), C\left(\cos\alpha, \sin\alpha\right)[/math]이다. 두 점 사이의 거리를 구하는 공식으로 부터, [math]\overline{BC}^2=\left(\cos\beta-\cos\alpha\right)^2+\left(\sin\beta-\sin\alpha\right)^2=\left(\cos^2\alpha+\sin^2\alpha\right)+\left(\cos^2\beta+\sin^2\beta\right)-2\left(\cos\beta\cos\alpha+\sin\beta\sin\alpha\right)=2-\left(\cos\beta\cos\alpha+\sin\beta\sin\alpha\right)[/math]. 한편, 코사인법칙으로부터, [math]\overline{BC}^2=1^2+1^2-2\cdot1\cdot1\cdot\cos\left(\alpha-\beta\right)[/math]이다. 따라서, [math]\cos\left(\alpha-\beta\right)=\cos\alpha\cos\beta+\sin\alpha\sin\beta[/math]. 여기서 [math]\beta[/math]에 [math]-\beta[/math]를 대입하면 [math]\cos\left(\alpha+\beta\right)=\cos\alpha\cos\beta-\sin\alpha\sin\beta[/math].
한편, [math]\sin\left(\alpha+\beta\right)=\cos\left(\frac{\pi}{2}-\left(\alpha+\beta\right)\right)=\cos\left(\left(\frac{\pi}{2}-\alpha\right)-\beta\right)=\cos\left(\frac{\pi}{2}-\alpha\right)\cos\beta+\sin\left(\frac{\pi}{2}-\alpha\right)\sin\beta=\sin\alpha\cos\beta+\cos\alpha\sin\beta[/math]. 여기서[math]\beta[/math]에 [math]-\beta[/math]를 대입하면 [math]\sin\left(\alpha-\beta\right)=\sin\alpha\cos\beta-\cos\alpha\sin\beta[/math].
마지막으로, [math]\tan\left(\alpha+\beta\right)=\frac{\sin\left(\alpha+\beta\right)}{\cos\left(\alpha+\beta\right)}=\frac{\sin\alpha\cos\beta+\cos\alpha\sin\beta}{\cos\alpha\cos\beta-\sin\alpha\sin\beta}[/math]. 여기서 분자, 분모를 [math]\cos\alpha\cos\beta[/math]로 나누면 [math]\tan\left(\alpha+\beta\right)=\frac{\tan\alpha+\tan\beta}{1-\tan\alpha\tan\beta}[/math]. 여기서 [math]\beta[/math]에 [math]-\beta[/math]를 대입하면 [math]\tan\left(\alpha-\beta\right)=\frac{\tan\alpha-\tan\beta}{1+\tan\alpha\tan\beta}[/math].

• 벡터를 이용한 증명

두 벡터 [math]\vec{OB}, \vec{OC}[/math]의 내적을 구하면, [math]\vec{OC}\cdot\vec{OB}=\left|\vec{OC}\right|\cdot\left|\vec{OB}\right|\cos\left(\angle COB\right)=1\cdot1\cdot\cos\left(\alpha-\beta\right)[/math]. 한편 두 벡터의 내적을 성분으로 나타내면, [math]\vec{OC}\cdot\vec{OB}=\left(\cos\alpha, \sin\alpha\right)\cdot\left(\cos\beta, \sin\beta\right)=\cos\alpha\cos\beta+\sin\alpha\sin\beta[/math]. 따라서 [math]\cos\left(\alpha-\beta\right)=\cos\alpha\cos\beta+\sin\alpha\sin\beta[/math].

• 오일러 등식을 이용한 증명

[math]e^{i\alpha}=\cos\alpha+i\sin\alpha[/math]이므로, [math]e^{\left(i\alpha+i\beta\right)}=\cos\left(\alpha+\beta\right)+i\sin\left(\alpha+\beta\right)[/math]. 한편, [math]e^{\left(i\alpha+i\beta\right)}=e^{i\alpha}\cdot e^{i\beta}[/math]이므로, 실수부와 허수부를 나눠주면 된다.
[math]\cos\left(\alpha+\beta\right)=Re\left(e^{i\alpha}\cdot e^{i\beta}\right)=\cos\alpha\cos\beta-\sin\alpha\sin\beta[/math]
[math]\sin\left(\alpha+\beta\right)=Im\left(e^{i\alpha}\cdot e^{i\beta}\right)=\sin\alpha\cos\beta+\cos\alpha\sin\beta[/math]

사기적인 위력이다. 복소수의 상등과 오일러의 등식을 이용해서 순식간에 증명해냈다! 이것 말고도 삼각함수의 합성을 제외한 많은 공식은 오일러의 등식을 사용하면 매우 쉽게 풀린다. 외울 필요가 없어질 정도.

위 방법 외에도 닮음, 일차변환, 삼각형의 넓이를 이용한 증명 등 여러가지 방법이 있다.

3 삼각함수의 합성

삼각함수의 덧셈정리를 응용해서 [math]a\sin\theta+b\cos\theta[/math]형태로 나타난 삼각함수를 아래와 같이 하나로 합칠 수 있다.

1. [math]a\sin\theta+b\cos\theta=\sqrt{a^2+b^2}\sin\left(\theta+\alpha\right), \, \left(\cos\alpha=\frac{a}{\sqrt{a^2+b^2}}, \sin\alpha=\frac{b}{\sqrt{a^2+b^2}}\right)[/math]
2. [math]a\sin\theta+b\cos\theta=\sqrt{a^2+b^2}\cos\left(\theta-\beta\right), \, \left(\cos\beta=\frac{b}{\sqrt{a^2+b^2}}, \sin\beta=\frac{a}{\sqrt{a^2+b^2}}\right)[/math]
3. 최댓값: [math]\sqrt{a^2+b^2}[/math], 최솟값: [math]-\sqrt{a^2+b^2}[/math], 주기: [math]2\pi[/math]

증명은 그림을 그려서 각 [math]\alpha[/math]나 [math]\beta[/math]를 찾아서 합성하거나, 아니면 우변에 있는 합성된 삼각함수를 덧셈정리로 풀어서 정리하면 된다.

4 배각, 반각 공식

삼각함수의 덧셈정리에서 두 각을 같게 놔두면 2배각의 공식을 만들 수 있다.

[math]\sin 2\alpha=2\sin\alpha\cos\alpha, \, \cos 2\alpha=\cos^2\alpha-\sin^2\alpha=2\cos^2\alpha-1=1-2\sin^2\alpha, \, \tan 2\alpha=\frac{2\tan\alpha}{1-\tan^2\alpha}[/math]

특시 코사인의 2배각 공식은 3가지 형태가 있는데, [math]\sin^2\alpha+\cos^2\alpha=1[/math]를 이용해서 변형한 것이다.
덧셈정리에서 두각을 [math]\alpha, 2\alpha[/math]로 놔두면 3배각의 공식을 만들 수 있다.

[math]\sin 3\alpha=3\sin\alpha-4\sin^3\alpha, \, \cos 3\alpha=4\cos^3\alpha-3\cos\alpha[/math]

증명은 덧셈정리를 이용해서 쭉 풀어나가면 된다.
또한, 코사인의 2배각 공식에서 반각 공식을 유도할 수 있다.[math]\alpha[/math]대신 [math]\alpha/2[/math]를 대입하면 된다.

[math]\sin^2\frac{\alpha}{2}=\frac{1-\cos\alpha}{2}, \, \cos^2\frac{\alpha}{2}=\frac{1+\cos\alpha}{2}, \, \tan^2\frac{\alpha}{2}=\frac{1-\cos\alpha}{1+\cos\alpha}[/math]

5 삼각함수의 합차공식

항목 참조.