슬라이더를 움직여 각도 α를 바꿔보세요.
벡터와 행렬 곱을 이용하면 cos(θ+α) = cosθcosα - sinθsinα 공식을 유도할 수 있습니다.
v): 각도가 θ인 단위 벡터에서 시작합니다.Rα): 이 벡터를 각도 α만큼 더 회전시키는 변환 행렬을 적용합니다.v'): 회전 후 새로운 벡터는 총 θ+α의 각도를 가집니다.v'의 x성분과, 각도 (θ+α)로 정의된 v'의 x성분이 같다는 점을 이용합니다.x축과 θ의 각도를 이루는 단위 벡터 v의 좌표는 다음과 같습니다.
v = [cosθ, sinθ]
반시계 방향으로 α만큼 회전시키는 행렬 Rα는 다음과 같습니다.
벡터 v를 행렬 Rα로 회전시킨 새로운 벡터 v'는 Rα * v 입니다.
회전 후 벡터 v'의 각도는 θ+α이므로, 그 x좌표는 cos(θ+α) 입니다. 위에서 행렬 곱으로 계산한 x좌표와 이 값은 당연히 같아야 합니다.
cos(θ+α) = cosθcosα - sinθsinα