Cos sin 합성 - Cos sin habseong

대부분의 문제는 이렇게 최댓값이나 최솟값에 대해 물어봅니다. 하지만, 여기서 많은 학생들이 헷갈려 하는 것이 저 $\alpha$와 $\beta$입니다. 다른 참고서를 보면 $\alpha$와 $\beta$를 $a$와 $b$에 대해서 표현한 식이 참 많이 보이는데, 이를 굳이 힘들게 외우는 학생들이 있습니다. 그러지 않아도 됩니다. 그러면, 여기서 $\alpha$와 $\beta$가 왜 중요한가? 바로 $\theta$가 얼마일 때 최대이고 최소인지 문제에서 묻기 때문이죠.

일반적으로는 $\sin$은 $\dfrac{\pi}{2}$일 때 최대, $\dfrac{3}{2} \pi$일 때 최소이므로 

$$ \theta + \alpha = \frac{\pi}{2},\ \frac{3}{2}\pi$$

를 사용하여 $\theta$를 구합니다.

너무 힘들지 않았나요? 그래서, 이를 좀 더 쉽고 색다른 관점에서 바라보고자 합니다.

벡터와 벡터의 내적

(이미 벡터와 내적을 알고 계신 분들은 넘어가셔도 좋습니다)

벡터란, 고등학교 내에서는 크기와 동시에 방향을 가지는 양으로 정의합니다. 그래서 표현도 화살표로 표현하죠. 하지만, 사실 수학에서는 벡터공간이라는 것을 특별히 정의하여 그것의 원소이기만 하면 벡터라고 부릅니다. 그래서 직관적으로 받아들이기 힘든 $n$차원 벡터같은 것도 있죠.

앞으로의 설명을 위해 원점에 대한 위치벡터로 표현하겠습니다. 위치벡터란 어떤 점을 기준점으로 한 벡터로, 만일 좌표계의 원점을 기준점으로 잡았으면, 그 점의 좌표에서 기준점의 좌표를 뺀 것이 위치벡터가 되는 셈이죠.

즉, 만일 기준점을 원점으로 했다면 그냥 그 점의 좌표가 위치벡터가 된다고 생각하시면 됩니다. 앞으로는 이렇게 원점을 기준점으로 한 위치벡터만을 사용하겠습니다. 이렇게 벡터는 순서쌍으로 표현될 수 있고, 각각 ($x$성분, $y$성분)을 나타냅니다. 앞으로는 위치벡터를 하나의 소문자로 쓰고, 볼드체로 나타내겠습니다.

그리고, 두 벡터 $\mathbf{p} = (p_1 , p_2)$와 $\mathbf{q} = (q_1,q_2)$ 의 내적을 다음과 같이 정의합니다.

$$\mathbf{p} \cdot \mathbf{q} = p_1 q_1 + p_2 q_2$$

이로부터 얻어지는 성질로 벡터의 크기를 $||\mathbf{p}|| = \sqrt{p_1^2 + p_2^2}$ 라고 정의하고, 두 벡터의 사잇각을 $\theta$ 라고 하면, 다음과 같습니다.

$$ \mathbf{p} \cdot \mathbf{q} = ||\mathbf{p}|| \ ||\mathbf{q}|| \cos\theta $$

또한, 내적은 교환법칙이 성립합니다.

그럼, 이를 활용해보죠.

내적을 이용한 삼각함수의 합성

삼각함수의 합성을 보면, $a\sin\theta + b\cos\theta$의 꼴입니다. 뭔가 곱해져 있고, 더해져 있는 꼴이니까 내적과 연관지을 수 있을 것 같습니다. 즉, 이렇게 써보는 것이죠.

$$a\sin\theta + b\cos\theta = (\cos\theta , \sin\theta)\cdot(b,a)$$

굳이 벡터를 $(\sin\theta,\cos\theta)$가 아닌 $(\cos\theta,\sin\theta)$라고 쓴데는 이유가 있습니다. 바로, 좌표평면에서 $(\cos\theta,\sin\theta)$는 반지름의 길이가 $1$인 단위원 위의 한 점을 나타내기 때문이죠. 즉, 좌표평면에 두 벡터 $(\cos\theta,\sin\theta)$와 $(b,a)$를 표현하면 다음과 같습니다.

