初等数学公式集/初等関数の性質

三角関数

大学受験数学三角関数も参照

初等幾何における三角比の利用は以下を参照

基本公式

三角関数相互の関係

π2+θ
- $\sin (\frac{π}{2} + θ) = \cos θ$
- $\cos (\frac{π}{2} + θ) = - \sin θ$
- $\tan (\frac{π}{2} + θ) = - \frac{1}{\tan θ}$
π+θ
- $\sin (π + θ) = - \sin θ$
- $\cos (π + θ) = - \cos θ$
- $\tan (π + θ) = \tan θ$

三角比の相互関係

$\sin^{2} θ + \cos^{2} θ = 1$ (ピタゴラスの基本三角公式)
$\tan θ = \frac{\sin θ}{\cos θ}$
$1 + \tan^{2} θ = \frac{1}{\cos^{2} θ}$
$1 + \frac{1}{\tan^{2} θ} = \frac{1}{\sin^{2} θ}$
　
鋭角における三角比の相互関係（三角比のいずれかが有理数で表されている場合に有用）
- $\sin α = \frac{a}{c}$ であるとき。 $\cos α = \frac{\sqrt{c^{2} - a^{2}}}{c}$ , $\tan α = \frac{a}{\sqrt{c^{2} - a^{2}}}$
- $\cos α = \frac{b}{c}$ であるとき。 $\sin α = \frac{\sqrt{c^{2} - b^{2}}}{c}$ , $\tan α = \frac{\sqrt{c^{2} - b^{2}}}{b}$
- $\tan α = \frac{a}{b}$ であるとき。 $\sin α = \frac{a}{\sqrt{a^{2} + b^{2}}}$ , $\cos α = \frac{b}{\sqrt{a^{2} + b^{2}}}$

負角の公式(還元公式)

$\sin (- θ) = - \sin θ$
$\cos (- θ) = \cos θ$
$\tan (- θ) = - \tan θ$

補角の公式(還元公式)

$\sin (π - θ) = \sin θ$
$\cos (π - θ) = - \cos θ$
$\tan (π - θ) = - \tan θ$

補角の公式と負角の公式との合成

$\sin (θ - π) = - \sin θ$
$\cos (θ - π) = - \cos θ$
$\tan (θ - π) = \tan θ$

余角の公式(還元公式)

$\sin (\frac{π}{2} - θ) = \cos θ$
$\cos (\frac{π}{2} - θ) = \sin θ$
$\tan (\frac{π}{2} - θ) = \frac{1}{\tan θ}$

余角の公式と負角の公式との合成

$\sin (θ - \frac{π}{2}) = - \sin (\frac{π}{2} - θ) = - \cos θ$
$\cos (θ - \frac{π}{2}) = \cos (\frac{π}{2} - θ) = \sin θ$
$\tan (θ - \frac{π}{2}) = - \frac{1}{\tan θ}$

加法定理

証明は高等学校数学II/三角関数#加法定理を参照

$\sin (α \pm β) = \sin α \cos β \pm \cos α \sin β$
$\cos (α \pm β) = \cos α \cos β \mp \sin α \sin β$
$\tan (α \pm β) = \frac{\tan α \pm \tan β}{1 \mp \tan α \tan β}$

（すべて複号同順）

有名角の値1

π12(=15∘)
1. $\sin \frac{π}{12} = \sin (\frac{π}{4} - \frac{π}{6}) = \sin (\frac{π}{4}) \cos (\frac{π}{6}) - \cos (\frac{π}{4}) \sin (\frac{π}{6}) = \frac{\sqrt{2}}{4} (\sqrt{3} - 1)$
  　
2. $\cos \frac{π}{12} = \cos (\frac{π}{4} - \frac{π}{6}) = \cos (\frac{π}{4}) \cos (\frac{π}{6}) + \sin (\frac{π}{4}) \sin (\frac{π}{6}) = \frac{\sqrt{2}}{4} (\sqrt{3} + 1)$
  　
3. $\tan \frac{π}{12} = \frac{\sin (\frac{π}{12})}{\cos (\frac{π}{12})} = \frac{\sqrt{3} - 1}{\sqrt{3} + 1} = 2 - \sqrt{3}$
5π12(=75∘)
1. $\sin \frac{5 π}{12} = \sin (\frac{π}{4} + \frac{π}{6}) = \sin (\frac{π}{4}) \cos (\frac{π}{6}) + \cos (\frac{π}{4}) \sin (\frac{π}{6}) = \frac{\sqrt{2}}{4} (\sqrt{3} + 1)$
  　
2. $\cos \frac{5 π}{12} = \cos (\frac{π}{4} + \frac{π}{6}) = \cos (\frac{π}{4}) \cos (\frac{π}{6}) - \sin (\frac{π}{4}) \sin (\frac{π}{6}) = \frac{\sqrt{2}}{4} (\sqrt{3} - 1)$
  　
3. $\tan \frac{5 π}{12} = \frac{\sin (\frac{5 π}{12})}{\cos (\frac{5 π}{12})} = \frac{\sqrt{3} + 1}{\sqrt{3} - 1} = 2 + \sqrt{3}$
  　
なお、余角の公式から、
1. $\sin \frac{π}{12} = \cos \frac{5 π}{12} = \frac{\sqrt{2}}{4} (\sqrt{3} - 1)$
  　
2. $\cos \frac{π}{12} = \sin \frac{5 π}{12} = \frac{\sqrt{2}}{4} (\sqrt{3} + 1)$
  　
3. $\tan \frac{π}{12} = \tan^{- 1} \frac{5 π}{12} = 2 - \sqrt{3}$

二倍角の公式

加法定理で、 $α = β$ として、

$\sin 2 θ = 2 \sin θ \cos θ$
$\cos 2 θ = \cos^{2} θ - \sin^{2} θ = 2 \cos^{2} θ - 1 = 1 - 2 \sin^{2} θ$
$\tan 2 θ = \frac{2 \tan θ}{1 - \tan^{2} θ}$

半角の公式

