対数のソースを表示

'''対数''' (たいすう、{{lang-en-short|''logarithm''}}) とは、任意の数 ''x'' を ''a'' を底とする[[指数関数]]により ''x'' = ''a''<sup>''p''</sup> と表したときの[[冪乗|冪指数]] ''p'' の事である。 ''p'' = ''log''<sub>''a''</sub>(''x'') と書いて ''p''は''a'' を底とする ''x'' の'''対数'''という。対数関数 ''log''<sub>''a''</sub>(''x'') は、指数関数 ''a''<sup>''x''</sup> の[[逆関数]]として定義される。

[[ファイル:Logarithms.png|thumb|300px|いくつかの対数関数のグラフ。緑は常用対数、赤は自然対数、紫は底が 1.7 の対数に対応する。全て点 (1,0) を通り、''y'' 軸を[[漸近線]]に持つ。]]

== 概要 ==
対数により、[[乗法|積]]の計算を、より簡単な[[加法|和]]の計算に置き換えることができる。[[近似値]]での計算になるので、[[有効数字]]に注意する。対数を得るには、'''対数表'''という[[数表]]を使うなどする。

2つの[[正の数と負の数|正]]の[[実数]] ''x'', ''y'' の積を求めたいとする。別の正の数 ''a'' ≠ 1 に対して、
: <math> x = a^p </math>
: <math> y = a^q </math>
とおくと、指数法則
: <math> a^p a^q  = a^{p+q}</math>
が成り立つことより、以下の手順によって積 ''xy'' を求めることができる。
# 対数表を参照するなどして ''x'' を ''p'' に、''y'' を ''q'' に変換する。
# 和 ''p'' + ''q'' を計算する。
# 対数表を逆に参照するなどして ''p'' + ''q'' の結果を ''a''<sup>''p''+''q''</sup> に変換する。
# これが求める積 ''xy'' である。

この計算で用いる ''p'' を ''p'' = ''log''<sub>''a''</sub>(''x'') と書き ''a'' を'''底''' (てい、 {{lang-en-short|''base''}}) とする ''x'' の '''対数'''という。対数 ''p'' において ''x'' を'''真数'''（しんすう）という。

''q'' も ''a'' を底とする ''y'' の対数であり ''q'' = ''log''<sub>''a''</sub>(''y'') と書く。

== 歴史 ==
対数の概念は、[[16世紀]]末に[[ヨスト・ビュルギ]]（[[1588年]]）や[[ジョン・ネイピア]]（[[1594年]]）によって考案され、便利な計算法として広まった。ヨーロッパでは日本の[[九九]]のような、かけ算を語呂よく暗記する方法が無かったために、足し算はできるが[[乗法|かけ算]]を苦手とする人が多かった。数学に長けた者にとっても、 ''x'' や ''y'' の桁数が大きい場合は、[[計算機]]がなかった時代において非常に便利な計算方法であった。ネイピアは、20年かけて対数表を作成し[[1614年]]に発表した。対数の値を長さに換算した目盛りを持つ物差しを使用して、以上の計算手順を簡単に行えるようにしたものが[[計算尺|対数計算尺]]である。対数は煩雑な計算にかける労力を大幅に減らし、[[ヨハネス・ケプラー]]による天体の軌道計算をはじめとして、その後の[[科学]]の急激な発展を支えた。

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

[[指数関数]]的に変化する量を対数に変換してみると[[線型性]]などの綺麗な性質が浮かび上がったり、[[双曲線]]の面積を求める時などに用いる[[積分]] ∫ ''x''<sup>−1</sup> ''dx'' に現れたりするなど対数は簡便な計算法以上の意味を持つことも多く、いろいろな場面で現れ、詳しく研究されてきた関数の一つでもある。

[[関数電卓]]や[[パーソナルコンピュータ|パソコン]]などが広く使われる現代においても、厳密な値を必要としない（[[有効数字]]の桁数の少ない）計算をする際には便利な方法である。

== 定義 ==

一般には[[複素数]]で定義されるが、その解説は[[自然対数]]の項目にゆずる。
=== 指数関数を用いた定義 ===
正の実数 ''a'' ≠ 1 をとると、 任意の正の実数 ''x''に対し

:<math> x=a^p\, </math>

を満たす 実数 ''p'' が唯一つ定まる。この ''p'' を

:<math> p=\log_a x\, </math>

