対数

**対数**（たいすう、）とは、ある数  を数  の冪乗  として表した場合の冪指数  である。この  は「底を  とする  の**対数**（）」と呼ばれ、通常は  と書き表される。また、対数  に対する  は**真数**（しんすう、）と呼ばれる。数  に対応する対数を与える関数を考えることができ、そのような関数を対数関数と呼ぶ。対数関数は通常  と表される。

通常の対数  は真数 , 底  を実数として定義されるが、実数の対数からの類推により、複素数や行列などの様々な数に対してその対数が定義されている。

実数の対数  は、底  が  でない正数であり ()、真数  が正数である場合 () について定義される。 これらの条件を満たす対数は、ある  と  の組に対してただ一つに定まる。

実数の対数関数  は底  に対する指数関数  の逆関数である。この性質はしばしば対数関数の定義として用いられるが、歴史的には対数の出現の方が指数関数よりも先である。

## 定義
一般には複素数でも定義されるが、その解説は自然対数の項目にゆずる。

### 指数関数を用いた定義
 でない正の実数  および正の実数  に対し
:x = a^p
を満たす実数  がただ一つ定まる。この  を  の  を底とする対数として定義する。 に対して  を底とする対数を  と表わせば、上記の方程式を満たす  は以下のように書き換えることができる。
:p = \log_a x.
この対数の定義はレオンハルト・オイラーによる（1728年）。

### 演算法則からの定義
正の実数  について、正の実数  を変数にとる実数値連続関数  として
:\begin{align}
f_a(xy) &= f_a(x) + f_a(y) \\
f_a(a) &= 1
\end{align}
を満たすものを
:f_a(x) = \log_a x
と書き、この関数  を  を**底**とする**対数関数**と呼ぶ。

### 特殊な底

1 以外の正の実数であれば底に何を用いてもよいが、分野によって慣例的によく用いられる底があり、底が省略されることも多い。 のように底が省略されている場合は、前後の文脈や扱われている分野によって底がいくつであるかを判断する。

底を  とした対数は**[[常用対数]]**（）あるいは**ブリッグスの対数**（）と呼ばれ、実験などの測定値に用いることが多い。ヘンリー・ブリッグスは、1617年に 1000 未満の整数について8桁、1624年には1～2万と9万～10万の整数についての14桁の常用対数表を出版した。他の対数と区別するために、"Log" のように大文字を用いたり、"**lg**" という記号を用いることがある (ISO 31/XI では "lg" となっている)。 "lg" は二進対数の表記でもしばしば使用される（後述）。

底を （ネイピア数） とした対数を**[[自然対数]]**（）あるいは**ネイピアの対数**（）という。ジョン・ネイピアの名前がとられているが、ネイピア自身が計算に用いた定義は現在の自然対数とは異なる（後述）。微積分などの計算が簡単になるため、数学などの理論分野で用いられることが多い。他の対数と区別するために "**ln**" という記号を用いることがある。

底を  とした対数は**[[二進対数]]** () といい、情報理論の分野で情報量などを表現するのに用いられることが多い。また、音楽の分野においても、1オクターヴとは周波数比 1：2 のことであり、さらに、平均律においては半音が周波数比 1：21/12、全音が周波数比 1：22/12 と定義されているため、二進対数を用いると計算が簡便になる。他の対数と区別するために "**lb**" という記号を用いることがある (ISO 31/XI)。また二進対数では""と表記されることがよくある。

## 歴史

対数の概念は、16世紀末にヨスト・ビュルギ（1588年）やジョン・ネイピア（1594年）によって考案され、便利な計算法として広まった。天文学や航海学では膨大な数値計算がすでに必要とされており、三角関数表についてはヒッパルコスのころから存在していたとされ、ティコ・ブラーエは三角関数表を応用して掛け算を足し算に変換して計算する手法を使用していた。ネイピアは、20年かけて対数表を作成し1614年に発表した。エドマンド・ガンターは対数の値を長さに換算した目盛りを持つ物差しを利用し、以上の計算手順を簡単に行えるようにした計算尺（の元となるような図表）を1620年から24年頃に発明した。対数は煩雑な計算にかける労力を大幅に減らし、ヨハネス・ケプラーによる天体の軌道計算をはじめとして、その後の科学の急激な発展を支えた。

