対数

対数（たいすう、英: 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 \neq 1, b > 0$ )、真数 $x$ が正数である場合 ( $x > 0$ )^{[注釈 1]} について定義される。これらの条件を満たす対数は、ある $x$ と $b$ の組に対してただ一つに定まる。

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

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

定義[編集]

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

指数関数を用いた定義[編集]

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

x=a^{p}

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

p=\log _{a}x.

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

演算法則からの定義[編集]

正の実数 $a \neq 1$ について、正の実数 $x$ を変数にとる実数値連続関数 $f a (x)$ として

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

を満たすものを

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]。

歴史[編集]

詳細は「対数の歴史（英語版）」を参照

「en:Logarithm#History」も参照

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

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

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

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

オリジナルの定義[編集]

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

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

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

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

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

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

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

冪の表記[編集]

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

計算[編集]

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

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

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

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

a^{p}a^{q}=a^{p+q}

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

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

具体例[編集]

常用対数表を用いて積を求める例を示す。

345 × 4560 = 3.45 × 4.56 × 10⁵ ・・・(1)

対数の性質より

log

₁₀(3.45 × 4.56) =

log

₁₀3.45 +

log

₁₀4.56

常用対数表より

log

₁₀3.45 = 0.5378 ,

log

₁₀4.56 = 0.6590

これより

log

₁₀3.45 +

log

₁₀4.56 = 0.5378 + 0.6590 = 1.1968 = 0.1968 + 1

常用対数表より対数 0.1968 に近い真数を探すと

0.1968 ≒

log

₁₀1.57

また、1 = $log$ ₁₀10 であるから

log

₁₀(3.45 × 4.56) =

log

₁₀3.45 +

log

₁₀4.56 ≒

log

₁₀1.57 +

log

₁₀10 =

log

₁₀15.7

これより、3.45 × 4.56 ≒ 15.7　・・・(2)
(2)を(1)に代入して、

345 × 4560 ≒ 15.7 × 10⁵ = 1,570,000

これは 345 × 4560 = 1,573,200 に対して上から3桁までの値が一致している。
(精度が必要な場合は有効数字の大きな対数表を用いる必要がある。一般に対数は無限小数の形で求められ、対数表の値は近似値である。)

対数の性質[編集]

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

基本的な演算[編集]

定義より

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

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

\log _{a}x^{p}=p\log _{a}x

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

\log _{a^{p}}{x}={\frac {1}{p}}\log _{a}x

底の変換[編集]

$log a x$ を用いた式から $log b 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}

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

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

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

\log _{a}x={1 \over \log _{x}a}

を得る。

また、 $b = 1/ 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

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

対数の値の大きさに関する性質[編集]

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

$\log _{a}1=0$

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

$x<y\Leftrightarrow \log _{a}x<\log _{a}y$

であり、

$\lim _{x\to 0+}\log _{a}x=-\infty$
$\lim _{x\to \infty }\log _{a}x=\infty$

が成り立つ。

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

$x<y\Leftrightarrow \log _{a}x>\log _{a}y$

であり、

$\lim _{x\to 0+}\log _{a}x=\infty$
$\lim _{x\to \infty }\log _{a}x=-\infty$

が成り立つ。

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

$\lim _{x\to \infty }{\frac {|\log _{a}x|}{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}}$

マクローリン展開^{[注釈 3]}

$\ln(1+x)=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}}{n}}x^{n}\quad (|x|<1)$
$\ln(1-x)=-\sum _{n=1}^{\infty }{\frac {1}{n}}x^{n}\quad (|x|<1)$

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

$\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}}<\ln(1+x)<x\quad (x>0)$

符号位置[編集]

記号	Unicode	JIS X 0213	文字参照	名称
㏒	`U+33D2`	`-`	`㏒` `㏒`	SQUARE LOG

脚注[編集]

[脚注の使い方]

注釈[編集]

^ この条件は真数条件と呼ばれる。
^ ネイピア数 $e$ のヤコブ・ベルヌーイによる発見が1683年であり、指数関数の発見もその頃である。詳細は指数関数#歴史と概観や O'Connor & Robertson 2001 を参照。
^ 数値計算をする上では
$\ln {\frac {1+x}{1-x}}=2\sum _{n=0}^{\infty }{\frac {x^{2n+1}}{2n+1}}\quad (|x|<1)$
を用いる方が収束が速く、さらに $(1 + x)/(1 - x)$ は任意の正の実数を表せる(クーラント & ロビンズ 2001, 対数に対する無限級数．数値計算)。