と書き、''p'' のことを ''a'' を'''底'''（てい、 {{lang-en-short|''base''}}) とする ''x'' の'''対数'''という。このとき ''x'' のことを'''真数''' (しんすう、 {{lang-en-short|''anti-logarithm''}}) という。この対数の定義は、[[オイラー]]による。（[[1728年]]）

=== 演算法則からの定義 ===
正の実数 ''a'' ≠ 1 をとる。正の実数 ''x'' を[[変数 (数学)|変数]]にとる実数値[[連続 (数学)|連続]]関数  <math>f(x)</math>が
:<math> f(xy)=f(x)+f(y)\, </math>
:<math> f(a)=1\, </math>
を満たすとき
:<math> f(x)=\log_{a} x\, </math>
と書き、<math>f(x)</math> のことを<math>a</math> を'''底'''とする'''対数関数'''という。

=== 特殊な底 ===
<!--[[Image:Log-graph.png|thumb|right|自然対数など]]（冒頭の画像と重複）-->
1 以外の正の実数であれば底に何を用いてもよいが、分野によって慣例的によく用いられる底があり、底が省略されることも多い。
:<math> \log x\, </math>
のように底が省略されている場合は、前後の文脈や扱われている分野によって底が何か判断される。

底を ''a'' = 10 とした対数は'''[[常用対数]]''' ({{lang-en-short|''common logarithm''}}) あるいは'''ブリッグスの対数''' ({{lang-en-short|''Briggsian logarithms''}}) と呼ばれ、実験などの測定値に用いることが多い。他の対数と区別するために  "Log" などのように大文字を用いることがある。[[ヘンリー・ブリッグス]] ([[:en:Henry Briggs (mathematician)|en]]) は、[[1617年]]に 1000 未満の整数について8桁、[[1624年]]には1～2万と9万～10万の整数についての14桁の常用対数表を出版した。他の対数と区別するために "lg" という記号を用いることがある([[:en:ISO_31-11#Exponential_and_logarithmic_functions|ISO 31/XI]])。

底を ''a'' = ''e''（[[ネイピア数]]） とした対数を'''[[自然対数]]''' ({{lang-en-short|''natural logarithm''}}) あるいは'''ネイピアの対数''' ({{lang-en-short|''Napierian logarithm''}}) という。名前に用いられているものの[[ジョン・ネイピア]]自身とは関係ない。微積分などの計算が簡単になるため、数学などの理論分野で用いられることが多い。他の対数と区別するために "ln" という記号を用いることがある。

底を ''a'' = 2 とした対数は'''[[二進対数]]''' ({{lang-en-short|''binary logarithm''}}) といい、[[情報理論]]の分野で[[情報量]]などを表現するのに用いられることが多い。他の対数と区別するために "lb" という記号を用いることがある([[:en:ISO_31-11#Exponential_and_logarithmic_functions|ISO 31/XI]])。

=== 古典的な定義 ===
正の実数 ''x'' に対して
:<math>x = 10^7 \left(1-{1 \over 10^7}\right)^p</math>
を満たす実数 ''p'' が唯一つ定まる。この ''p'' のことを '''ネイピアの対数''' ({{lang-en-short|''Napierian logarithm''}}) という。ネイピアは、1594年に対数の概念に到達し、この定義を用い 20年間計算を続け 7桁の数の対数表を作成し[[1614年]]に発表した。

正の実数 ''x'' に対して
:<math>x = 10^8 \left(1+{1 \over 10^4}\right)^p</math>
を満たす実数 ''p'' が唯一つ定まる。この ''p'' のことを'''ビュルギの対数'''という。ビュルギは、ネイピアよりも早い1588年に対数の概念を発見したが、[[1620年]]まで公表しなかったため、対数の発見者としてはネイピアが称えられることが多い。

== 余対数 ==
逆数の対数
:<math>\mathrm{colog}_a{x} = \log_a{1 \over x} = - \log_a{x} = \log_{1/a}{x} </math>
を ''a'' を底とする '''余対数''' (よたいすう、{{lang-en-short|''cologarithm''}}) と呼ぶ。

== 対数の性質 ==
''a'', ''b'' は 1 ではない正の実数、''x'', ''y'' は正の実数、''p'' は実数、ln ''x'' は自然対数を表すとする。

=== 基本的な演算 ===
定義により
:<math>a^{\log_a x} = x</math>
真数の積は、対数の和に変換される。逆に（底が同じ）対数の和は、真数の積に変換される。
:<math>\log_{a}(xy)=\log_{a}x+\log_{a}y</math>
真数の指数は、対数の定数倍に変換される。
:<math>\log_a x^p = p \ \log_a x</math>
真数の逆数は、対数の符号を反転させる。
:<math>\log_a {1 \over x} = \log_a x^{-1} = -\log_a x</math>
真数の商は、対数の差になる。逆に（底が同じ）対数の差は、真数の商に変換される。
:<math>\log_a {x \over y} = \log_a \left(x \cdot {1 \over y}\right) = \log_a x -\log_a y</math>
底を ''a'' から ''b'' へ取り替えたいときは
:<math>\left(\log_a x\right) \left(\log_b a\right) = \log_b a^{\log_a x} = \log_b x</math>
より
:<math>\log_a x = {\log_b x \over \log_b a}</math>
となる。これを'''底の変換'''という。正の実数 ''x'' が 1 でないならば、''b'' = ''x'' とすることにより
:<math>\log_a x = {1 \over \log_x a}</math>

底の逆数は、対数の符号を反転させる。
:<math>\log_{1 \over a} x = {\log_a x \over \log_a {1 \over a}} = - \log_a x</math>

=== 対数の値の大きさに関する性質 ===
底の値によらず、真数が 1 のとき対数は 0 である。
:<math>\log_{a} 1=0\, </math>
1 < ''a'' の時、対数は[[単調関数|狭義単調増加]]
:<math>x < y \Leftrightarrow \log_{a}x < \log_{a}y</math>
:<math>\lim_{x\to+0}\log_a x= -\infty</math>
:<math>\lim_{x\to+\infty}\log_a x= +\infty</math>

0 < ''a'' < 1 の時、対数は[[単調関数|狭義単調減少]]
:<math>x < y \Leftrightarrow \log_{a} x > \log_{a} y</math>
:<math>\lim_{x\to+0}\log_a x= +\infty</math>
:<math>\lim_{x\to+\infty}\log_a x= -\infty</math>

対数の発散はとても緩やかであり ''p'' &gt; 0 に対して
:<math>\lim_{x\to+\infty}{|\log_a x| \over x^p} = 0</math>

=== 解析学における公式 ===
[[微分]]に関する公式
: <math>{d \over dx} \ln x = {1 \over x}</math>
: <math>{d \over dx} \log_a x = {1 \over x \ln a} = {\log_a e \over x}</math>

[[テイラー展開|マクローリン展開]]
: <math>\ln(1-x) = -\sum^{\infin}_{n=1} {1 \over n} x^n , (|x| < 1)</math> 

[[積分]]に関する公式（以下の不定積分において ''C'' は積分定数とする）
:<math>\int {1 \over x} dx = \ln |x| + C</math> 
:<math>\int \ln x dx = x \ln x -x + C</math>
:<math>\int \log_a x dx = { x \ln x -x \over \ln a} +C = x \log_a x -x \log_a e + C = x \log_a \left({x \over e}\right) +C</math>

== 関連項目 ==

* [[指数関数]]
* [[自然対数]]
* [[常用対数]]
* [[離散対数]]
* [[計算尺]]
* [[フラクタル]]
* [[デシベル]]
* [[ネーパー]]
* [[マグニチュード]]
* [[水素イオン指数|pH]]
* [[片対数グラフ]]
* [[両対数グラフ]]
* [[多重対数関数]]

== 外部リンク ==
{{commonscat|Logarithm}}

* [http://www.freewebs.com/brianjs/logarithmcalculator.htm Logarithm Calculator]
* [http://www.mathlogarithms.com/ Explaining Logarithms]
* [http://mathworld.wolfram.com/Logarithm.html Logarithm] on [[MathWorld]]
* [http://www.micheloud.com/FXM/LOG/index.htm Jost Burgi, Swiss Inventor of Logarithms]
* [http://johnnapier.com/table_of_logarithms_001.htm Translation of Napier's work on logarithms]
* [http://www.jerrydallal.com/LHSP/logs.htm Logarithms - from The Little Handbook of Statistical Practice]
* [http://en.literateprograms.org/Logarithm_Function_%28Python%29 Algorithm for determining Log values for any base]



{{DEFAULTSORT:たいすう}}

[[Category:解析学]]
[[Category:初等数学]]
[[Category:初等関数]]
[[Category:数学に関する記事]]
{{Link GA|en}}
{{Link FA|en}}
{{Link FA|ru}}