記号としては1624年にケプラーが"Log"を使い、その後オイラーが常用対数に"log"を、それ以外の底の対数に"l"を使った。用語としての対数（logarithm）はネイピアがギリシャ語のロゴス（関係）とアリトモス（数）を組み合わせたものだという。

対数表の近似精度を高めることはネイピア以降もしばしば行われ、産業政策にも利用された。1790年にフランスで ガスパール・ド・プロニー が失業中の理髪師たちを集めて雇用し計算させたのをはじめに、チャールズ・バベッジの階差機関への挑戦（1827年）や20世紀初頭アメリカ・ニューディール政策における公共事業促進局の実施するプロジェクト (Mathematical Tables Project) において精度向上の試みが行われた。

指数関数的に変化する量を対数に変換してみると、線型性などの綺麗な性質が浮かび上がる。また、双曲線などの面積を求める積分法にも対数があらわれる（たとえば、 である）。これらの例の他にも対数はいろいろな場面であらわれ、単なる「簡便な計算法」以上の意味を持つことも多い。そのため対数は、詳しく研究されてきた関数の一つでもある。

### オリジナルの定義
ネイピアらが示した対数の定義は現在用いられているものとは異なっていた。

ネイピアによる対数の定義は次のようなものである：正の実数  に対して
:x=10^7 \left( 1-\frac{1}{10^7} \right)^p
を満たす実数  がただ一つ定まる。この  のことを **ネイピアの対数**（）という。この値は、 と 7 桁の精度で一致する。ネイピアは、1594年に対数の概念に到達し、この定義を用いて20年間計算を続け、7 桁の数の対数表を完成させて1614年に発表した。

ビュルギもまた対数の発見者であるが、ビュルギが用いた定義はネイピアのものとはわずかに異なっている。ビュルギによる対数の定義は次のようなものである：正の実数  に対して
:x=10^8 \left( 1+\frac{1}{10^4} \right)^p
を満たす実数  がただ一つ定まる。この  のことを**ビュルギの対数**という。この値は、 と4桁の精度で一致する。ビュルギは、ネイピアよりも早く1588年に対数の概念を発見したが、1620年まで公表しなかったため、対数の発見者としてはネイピアが称えられることが多い。

## 冪の表記
三角関数において例えば  の意味で  と書くのと同様に、対数関数に対しても、2 以上の整数  に対して  という表記が使われることがある。

## 計算
対数により、積の計算を、より簡単な和の計算に置き換えることができる。いくつかの例外を除き、有限の手順では対数の値を厳密に求めることはできないため、対数の計算には近似値を用いる。予め定めた近似の精度に応じて有効数字が決定される。対数の近似計算は計算量が多く高コストであるため、対数を含んだ計算には基本的に数表が用いられる。この対数値を列挙した数表を**対数表**という。対数表には限られた数しか値が載っていないため、対数表から対数値を参照する場合にはしばしば補間公式が用いられる。

2つの正の実数  の積を求めたいとする。別の正の数  に対して、
:\begin{align}
x &= a^p \\
y &= a^q
\end{align}
という置き換えがいつでも可能であり、指数法則
:a^p a^q = a^{p + q}
が成り立つことから、以下の手順によって積  を求めることができる。
# 対数表を参照するなどして  を  に、 を  に変換する。
# 和  を計算する。
# 対数表を逆に参照するなどして  の結果を  に変換する。
# これが求める積  である。

### 具体例
常用対数表を用いて積を求める例を示す。
:345 &times; 4560 = 3.45 &times; 4.56 &times; 10 ・・・(1)
対数の性質より
:10(3.45 &times; 4.56) = 103.45 + 104.56
常用対数表より
:103.45 = 0.5378 , 104.56 = 0.6590
これより
:103.45 + 104.56 = 0.5378 + 0.6590 = 1.1968 = 0.1968 + 1
常用対数表より対数 0.1968 に近い真数を探すと
:0.1968 ≒ 101.57
また、1 = 1010 であるから
:10(3.45 &times; 4.56) = 103.45 + 104.56 ≒ 101.57 + 1010 = 1015.7
これより、3.45 &times; 4.56 ≒ 15.7　・・・(2)
(2)を(1)に代入して、
:345 &times; 4560 ≒ 15.7 &times; 10 = 1,570,000
これは 345 &times; 4560 = 1,573,200 に対して上から3桁までの値が一致している。
(精度が必要な場合は有効数字の大きな対数表を用いる必要がある。一般に対数は無限小数の形で求められ、対数表の値は近似値である。)

