第7章: 余角の公式
概要
余角の公式（早見表）
\begin{align*} \sin\left(\tfrac{\pi}{2} - \theta\right) &= \cos\theta & \cos\left(\tfrac{\pi}{2} - \theta\right) &= \sin\theta \\ \tan\left(\tfrac{\pi}{2} - \theta\right) &= \cot\theta & \cot\left(\tfrac{\pi}{2} - \theta\right) &= \tan\theta \\ \sec\left(\tfrac{\pi}{2} - \theta\right) &= \csc\theta & \csc\left(\tfrac{\pi}{2} - \theta\right) &= \sec\theta \end{align*}角度 $\theta$ と $\dfrac{\pi}{2}-\theta$ は互いに余角（足して直角）。三角関数の値は co- が付く相手と入れ替わる。
本ページでは、上記の余角の公式 6 本を 三角関数の定義 に基づいて丁寧に証明する。直角三角形を用いた図解、語源 (cofunction) の解説、例題 3 題、練習問題 4 題まで一気に扱う。
三角関数の定義
証明に入る前に、直角三角形における三角関数の定義を確認する。
図1: 直角三角形（底辺 x、対辺 y、斜辺 r、角 θ）
図1のように、底辺の長さを $x$、対辺の高さを $y$、斜辺の長さを $r$、頂点 A での角を $\theta$ とした場合、三角関数は以下のように定義される。
三角関数の定義
$$ \sin\theta = \dfrac{\text{対辺}}{\text{斜辺}} = \dfrac{y}{r} \tag{1}\label{def-sin} $$ $$ \cos\theta = \dfrac{\text{隣辺}}{\text{斜辺}} = \dfrac{x}{r} \tag{2}\label{def-cos} $$ $$ \tan\theta = \dfrac{\text{対辺}}{\text{隣辺}} = \dfrac{y}{x} = \dfrac{\sin\theta}{\cos\theta} \tag{3}\label{def-tan} $$ $$ \cot\theta = \dfrac{\text{隣辺}}{\text{対辺}} = \dfrac{x}{y} = \dfrac{\cos\theta}{\sin\theta} = \dfrac{1}{\tan\theta} \tag{4}\label{def-cot} $$ここで重要なのは、$\tan\theta$ が「高さ÷底辺」、$\cot\theta$ が「底辺÷高さ」であることである。 つまり、$\tan$ と $\cot$ は分子と分母が入れ替わった関係にある。
$\sin, \cos$ の余角の公式
定理
$$ \sin\left(\dfrac{\pi}{2} - \theta\right) = \cos\theta, \quad \cos\left(\dfrac{\pi}{2} - \theta\right) = \sin\theta $$証明. これは次節の $\tan$ の証明でも使う基本的な結果である。
Step 1: 2つの鋭角の関係
図2: 直角三角形の2つの鋭角 θ と π/2−θ
図2の直角三角形において、直角は $\angle C = \dfrac{\pi}{2}$ である。 三角形の内角の和は $\pi$ だから、
$$ \angle A + \angle B = \pi - \dfrac{\pi}{2} = \dfrac{\pi}{2} $$よって $\angle A = \theta$ とすれば、$\angle B = \dfrac{\pi}{2} - \theta$ である。
Step 2: θ（∠A）から見た三角関数
角 $\theta$（∠A）から見ると、対辺は $y$、隣辺は $x$、斜辺は $r$ であるから、定義の式\eqref{def-sin}, \eqref{def-cos} がそのまま成り立つ。
$$ \sin\theta = \dfrac{y}{r} \quad \text{(式\eqref{def-sin} 再掲)} $$ $$ \cos\theta = \dfrac{x}{r} \quad \text{(式\eqref{def-cos} 再掲)} $$Step 3: π/2−θ（∠B）から見た三角関数
次に、角 $\dfrac{\pi}{2} - \theta$（∠B）から見た場合を考える。 図2の三角形を ∠B が左下に来るよう書き換えると図3のようになる。
図3: ∠B（π/2−θ）が左下にくるように図2を描き直すと…
斜辺は同じ $r$ だが、対辺が $x$、隣辺が $y$ に入れ替わっているので、∠B に関する $\sin, \cos$ は定義式 $\sin = \dfrac{\text{対辺}}{\text{斜辺}}$, $\cos = \dfrac{\text{隣辺}}{\text{斜辺}}$ より次のようになる。
$$ \sin\left(\dfrac{\pi}{2} - \theta\right) = \dfrac{x}{r} \tag{5}\label{sincomp} $$ $$ \cos\left(\dfrac{\pi}{2} - \theta\right) = \dfrac{y}{r} \tag{6}\label{coscomp} $$Step 4: 比較
定義式 $\eqref{def-sin},\eqref{def-cos}$ と Step 3 の $\eqref{sincomp},\eqref{coscomp}$ を並べると、次のようになる。
| 関数 | $\angle A\;(\theta)$ から見た定義 | $\angle B\;\left(\dfrac{\pi}{2}-\theta\right)$ から見た定義 |
|---|---|---|
| $\sin$ | $\sin\theta = \dfrac{y}{r}$ \eqref{def-sin} | $\sin\!\left(\dfrac{\pi}{2}-\theta\right) = \dfrac{x}{r}$ \eqref{sincomp} |
| $\cos$ | $\cos\theta = \dfrac{x}{r}$ \eqref{def-cos} | $\cos\!\left(\dfrac{\pi}{2}-\theta\right) = \dfrac{y}{r}$ \eqref{coscomp} |
表を斜めに見比べると、
- 式\eqref{sincomp} は式\eqref{def-cos} と一致、つまり $\sin\!\left(\dfrac{\pi}{2}-\theta\right) = \cos\theta$
- 式\eqref{coscomp} は式\eqref{def-sin} と一致、つまり $\cos\!\left(\dfrac{\pi}{2}-\theta\right) = \sin\theta$
注目する角を取り替えると、対辺と隣辺が入れ替わるからである。
$\blacksquare$
$\tan, \cot$ の余角の公式
定理
$$ \tan\left(\dfrac{\pi}{2} - \theta\right) = \cot\theta $$証明.
Step 1: tan の定義を適用
$\tan$ の定義 $\tan\alpha = \dfrac{\sin\alpha}{\cos\alpha}$（式\eqref{def-tan}）を用いると、
$$ \tan\left(\dfrac{\pi}{2} - \theta\right) = \dfrac{\sin\left(\dfrac{\pi}{2} - \theta\right)}{\cos\left(\dfrac{\pi}{2} - \theta\right)} \tag{7}\label{tancomp-expand} $$Step 2: $\sin, \cos$ の余角の公式を代入
前節で証明した $\sin, \cos$ の余角の公式
$$ \sin\left(\dfrac{\pi}{2} - \theta\right) = \cos\theta, \quad \cos\left(\dfrac{\pi}{2} - \theta\right) = \sin\theta $$を式\eqref{tancomp-expand} に代入する。
Step 3: 整理
代入すると、
$$ \tan\left(\dfrac{\pi}{2} - \theta\right) = \dfrac{\cos\theta}{\sin\theta} \tag{8}\label{tancomp-result} $$Step 4: cot の定義と比較
$\cot\theta$ の定義式\eqref{def-cot} は $\cot\theta = \dfrac{\cos\theta}{\sin\theta}$ であり、式\eqref{tancomp-result} と一致している。
$\blacksquare$
定理
$$ \cot\left(\dfrac{\pi}{2} - \theta\right) = \tan\theta $$証明. $\cot$ の定義 式\eqref{def-cot} と $\sin, \cos$ の余角の公式より、
$$ \cot\left(\dfrac{\pi}{2} - \theta\right) = \dfrac{\cos\left(\dfrac{\pi}{2} - \theta\right)}{\sin\left(\dfrac{\pi}{2} - \theta\right)} = \dfrac{\sin\theta}{\cos\theta} = \tan\theta $$$\blacksquare$
例題
例題 1
余角の公式を用いて、$\sin 60°$ の値を求めよ。
解法
$60° = 90° - 30°$ であるから、余角の公式 $\sin(90° - \theta) = \cos\theta$ を適用する。
$$ \sin 60° = \sin(90° - 30°) = \cos 30° $$$\cos 30° = \dfrac{\sqrt{3}}{2}$ は既知の値であるから、
例題 2
次の式を簡単にせよ。
$$ \cos\left(\dfrac{\pi}{2} - \theta\right) \cdot \dfrac{1}{\cos\theta} $$解法
余角の公式 $\cos\!\left(\dfrac{\pi}{2} - \theta\right) = \sin\theta$ を代入する。
$$ \cos\left(\dfrac{\pi}{2} - \theta\right) \cdot \dfrac{1}{\cos\theta} = \sin\theta \cdot \dfrac{1}{\cos\theta} = \dfrac{\sin\theta}{\cos\theta} $$例題 3
$\tan 70°$ を $\tan$ 以外の三角関数で表せ。
解法
$70° = 90° - 20°$ であるから、余角の公式 $\tan(90° - \theta) = \cot\theta$ を適用する。
$$ \tan 70° = \tan(90° - 20°) = \cot 20° $$$\cot$ の定義 $\cot\theta = \dfrac{1}{\tan\theta}$ を用いれば、次のように書くこともできる。
練習問題
問題 1
余角の公式を用いて、$\sin 60° = \cos 30°$ が成り立つことを確認せよ。また、それぞれの値を求めよ。
ヒント
$60° + 30° = 90°$ であることに着目する。$\sin(90° - \theta) = \cos\theta$ で $\theta = 30°$ とおく。
解答例
$\theta = 30°$ とおくと、$\sin(90° - 30°) = \sin 60°$ である。
余角の公式 $\sin(90° - \theta) = \cos\theta$ より、
$$ \sin 60° = \cos 30° $$が成り立つ。どちらも値は $\dfrac{\sqrt{3}}{2}$ である。
問題 2
$\cos\!\left(\dfrac{\pi}{2} - \theta\right) = \sin\theta$ を利用して、次の式を簡単にせよ。
$$ \sin^2\theta + \cos^2\!\left(\dfrac{\pi}{2} - \theta\right) $$ヒント
まず $\cos\!\left(\dfrac{\pi}{2} - \theta\right)$ に余角の公式を適用してから、式全体を整理する。
解答例
余角の公式 $\cos\!\left(\dfrac{\pi}{2} - \theta\right) = \sin\theta$ より、
$$ \cos^2\!\left(\dfrac{\pi}{2} - \theta\right) = \sin^2\theta $$したがって、
$$ \sin^2\theta + \cos^2\!\left(\dfrac{\pi}{2} - \theta\right) = \sin^2\theta + \sin^2\theta = 2\sin^2\theta $$問題 3
$\tan(90° - \theta) = \cot\theta$ を用いて、次の値を求めよ。
$$ \tan 30° \cdot \tan 60° $$ヒント
$60° = 90° - 30°$ なので、$\tan 60°$ に余角の公式を適用する。$\tan\theta \cdot \cot\theta$ の値を考える。
解答例
$\tan 60° = \tan(90° - 30°) = \cot 30°$ であるから、
$$ \tan 30° \cdot \tan 60° = \tan 30° \cdot \cot 30° $$$\cot\theta = \dfrac{1}{\tan\theta}$ より、
$$ \tan 30° \cdot \cot 30° = \tan 30° \cdot \dfrac{1}{\tan 30°} = 1 $$問題 4
次の等式が成り立つことを、余角の公式を用いて示せ。
$$ \sin 10° \cdot \sin 20° \cdot \sin 30° = \cos 80° \cdot \cos 70° \cdot \cos 60° $$ヒント
左辺の各因子に $\sin\alpha = \cos(90° - \alpha)$ を適用する。
解答例
余角の公式 $\sin(90° - \theta) = \cos\theta$（すなわち $\sin\alpha = \cos(90° - \alpha)$）を各因子に適用する。
$$ \sin 10° = \cos(90° - 10°) = \cos 80° $$ $$ \sin 20° = \cos(90° - 20°) = \cos 70° $$ $$ \sin 30° = \cos(90° - 30°) = \cos 60° $$したがって、
$$ \sin 10° \cdot \sin 20° \cdot \sin 30° = \cos 80° \cdot \cos 70° \cdot \cos 60° $$が成り立つ。