$\sin^{2} (\frac{θ}{2}) = \frac{1 - \cos θ}{2}$ ← 倍角の公式より、 $\cos θ = 1 - 2 \sin^{2} (\frac{θ}{2})$
　
$\cos^{2} (\frac{θ}{2}) = \frac{1 + \cos θ}{2}$ ← 倍角の公式より、 $\cos θ = 2 \cos^{2} (\frac{θ}{2}) - 1$
　
$\tan^{2} (\frac{θ}{2}) = \frac{1 - \cos θ}{1 + \cos θ}$

　
tan⁡(θ2)=sin⁡θ1+cos⁡θ=1−cos⁡θsin⁡θ　
　
（拡張） $\tan (\frac{θ}{2}) = t$ とするとき、
$\cos θ = \frac{1 - t^{2}}{1 + t^{2}}$ 　←　 $\tan^{2} (\frac{θ}{2}) = t^{2} = \frac{1 - \cos θ}{1 + \cos θ}$ を $\cos θ$ について解く。

$\sin θ = \frac{2 t}{1 + t^{2}}$ 　← 　 $\sin θ = \tan θ \cdot \cos θ$ に $\tan θ = \frac{2 \tan (\frac{θ}{2})}{1 - \tan^{2} (\frac{θ}{2})} = \frac{2 t}{1 - t^{2}}, \cos θ = \frac{1 - t^{2}}{1 + t^{2}}$ を代入する。

三倍角の公式

$\sin 3 θ = 3 \sin θ - 4 \sin^{3} θ$
$\cos 3 θ = 4 \cos^{3} θ - 3 \cos θ$
$\tan 3 θ = \frac{3 \tan θ - 4 \tan^{3} θ}{1 - 3 \tan^{2} θ}$

有名角の値2

$\frac{π}{10} (= 1 8^{\circ})$
　

余角の公式より、等式: $\sin \frac{3 π}{10} = \sin (\frac{π}{2} - \frac{π}{5}) = \cos \frac{π}{5}$ が成立する。

　

ここで、 $\frac{π}{10} = θ$ とおくと、 $\sin 3 θ = \cos 2 θ$ となり、二倍角の公式及び三倍角の公式から、 $3 \sin θ - 4 \sin^{3} θ = 1 - 2 \sin^{2} θ$ 。

　

さらに、 $\sin θ = t$ とおいて、方程式: $4 t^{3} - 2 t^{2} - 3 t + 1 = (t - 1) (4 t^{2} + 2 t - 1) = 0$ を得る。

　

これを解いて、 $t = 1, \frac{- 1 \pm \sqrt{5}}{4}$ 。 $t = \sin θ = \sin \frac{π}{10}$ であるので、 $0 < t < 1$ 、従って、 $\sin \frac{π}{10} = \frac{- 1 + \sqrt{5}}{4}$

　

$\cos \frac{π}{10} = \sqrt{1 - \sin^{2} \frac{π}{10}}$ $(∵ \cos \frac{π}{10} > 0)$ $= \frac{\sqrt{10 + 2 \sqrt{5}}}{4}$

　

$\tan \frac{π}{10} = \frac{\sin \frac{π}{10}}{\cos \frac{π}{10}} = \frac{1}{\sqrt{5 + 2 \sqrt{5}}}$ （計算過程・有理化は略）

　

　
$\frac{2 π}{5} (= 7 2^{\circ})$
　

余角の公式より、等式: $\sin \frac{2 π}{5} = \sin (\frac{π}{2} - \frac{π}{10}) = \cos \frac{π}{10},$ 　 $\cos \frac{2 π}{5} = \sin \frac{π}{10}$ が成立する。

　

$∴ \sin \frac{2 π}{5} = \frac{\sqrt{10 + 2 \sqrt{5}}}{4}$ , 　 $\cos \frac{2 π}{5} = \frac{- 1 + \sqrt{5}}{4}$ , 　 $\tan \frac{2 π}{5} = \sqrt{5 + 2 \sqrt{5}}$

※

\frac{π}{10} (= 1 8^{\circ})

の正弦・余弦の値を元に、

\frac{π}{5} (= 3 6^{\circ}), \frac{3 π}{10} (= 5 4^{\circ})

の三角比の値を求めることができる（参考参照）。

和積の公式

$\sin α + \sin β = 2 \sin \frac{α + β}{2} \cos \frac{α - β}{2}$
$\sin α - \sin β = 2 \cos \frac{α + β}{2} \sin \frac{α - β}{2}$
$\cos α + \cos β = 2 \cos \frac{α + β}{2} \cos \frac{α - β}{2}$
$\cos α - \cos β = - 2 \sin \frac{α + β}{2} \sin \frac{α - β}{2}$

積和の公式

$\sin α \cdot \cos β = \frac{1}{2} {\sin (α + β) + \sin (α - β)}$
$\cos α \cdot \sin β = \frac{1}{2} {\sin (α + β) - \sin (α - β)}$
$\cos α \cdot \cos β = \frac{1}{2} {\cos (α + β) + \cos (α - β)}$
$\sin α \cdot \sin β = - \frac{1}{2} {\cos (α + β) - \cos (α - β)}$

三角関数の合成

正弦合成

$a \sin θ + b \cos θ = \sqrt{a^{2} + b^{2}} \sin (θ + α)$

ただし、

\cos α = \frac{a}{\sqrt{a^{2} + b^{2}}}, \sin α = \frac{b}{\sqrt{a^{2} + b^{2}}}

余弦合成

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

ただし、

\sin β = \frac{a}{\sqrt{a^{2} + b^{2}}}, \cos β = \frac{b}{\sqrt{a^{2} + b^{2}}}

