|
}}
*:
== 指数関数と対数関数 ==
指数法則については、数学Iで すでに学んだ。
=== 指数の拡張===
==== 累乗根 ====
a が実数のときで、n が2以上の正の整数のとき、 n 乗して ''a'' になる数、すなわち
:<math>x^n=a</math>
となる''x'' のことを、''a'' の '''''n'' 乗根'''という。''a'' の2乗根、3乗根、4乗根、......を総称して、''a'' の'''累乗根'''という。
平方根は2乗根である。なお、3乗根のことを立方根（りっぽうこん）ともいう。
この章の学習では、最終的に n を正の整数だけでなく、実数にまで拡張していくが、とりあえず学習当初の当面は n を整数で考えておこう。
;例
2の4乗は16である。ー2の4乗も16である。よって、16の4乗根は 2 と ー2 である。
単に「n乗根」といった場合、係数に負の数がつくのを除外しないことに注意。
さて、nが奇数の場合のn乗根について、考えてみる。
（ー2）を3乗しても、8にはならず、ー2 の3乗は ー8である。
（ー3）を3乗しても、27にはならず、ー3 の3乗は ー27である。
このように、負の実数の奇数n乗は、かならず、負の数になる。
なので、8の3乗根には、負の数は ふくまれず、8の3乗根は 2だけである。
同様に、27の3乗根は、正の3だけである。
このように、nを奇数の自然数としたとき、実数 a のn乗根 は1通りである。
* 例
:(I) 2<sup>3</sup> = 8 であるから、8の3乗根は2。
:(II) 3<sup>4</sup> = (-3)<sup>4</sup> = 81 であるから、81の4乗根は ± 3。
''a'' の''n'' 乗根 ''x'' について考える。
[[File:Radical root graph odd japanese.svg|thumb|300px]]
(1) ''n'' が奇数のとき、実数 a のn乗根 はただ1つであり、これを <math>\sqrt[n]{a}</math> で表す。
* 例
:<math>\sqrt[3]{8} = 2</math>
:<math>\sqrt[3]{-8} = -2</math>
:<math>\sqrt[5]{-32} = -2</math>
{{-}}
[[File:Radical root graph evev japanese.svg|thumb|300px]]
(2) ''n'' が偶数のとき、正の実数aのn乗根は、正と負の2つの数がある。
負のほうは <math>- \sqrt[n]{a}</math> で表す。正の方は <math>\sqrt[n]{a}</math>、で表す。
''a'' < 0 のとき、実数の範囲では ''a'' の''n'' 乗根はない。
n が偶数か奇数かにかかわらず、0のn乗根は0なので、
:<math>\sqrt[n]{0} = 0</math>
である。
*例
:(I) ''x''<sup>4</sup> = 3 であるとき、<math>x= \pm \sqrt[4]{3}</math>
:(II) ''x''<sup>6</sup> = -16 を満たす''x'' はない。
特に2乗根<math>\sqrt[2]{a}</math> は <math>\sqrt{a}</math> と書く。
* 問題例
** 問題
*: 次の値を求めよ。
*: (i) <math>\sqrt{36}</math>
*: (ii) <math>\sqrt[5]{32}</math>
*: (iii) <math>\sqrt[3]{-8}</math>
*: (iv) <math>- \sqrt[4]{81}</math>
** 解答
*: (i) <math>\sqrt{36} = \sqrt{6^2} = 6</math>
*: (ii) <math>\sqrt[5]{32} = \sqrt[5]{2^5} = 2</math>
*: (iii) <math>\sqrt[3]{-8} = \sqrt[3]{(-2)^3} = -2</math>
*: (iv) <math>- \sqrt[4]{81} = - \sqrt[4]{3^4} = -3</math>
;累乗根の性質
''a'' > 0 のとき、''x<sup>n</sup>'' = ''a'' の解は <math>x= \sqrt[n]{a}</math> であるから、
:<math>\left( \sqrt[n]{a} \right)^n=a</math>
また
:<math>\sqrt[n]{a} >0</math>
{| style="border:2px solid skyblue;width:80%" cellspacing=0
|style="background:skyblue"|'''累乗根の公式'''
|-
|style="padding:5px"|
''a'' > 0, ''b'' > 0 で、''m'', ''n'', ''p'' が正の整数のとき
:1 <math>\sqrt[n]{a} \sqrt[n]{b} = \sqrt[n]{ab}</math>
:2 <math>\frac{\sqrt[n]{a}}{\sqrt[n]{b}} = \sqrt[n]{\frac{a}{b}}</math>
:3 <math>\left( \sqrt[n]{a} \right)^m = \sqrt[n]{a^m}</math>
:4 <math>\sqrt[m]{\sqrt[n]{a}} = \sqrt[mn]{a}</math>
:5 <math>\sqrt[n]{a^m} = \sqrt[np]{a^{mp}}</math>
|}
例
:<math>\sqrt{\sqrt[3]{729}} = \sqrt[2 \times 3]{729} = \sqrt[6]{729} = \sqrt[6]{3^6} = 3</math>
* 計算例
*:(i) <math>\sqrt[3]{4^2} = \sqrt[3]{2^4} = \sqrt[3]{2^3 \times 2} = 2 \sqrt[3]{2}</math>
*:(ii) <math>\sqrt[3]{4} \sqrt[3]{6} = \sqrt[3]{4 \times 6} = \sqrt[3]{24} = \sqrt[3]{2^3 \times 3} = 2 \sqrt[3]{3}</math>
*:(iii) <math>\left( \sqrt[4]{9} \right)^3 = \sqrt[4]{9^3} = \sqrt[4]{3^6} = \sqrt[2 \times 2]{3^{3 \times 2}} = \sqrt{3^3} = 3 \sqrt{3}</math>
==== 指数の拡張 ====
===== 有理数を指数とする場合 =====
有理数を指数とする累乗を、次のように定義する。
{| style="border:2px solid skyblue;width:80%" cellspacing=0
|style="background:skyblue"|'''有理数の指数'''
|-
|style="padding:5px"|
実数 a に対し、2つの正の整数mとnがあるとした場合、
:<math> a^ {\frac{m}{n}} = \sqrt[n]{a^m} </math>
:<math> a^ {- \frac{m}{n}} = \frac{1} { \sqrt[n]{a^m} } </math>
|}
これは、指数が有理数の場合にも、指数法則が成り立つように定義したのである。実際、次が成り立つ。
{| style="border:2px solid skyblue;width:80%" cellspacing=0
|style="background:skyblue"|'''指数法則'''
|-
|style="padding:5px"|
''a'' > 0, ''b'' > 0 で、''p'', ''q'' が有理数のとき
# <math>a^m a^n= a^{m+n}</math>
# <math>(a^p)^q = a^{pq}</math>
# <math>(ab)^p = a^p b^p</math>
# <math>\frac{a^r}{a^s} = a^{r-s}</math>
# <math>\left( \frac{a}{b} \right)^r = \frac{a^r}{b^r}</math>
|}
たとえば、''x''<sup>1/3</sup> は、3乗すると ''x''<sup>1</sup> = ''x'' に等しいので、''x'' の3乗根 <math>\sqrt[3]{x}</math>に等しい。
また、''x''<sup>0</sup> については
:<math>\begin{align}
x^0 &= x^{1-1} \\
&= x \cdot x^{-1} \\
&=\frac x x \\
&= 1
\end{align}</math>
と考えることが出来る。よって、0以外の全ての実数''x'' に対して、
:<math>
x^0 = 1
</math>
が成り立つ。
*問題例
**問題
*:それぞれの計算を行い、式を簡単化せよ。
*:(i) <math>
9^{1/6}
</math>
*:(ii) <math>
8^{1/3}
</math>
*:(iii) <math>
48^{1/4}
</math>
*:(iv) <math>
3^{1/3} \cdot 9^{1/6}
</math>
*:(v) <math>
4^2\cdot 3^{1/2} \cdot 12 ^{1/2}
</math>
*:(vi) <math>
4^{1/3} \cdot 3 ^{3/4}\cdot 12^{1/6}
</math>
*:(vii) <math>
4^0
</math>
**解答
*:(i) <math>
3^{{{1}\over{3}}}
</math>
*:(ii) <math>
2
</math>
*:(iii) <math>
2 \cdot 3^{1/4}
</math>
*:(iv) <math>
3^{{{2}\over{3}}}
</math>
*:(v) <math>
96
</math>
*:(vi) <math>
2\cdot 3^{{{11}\over{12}}}
</math>
*:(vii) <math>
1
</math>
指数法則1に、''r'' = 3, ''s'' = -3 を代入すれば
:<math>a^3 \times a^{-3} = a^{3+(-3)} = a^0 =1</math>
ゆえに
:<math>a^{-3} = \frac{1}{a^3}</math>
指数法則2に、''r'' = 2/3, ''s'' = 3 を代入すれば
:<math>\left( a^{\frac{2}{3}} \right)^3 = a^{\frac{2}{3} \times 3} = a^2</math>
となるから、''a''<sup>2/3</sup> は ''a''<sup>2</sup> の3乗根ということになる。つまり、
:<math>a^{\frac{2}{3}} = \sqrt[3]{a^2}</math>
指数法則1に、''r'' = -2/3, ''s'' = 2/3 を代入すれば
:<math>a^{- \frac{2}{3}} \times a^{\frac{2}{3}} = a^{- \frac{2}{3} + \frac{2}{3}} = a^0 =1</math>
ゆえに
:<math>a^{- \frac{2}{3}} = \frac{1}{a^{\frac{2}{3}}}</math>
{| style="border:2px solid orange;width:80%" cellspacing=0
|style="background:orange"|'''指数の拡張'''
|-
|style="padding:5px"|
''a'' > 0 で、''m'', ''n'' が正の整数のとき
#<math>a^0 = 1</math>
#<math>a^{-n} = \frac{1}{a^n}</math>
#<math>a^{\frac{m}{n}} = \sqrt[n]{a^m} = \left( \sqrt[n]{a} \right)^m</math>
#<math>a^{- \frac{m}{n}} = \frac{1}{a^{\frac{m}{n}}}</math>
|}
===== 指数が無理数の場合 =====
たとえば <math>3^{\sqrt 2 } </math> の場合、
これは、 <math>\sqrt 2 = 1.41421 \cdots </math> であるが、
:<math>3^{1.4} </math> , <math>3^{1.41} </math> , <math>3^{1.414} </math> , <math>3^{1.4142} </math> , <math>3^{1.41421} </math> , ・・・
を考えると、その項は一定値 4.72880 ・・・ に近づくので、その値を <math>3^{\sqrt 2} </math> と定める。
このようにして、累乗の指数が無理数の場合にも定義を拡張することで、指数を実数にまで拡張できる。また、実数の場合も上述の指数法則が成り立つ。
=== 指数関数 ===
==== 指数関数のグラフ ====
[[File:Exponential function y = 2^x.svg|thumb|350px]]
実数aを a>0 で a≠1 とするとき、<math> y=a^x </math> で表される関数のことを「 aを'''底'''（てい）とする'''指数関数'''」のようにいう。
:※ 指数関数の底aには、1の場合をふくめない。なぜなら、1は何乗しても1のままなので、もし1を底とする指数関数のグラフを書いてもy＝1のグラフと同じになる。これは、数学的につまらない上に、他の底の指数関数とは大きく性質が異なり、例外扱いしなければならなくなる。ゆえに、ここではaに1をふくめないことにする。
さて、指数関数の例として、たとえば、
: <math>y = 2^x</math>
があげられる。
指数関数 <math>y = 2^x</math> のグラフを右に示す。指数関数ははきわめて速く増加する関数であることが分かる。
{{-}}
[[File:Exponential function y=2^-x.svg|thumb|350px]]
次に <math> y = \left( \frac{1}{2} \right)^x </math> のグラフを書いてみよう。結果は、右のグラフの実線のようになる。
さきほどのグラフと比較すると分かるように、y軸を対称軸として、<math> y = \left( \frac{1}{2} \right)^x </math> のグラフと <math> y = 2^x </math> のグラフは対称になっている。
一般に、<math>y = \left( \frac{1}{a} \right)^x </math> のグラフは、y軸に関して <math> y = a^x </math> のグラフと対称である。
また、
:a＞1 のとき、グラフの形は右上がりである（ <math> y=2^x </math>と同様）。
いっぽう、
:a＜1 のとき、グラフの形は右上がりである（ <math> y= \left( \frac{1}{2} \right)^x </math> と同様）。
なお、グラフの傾きをみれば分かるように、指数関数のグラフは、一次関数や二次関数のグラフと比べると、急激に増加または急激に減少していく。
* 問題
指数法則を用いて指数関数を簡単化せよ。
(i) <math>
2^x \cdot 3^x
</math>
(ii) <math>
(1/3)^x
</math>
'''解答'''
:(i) 指数法則3
::<math>(a\cdot b)^x = a^x \cdot b^x</math>
:を用いて、
::<math>2^x \cdot 3^x = (2 \cdot 3) ^x = 6^x</math>
:となる。
:(ii) 1/3 = 3<sup>-1</sup> より、
::<math>(1/3)^x = (3^{-1})^x = 3^{-x}</math>
:が得られる。
==== 指数関数の性質 ====
指数関数の値域は正の実数全体である。
また、どんな正の実数も、0乗すると1になるので、よって指数関数 <math> y = a^x </math> のグラフは必ず点 (0,1) を通る。
=== 対数関数 ===
==== 対数の定義 ====
[[File:Exponential function and logarithm.svg|thumb|350px|指数関数のグラフ<br>（※ 対数関数のグラフではないので、混同しないように！）]]
a＞0, a≠1 のとき、前章で習った指数関数のグラフの形からも分かるように、
任意の正の実数Mに対して、 <math>
a^p = M
</math>をみたす ''p'' はただ1つに定まる。
この ''p'' を
<math>\log _a M</math>
と書き
:aを'''底'''（てい）とするMの'''対数'''（たいすう）
という。
すなわち、
:<math>a^p=M \quad \Leftrightarrow \quad p=\log_a M</math>
である。
なお、対数は英語で logarithm （ロガリスム）という。
{| style="border:2px solid skyblue;width:80%" cellspacing=0
|style="background:skyblue" | '''指数と対数'''
|-
|style="padding:5px"|
a＞0 , a≠1 の関係のとき、 M ＞ 0 のとき、
::<math>a^p=M \quad \Leftrightarrow \quad p=\log_a M</math>
|}
;例
:<math> \log_2 8 = 3 </math>
である。この場合、2 を log<sub>2</sub> 8 = 3 乗すると、8が得られるという関係になっている。
;公式
<math>\log _a x</math> について
以下の式が成り立つ。
# <math> \log_b x^a = a \log_b x </math>
# <math> \log_a a = 1 </math>
# <math> \log_x 1 = 0 </math>
;導出
#:<math> \log_b x^a = a \log_b x </math>
#:の両辺について各々の式を''b'' の指数として使ったものを計算する。
#:まず log の定義にしたがうと、
#::<math> b^{\log_b x^a} = x^a </math>
#:がわかる。次に、右辺についても同じことを考えてみると
#::<math> b^{a \log_b x } ={(b^{\log _b x})} ^a= (x)^a </math>
#:となり、左辺を用いて計算した結果と一致する。よって
#::<math> \log_b x^a = a \log_b x </math>
#:が成立する。
# 2つ目の式について、''a''<sup>1</sup> = ''a'' であることを用いると、log<sub>''a''</sub> ''a'' は確かに 1 である。
# 同様に ''x''<sup>0</sup> = 1 であることを用いると（これは ''x''<sup>0</sup> = ''x''<sup>1-1</sup> = ''x'' /''x'' = 1 であることから従う)、log<sub>''x''</sub> 1 = 0 であることが分かる。
* 問題例
** 問題
*:それぞれの表式を簡単化せよ。
*:(i) <math>\log_2 9</math>
*:(ii) <math>\log_3 21</math>
*:(iii) <math>\log_5 125</math>
*:(iv) <math>\log_4 7</math>
*:(v) <math>\log_2 6</math>
** 解答
*:(i) 9 = 3<sup>2</sup> を用いると、
*::<math>\log_2 9= 2\log _2 3</math>
*:(ii)
*::<math>\begin{align}
\log_3 21 &= \log_3 (3 \cdot 7)\\
&= \log_3 3 + \log_3 7\\
&= 1 + \log_3 7
\end{align}</math>
*:(iii)
*::<math>
\log_5 125 = \log _5 (5^3) = 3
</math>
*:(iv)
*::<math>
\log_4 7 = \log _{2^2} 7 = \frac 1 2 \log _2 7
</math>
*:(v)
*::<math>\begin{align}
\log_ 2 6 &= \log _2 (2 \times 3)\\
&= \log _2 2 + \log _2 3\\
&= 1 + \log _2 3
\end{align}</math>
** 問題
*:''a'' = log<sub>10</sub> 2, ''b'' = log<sub>10</sub> 3 を用いて、
*:(i) <math>\log_{10} 6</math>
*:(ii) <math>\log_{10} 5</math>
*:(iii) <math>\log_{10} 25</math>
*:(iv) <math>\log_{10} 24</math>
*:を計算せよ。
** 解答
*:(i)
*::<math>\begin{align}
\log_{10} 6
&= \log _{10} (2 \times 3)\\
&= \log _{10} 2 + \log _{10} 3\\
&= a +b
\end{align}</math>
*:(ii)
*::<math>\begin{align}
\log_{10} 5
&= \log _{10} (\frac {10 }2)\\
&= \log _{10} 10 - \log _{10} 2\\
&= 1 - a
\end{align}</math>
*:(iii)
*::<math>\begin{align}
\log_{10} 25
&= \log _{10} (5^2)\\
&= 2 \log _{10} 5
\end{align}</math>
*:ここで、(ii)の結果を用いると、
*::<math>\begin{align}
\log _{10} 25
&= 2 (1-a) \\
&= 2 - 2a
\end{align}</math>
*:(iv)
*::<math>\begin{align}
\log _{10} 24
&= \log _{10} ( 2^3 \times 3)\\
&= 3\log _{10} 2 + \log _{10} 3\\
&= 3a + b
\end{align}</math>
==== 対数関数とそのグラフ ====
[[File:Y = log 2base x.svg|thumb|350px|]]
対数関数を、実数''x''に対し
:<math>y = \log_a x</math> （''a'' は1以外の正の実数）
を対応させる関数として定義する。
この関数の定義域（ていぎいき）は、''x'' > 0 に限られる。これは、仮に
:<math>\log _a x = l</math>
とすると、
:<math>a^l = x</math>
となるが、
''a'' が正の数であることから''l''がどのような値であろうと左辺は常に正であるから、''x''も正でなければならないからである。
グラフの概形を右に示す。図を見ると、この関数は非常にゆっくりと増大する関数であることが分かる。
更に、グラフの特徴として、
:<math>\begin{align}
\log_a a &=1, \\
\log_a 1 &=0
\end{align}</math>
から、対数関数のグラフは、点 (1, 0) および 点 (''a'' , 1) の2点を必ず通過することが分かる。
==== 対数関数と指数関数 ====
[[File:Y=2^x and y =log2base x.svg|thumb|350px|]]
右図のように、対数関数のグラフは、対応する指数関数のグラフと y＝x に関して対称である。
一般に <math> y = \log_a x</math> のグラフは <math> y = a^x</math> のグラフと直線 y＝x に関して対称である。
* 問題例
** 問題
*:次の関数のグラフを描け。
*:(i) <math>\log_5 x</math>
*:(ii) <math>\log_{1/10} x</math>
*:(iii) <math>\log_{2} x^2</math>
** 解答
*:(i) 2点 (''x'' , ''y'' ) = (5, 1), (1, 0) を通りy軸が漸近線になることに注意してグラフを描けばよい。
*:(ii)
*::<math>
\log _{1/10} x = \log _{ 10^{-1}} x = - \log _{10} x
</math>
*:となる。したがって、2点 (''x'' , ''y'' ) = (10, -1), (1, 0), (0, +∞) を通りy軸が漸近線になることに注意してグラフを描けばよい。
*:(iii)
*::<math>
\log _{2} x^2 = 2 \log _2 x
</math>
*:となる。(i)と同じようにグラフを描けばよい。
==== 対数関数の性質 ====
1. 高校で習う範囲では、対数の定義域は正の実数全体、値域は実数全体である。
2. 対数関数のグラフは点 (1, 0) および 点 (a , 1) の2点を通り、y軸が漸近線（ぜんきんせん）である。
==== 対数の基本公式 ====
指数法則と対数の定義とを組み合わせることにより、次の公式が導かれる。
# <math> \log_{a}M+\log_{a}N=\log_{a}MN </math>
# <math> \log_{a}M-\log_{a}N=\log_{a}\frac{M}{N} </math>
# <math> \log_{a}M^r = r\log_{a}M </math>
;証明
( 1. の証明)<br>
<math>\log_{a}M=p</math> , <math>\log_{a}N=q</math> とおくと、 <math>M=a^p</math> , <math>N=a^q</math> であるから
: <math>MN = a^p a^q = a^{p+q}</math>
よって <math>\log_{a}MN= p+q = \log_{a}M+\log_{a}N </math>
( 2. 以降の証明)<br>
※ ( 1.)の証明法と同様に右辺を指数に置きかえて計算したあとに再び対数に変形することで証明できる。（証明は省略）
;追加の公式
上記の公式の特別な場合として、次の公式が成り立つ。
# <math> \log_{a}\frac{1}{N} = - \log_{a}N </math>
# <math> \log_{a}\sqrt[n]M = \frac{1}{n} \log_{a}M </math>
;その他
次の公式が成り立つ。
: <math>\log_{a}b=\frac{\log_{c}b}{\log_{c}a}</math>
==== 常用対数 ====
10を底とする対数を'''常用対数'''（じょうよう たいすう）という。1.00から9.99までの値に対する常用対数の値は常用対数表に示してある。また、近年ではコンピュータや関数電卓を用いて、対応する対数の値を知ることもできる。ただし、これらの値は計算上の制約を受けるため、盲目的にその値が正しいと考えてはならない。コンピュータ内の計算については、[[高等学校情報]]などを参照。
* 問題例
** 問題
*:常用対数表を用いて、次の値を求めよ。
*:(i) <math>\log_{10}12.2</math>
*:(ii) <math>\log_{10}0.0143</math>
*:(iii) <math>\log_{2}3</math>
** 解答
*:(i) <math>\log_{10}12.2 = \log_{10}(1.22 \times 10) = \log_{10}1.22 + \log_{10}10 = 0.0864+1 = 1.0864</math>
*:(ii) <math>\log_{10}0.0143 = \log_{10}(1.43 \times 10^{-2}) = \log_{10}1.43 + \log_{10}10^{-2} = 0.1553-2 = -1.8447</math>
*:(iii) 底の変換公式より <math>\log_{2}3 =\frac{\log_{10}3}{\log_{10}2} = \frac{0.4771}{0.3010} = 1.585 \cdots</math>
235の桁数を常用対数を使って考えよう。
:<math> 10^2 < 235 < 10^3 </math>
が成り立つ。各辺の常用対数をとると
:<math> \log_{10}10^2 < \log_{10}235 < \log_{10}10^3 </math>
すなわち
:<math> 2 < \log_{10}235 < 3 </math>
逆に、235が <math> 2 < \log_{10}235 < 3 </math> を満たすならば、上の計算を逆にたどって
:<math> 10^2 < 235 < 10^3 </math>
よって、235は3桁の整数である。桁数が不明な大きな数に対して同様に常用対数をとることによって、おおよその大きさを知ることができる。
* 問題例
** 問題
*: 2<sup>30</sup> は何桁の整数か。ただし、log<sub>10</sub> 2 = 0.3010 とする。
** 解答
*::<math>\log_{10}2^{30} = 30 \log_{10}2 = 30 \times 0.3010 = 9.03</math>
*:ゆえに
*::<math>9 < \log_{10}2^{30} < 10</math>
*:よって
*::<math>10^9 < 2^{30} < 10^{10}</math>
*:したがって、2<sup>30</sup> は10桁の整数である。
== コラムなど ==
| 