Yrurtj

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（2015年12月）

対数（たいすう、英: logarithm）とは、ある数 x を数 b の冪乗 b^p として表した場合の冪指数 p である。この p は「底を b とする x の対数（英: logarithm of x to base b; base b logarithm of x）」と呼ばれ、通常は log_b x と書き表される。また、対数 log_b x に対する x は真数（フランス語版）（しんすう、英: antilogarithm）と呼ばれる。数 x に対応する対数を与える関数を考えることができ、そのような関数を対数関数と呼ぶ。対数関数は通常 log と表される。

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

実数の対数 log_b x は、底 b が 1 でない正数であり (b ≠ 1, b > 0)、真数 x が正数である場合 (x > 0)^{[注 1]} について定義される。 これらの条件を満たす対数は、ある x と b の組に対してただ一つに定まる。

実数の対数関数 log_b x は底 b に対する指数関数 b^x の逆関数である。この性質はしばしば対数関数の定義として用いられるが、歴史的には対数の出現の方が指数関数よりも先である^{[1][注 2]}。

対数関数のグラフの底を変えたときの様子。緑の曲線は底が 10、赤の曲線は底がネイピア数 e ∼ 2.7、紫の曲線は底が 1.7 の対数である（底 10 の対数は常用対数、底 e の対数は自然対数と呼ばれる）。すべての曲線は点 (1, 0) を通り、y 軸を漸近線に持つ。

定義

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

指数関数を用いた定義

1 でない正の実数 a および正の実数 x に対し

x=ap{displaystyle x=a^{p}}

を満たす実数 p がただ一つ定まる。この p を x の a を底とする対数として定義する。x に対して a を底とする対数を log_a x と表わせば、上記の方程式を満たす p は以下のように書き換えることができる。

p=loga⁡x.{displaystyle p=log _{a}x.}

この対数の定義はレオンハルト・オイラーによる（1728年）。

演算法則からの定義

正の実数 a ≠ 1 について、正の実数 x を変数にとる実数値連続関数 f_a (x) として

fa(xy)=fa(x)+fa(y)fa(a)=1{displaystyle {begin{aligned}f_{a}(xy)&=f_{a}(x)+f_{a}(y)\f_{a}(a)&=1end{aligned}}}

を満たすものを

fa(x)=loga⁡x{displaystyle f_{a}(x)=log _{a}x}

と書き、この関数 log_a x を a を底とする対数関数と呼ぶ。

特殊な底

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

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

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

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

歴史

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

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

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

オリジナルの定義

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

ネイピアによる対数の定義は次のようなものである：正の実数 x に対して

x=107(1−1107)p{displaystyle x=10^{7}left(1-{frac {1}{10^{7}}}right)^{p}}

を満たす実数 p がただ一つ定まる。この p のことを ネイピアの対数（英: Napierian logarithm）という。この値は、−10⁷ ln (x/10⁷) と 7 桁の精度で一致する。ネイピアは、1594年に対数の概念に到達し、この定義を用いて20年間計算を続け、7 桁の数の対数表を完成させて1614年に発表した。

ビュルギもまた対数の発見者であるが、ビュルギが用いた定義はネイピアのものとはわずかに異なっている。ビュルギによる対数の定義は次のようなものである：正の実数 x に対して

x=108(1+1104)p{displaystyle x=10^{8}left(1+{frac {1}{10^{4}}}right)^{p}}

を満たす実数 p がただ一つ定まる。この p のことをビュルギの対数という。この値は、10⁴ ln (x/10⁸) と4桁の精度で一致する。ビュルギは、ネイピアよりも早く1588年に対数の概念を発見したが、1620年まで公表しなかったため、対数の発見者としてはネイピアが称えられることが多い。

ベキの表記

三角関数において例えば (sin x)² の意味で sin²x と書くのと同様に、対数関数に対しても、2 以上の整数 n に対して logⁿ x という表記が使われることがある^[5][6]。

計算

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

2つの正の実数 x, y の積を求めたいとする。別の正の数 a ≠ 1 に対して、

x=apy=aq{displaystyle {begin{aligned}x&=a^{p}\y&=a^{q}end{aligned}}}

という置き換えがいつでも可能であり、指数法則

apaq=ap+q{displaystyle a^{p}a^{q}=a^{p+q}}

が成り立つことから、以下の手順によって積 xy を求めることができる。

1. 対数表を参照するなどして x を p に、y を q に変換する。


2. 和 p + q を計算する。


3. 対数表を逆に参照するなどして p + q の結果を a^{p + q} に変換する。


4. これが求める積 xy である。

対数の性質

以下の節において、a, b は 1 ではない正の実数、x, y は正の実数、p は実数、ln x は自然対数を表す。

基本的な演算

定義より

aloga⁡x=x{displaystyle a^{log _{a}x}=x}

が成り立つ。

積の対数は（底が等しい）対数の和に等しい。

loga⁡xy=loga⁡x+loga⁡y{displaystyle log _{a}xy=log _{a}x+log _{a}y}

商の対数は（底が等しい）対数の差に等しい。