그렇다면, 내적의 성질에 의해 두 벡터가 평행할 때, 즉 $\theta = \beta$일 때 $\cos(\theta-\beta)$의 값이 $1$이 되므로 최대가 되겠군요. 반대로, 두 벡터의 방향이 반대일 때, 즉 $\theta = \beta + \pi$일 때 $\cos(\theta - \beta)$의 값이 $-1$이 되니 최소가 됩니다.

(위 그림에서 사잇각이 $\theta - \beta$라는 점을 생각하면 됩니다)

다시 말해서, 그냥 최대일 때의 $\theta$는 $\beta$, 최소일 때는 $\beta + \pi$가 된다는 것입니다. 즉, 굳이 어렵게 외우려고 하지 않아도 위 그림만 그리면 된다는 의미이죠.

$(\cos\theta,\sin\theta)$의 크기는 $\sqrt{\cos^ \theta + \sin^2 \theta} = 1$이고 $(b,a)$의 크기는 $\sqrt{a^2 + b^2}$이므로 합성은 다음과 같습니다.

$$a\sin\theta + b\cos\theta = (\cos\theta , \sin\theta)\cdot(b,a) = \sqrt{a^2 + b^2} \cos(\theta-\beta)$$

(우와! 알고 있던 식과 같네요!) 실제로 이 $\beta$가 앞에서의 $\beta$가 맞습니다.

사인에 대해 정리하고 싶으시다면 적절히 $\dfrac{\pi}{2}$를 더하고 빼면 되겠죠.

복소수를 이용한 삼각함수의 합성

(문제를 빨리 풀기만을 위한 사람들은 이 파트를 뛰어넘어도 됩니다.)

삼각함수와 관련있는 것이 또 있습니다. 바로, 복소수인데요. 가로축을 실수축으로, 세로축을 허수축으로 한 복소평면위에 모든 복소수를 대응시킬 수 있습니다. 따라서, 복소수 또한 벡터처럼 크기와 방향을 가지는 값으로 생각할 수 있습니다. 그리고, 오일러 공식이라는 위대한 공식이 있죠. 다음과 같습니다.

$$e^{i \theta} = \cos\theta + i\sin\theta$$

즉, 모든 복소수를 위와 같은 지수함수꼴로 표현할 수 있다는 것이죠. 일반적으로 복소수 $z$를 다음과 같이 표현할 수 있습니다.

$$z = r e^{i\phi}$$

여기서 $r$은 $z$의 크기, $\theta$는 $z$의 편각입니다.

이를 통해 다시 삼각함수의 합성을 생각해봅시다. 다음과 같은 두 복소수를 생각할 수 있습니다.

$$z_1 = \cos\theta + i\sin\theta$$

$$z_2 = b+ai$$

그러면 각각은 오일러 공식에 의해 다음과 같이 표현될 수 있습니다.

$$z_1 = e^{i\theta}$$

$$z_2 = \sqrt{a^2 + b^2} e^{i\beta}$$

둘을 나눠보죠. 그러면 다음과 같습니다.

$$ \frac{z_1}{z_2} = \frac{\cos\theta+i\sin\theta}{b+ai} = \frac{1}{\sqrt{a^2 + b^2}} e^{i(\theta-\beta)}  $$

분모의 실수화를 통해 식을 정리하면,

$$ \frac{(\cos\theta+i\sin\theta)(b-ai)}{\sqrt{a^2 + b^2}} = \frac{(a\sin\theta + b\cos\theta)+(b\sin\theta - a\cos\theta)i}{\sqrt{a^2+b^2}} = e^{i(\theta-\beta)} $$

오일러 공식에 따라 $e^{i(\theta-\beta)} = \cos(\theta-\beta) + i\sin(\theta-\beta)$이므로, 복소수 상등을 적용하면 이렇게 정리될 수 있습니다.

$$ a\sin\theta + b\cos\theta = \sqrt{a^2 + b^2} \cos(\theta-\beta) $$

$$ b\sin\theta - a\cos\theta = \sqrt{a^2 + b^2} \sin(\theta-\beta) $$

오! 이렇게 해도 결과가 나오는군요!

만일 $\sin$에 대해 정리하고 싶으시다면 $\theta$ 대신 $\theta + \dfrac{\pi}{2}$를 대입하면 됩니다.

$$ b\sin\left(\theta+\frac{\pi}{2}\right) - a\cos\left(\theta+\frac{\pi}{2}\right) = a\sin\theta + b\cos\theta = \sqrt{a^2 + b^2} \sin\left(\theta + \left(\frac{\pi}{2}-\beta\right)\right) = \sqrt{a^2 + b^2} \sin(\theta+\alpha) $$