厳密な説明
1. 基本値一覧
| \theta | 0 | \dfrac{\pi}{6} (30°) | \dfrac{\pi}{4} (45°) | \dfrac{\pi}{3} (60°) | \dfrac{\pi}{2} (90°) |
| \sin\theta | 0 | \dfrac{1}{2} | \dfrac{\sqrt{2}}{2} | \dfrac{\sqrt{3}}{2} | 1 |
| \cos\theta | 1 | \dfrac{\sqrt{3}}{2} | \dfrac{\sqrt{2}}{2} | \dfrac{1}{2} | 0 |
| \tan\theta | 0 | \dfrac{1}{\sqrt{3}} | 1 | \sqrt{3} | 不定 |
記憶法:\sin\theta の分子は \sqrt{0}, \sqrt{1}, \sqrt{2}, \sqrt{3}, \sqrt{4} を 2 で割った値。
2. 対称性と周期性
- 偶奇性:\cos(-\theta) = \cos\theta(偶関数)、\sin(-\theta) = -\sin\theta(奇関数)
- 周期:\sin(\theta + 2\pi) = \sin\theta、\cos(\theta + 2\pi) = \cos\theta、\tan(\theta + \pi) = \tan\theta
- 象限による符号:第一象限(両正)→ 第二(\sin 正)→ 第三(両負)→ 第四(\cos 正)
3. 加法定理の導出(回転行列)
角度 \phi の回転行列は、(1,0) \mapsto (\cos\phi, \sin\phi)、(0,1) \mapsto (-\sin\phi, \cos\phi) から:
R_\phi = \begin{pmatrix} \cos\phi & -\sin\phi \\ \sin\phi & \cos\phi \end{pmatrix}
角度 \theta の点をさらに \phi 回転させると:
R_\phi \begin{pmatrix} \cos\theta \\ \sin\theta \end{pmatrix} = \begin{pmatrix} \cos\phi\cos\theta - \sin\phi\sin\theta \\ \sin\phi\cos\theta + \cos\phi\sin\theta \end{pmatrix} = \begin{pmatrix} \cos(\theta+\phi) \\ \sin(\theta+\phi) \end{pmatrix}
よって:
\boxed{\sin(\theta+\phi) = \sin\theta\cos\phi + \cos\theta\sin\phi}
\boxed{\cos(\theta+\phi) = \cos\theta\cos\phi - \sin\theta\sin\phi}
この導出は「加法定理は回転の合成を言葉にしたもの」という理解を与える。
4. オイラーの公式
e^{i\theta} = \cos\theta + i\sin\theta
証明(テイラー展開):e^{i\theta} を展開し実部・虚部を \cos\theta、\sin\theta の展開と比較して一致することを確認する。
応用:e^{i(\theta+\phi)} = e^{i\theta} e^{i\phi} を展開すると加法定理が一行で得られる。また e^{i\pi} + 1 = 0(オイラーの等式)。
5. 三角関数の微分
\frac{d}{dx}\sin x = \cos x, \qquad \frac{d}{dx}\cos x = -\sin x, \qquad \frac{d}{dx}\tan x = \frac{1}{\cos^2 x}
導出:\lim_{h \to 0} \dfrac{\sin h}{h} = 1 と加法定理から。\sin'(x) = \cos x は「\sin が \cos と 90° 位相がずれている」という波の見方と一致する。
6. 逆三角関数
\arcsin: [-1,1] \to \left[-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right], \quad \arctan: \mathbb{R} \to \left(-\dfrac{\pi}{2}, \dfrac{\pi}{2}\right)
\frac{d}{dx}\arcsin x = \frac{1}{\sqrt{1-x^2}}, \qquad \frac{d}{dx}\arctan x = \frac{1}{1+x^2}
逆三角関数の微分は \int \dfrac{1}{\sqrt{1-x^2}}\,dx = \arcsin x + C など積分の公式と表裏一体である。
最終形
\boxed{\sin^2\theta + \cos^2\theta = 1, \quad e^{i\theta} = \cos\theta + i\sin\theta}
\boxed{\sin(\theta+\phi) = \sin\theta\cos\phi + \cos\theta\sin\phi}
\boxed{(\sin x)' = \cos x, \quad (\cos x)' = -\sin x}