対数のソースを表示

{{出典の明記|date=2015年12月}}
'''対数'''（たいすう、{{lang-en-short|''logarithm''}}）とは、ある数 {{mvar|x}} を数 {{mvar|b}} の[[冪乗]] {{mvar|b<sup>p</sup>}} として表した場合の[[冪乗|冪指数]] {{mvar|p}} である。この {{mvar|p}} は「底を {{mvar|b}} とする {{mvar|x}} の'''対数'''（{{lang-en-short|logarithm of {{mvar|x}} to base {{mvar|b}}; base {{mvar|b}} logarithm of {{mvar|x}}}}）」と呼ばれ、通常は {{math|log''<sub>b</sub>&thinsp;x''}} と書き表される。また、対数 {{math|log''<sub>b</sub>&thinsp;x''}} に対する {{mvar|x}} は'''{{ill2|真数|fr|Antilogarithme}}'''（しんすう、{{lang-en-short|''antilogarithm''}}）と呼ばれる。数 {{mvar|x}} に対応する対数を与える[[関数 (数学)|関数]]を考えることができ、そのような関数を対数関数と呼ぶ。対数関数は通常 {{math|log}} と表される。

通常の対数 {{math|log<sub>''b''</sub>&thinsp;''x''}} は真数 {{mvar|x}}, 底 {{mvar|b}} を[[実数]]として定義されるが、実数の対数からの類推により、[[複素数]]や[[行列]]などの様々な数に対してその対数が定義されている。

実数の対数 {{math|log''<sub>b</sub>&thinsp;x''}} は、底 {{mvar|b}} が {{math|1}} でない[[正数]]であり ({{math|''b'' &ne; 1, ''b'' &gt; 0}})、真数 {{mvar|x}} が正数である場合 ({{math|''x'' &gt; 0}})<ref group="注">この条件は'''真数条件'''と呼ばれる。</ref> について定義される。 これらの条件を満たす対数は、ある {{mvar|x}} と {{mvar|b}} の組に対してただ一つに定まる。

