- 상위 항목 : 삼각함수
1 개요
프톨레 마이오스의 저서 알마게스트(Almagest)에 최초로 언급되어 정리되었으며, 그이후 삼각법을 다루는데 중요한 공식 중의 하나이다. 특히 이 삼각함수의 덧셈정리는 문제를 박박 꼬면 정말 미칠듯한 난이도를 자랑한다. 그림으로 나오는 문제들을 풀 때는 80% 이상이 탄젠트 덧셈정리를 사용한다고 생각하면 된다. 또한 본 덧셈정리들의 증명법 또한 알아두어야 한다.
2 공식
(이하 복부호 동순)
- sin(α±β)=sinαcosβ±cosαsinβ
- cos(α±β)=cosαcosβ∓sinαsinβ
- tan(α±β)=tanα±tanβ1∓tanαtanβ
- sin(α±iβ)=sinαcoshβ±icosαsinhβ
- cos(α±iβ)=cosαcoshβ∓isinαsinhβ
- tan(α±iβ)=tanα±itanhβ1∓itanαtanhβ
2.1 외우는 요령
sin(α+β) | = | sinα · cosβ | + | cosα · sinβ |
[2] | 싸코 | 플 | 코싸 | |
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축을 시초선으로하고 각의 크기가 각각 β,α
한편, sin(α+β)=cos(π2−(α+β))=cos((π2−α)−β)=cos(π2−α)cosβ+sin(π2−α)sinβ=sinαcosβ+cosαsinβ
마지막으로, tan(α+β)=sin(α+β)cos(α+β)=sinαcosβ+cosαsinβcosαcosβ−sinαsinβ
- 벡터를 이용한 증명
두 벡터 →OB,→OC
- 오일러 등식을 이용한 증명
eiα=cosα+isinα
cos(α+β)=Re(eiα⋅eiβ)=cosαcosβ−sinαsinβ
sin(α+β)=Im(eiα⋅eiβ)=sinαcosβ+cosαsinβ
사기적인 위력이다. 복소수의 상등과 오일러의 등식을 이용해서 순식간에 증명해냈다! 이것 말고도 삼각함수의 합성을 제외한 많은 공식은 오일러의 등식을 사용하면 매우 쉽게 풀린다. 외울 필요가 없어질 정도.
위 방법 외에도 닮음, 일차변환, 삼각형의 넓이를 이용한 증명 등 여러가지 방법이 있다.
3 삼각함수의 합성
삼각함수의 덧셈정리를 응용해서 asinθ+bcosθ
1. asinθ+bcosθ=√a2+b2sin(θ+α),(cosα=a√a2+b2,sinα=b√a2+b2)
2. asinθ+bcosθ=√a2+b2cos(θ−β),(cosβ=b√a2+b2,sinβ=a√a2+b2)
3. 최댓값: √a2+b2, 최솟값: −√a2+b2, 주기: 2π
증명은 그림을 그려서 각 α
4 배각, 반각 공식
삼각함수의 덧셈정리에서 두 각을 같게 놔두면 2배각의 공식을 만들 수 있다.
sin2α=2sinαcosα,cos2α=cos2α−sin2α=2cos2α−1=1−2sin2α,tan2α=2tanα1−tan2α
특시 코사인의 2배각 공식은 3가지 형태가 있는데, sin2α+cos2α=1
덧셈정리에서 두각을 α,2α
sin3α=3sinα−4sin3α,cos3α=4cos3α−3cosα
증명은 덧셈정리를 이용해서 쭉 풀어나가면 된다.
또한, 코사인의 2배각 공식에서 반각 공식을 유도할 수 있다.α
sin2α2=1−cosα2,cos2α2=1+cosα2,tan2α2=1−cosα1+cosα