loga⁡xy=loga⁡x−loga⁡y{displaystyle log _{a}{frac {x}{y}}=log _{a}x-log _{a}y}

p 乗の対数は、対数の p 倍に等しい。

loga⁡xp=ploga⁡x{displaystyle log _{a}x^{p}=plog _{a}x}

また、底の p 乗の対数は、対数の 1/p 倍に等しい。(pは0でない実数)

logap⁡x=1ploga⁡x{displaystyle log _{a^{p}}{x}={frac {1}{p}}log _{a}x}

底の変換

log_a x を用いた式から log_b x を用いた式へと変形するには、

logb⁡x=logb⁡(aloga⁡x)=loga⁡x⋅logb⁡a{displaystyle log _{b}x=log _{b}left(a^{log _{a}x}right)=log _{a}xcdot log _{b}a}

となることから、

loga⁡x=logb⁡xlogb⁡a{displaystyle log _{a}x={log _{b}x over log _{b}a}}

とすればよい。これを底の変換という。

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

特に、x ≠ 1 ならば、b = x とすることにより

loga⁡x=1logx⁡a{displaystyle log _{a}x={1 over log _{x}a}}

を得る。

また、b = 1/a とする（底を逆数にする）と、対数の符号が反転する。

log1/a⁡x=loga⁡xloga⁡(1/a)=−loga⁡x.{displaystyle log _{1/a}x={frac {log _{a}x}{log _{a}(1/a)}}=-log _{a}x.}

余対数

逆数の対数

cologax=loga⁡1x=−loga⁡x=log1/a⁡x{displaystyle mathrm {colog} _{a}x=log _{a}{frac {1}{x}}=-log _{a}x=log _{1/a}x}

を a を底とする余対数（よたいすう、英: cologarithm）と呼ぶ。

対数の値の大きさに関する性質

底の値によらず、真数が 1 のとき対数は 0 である。

• loga⁡1=0{displaystyle log _{a}1=0}

a > 1 の場合、対数は狭義単調増加

• x<y⇔loga⁡x<loga⁡y{displaystyle x<yLeftrightarrow log _{a}x<log _{a}y}

であり、

• limx→0+loga⁡x=−∞{displaystyle lim _{xto 0+}log _{a}x=-infty }


• limx→∞loga⁡x=∞{displaystyle lim _{xto infty }log _{a}x=infty }

が成り立つ。

0 < a < 1 の場合、対数は狭義単調減少

• x<y⇔loga⁡x>loga⁡y{displaystyle x<yLeftrightarrow log _{a}x>log _{a}y}

であり、

• limx→0+loga⁡x=∞{displaystyle lim _{xto 0+}log _{a}x=infty }


• limx→∞loga⁡x=−∞{displaystyle lim _{xto infty }log _{a}x=-infty }

が成り立つ。

対数の発散は「とても緩やか」であり p > 0 に対して

• limx→∞|loga⁡x|xp=0{displaystyle lim _{xto infty }{frac {|log _{a}x|}{x^{p}}}=0}

が成り立つ。

解析学における公式

微分に関する公式

• ddxln⁡x=1x{displaystyle {frac {d}{dx}}ln x={frac {1}{x}}}


• ddxloga⁡x=ddxln⁡xln⁡a=1xln⁡a=loga⁡ex{displaystyle {frac {d}{dx}}log _{a}x={frac {d}{dx}}{frac {ln x}{ln a}}={frac {1}{xln a}}={frac {log _{a}e}{x}}}

マクローリン展開

• ln⁡(1−x)=−∑n=1∞1nxn(|x|<1){displaystyle ln(1-x)=-sum _{n=1}^{infty }{frac {1}{n}}x^{n}quad (|x|<1)}

積分に関する公式（以下の不定積分において C は積分定数とする）

• ∫dxx=ln⁡|x|+C{displaystyle int {frac {dx}{x}}=ln |x|+C}


• ∫ln⁡xdx=xln⁡x−x+C{displaystyle int ln x,dx=xln x-x+C}


• ∫loga⁡xdx=xln⁡x−xln⁡a+C=xloga⁡x−xloga⁡e+C=xloga⁡xe+C{displaystyle int log _{a}x,dx={frac {xln x-x}{ln a}}+C=xlog _{a}x-xlog _{a}e+C=xlog _{a}{frac {x}{e}}+C}

関連項目

• 指数関数


• 自然対数


• 常用対数


• 離散対数


• 計算尺


• フラクタル


• デシベル


• ネーパー


• マグニチュード


• 
  水素イオン指数（pH）


• 
  酸解離定数（pK_a）


• 片対数グラフ


• 両対数グラフ


• 多重対数関数

注釈

文献

参考文献

外部リンク

ウィキメディア・コモンズには、対数に関連するカテゴリがあります。

• Weisstein, Eric W. "Logarithm". MathWorld（英語）.


• 
  Logarithms in nLab
  


• 
  logarithm - PlanetMath.（英語）
  


• 
  Definition:Logarithm at ProofWiki
  


• 
  Hazewinkel, Michiel, ed. (2001), "Logarithm of a number", Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4
  

• Logarithm Calculator


• 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