実数の対数関数 {{math|log''<sub>b</sub>&thinsp;x''}} は[[底を持つ指数函数|底 {{mvar|b}} に対する指数関数]] {{mvar|b<sup>x</sup>}} の[[逆関数]]である。この性質はしばしば対数関数の[[定義]]として用いられるが、歴史的には対数の出現の方が指数関数よりも先である<ref>{{harvnb|Cajori|1913 No.1|p=5}}, {{harvnb|Cajori|1913 No.2|p=35}}, {{harvnb|Cajori|1913 No.3|p=75}}, {{harvnb|Cajori|1913 No.4|p=107}}, {{harvnb|Cajori|1913 No.5|p=148}}, {{harvnb|Cajori|1913 No.6|p=173}}, {{harvnb|Cajori|1913 No.7|p=205}}.</ref><ref group="注">[[ネイピア数]] {{mvar|e}} の[[ヤコブ・ベルヌーイ]]による発見が1683年であり、指数関数の発見もその頃である。詳細は[[指数関数#歴史と概観]]や {{harvnb|O'Connor|Robertson|2001}} を参照。</ref>。

[[ファイル:Logarithms.png|thumb|300px|対数関数のグラフの底を変えたときの様子。緑の曲線は底が {{math|10}}、赤の曲線は底が[[ネイピア数]] {{math|1=''e'' &sim; 2.7}}、紫の曲線は底が {{math|1.7}} の対数である（底 10 の対数は[[常用対数]]、底 {{mvar|e}} の対数は[[自然対数]]と呼ばれる）。すべての曲線は点 {{math|(1, 0)}} を通り、{{mvar|y}} 軸を[[漸近線]]に持つ。]]

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

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

=== 演算法則からの定義 ===
正の実数 {{math|''a'' &ne; 1}} について、正の実数 {{mvar|x}} を[[変数 (数学)|変数]]にとる実数値[[連続 (数学)|連続]][[関数 (数学)|関数]] {{math|1=''f<sub>a</sub>''&thinsp;(''x'')}} として
:<math>\begin{align}
f_a(xy) &= f_a(x) + f_a(y) \\
f_a(a) &= 1
\end{align}</math>
を満たすものを
:<math>f_a(x) = \log_a x</math>
と書き、この関数 {{math|1=log''{{ind|a}}&thinsp;x''}} を {{mvar|a}} を'''底'''とする'''対数関数'''と呼ぶ。

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

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

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

底を {{math|1=''a'' = 2}} とした対数は'''[[二進対数]]''' ({{lang-en-short|''binary logarithm''}}) といい、[[情報理論]]の分野で[[情報量]]などを表現するのに用いられることが多い。また、音楽の分野においても、1[[オクターブ]]とは[[周波数]]比 1：2 のことであり、さらに、[[平均律]]においては半音が周波数比 1：2<sup>1/12</sup>、全音が周波数比 1：2<sup>2/12</sup> と定義されているため、二進対数を用いると計算が簡便になる。他の対数と区別するために "lb" という記号を用いることがある ([[ISO 31-11|ISO 31/XI]])。また[[二進対数]]では"{{math|1=lg ''n''}}"と表記されることがよくある<ref>{{cite book 
| last = Cormen 
| first = Thomas H. 
| authorlink=Thomas H. Cormen 
| author2 = [[:en:Charles E. Leiserson|Leiserson, Charles E.]], [[:en:Ron Rivest|Rivest, Ronald L.]], [[:en:Clifford Stein|Stein, Clifford]]
| title = [[Introduction to Algorithms]]
| origyear = 1990
| year = 2001
| edition = 2nd 
| publisher = MIT Press and McGraw-Hill 
| isbn = 0-262-03293-7
| page = 34
}}</ref>。

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

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

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

=== {{anchors|古典的な定義}} オリジナルの定義 ===
ネイピアらが示した対数の定義は現在用いられているものとは異なっていた。

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

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

== ベキの表記 ==
[[三角関数]]において例えば {{math|(sin ''x'')<sup>2</sup>}} の意味で {{math|sin<sup>2</sup> ''x''}} と書くのと同様に、対数関数に対しても、2 以上の整数 {{mvar|n}} に対して {{math|log''<sup>n</sup>&thinsp;x''}} という表記が使われることがある{{sfn|本橋|2009}}{{sfn|Apostol|1976}}。

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

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

== 対数の性質 ==
以下の節において、{{math|''a'', ''b''}} は 1 ではない正の実数、{{math|''x'', ''y''}} は正の実数、{{mvar|p}} は実数、{{math|ln ''x''}} は[[自然対数]]を表す。

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

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

:<math>\log_a\frac{x}{y}=\log_a x-\log_a y</math>

{{mvar|p}} 乗の対数は、対数の {{mvar|p}} 倍に等しい。
:<math>\log_a x^p =p\log_a x</math>

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

=== 底の変換 ===

{{math|log''<sub>a</sub>&thinsp;x''}} を用いた式から {{math|log''<sub>b</sub>&thinsp;x''}} を用いた式へと変形するには、
:<math>\log_b x = \log_b \left(a^{\log_a x}\right) = \log_a x\cdot\log_b a</math>
となることから、
:<math>\log_a x = {\log_b x \over \log_b a}</math>
とすればよい。これを'''底の変換'''という。

これにより、特定の底・任意の真数での対数が分かる場合に、それらの値から任意の底での対数を得ることができる。たとえば、{{math|1=''b'' = 10}} として常用対数表から {{math|log<sub>10</sub>&thinsp;''a''}} と {{math|log<sub>10</sub>&thinsp;''x''}} を引くこともできるし、底 {{mvar|b}} をネイピア数 {{mvar|e}} として後述のマクローリン展開で {{math|log<sub>e</sub>&thinsp;''a''}} と {{math|log<sub>e</sub> ''x''}} を計算してもよい。

特に、{{math|1=''x'' &ne; 1}} ならば、{{math|1=''b'' = ''x''}} とすることにより
:<math>\log_a x = {1 \over \log_x a}</math>
を得る。

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

=== 余対数 ===
逆数の対数
:<math>\mathrm{colog}_a x = \log_a \frac{1}{x} = - \log_a x = \log_{1/a} x </math>
を {{mvar|a}} を底とする'''余対数'''（よたいすう、{{lang-en-short|''cologarithm''}}）と呼ぶ。
=== 対数の値の大きさに関する性質 ===
底の値によらず、真数が 1 のとき対数は 0 である。
*<math>\log_a 1=0</math>
{{math|''a'' &gt; 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>
が成り立つ。

{{math|0 &lt; ''a'' &lt; 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>
が成り立つ。

対数の発散は「とても緩やか」であり {{math|''p'' &gt; 0}} に対して
*<math>\lim_{x\to \infty} \frac{|\log_a x|}{x^p} =0</math>
が成り立つ。

=== 解析学における公式 ===
[[微分]]に関する公式
*<math>\frac{d}{dx} \ln x=\frac{1}{x}</math>
*<math>\frac{d}{dx} \log_a x=\frac{d}{dx} \frac{\ln x}{\ln a}=\frac{1}{x\ln a} =\frac{\log_a e}{x}</math>
[[テイラー展開|マクローリン展開]]
*<math>\ln (1-x)=-\sum^{\infin}_{n=1} \frac{1}{n} x^n \quad (|x|<1)</math> 
[[積分]]に関する公式（以下の不定積分において {{mvar|C}} は積分定数とする）
*<math>\int \frac{dx}{x} =\ln |x|+C</math> 
*<math>\int \ln x\, dx=x\ln x-x+C</math>
*<math>\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</math>

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

== 注釈 ==
{{reflist|group="注"}}

== 文献 ==
{{reflist}}

== 参考文献 ==
{{refbegin}}
*{{cite book|和書
 |last      = 本橋
 |first     = 洋一
 |title     = 解析的整数論 I ―素数分布論―
 |series    = 朝倉数学大系1
 |publisher = [[朝倉書店]]
 |year      = 2009
 |location  = 東京
 |isbn      = 978-4-254-11821-6
 |ref       = harv
}}
*{{cite book
 |last      = Apostol
 |first     = T. M.
 |title     = Introduction to Analytic Number Theory
 |series    = Undergraduate Texts in Mathematics 
 |publisher = Springer-Verlag
 |place     = New York
 |year      = 1976
 |isbn      = 978-1-4757-5579-4
 |ref       = harv
}}
*{{cite journal|first=Florian|last=Cajori|authorlink=フロリアン・カジョリ|date=1913-1|title=History of the exponential and logarithmic concepts|publisher=American Mathematical Monthly|volume=20|issue=1|pages=5-14|doi=10.2307/2973509|ref={{sfnref|Cajori|1913 No.1}}}}
*{{cite journal|first=Florian|last=Cajori|authorlink=フロリアン・カジョリ|date=1913-2|title=History of the exponential and logarithmic concepts|publisher=American Mathematical Monthly|volume=20|issue=2|pages=35-47|doi=10.2307/2974078|ref={{sfnref|Cajori|1913 No.2}}}}
*{{cite journal|first=Florian|last=Cajori|authorlink=フロリアン・カジョリ|date=1913-3|title=History of the exponential and logarithmic concepts|publisher=American Mathematical Monthly|volume=20|issue=3|pages=75-84|doi=10.2307/2973441|ref={{sfnref|Cajori|1913 No.3}}}}
*{{cite journal|first=Florian|last=Cajori|authorlink=フロリアン・カジョリ|date=1913-4|title=History of the exponential and logarithmic concepts|publisher=American Mathematical Monthly|volume=20|issue=4|pages=107-117|doi=10.2307/2972960|ref={{sfnref|Cajori|1913 No.4}}}}
*{{cite journal|first=Florian|last=Cajori|authorlink=フロリアン・カジョリ|date=1913-5|title=History of the exponential and logarithmic concepts|publisher=American Mathematical Monthly|volume=20|issue=5|pages=148-151|doi=10.2307/2972412|ref={{sfnref|Cajori|1913 No.5}}}}
*{{cite journal|first=Florian|last=Cajori|authorlink=フロリアン・カジョリ|date=1913-6|title=History of the exponential and logarithmic concepts|publisher=American Mathematical Monthly|volume=20|issue=6|pages=173-182|doi=10.2307/2973069|ref={{sfnref|Cajori|1913 No.6}}}}
*{{cite journal|first=Florian|last=Cajori|authorlink=フロリアン・カジョリ|date=1913-7|title=History of the exponential and logarithmic concepts|publisher=American Mathematical Monthly|volume=20|issue=7|pages=205-210|doi=10.2307/2974104|ref={{sfnref|Cajori|1913 No.7}}}}
*{{cite |url=http://www-history.mcs.st-andrews.ac.uk/HistTopics/e.html |title=The number e |first1=John J.|last1=O'Connor|first2=Edmund F.|last2=Robertson|publisher=University of St Andrews, Scotland |work=School of Mathematics and Statistics |date=2001-9|accessdate=2015-12-04|ref=harv}}
*{{cite journal|和書|last=熊倉|first=啓之|title=中学との接続を重視した高等学校の幾何教育に関する研究（第3次）: 三角比の指導に焦点を当てて|journal=静岡大学教育学部研究報告（教科教育学篇）|volume=第38号|pages=pp. 35&ndash;50|date=2007-3|doi= 10.14945/00000994|ref=harv}}
*{{cite journal|和書|last=伊達|first=文治|title=三角法と対数の教材に関する史的考察|journal=[http://www.juen.ac.jp/math/journal.html 上越数学教育研究]|volume=第30号|publisher=上越教育大学数学教室|date=2015|pages=pp. 13&ndash;22|url=http://www.juen.ac.jp/math/journal/files/vol30/2015-date.pdf|ref=harv}}
{{refend}}

== 外部リンク ==
{{commonscat|Logarithm}}
* {{MathWorld|urlname=Logarithm|title=Logarithm}}
* {{nlab|urlname=logarithm|title=Logarithms}}
* {{PlanetMath|urlname=Logarithm|title=logarithm}}
* {{ProofWiki|urlname=Definition:Logarithm|title=Definition:Logarithm}}
* {{SpringerEOM|urlname=Logarithm_of_a_number|title=Logarithm of a number}}

* [http://www.freewebs.com/brianjs/logarithmcalculator.htm Logarithm Calculator]
* [http://www.mathlogarithms.com/ Explaining Logarithms]
* [http://www.micheloud.com/FXM/LOG/index.htm Jost Burgi, Swiss Inventor of Logarithms]
* [https://web.archive.org/web/20070627125949/http://www.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]

{{二項演算}}
{{Normdaten}}
{{DEFAULTSORT:たいすう}}
[[Category:解析学]]
[[Category:初等数学]]
[[Category:初等関数]]
[[Category:対数|*]]
[[Category:数学に関する記事]]