覚え方位相を $+ \frac{π}{2}$ すると微分になると覚えましょう。 $+ π$ の三角関数も2階微分としてすぐに導出できます。 $- \frac{π}{2}$ の三角関数は積分として覚えられます。また、点 $(\cos θ, \sin θ)$ を $π$ 回転した点 $(\cos (θ + π), \sin (θ + π))$ は原点を中心に点対称移動した点　 $(- \cos θ, - \sin θ)$ であることからも、 $+ π$ の三角関数を導出できます。 $- θ$ の三角関数は、点 $(\cos θ, \sin θ)$ を $x$ 軸で線対称移動移動した点が $(\cos (- θ), \sin (- θ)) = (\cos θ, - \sin θ)$ であることから導出できます。加法定理は「咲いたコスモスコスモス咲いた」、「コスモスコスモス咲いた咲いた」という語呂合せがあります。 $\cos$ の倍角の公式 $\cos 2 θ = 2 \cos^{2} θ - 1 = 1 - 2 \sin^{2} θ$ は $\pm 1 \pm 2 {a a a}^{2} θ$ という形を覚えて $\sin$ は符号が $-$ 、1 の符号はその逆と覚えます。 2乗の三角関数 $\sin^{2} θ = \frac{1 - \cos 2 θ}{2}, \cos^{2} θ = \frac{1 + \cos 2 θ}{2}$ は、 $\frac{1 \pm \cos 2 θ}{2}$ という形を覚えて、 $\sin$ は符号が $-$ と考えます。正弦合成では、Oを原点とするxy平面上に点P（a, b）をとったときの線分OPの長さがサインの係数、直線OPの傾き $\frac{b}{a}$ が $\tan α$ の値と考えます。余弦合成では、Oを原点とするxy平面上に点Q（b, a）をとったときの線分OQの長さがコサインの係数、直線OQの傾き $\frac{a}{b}$ が $\tan β$ の値と考えます。

三角関数の性質

関数 $y = \sin x$ の性質

$y = \sin x = \sin (x + 2 π) = \sin (x + 4 π) = \dots = \sin (x + 2 m π)$ であり、 $2 π$ を周期とする周期関数である。
従って、 $y = \sin x = \sin (x + 2 n π)$ が、すべての整数 $n$ について成立している。
すべての実数 $x$ について、 $y$ は一意に決まるので、全実数が定義域となる。
$y$ について、区間 $[- 1, 1]$ の値域をとる。
全ての $x$ について、 $\sin (- x) = - \sin x$ が成立するので奇関数である。すなわち、グラフは原点について点対称である。

関数 $y = \cos x$ の性質

$y = \cos x = \cos (x + 2 π) = \cos (x + 4 π) = \dots = \cos (x + 2 m π)$ であり、 $2 π$ を周期とする周期関数である。
従って、 $y = \cos x = \cos (x + 2 n π)$ が、すべての整数 $n$ について成立している。
すべての実数 $x$ について、 $y$ は一意に決まるので、全実数が定義域となる。
$y$ について、区間 $[- 1, 1]$ の値域をとる。
全ての $x$ について、 $\cos (- x) = \cos x$ が成立するので偶関数である。すなわち、グラフは $y$ 軸について線対称である。

関数 $y = \sin x$ , $y = \cos x$ のグラフ

いわゆる、サインカーブを描く。
$y = \cos x = \sin (x + \frac{π}{2})$ から、 $y = \cos x$ のグラフは、 $y = \sin x$ のグラフを左に $\frac{π}{2}$ 平行移動させたものとなる（初等数学公式集/解析幾何#平行移動参照）。
微分の知識を要するが、 $(\sin x)^{'} = \cos x, (\cos x)^{'} = \sin x$ であるため、 $(x, \sin x), (x, \cos x)$ の各点における接線の傾きは、 $\cos x, - \sin x$ となっている。

$x$ と $\sin x, \cos x$ の値
$x$	$0$	$\frac{π}{6}$	$\frac{π}{4}$	$\frac{π}{3}$	$\frac{π}{2}$	$\frac{2 π}{3}$	$\frac{3 π}{4}$	$\frac{5 π}{6}$	$π$	$\frac{7 π}{6}$	$\frac{5 π}{4}$	$\frac{4 π}{3}$	$\frac{3 π}{2}$	$\frac{5 π}{3}$	$\frac{7 π}{4}$	$\frac{11 π}{6}$	$2 π$
$\sin x$	$0$	$\frac{1}{2}$	$\frac{\sqrt{2}}{2}$	$\frac{\sqrt{3}}{2}$	$1$	$\frac{\sqrt{3}}{2}$	$\frac{\sqrt{2}}{2}$	$\frac{1}{2}$	$0$	$- \frac{1}{2}$	$- \frac{\sqrt{2}}{2}$	$- \frac{\sqrt{3}}{2}$	$- 1$	$- \frac{\sqrt{3}}{2}$	$- \frac{\sqrt{2}}{2}$	$- \frac{1}{2}$	$0$
$\cos x$	$1$	$\frac{\sqrt{3}}{2}$	$\frac{\sqrt{2}}{2}$	$\frac{1}{2}$	$0$	$- \frac{1}{2}$	$- \frac{\sqrt{2}}{2}$	$- \frac{\sqrt{3}}{2}$	$- 1$	$- \frac{\sqrt{3}}{2}$	$- \frac{\sqrt{2}}{2}$	$- \frac{1}{2}$	$0$	$\frac{1}{2}$	$\frac{\sqrt{2}}{2}$	$\frac{\sqrt{3}}{2}$	$1$

関数 $y = \tan x$ の性質

$y = \tan x = \tan (x + π) = \tan (x + 2 π) = \dots = \tan (x + m π)$ であり、 $π$ を周期とする周期関数である。
従って、 $y = \tan x = \tan (x + n π)$ が、すべての整数 $n$ について成立している。
整数 $n$ について $x = \frac{(2 n + 1) π}{2}$ である時には、 $y = \tan x$ は定義されないが、そのほかの場合については、すべての実数 $x$ について、 $y$ は一意に決まるので、 $x = \frac{(2 n + 1) π}{2}$ を除く全実数が定義域となる。
$y$ について、値域は全実数となる。
全ての $x$ について、 $\tan (- x) = - \tan x$ が成立するので奇関数である。すなわち、グラフは原点について点対称である。
整数 $n$ について $x = n π$ である時、 $\tan x = 0$ であり、接線の傾きは $1$ となる。
直線: $x = \frac{(2 n + 1) π}{2}$ は、 $y = \tan x$ が左から近づく場合は正に無限大^[1]、右から近づく場合は負に無限大^[2]となる漸近線となる。

