高等学校数学II/指数関数・対数関数のソースを表示

{{pathnav|高等学校の学習|高等学校数学|高等学校数学II|pagename=指数関数・対数関数|frame=1|small=1}}
== 指数の拡張 ==
[[高等学校数学I/数と式#指数法則|指数法則については、数学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乗根は &#xB1; 3。


''a'' の''n'' 乗根 ''x'' について考える。
[[ファイル:Radical_root_graph_odd_japanese.svg|サムネイル|326x326ピクセル]]
(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>

{{-}}
[[ファイル:Radical_root_graph_evev_japanese.svg|サムネイル|326x326ピクセル]]
(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>

{| cellspacing="0" style="border:2px solid skyblue;width:80%"
| 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>

==== 指数の拡張 ====

===== 有理数を指数とする場合 =====
有理数を指数とする累乗を、次のように定義する。
{| cellspacing="0" style="border:2px solid skyblue;width:80%"
| 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>
|}


これは、指数が有理数の場合にも、指数法則が成り立つように定義したのである。実際、次が成り立つ。
{| cellspacing="0" style="border:2px solid skyblue;width:80%"
| 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>

{| cellspacing="0" style="border:2px solid　orange;width:80%"
| 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>  と定める。


このようにして、累乗の指数が無理数の場合にも定義を拡張することで、指数を実数にまで拡張できる。また、実数の場合も上述の指数法則が成り立つ。

== 指数関数 ==

==== 指数関数のグラフ ====
[[ファイル:Exponential_function_y_=_2^x.svg|サムネイル|350x350ピクセル]]
実数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> のグラフを右に示す。指数関数はきわめて速く増加する関数であることが分かる。

{{-}}
[[ファイル:Exponential_function_y=2^-x.svg|サムネイル|350x350ピクセル]]
次に <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) を通る。

== 対数関数 ==

==== 対数の定義 ====
[[ファイル:Exponential_function_and_logarithm.svg|サムネイル|350x350ピクセル|指数関数のグラフ（※ 対数関数のグラフではないので、混同しないように！）]]
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 （ロガリスム）という。

{| cellspacing="0" style="border:2px solid skyblue;width:80%"
| 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>


==== 対数関数とそのグラフ ====
[[ファイル:Y_=_log_2base_x.svg|サムネイル|350x350ピクセル]]
対数関数を、実数''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点を必ず通過することが分かる。

==== 対数関数と指数関数 ====
[[ファイル:Y=2^x_and_y_=log2base_x.svg|サムネイル|350x350ピクセル]]
右図のように、対数関数のグラフは、対応する指数関数のグラフと 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, +&#x221E;) を通り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. の証明)

<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. 以降の証明)

※ ( 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桁の整数である。



一般に、xがn桁の整数であることは<math>n-1 \leqq \log_{10} x < n</math>が成り立つことと同値である。

また、小数xについて小数第n-1位まで0が続くことと<math>-n \leqq \log_{10} x < n-1</math>が成り立つことは同値である。

==演習問題==
1 <math>\log _{10} x</math>が実数とする。
上の式を満たすxが無限にあることを示せ

2 <math>x \leqq a \leqq b</math>
とする。このとき<math>R</math>を実数全体の集合とする。<math>a,b,x \in R</math>のとき<math>\log _x a=b</math>を満たすa,b,xが少なくとも1つはあることを示せ。
3 <math>\log _a {1+x}</math>のグラフを書け。
==演習問題の解答と手引き==
<math>\log _{10} x=q</math>と置く。
対数関数の定義より、<math>10^q=x</math>と書けるつまりxは
x=100,10000,1000000•••のようになる。
(qが自然数であるとき)
つまりxを無限に近づけることで命題は示された。

== コラム ==
{{コラム|科学と対数|2=自然科学で用いられる数量のなかには、対数で表現されているものもある。

たとえば、星の等級（一等星や六等星など）は、指数で明るさの等級が決められており、
等級が1下がるごとに明るさが
:<math> 100^{ \frac{1}{5} } = 2.518 \cdots </math>
倍となるように定められている。これは、等級とは明るさの対数だということである。

地震のエネルギーを表すマグニチュードも、指数によって定義されている。地震のエネルギーをEとし、マグニュチュードをMとすると、
:<math> E/\mathrm{J} =10^{4.8 + 1.5M } </math>
となるようにマグニチュードが定められている。ここで、<math> E/\rm{J}</math>はエネルギーをジュール J 単位で表した数値である。
マグニチュード9.0の東北地方太平洋沖地震（東日本大震災）では、2.0 × 10<sup>18</sup>  J = 2.0 EJ のエネルギーが放出されたことになる。

このほか、音の大きさ（音圧レベル）をあらわすデシベルは、音圧（音の振幅） p に対して、最小可聴値の <math>p_0=20 \ \rm{\mu Pa} </math> を基準にして

<math>L_p/ \mathrm{dB}=10 \log_{10}\frac{p^2}{{p_0}^2} =20 \log_{10}\frac{p}{p_0}</math>

で定義される。

同じ音圧レベルの音であっても、音の周波数によって聞こえやすさは異なる。1 kHz の純音の音圧レベルを基準にして、これと同じ大きさに聞こえる純音を結んだ曲線は等ラウドネス曲線と呼ばれる。
[[ファイル:Lindos1.svg|thumb|300px|等ラウドネス曲線。1 kHzの純音の音圧レベルdBと同じ大きさの音をphonという単位で表す。]]


フェヒナーの法則という心理学の法則は、人間の感じる感覚量 <math>E</math> と物理的な刺激の強度 <math>R</math> は対数の関係
<math> E = C \log R</math>
にある(<math>C </math> は定数)という主張である。このように、人間の感覚量について考えるときは、対数がよく登場する。星の等級も対数スケールであったし、音の高さも対数スケールで考えられる。平均律では、隣り合う音の周波数比が <math>2^{\frac{1}{12}}</math> となるように、オクターブを12等分している。この12音で隣り合った音の間隔を半音、1音飛ばしにした音の間隔を全音という。ここで、12音の中から7音を

ド 全音 レ 全音 ミ 半音 ファ 全音 ソ 全音 ラ 全音 シ 半音 ド

となるように選ぶと全音階が得られる。なぜこのように音を選ぶかというと、<math>2^\frac{7}{12} \approx 1.498</math> であって、これは3/2 にほぼ等しい。3/2のように単純な周波数比の和音は美しく感じる性質がある。そこで、7半音離れた音を集めて音階を作るのである。ドから始めて、7半音上の音を並べると、
ド ソ レ ラ ミ シ ファ＃ ド＃ ソ＃ レ＃ ラ＃ ファ ド
となる。このように並べると、全音階は7半音だけ離れた音を7つ集めたものであるということがわかる。ちなみに、ここから ド ソ レ ラ ミ の五音を選ぶと、ヨナ抜き音階となる。このように、音楽と数学には密接な関係がある。

他にも、化学における水素イオン指数 pH も対数で定義される。


また、放射性年代測定も、残存している放射性同位体の量の対数を考えることにより可能になる。

一般に、非常に大きくなる量、または非常に小さくなる量をあらわすのに、対数を用いることが便利なのである。上記に紹介した、星の等級、地震のマグニチュード、音の大きさ、酸性度は、すべて、対数を使わないそのままでは桁が大きくなり扱いにくくなので、利便性のために対数を用いているということである。}}対数方眼紙というのがあり、右図のようになっている。
[[ファイル:Semilog_graph_paper.svg|サムネイル|600x600ピクセル|片対数方眼紙]]

{{DEFAULTSORT:こうとうかつこうすうかくII しすうかんすうたいすうかんすう}}
[[Category:高等学校数学II|しすうかんすうたいすうかんすう]]
[[カテゴリ:関数]]