出典[編集]

^ 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.
^ Cormen, Thomas H.; Leiserson, Charles E., Rivest, Ronald L., Stein, Clifford (2001) [1990]. Introduction to Algorithms (2nd ed.). MIT Press and McGraw-Hill. p. 34. ISBN 0-262-03293-7
^ 熊倉 2007, p. 38.
^ 伊達 2015, p. 14.
^ 黒木哲徳『なっとくする数学記号』講談社〈ブルーバックス〉、2021年、45頁。ISBN 9784065225509。
^ 本橋 2009.
^ Apostol 1976.

参考文献[編集]

本橋, 洋一『解析的整数論 I ―素数分布論―』朝倉書店、東京〈朝倉数学大系1〉、2009年。ISBN 978-4-254-11821-6。
クーラント, R.、ロビンズ, H.『数学とは何か』（原書第2版）岩波書店、2001年。ISBN 978-4-00-005523-9。
Apostol, T. M. (1976). Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics. New York: 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) 2015年12月4日閲覧。
熊倉, 啓之「中学との接続を重視した高等学校の幾何教育に関する研究（第3次）: 三角比の指導に焦点を当てて」『静岡大学教育学部研究報告（教科教育学篇）』第38号、2007年3月、pp. 35–50、doi:10.14945/00000994。
伊達, 文治「三角法と対数の教材に関する史的考察」『上越数学教育研究』第30号、上越教育大学数学教室、2015年、pp. 13–22。

外部リンク[編集]

Weisstein, Eric W. "Logarithm". mathworld.wolfram.com (英語).
Logarithms in nLab
logarithm - PlanetMath.（英語）
Definition:Logarithm at ProofWiki
Hazewinkel, Michiel, ed. (2001), “Logarithm of a number”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

[1] この条件は真数条件と呼ばれる。

[3] ネイピア数 $e$ のヤコブ・ベルヌーイによる発見が1683年であり、指数関数の発見もその頃である。詳細は指数関数#歴史と概観や O'Connor & Robertson 2001 を参照。

[10] 数値計算をする上では
$\ln {\frac {1+x}{1-x}}=2\sum _{n=0}^{\infty }{\frac {x^{2n+1}}{2n+1}}\quad (|x|<1)$
を用いる方が収束が速く、さらに $(1 + x)/(1 - x)$ は任意の正の実数を表せる(クーラント & ロビンズ 2001, 対数に対する無限級数．数値計算)。

[2] 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.

[4] Cormen, Thomas H.; Leiserson, Charles E., Rivest, Ronald L., Stein, Clifford (2001) [1990]. Introduction to Algorithms (2nd ed.). MIT Press and McGraw-Hill. p. 34. ISBN 0-262-03293-7

[FOOTNOTE熊倉200738-5] 熊倉 2007, p. 38.

[FOOTNOTE伊達201514-6] 伊達 2015, p. 14.

[7] 黒木哲徳『なっとくする数学記号』講談社〈ブルーバックス〉、2021年、45頁。ISBN 9784065225509。

[FOOTNOTE本橋2009-8] 本橋 2009.

[FOOTNOTEApostol1976-9] Apostol 1976.

[注釈 1]

[1]

[注釈 2]

[2]

[3]

[4]

[5]

[6]

[7]

[注釈 3]

表話編歴二項演算
四則演算	加法減法乗法除法
ハイパー演算	加法乗法冪乗テトレーションペンテーション
その他	対数二項係数スターリング数階乗冪剰余演算最小公倍数最大公約数平方剰余記号
カテゴリ

定義[編集]

指数関数を用いた定義[編集]

演算法則からの定義[編集]

特殊な底[編集]

歴史[編集]

オリジナルの定義[編集]

冪の表記[編集]

計算[編集]

具体例[編集]

対数の性質[編集]

基本的な演算[編集]

底の変換[編集]

余対数[編集]

対数の値の大きさに関する性質[編集]

解析学における公式[編集]

符号位置[編集]

脚注[編集]

注釈[編集]

出典[編集]

参考文献[編集]

関連項目[編集]

外部リンク[編集]