## 対数の性質
以下の節において、 は 1 ではない正の実数、 は正の実数、 は実数、 は自然対数を表す。

### 基本的な演算
定義より
:a^{\log_a x} = x
が成り立つ。

積の対数は（底が等しい）対数の和に等しい。
:\log_a xy=\log_a x+\log_a y
商の対数は（底が等しい）対数の差に等しい。

:\log_a\frac{x}{y}=\log_a x-\log_a y

 乗の対数は、対数の  倍に等しい。
:\log_a x^p =p\log_a x

また、底の  乗の対数は、対数の  倍に等しい。(は0でない実数)
:\log_{a^p} {x} =\frac{1}{p}\log_a x

### 底の変換
 を用いた式から  を用いた式へと変形するには、
:\log_b x = \log_b \left(a^{\log_a x}\right) = \log_a x\cdot\log_b a
となることから、
:\log_a x = {\log_b x \over \log_b a}
とすればよい。これを**底の変換**という。

これにより、特定の底・任意の真数での対数が分かる場合に、それらの値から任意の底での対数を得ることができる。たとえば、 として常用対数表から  と  を引くこともできるし、底  をネイピア数  として後述のマクローリン展開で  と  を計算してもよい。

特に、 ならば、 とすることにより
:\log_a x = {1 \over \log_x a}
を得る。

また、 とする（底を逆数にする）と、対数の符号が反転する。
:\log_{1/a} x = \frac{\log_a x}{\log_a (1/a)} = - \log_a x.

### 余対数
逆数の対数
:\mathrm{colog}_a x = \log_a \frac{1}{x} = - \log_a x = \log_{1/a} x 
を  を底とする**余対数**（よたいすう、）と呼ぶ。
### 対数の値の大きさに関する性質
底の値によらず、真数が 1 のとき対数は 0 である。
*\log_a 1=0
 の場合、対数は狭義単調増加
*x
であり、
*\lim_{x\to 0+} \log_a x=-\infty
*\lim_{x\to \infty} \log_a x=\infty
が成り立つ。

 の場合、対数は狭義単調減少
*x\log_a y
であり、
*\lim_{x\to 0+} \log_a x=\infty
*\lim_{x\to \infty} \log_a x=-\infty
が成り立つ。

対数の発散は「とても緩やか」であり  に対して
*\lim_{x\to \infty} \frac{x^p} =0
が成り立つ。

### 解析学における公式
微分に関する公式
*\frac{d}{dx} \ln x=\frac{1}{x}
*\frac{d}{dx} \log_a x=\frac{d}{dx} \frac{\ln x}{\ln a}=\frac{1}{x\ln a} =\frac{\log_a e}{x}
マクローリン展開{2n+1} \quad (|x|
を用いる方が収束が速く、さらに  は任意の正の実数を表せる。}}
*\ln (1+x)=\sum^{\infin}_{n=1} \frac{(-1)^{n-1}}{n} x^n \quad (|x| 
*\ln (1-x)=-\sum^{\infin}_{n=1} \frac{1}{n} x^n \quad (|x| 
積分に関する公式（以下の不定積分において  は積分定数とする）
*\int \frac{dx}{x} =\ln |x|+C 
*\int \ln x\, dx=x\ln x-x+C
*\int \log_a x\, dx=\frac{x\ln x-x}{\ln a} +C =x\log_a x-x\log_a e+C=x\log_a \frac{x}{e} +C
不等式
*\frac{x}{1 + x}  0)

## 符号位置

## 脚注

### 注釈

### 出典

## 参考文献

*
*
*
*
*
*
*
*
*
*
*
*
*

## 関連文献
* 

## 関連項目
* 指数関数
* 自然対数
* 常用対数
* 二進対数
* 離散対数
* 計算尺
* フラクタル
* 対数スケール
* デシベル
* ネーパ
* マグニチュード
* 水素イオン指数（pH）
* 酸解離定数（p*K*a）
* 片対数グラフ
* 両対数グラフ
* 多重対数関数

## 外部リンク

* 
* 
* 
* 
* 

* 
* Explaining Logarithms
* Jost Burgi, Swiss Inventor of Logarithms
* Translation of Napier's work on logarithms
* Logarithms - from The Little Handbook of Statistical Practice
* Algorithm for determining Log values for any base
*