$x$ と $\tan x$ の値
$x$	$0$	$\frac{π}{6}$	$\frac{π}{4}$	$\frac{π}{3}$	$\frac{π}{2}$	$\frac{2 π}{3}$	$\frac{3 π}{4}$	$\frac{5 π}{6}$	$π$
$\tan x$	$0$	$\frac{\sqrt{3}}{3}$	$1$	$\sqrt{3}$	-	$- \sqrt{3}$	$- 1$	$- \frac{\sqrt{3}}{3}$	$0$

三角方程式・三角不等式

三角方程式

式変形などを経て、最終的に $\sin x = a, \cos x = b, \tan x = c$ ( $a, b, c$ は実数）などの形式となった $x$ の値を求める方程式。

y = \sin x, y = \cos x, y = \tan x

は周期関数なので、

x

の存在範囲に条件がついていない場合は、無数に解は存在し、一般解での回答を求められる。

以下、

0 \leq α < 2 π

として、

方程式: $\sin x = a$
$x = α$ であるとき、 $π - α$ も解となる。

$2 π$ を周期とするから、一般解は、 $x = 2 n π + α, (2 n + 1) π - α$ （ $n$ は整数）、または、 $x = n π + (- 1)^{n} α$ （ $n$ は整数）である。
方程式: $\cos x = a$
$x = α$ であるとき、 $- α$ も解となる。

$2 π$ を周期とするから、一般解は、 $x = 2 n π \pm α$ （ $n$ は整数）である。
方程式: $\tan x = a$
$x = α$ であるとき、 $π + α$ も解となる。

$π$ を周期とするから、一般解は、 $x = n π + α$ （ $n$ は整数）である。

| \sin x | \leq 1, | \cos x | \leq 1

であるので、式変形の途中で

(\sin x + 2) g (x) = 0

のような式が出ても解く必要はない。

（例）方程式

3 \sin x = 2 \cos^{2} x (0 \leq x < 2 π)

\sin x

にそろえる。

3 \sin x = 2 (1 - \sin^{2} x)

移項して、

2 \sin^{2} x + 3 \sin x - 2 = (2 \sin x - 1) (\sin x + 2) = 0

\sin x + 2 > 0

なので、

2 \sin x - 1 = 0 \Leftrightarrow \sin x = \frac{1}{2},

従って、

x = \frac{π}{6}, \frac{5 π}{6}

初等数学（高等学校履修過程）においては、 $x$ は有名角 $(\frac{n π}{6}, \frac{n π}{4} (n$ は整数 $))$ が解となるケースのみである。その他の角が解となるケースは誘導となる問がつく。

最終的に解く方程式は以下のものに集約される。
- 　
- $\sin x, \cos x = 0, \pm \frac{1}{2}, \pm \frac{\sqrt{2}}{2}, \pm \frac{\sqrt{3}}{2}, \pm 1$
  　
- $\tan x = 0, \pm \frac{1}{2}, \pm \frac{\sqrt{2}}{2}, \pm \sqrt{3}, \pm 1$
以下に、 $\sin x, \cos x$ とその解の対応表を示す。 $\tan x$ については上記の表を参照。

$\sin x$ とその解 $x$
$\sin x$	$1$	$\frac{\sqrt{3}}{2}$	$\frac{\sqrt{2}}{2}$	$\frac{1}{2}$	$0$	$- \frac{1}{2}$	$- \frac{\sqrt{2}}{2}$	$- \frac{\sqrt{3}}{2}$	$- 1$
$x$	$\frac{π}{2}$	$\frac{π}{3}$ $\frac{2 π}{3}$	$\frac{π}{4}$ $\frac{3 π}{4}$	$\frac{π}{6}$ $\frac{5 π}{6}$	$0$ $π$	$\frac{11 π}{6} (- \frac{π}{6})$ $\frac{7 π}{6}$	$\frac{7 π}{4} (- \frac{π}{4})$ $\frac{5 π}{4}$	$\frac{5 π}{3} (- \frac{π}{3})$ $\frac{4 π}{3}$	$\frac{3 π}{2}$

$\cos x$ とその解 $x$
$\cos x$	$1$	$\frac{\sqrt{3}}{2}$	$\frac{\sqrt{2}}{2}$	$\frac{1}{2}$	$0$	$- \frac{1}{2}$	$- \frac{\sqrt{2}}{2}$	$- \frac{\sqrt{3}}{2}$	$- 1$
$x$	$0$	$\frac{π}{6}$ $\frac{11 π}{6} (- \frac{π}{6})$	$\frac{π}{4}$ $\frac{7 π}{4} (- \frac{π}{4})$	$\frac{π}{3}$ $\frac{5 π}{3} (- \frac{π}{3})$	$\frac{π}{2}$ $\frac{3 π}{2}$	$\frac{2 π}{3}$ $\frac{4 π}{3}$	$\frac{3 π}{4}$ $\frac{5 π}{4}$	$\frac{5 π}{6}$ $\frac{7 π}{6}$	$π$

三角不等式

三角方程式同様に、式変形などを経て、最終的に $\sin x ≷ a, \cos x ≷ b, \tan x ≷ c$ ( $a, b, c$ は実数）などの形式となった $x$ の範囲を求める。

境界の値は、不等号を等号に変えた方程式を解くことによって得られる（したがって、高校数学においては境界の値も有名角である）。

x

の存在範囲に条件がついていない場合の周期関数の対応は三角方程式と同様。周期1単位（

\sin x, \cos x

の場合

2 π

。

\tan x

の場合

π

）を標準としたものとして扱い、周期の整数倍を加算することで、一般解を得られる。特に、

\sin x, \cos x

の場合は単位円を想定し、

\sin x_{1}

については

\frac{π}{2}

を対称軸、

\cos x_{2}

については

0

を対称軸として、なす角

θ

の前後表現とすると、各々、

\frac{π}{2} - θ ≷ x_{1} ≷ \frac{π}{2} + θ, - θ ≷ x_{2} ≷ θ

のように閉じた不等号表現となる。また、

\tan x

の場合は、関数の連続性に配慮して、

- \frac{π}{2} \leq x \leq \frac{π}{2}

で捉えた方が良い。

（例題）

\sin x > \frac{\sqrt{3}}{2}

境界は、

\frac{π}{3}

および

\frac{2 π}{3}

であって、

\frac{π}{3} < x < \frac{2 π}{3}

となる（単位円を想定するとイメージしやすい）。

y = \sin x

は

2 π

を周期とするから、一般解は、

\frac{π}{3} + 2 n π < x < \frac{2 π}{3} + 2 n π

（

n

は整数）となる。

| \sin x | \leq 1, | \cos x | \leq 1

であるので、式変形の途中で

(\sin x + 2) f (x) ≷ 0

や

(\sin x - 2) g (x) ≷ 0

のような式が出ても解く必要はないが、不等号の向きが変わる場合があるので注意する。

（例1）不等式

3 \sin x > 2 \cos^{2} x (0 \leq x < 2 π)

\sin x

にそろえる。

3 \sin x > 2 (1 - \sin^{2} x)

移項して、

2 \sin^{2} x + 3 \sin x - 2 > (2 \sin x - 1) (\sin x + 2) = 0

\sin x + 2 > 0

なので、

2 \sin x - 1 > 0 \Leftrightarrow \sin x > \frac{1}{2},

従って、

\frac{π}{6} < x < \frac{5 π}{6}

（例2）不等式

\sin 2 x - \sin x + 2 > 4 \cos x (0 \leq x < 2 π)

\sin 2 x = 2 \sin x \cos x

なので、

2 \sin x \cos x - \sin x + 2 > 4 \cos x

\cos x

を移項して因数分解すると、

2 \sin x \cos x - \sin x - 4 \cos x + 2 > 4 \cos x = (\sin x - 2) (2 \cos x - 1) > 0

\sin x - 2 < 0

なので、

2 \cos x - 1 < 0 \Leftrightarrow \cos x < \frac{1}{2},

従って、

\frac{π}{3} < x < \frac{5 π}{3}

指数関数・対数関数

指数の計算と対数

指数法則

a, b

を正の実数、

p, q

を実数とすると以下の関係が成立する（詳細は初等数学公式集/初等代数#指数の計算参照）。

$a^{0} = 1, a^{1} = a$
$a^{p} \times a^{q} = a^{p + q}$
$a^{p} \div a^{q} = a^{p - q}$
$(a^{p})^{q} = (a^{q})^{p} = a^{p q}$
$(a b)^{p} = a^{p} b^{p}$

※厳密に「指数法則」という場合は、上記、2、4、5、即ち、

a^{p} a^{q} = a^{p + q}

、

(a^{p})^{q} = (a^{q})^{p} = a^{p q}

、

(a b)^{p} = a^{p} b^{p}

を指す（除算は、分数の乗算とする）。

対数

対数の定義と計算

a, b, c, d

を実数とし、

a > 0

かつ

a \neq 1

であるとする。

a^{b} = c

である時、指数

b

を、

a

を底(てい)とする

c

の対数と呼び、それを数式で

b = \log_{a} c

と書く。この時、

c

を真数と呼び、真数は常に正となる。

対数の計算は、指数の計算の逆演算となるので、上記の指数法則に対応した基本性質を得ることができる。

$\log_{a} 1 = 0$ , $\log_{a} a = 1$
　

上記指数則1. $a^{0} = 1, a^{1} = a$ より。

　
$\log_{a} (b c) = \log_{a} b + \log_{a} c$
　

上記指数則2. $a^{p} \times a^{q} = a^{p + q}$ より。

　
$\log_{a} (\frac{b}{c}) = \log_{a} b - \log_{a} c$
　

上記指数則3. $a^{p} \div a^{q} = a^{p - q}$ より。

　
$\log_{a} b^{c} = c \log_{a} b$
　

$\log_{a} b^{c} = \log_{a} \underset{c 個}{\underset{⏟}{b \times \dots \times b}}$ 、上記2.より、 $= \underset{c 個}{\underset{⏟}{\log_{a} b + \dots + \log_{a} b}} = c \log_{a} b$

　

指数法則より、 $c$ を有理数に拡張すると、 $m, n$ を整数として、 $\log_{a} \sqrt[n]{b^{m}} = \frac{m}{n} \log_{a} b$ 。なお、 $c$ は実数全体に拡張されている。

　

また、上記指数則4. $(a^{p})^{q} = (a^{q})^{p} = a^{p q}$ より、 $\log_{a} (b^{c})^{d} = \log_{a} b^{c d} = c d \log_{a} b$

　
logab=logcblogca（底の変換公式）
　

特に、 $\log_{a} b = \frac{1}{\log_{b} a}$ ,　 $\log_{a} b \cdot \log_{b} a = 1$ ,　 $a = b^{\log_{b} a}$
　
（証明）
$a, b, c, d$ に　 $b = a^{d}$ の関係が成立しているのならば、対数の定義より $d = \log_{a} b$ である。

ここで、　 $b = a^{d}$ について、底を $c$ とする対数の関係式に変形すると、 $\log_{c} b = \log_{c} a^{d} = d \log_{c} a$ より、 $d = \frac{\log_{c} b}{\log_{c} a}$ となる。

1.と2.から、 $d = \log_{a} b = \frac{\log_{c} b}{\log_{c} a}$ となる。

以上をまとめる。

$\log_{a} 1 = 0$ , $\log_{a} a = 1$
　
$\log_{a} (b c) = \log_{a} b + \log_{a} c$
　
$\log_{a} (\frac{b}{c}) = \log_{a} b - \log_{a} c$
　
logabc=clogab
　
- $\log_{a} \sqrt[n]{b^{m}} = \frac{m}{n} \log_{a} b$
　
- $\log_{a} (b^{c})^{d} = \log_{a} b^{c d} = c d \log_{a} b$
　
logab=logcblogca（底の変換公式）
　
- 特に、 $\log_{a} b = \frac{1}{\log_{b} a}$ ,　 $\log_{a} b \cdot \log_{b} a = 1$ ,　 $a = b^{\log_{b} a}$

常用対数

底が

10

である対数を特に常用対数といい、現在においては、10進法で表記した場合の桁数の計算などに用いられる^[3]。表記においては底を省略して

\log N

と記述されることも多い^[4]。

例示すると、

54321

は、5桁の数であるが、これは、

5.4321

に

10000

すなわち、

1 0^{4}

をかけた数であり、常用対数を用いると

\log_{10} 54321 = \log_{10} (5.4321 \times 10000) = \log_{10} (5.4321 \times 1 0^{4}) = \log_{10} 5.4321 + \log_{10} 1 0^{4} = \log_{10} 5.4321 + 4 \log_{10} 10 = \log_{10} 5.4321 + 4

となり、整数部に

4

を得る。

このように、真数が1より大きければ、常用対数の値の整数部分に1を加えたものが、その数の10進法における桁数となる。

また、真数が1未満の場合（例:

0.00876

）を示す。

0.00876

は、

8.76

に

0.001

すなわち、

1 0^{- 3}

をかけた数であり、常用対数を用いると

\log_{10} 0.00876 = \log_{10} (8.76 \times 0.001) = \log_{10} (8.76 \times 1 0^{- 3}) = \log_{10} 8.76 + \log_{10} 1 0^{- 3} = \log_{10} 8.76 - 3 \log_{10} 10 = \log_{10} 8.76 - 3

となり、整数部に

- 3

を得る。

この場合、最初に、

0

ではない数値が出現するのは、小数点以下3桁目であり整数部と絶対値が一致している。

まとめると、正の実数

N

について、常用対数

\log N = n + α . (0 \leq α < 1)

をとった時、その整数部分

n

を指標、少数部分

α

を仮数といい、

N > 1

ならば、桁数は

n + 1

　となり、

N < 1

ならば、少数第

(- n)

まで

0

が続き、その次位に初めて

0

ではない数値が出現する。

個々の常用対数の値を記憶する必要はないが（通常、問題文で示される）、頻用されるものは以下のとおりである。

\log_{10} 2 ≒ 0.3010

,

\log_{10} 3 ≒ 0.4771

,

\log_{10} 5 = 1 - \log_{10} 2 ≒ 0.6990

[例題]

$2^{50}$ の桁数を求めよ。
(Ans)
$\log_{10} 2^{50} = 50 \log_{10} 2 ≒ 50 \times 0.301 = 15.05$ 、指標が $15$ であるので、 $16$ 桁の数となる（実際の計算結果は $1, 125, 899, 906, 842, 624$ ）。
$1 5^{10}$ の桁数を求めよ。
(Ans)
$\log_{10} 1 5^{10} = 10 \log_{10} 15 = 10 (\log_{10} 3 + \log_{10} 5) ≒ 10 \times (0.4771 + 0.6990) = 10 \times 1.176 = 11.76$
指標が $11$ であるので、 $12$ 桁の数となる（実際の計算結果は $576, 650, 390, 625$ ）。
$\frac{1}{3^{20}}$ の小数点以下第何位に、最初に $0$ ではない数値が出現するか。
(Ans)
$\log_{10} \frac{1}{3^{20}} = \log_{10} 3^{- 20} = - 20 \log_{10} 3 ≒ - 20 \times 0.4771 = - 9.54$ 、
指標が $- 9$ であるので、小数点以下第 $10$ 位に $0$ ではない数値が出現する（実際の計算結果は $0.000000000286797$ ）。

指数・対数の関数

指数関数

Wikipedia

ウィキペディアに指数関数の記事があります。

実数: $x$ を変数として、実数: $a$ (ただし、 $0 < a, a \neq 1$ ) を底として、 $y = a^{x}$ であるものを指数関数という。

関数の性質

すべての実数 $x$ について、 $y$ は一意に決まるので、全実数が定義域となる。
$y$ について、 $0 < y$ の値域をとる。
点 $(0, 1)$ を通る。
底が 1 を超える場合と 1 未満の場合
- 底aについて、1<a であるとき、
  - $y = a^{x}$ は単調に増加する。
  - 底 $1 < a_{1} < a_{2}$ とする指数関数 $y_{1} = a_{1}^{x}, y_{2} = a_{2}^{x}$ を比較するとき、
    $x < 0$ において、 $y_{1} > y_{2}$
    
    $0 < x$ において、 $y_{1} < y_{2}$
  - $x$ を負に無限大とすると $0$ に収束する $(lim_{x \to - \infty} a^{x} = 0)$ 。
    漸近線は $x$ 軸。
- 底bについて、b<1 であるとき、
  底が 1 を超えるときと、y軸を対象に逆にふるまう。
  - $b = \frac{1}{c}$ とすると、 $y = b^{x}$ のグラフは、 $y = c^{x}$ のグラフと $y$ 軸に関して線対称となる。
    → 任意の正の実数である底 $p$ について、 $y = p^{x}$ のグラフと $y = p^{- x}$ のグラフは、 $y$ 軸に関して線対称である。
  - $y = b^{x}$ は単調に減少する。
  - 底 $0 < b_{1} < b_{2} < 1$ とする指数関数 $y_{1} = b_{1}^{x}, y_{2} = b_{2}^{x}$ を比較するとき、
    $x < 0$ において、 $y_{1} < y_{2}$
    
    $0 < x$ において、 $y_{1} > y_{2}$
  - $x$ を正に無限大とすると $0$ に収束する $(lim_{x \to \infty} b^{x} = 0)$ 。
    漸近線は $x$ 軸。

対数関数

Wikipedia

ウィキペディアに対数関数の記事があります。

実数: $x$ を変数として、実数: $a$ (ただし、 $0 < a, a \neq 1$ ) を底として、 $y = \log_{a} x$ であるものを対数関数という。

対数関数: $y = \log_{a} x$ は、指数関数: $y = a^{x}$ の逆関数であるので、指数関数と挙動が対照的なものとなる。

関数の性質

実数 $x$ について、 $0$ 以下は定義できない。 $0$ を超えるすべての実数 $x$ について、 $y$ は一意に決まるので、 $0$ を超える全実数が定義域となる。
$y$ については、すべての実数が値域となる。
点 $(1, 0)$ を通る。
対数の底が 1 を超える場合と 1 未満の場合
- 底aについて、1<a であるとき、
  - $y = \log_{a} x$ は単調に増加する。
  - 底 $1 < a_{1} < a_{2}$ とする対数関数 $y_{1} = \log_{a_{1}} x, y_{2} = \log_{a_{2}} x$ を比較するとき、
    $x < 1$ において、 $y_{1} > y_{2}$
    
    $1 < x$ において、 $y_{1} < y_{2}$
  - $x$ を無限に小さくすると負の無限大となる $(lim_{x \to 0} \log_{a} x = - \infty)$ 。
    漸近線は $y$ 軸。
- 底bについて、b<1 であるとき、
  対数の底が 1 を超えるときと、x軸を対象に逆にふるまう。
  - $b = \frac{1}{c}$ とすると、 $y = \log_{b} x$ のグラフは、 $y = \log_{c} x$ のグラフと $x$ 軸に関して線対称となる。
    → $y = \log_{p} x$ に対して $y = \log_{\frac{1}{p}} x = - \log_{p} x$ となるため、そのグラフは、 $y$ 軸に関して線対称である。
  - $y = \log_{b} x$ は単調に減少する。
  - 底 $0 < b_{1} < b_{2} < 1$ とする指数関数 $y_{1} = \log_{b_{1}} x, y_{2} = \log_{b_{2}} x$ を比較するとき、
    $x < 1$ において、 $y_{1} < y_{2}$
    
    $1 < x$ において、 $y_{1} > y_{2}$
  - $x$ を無限に小さくすると正の無限大となる $(lim_{x \to 0} \log_{b} x = \infty)$ 。
    漸近線は $y$ 軸。

指数・対数の方程式・不等式

指数方程式・指数不等式

指数方程式

a^{x} = m

（ただし、

a > 0

,

m

は実数）を満たす実数

x

^[5]を解く。

$m > 0$ ^[5]
式変形の途中で $(2^{x} + 1) g (x) = 0$ のような式で出てきても解く必要はない。
（例） $2^{2 x} - 3 \cdot 2^{x} = 4$
移項・因数分解して、 $2^{2 x} - 3 \cdot 2^{x} - 4 = (2^{x} + 1) (2^{x} - 4) = 0$

$2^{x} + 1 > 0$ なので、 $2^{x} - 4 = 0 \Leftrightarrow 2^{x} = 4 = 2^{2}$ 従って、 $x = 2$
$a^{x} = a^{m}$ ならば、 $x = m$
$a^{x} = m$ ならば、 $x = \log_{a} m$

指数不等式

a^{x} ≷ m

（ただし、

a > 0

,

m

は実数）を満たす実数

x

の範囲を求める。

境界の値の求め方は指数方程式を参照。
- $a^{p} > 0$ であるので、式変形の途中で $(a^{x} + 1) g (x) ≷ 0$ のような式になった場合、 $g (x) ≷ 0$ とできる。
底の値による以下の点に注意。
- $1 < a$ であるとき、 $a^{α} < a^{β} \Leftrightarrow α < β$
- $0 < a < 1$ であるとき、 $a^{α} < a^{β} \Leftrightarrow α > β$
（例） $a^{2 x} - 3 a^{x} + 2 < 0$
因数分解して、 $a^{2 x} - 3 a^{x} + 2 = (a^{x} - 1) (a^{x} - 2) < 0$
$a^{x} = 1, a^{x} = 2 \Leftrightarrow x = 0, \log_{a} 2$ が境界となることがわかる。

$1 < a$ であるとき、 $0 < x < \log_{a} 2$

$0 < a < 1$ であるとき、 $\log_{a} 2 < x < 0$

となる。

対数方程式・対数不等式

対数方程式

\log_{a} x = m

（ただし、

m

は実数）を満たす実数

x

を解く。

x>0 であり、a が未知数であれば、0<a,a≠1の条件がつく。
- $\log_{a} x = \log_{a} m$ ならば、 $x = m$
- $\log_{a} x = m$ ならば、 $x = a^{m}$

対数不等式

\log_{a} x ≷ m

（ただし、

m

は実数）を満たす実数

x

の範囲を求める。

境界の値の求め方は対数方程式を参照。
$x > 0$ である（真数の存在条件/真数条件）。
底の値による以下の点に注意。
- $1 < a$ であるとき、 $\log_{a} α < \log_{a} β \Leftrightarrow α < β$
- $0 < a < 1$ であるとき、 $\log_{a} α < \log_{a} β \Leftrightarrow α > β$

（例題）

\log_{a} (x + 1) > \log_{a} (2 x - 1)

真数の存在条件より、

{x + 1 > 0 \Leftrightarrow x > - 1}

かつ

{2 x - 1 > 0 \Leftrightarrow x > \frac{1}{2}}

、したがって、

x > \frac{1}{2}

$1 < a$ ならば、 $x + 1 > 2 x - 1 \Leftrightarrow 2 > x$ したがって、 $\frac{1}{2} < x < 2$
$0 < a < 1$ ならば、 $x + 1 < 2 x - 1 \Leftrightarrow 2 < x$ したがって、 $2 < x$

分数関数・無理関数

分数関数

初等数学では分母・分子とも一次次以下の多項式である分数関数のみ登場する。

y = \frac{k}{x}

のグラフはx軸、y軸を漸近線とする直角双曲線である。（45°回転すれば双曲線の方程式に一致するので）

分数方程式・分数不等式

無理関数

初等数学では、根号が平方根且つ中身が二次以下の多項式である無理関数のみ登場する。

$y = \sqrt{a x}$ のグラフは放物線 $x = \frac{y^{2}}{a}$ の上半分である。

無理方程式・無理不等式

逆関数・合成関数

逆関数

$y = f (x)$ と $y = f^{- 1} (x)$ とでは、定義域・値域がそれぞれ入れ替わる。

$y = f (x)$ と $y = f^{- 1} (x)$ のグラフは直線 $y = x$ に関して対称である。

全単射（一対一対応）でない関数の逆関数を考える場合、多価関数とならないようその定義域を制限する場合がある。このとき、関数の出力値を主値という。

逆関数の例
$f (x)$	$f^{- 1} (x)$
$y = a x + b$	$y = \frac{x - b}{a}$
$y = x^{2}$	$y = \sqrt{x}$
$y = a x^{2} + b x + c$	$y = \frac{1}{2 a} (\sqrt{4 a x + b^{2} - 4 a c} - b)$
$y = \frac{k}{x - a} + b$	$y = \frac{k}{x - b} + a$
$y = \frac{a x + b}{c x + d}$	$y = \frac{- d x + b}{c x - a}$ ^[6]
$y = a^{x}$	$y = \log_{a} x$
$y = \sin x$	$y = \arcsin x$
$y = \sinh x$	$y = a r s i n h x$

$(f^{- 1})^{- 1} (x) = f (x)$ である。

合成関数

$h = f \circ g ⟺ h (x) = (f \circ g) (x) = f (g (x))$
$f^{2} (x) = (f \circ f) (x) = f (f (x))$
一般に $f^{n} (x)$ は $f (x)$ をn回合成した関数である（ $f (x)$ のn乗は ${f (x)}^{n}$ ^[7]、n階微分は $f^{(n)} (x)$ と書いて区別する）。 $n = - 1$ のときは逆関数に一致する。

合成関数の例
$h (x)$
$y = \sqrt{3 x^{2} + 1}$
$y = \frac{\sin x}{x}$
$y = \sin (e^{x})$
$y = \log \| \tan x \|$
$y = x^{x}$
$y = \sin (\log \| x^{2} - 1 \|)$

脚注

^ $\tan x \to \infty (x \to \frac{(2 n + 1) π}{2} + 0^{-})$
^ $\tan x \to - \infty (x \to \frac{(2 n + 1) π}{2} + 0^{+})$
^ 対数は、16世紀から17世紀にかけスコットランドの数学者ジョン・ネイピアにより、概念が考案されたが、元は、天文学や航海術における位置を特定するための天体計算に関して、大きな数の掛け算を足し算に変換することを目的とした、各種計算の便法でもあった。現在でも、地震のマグニチュードの表記 $M = \log_{10} A + B (Δ, h)$ 、
水素イオン指数 $p H ≒ - \log_{10} \frac{[H^{+}]}{m o l / L}$ 、デシベル $L_{A} / dB = 10 \log_{10} \frac{A}{A_{0}} \approx \log_{1.259} \frac{A}{A_{0}}$ 等常用対数を用いて表示するものも多い。
^ ただし、数学（高等学校課程では数Ⅲ以上）において $\log x$ と記述された場合、その底は「自然対数の底（ネイピア数）: $e$ 」である場合が多い（工学関係で、常用対数と自然対数を混用する場合は、自然対数を $\ln x$ と記述することが多い）。
^ ^5.0 ^5.1 初等教育の範囲を超えるが、取り扱いを複素数まで拡張すると、 $x$ が複素数である場合や $m < 0$ となる場合であっても、解を得ることができる場合もある（参考:2のi乗の求め方）。ただし、 $2^{x} = 0$ のような式には、実数範囲でも複素数範囲でも解は存在しない。
^ $A = (\begin{matrix} a & b \\ c & d \end{matrix}) ⟺ A^{- 1} = \frac{1}{d e t A} (\begin{matrix} d & - b \\ - c & a \end{matrix})$ より、一次項の係数及び定数項を二次行列 $A$ として考えると、逆関数の一次の項の係数及び定数項は $- (d e t A) A^{- 1}$ に対応する。
^ ただし、三角関数・双曲線関数のみ $T^{n} (θ) = {T (θ)}^{n}$ である。

[1] $\tan x \to \infty (x \to \frac{(2 n + 1) π}{2} + 0^{-})$

[2] $\tan x \to - \infty (x \to \frac{(2 n + 1) π}{2} + 0^{+})$

[3] 対数は、16世紀から17世紀にかけスコットランドの数学者ジョン・ネイピアにより、概念が考案されたが、元は、天文学や航海術における位置を特定するための天体計算に関して、大きな数の掛け算を足し算に変換することを目的とした、各種計算の便法でもあった。現在でも、地震のマグニチュードの表記 $M = \log_{10} A + B (Δ, h)$ 、
水素イオン指数 $p H ≒ - \log_{10} \frac{[H^{+}]}{m o l / L}$ 、デシベル $L_{A} / dB = 10 \log_{10} \frac{A}{A_{0}} \approx \log_{1.259} \frac{A}{A_{0}}$ 等常用対数を用いて表示するものも多い。

[4] ただし、数学（高等学校課程では数Ⅲ以上）において $\log x$ と記述された場合、その底は「自然対数の底（ネイピア数）: $e$ 」である場合が多い（工学関係で、常用対数と自然対数を混用する場合は、自然対数を $\ln x$ と記述することが多い）。

[指数方程式-5] 5.0 ^5.1 初等教育の範囲を超えるが、取り扱いを複素数まで拡張すると、 $x$ が複素数である場合や $m < 0$ となる場合であっても、解を得ることができる場合もある（参考:2のi乗の求め方）。ただし、 $2^{x} = 0$ のような式には、実数範囲でも複素数範囲でも解は存在しない。

[6] $A = (\begin{matrix} a & b \\ c & d \end{matrix}) ⟺ A^{- 1} = \frac{1}{d e t A} (\begin{matrix} d & - b \\ - c & a \end{matrix})$ より、一次項の係数及び定数項を二次行列 $A$ として考えると、逆関数の一次の項の係数及び定数項は $- (d e t A) A^{- 1}$ に対応する。

[7] ただし、三角関数・双曲線関数のみ $T^{n} (θ) = {T (θ)}^{n}$ である。

[1]

[2]

[3]

[4]

[5]

[6]

[7]