対数

提供: miniwiki
移動先:案内、検索

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

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

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

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

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

定義

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

指数関数を用いた定義

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

[math]x = a^p[/math]

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

[math]p = \log_a x.[/math]

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

演算法則からの定義

正の実数 a ≠ 1 について、正の実数 x を変数にとる実数値連続関数 fa (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]

と書き、この関数 logテンプレート:Ind 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：21/12、全音が周波数比 1：22/12 と定義されているため、二進対数を用いると計算が簡便になる。他の対数と区別するために "lb" という記号を用いることがある (ISO 31/XI)。また二進対数では"lg n"と表記されることがよくある[2]。

歴史

"「対数の歴史（English版）」"

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

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

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

{{safesubst:#invoke:Anchor|main}} オリジナルの定義

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

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

[math]x=10^7 \left( 1-\frac{1}{10^7} \right)^p[/math]

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

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

[math]x=10^8 \left( 1+\frac{1}{10^4} \right)^p[/math]

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

ベキの表記

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

計算

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

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

[math]\begin{align} x &= a^p \\ y &= a^q \end{align}[/math]

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

[math]a^p a^q = a^{p + q}[/math]

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

  1. 対数表を参照するなどして x を p に、y を q に変換する。
  2. 和 p + q を計算する。
  3. 対数表を逆に参照するなどして p + q の結果を ap + q に変換する。
  4. これが求める積 xy である。

対数の性質

以下の節において、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\frac{x}{y}=\log_a x-\log_a y[/math]

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

[math]\log_a x^p =p\log_a x[/math]

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

[math]\log_{a^p} {x} =\frac{1}{p}\log_a x[/math]

底の変換

loga x を用いた式から logb 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]

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

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

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

[math]\log_a x = {1 \over \log_x a}[/math]

を得る。

また、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]

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

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

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

  • [math]\log_a 1=0[/math]

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

  • [math]x\lt y\Leftrightarrow \log_a x\lt \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\lt y\Leftrightarrow \log_a x\gt \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 > 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|\lt 1)[/math]

積分に関する公式（以下の不定積分において 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]

関連項目

注釈

  1. ↑ この条件は真数条件と呼ばれる。
  2. ↑ ネイピア数 e のヤコブ・ベルヌーイによる発見が1683年であり、指数関数の発見もその頃である。詳細は指数関数#歴史と概観や O'Connor & Robertson 2001 を参照。

文献

  1. ↑ Cajori 1913 No.1, p. 5, Cajori 1913 No.2, p. 35, Cajori 1913 No.3, p. 75, Cajori 1913 No.4, p. 107, Cajori 1913 No.5, p. 148, Cajori 1913 No.6, p. 173, Cajori 1913 No.7, p. 205.
  2. ↑ Cormen, Thomas H. [1990] (2001). Introduction to Algorithms, 2nd, MIT Press and McGraw-Hill. ISBN 0-262-03293-7. 
  3. ↑ 熊倉 2007, p. 38.
  4. ↑ 伊達 2015, p. 14.
  5. ↑ 本橋 2009.
  6. ↑ Apostol 1976.

参考文献

  • 本橋, 洋一 『解析的整数論 I ―素数分布論―』 朝倉書店〈朝倉数学大系1〉、東京、2009年。ISBN 978-4-254-11821-6。
  • Apostol, T. M. (1976). Introduction to Analytic Number Theory, Undergraduate Texts in Mathematics. Springer-Verlag. ISBN 978-1-4757-5579-4. 
  • Cajori, Florian (1913-1). History of the exponential and logarithmic concepts. 20. American Mathematical Monthly. pp. 5-14. doi:10.2307/2973509. 
  • Cajori, Florian (1913-2). History of the exponential and logarithmic concepts. 20. American Mathematical Monthly. pp. 35-47. doi:10.2307/2974078. 
  • Cajori, Florian (1913-3). History of the exponential and logarithmic concepts. 20. American Mathematical Monthly. pp. 75-84. doi:10.2307/2973441. 
  • Cajori, Florian (1913-4). History of the exponential and logarithmic concepts. 20. American Mathematical Monthly. pp. 107-117. doi:10.2307/2972960. 
  • Cajori, Florian (1913-5). History of the exponential and logarithmic concepts. 20. American Mathematical Monthly. pp. 148-151. doi:10.2307/2972412. 
  • Cajori, Florian (1913-6). History of the exponential and logarithmic concepts. 20. American Mathematical Monthly. pp. 173-182. doi:10.2307/2973069. 
  • Cajori, Florian (1913-7). History of the exponential and logarithmic concepts. 20. American Mathematical Monthly. pp. 205-210. doi:10.2307/2974104. 
  • O'Connor, John J.; Robertson, Edmund F. (2001-9), “The number e”, School of Mathematics and Statistics (University of St Andrews, Scotland), http://www-history.mcs.st-andrews.ac.uk/HistTopics/e.html . 2015閲覧. 
  • 熊倉, 啓之「中学との接続を重視した高等学校の幾何教育に関する研究（第3次）: 三角比の指導に焦点を当てて」、『静岡大学教育学部研究報告（教科教育学篇）』第38号、2007年3月、 pp. 35–50、 doi:10.14945/00000994。
  • 伊達, 文治「三角法と対数の教材に関する史的考察」、『上越数学教育研究』第30号、上越教育大学数学教室、2015年、 pp. 13–22。

外部リンク

|CitationClass=citation }}

テンプレート:二項演算



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=対数&oldid=113690」から取得