対数 （たいすう、英 : logarithm ）とは、ある数 x を数 b の冪乗 bp として表した場合の冪指数 p である。この p は「底を b とする x の対数 （英 : logarithm of x to base b ; base b logarithm of x ）」と呼ばれ、通常は logb x と書き表される。また、対数 logb x に対する x は真数 （しんすう、英 : antilogarithm ）と呼ばれる。数 x に対応する対数を与える関数 を考えることができ、そのような関数を対数関数と呼ぶ。対数関数は通常 log と表される。
通常の対数 logb x は真数 x , 底 b を実数 として定義されるが、実数の対数からの類推により、複素数 や行列 などの様々な数に対してその対数が定義されている。
実数の対数 logb x は、底 b が 1 でない正数であり (b ≠ 1, b > 0x が正数である場合 (x > 0[ 注釈 1] x と b の組に対してただ一つに定まる。
実数の対数関数 logb x は底 b に対する指数関数 bx の逆関数である。この性質はしばしば対数関数の定義 として用いられるが、歴史的には対数の出現の方が指数関数よりも先である[ 1] [ 注釈 2]
対数関数のグラフの底を変えたときの様子。緑の曲線は底が 10 、赤の曲線は底がネイピア数 e ∼ 2.71.7 の対数である（底 10 の対数は常用対数 、底 e の対数は自然対数 と呼ばれる）。すべての曲線は点 (1, 0) を通り、y 軸を漸近線 に持つ。
一般には複素数 でも定義されるが、その解説は自然対数 の項目にゆずる。
1 でない正の実数 a および正の実数 x に対し
x
=
a
p
{\displaystyle x=a^{p}}
を満たす実数 p がただ一つ定まる。この p を x の a を底とする対数として定義する。x に対して a を底とする対数を loga x と表わせば、上記の方程式を満たす p は以下のように書き換えることができる。
p
=
log
a
x
.
{\displaystyle p=\log _{a}x.}
この対数の定義はレオンハルト・オイラー による（1728年）。
正の実数 a ≠ 1x を変数 にとる実数値連続 関数 fa (x )
f
a
(
x
y
)
=
f
a
(
x
)
+
f
a
(
y
)
f
a
(
a
)
=
1
{\displaystyle {\begin{aligned}f_{a}(xy)&=f_{a}(x)+f_{a}(y)\\f_{a}(a)&=1\end{aligned}}}
を満たすものを
f
a
(
x
)
=
log
a
x
{\displaystyle f_{a}(x)=\log _{a}x}
と書き、この関数 loga 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]
対数の概念は、16世紀末にヨスト・ビュルギ （1588年）やジョン・ネイピア （1594年）によって考案され、便利な計算法として広まった。天文学や航海学では膨大な数値計算がすでに必要とされており、三角関数表についてはヒッパルコス のころから存在していたとされ、ティコ・ブラーエ は三角関数表を応用して掛け算を足し算に変換して計算する手法を使用していた。ネイピアは、20年かけて対数表を作成し1614年に発表した。エドマンド・ガンター は対数の値を長さに換算した目盛りを持つ物差しを利用し、以上の計算手順を簡単に行えるようにした計算尺 を発明した。対数は煩雑な計算にかける労力を大幅に減らし、ヨハネス・ケプラー による天体の軌道計算をはじめとして、その後の科学 の急激な発展を支えた。
記号としては1624年にケプラーが"Log"を使い、その後オイラーが常用対数に"log"を、それ以外の底の対数に"l"を使った。用語としての対数（logarithm）はネイピアがギリシャ語のロゴス（関係）とアリトモス（数）を組み合わせたものだという[ 5]
対数表の近似精度を高めることはネイピア以降もしばしば行われ、産業政策にも利用された。1790年にフランスで ガスパール・ド・プロニー が失業中の理髪師たちを集めて雇用し計算させたのをはじめに、チャールズ・バベッジ の階差機関 への挑戦（1827年）や20世紀初頭アメリカ・ニューディール政策 における公共事業促進局 の実施するプロジェクト (Mathematical Tables Project ) において精度向上の試みが行われた。
指数関数 的に変化する量を対数に変換してみると、線型性 などの綺麗な性質が浮かび上がる。また、双曲線 などの面積を求める積分法 にも対数があらわれる（たとえば、∫A x −1 dx = loge |A | である）。これらの例の他にも対数はいろいろな場面であらわれ、単なる「簡便な計算法」以上の意味を持つことも多い。そのため対数は、詳しく研究されてきた関数の一つでもある。
ネイピアらが示した対数の定義は現在用いられているものとは異なっていた。
ネイピアによる対数の定義は次のようなものである：正の実数 x に対して
x
=
10
7
(
1
−
1
10
7
)
p
{\displaystyle x=10^{7}\left(1-{\frac {1}{10^{7}}}\right)^{p}}
を満たす実数 p がただ一つ定まる。この p のことを ネイピアの対数 （英 : Napierian logarithm ）という。この値は、−107 ln (x /107 ) と 7 桁の精度で一致する。ネイピアは、1594年に対数の概念に到達し、この定義を用いて20年間計算を続け、7 桁の数の対数表を完成させて1614年に発表した。
ビュルギもまた対数の発見者であるが、ビュルギが用いた定義はネイピアのものとはわずかに異なっている。ビュルギによる対数の定義は次のようなものである：正の実数 x に対して
x
=
10
8
(
1
+
1
10
4
)
p
{\displaystyle x=10^{8}\left(1+{\frac {1}{10^{4}}}\right)^{p}}
を満たす実数 p がただ一つ定まる。この p のことをビュルギの対数 という。この値は、104 ln (x /108 ) と4桁の精度で一致する。ビュルギは、ネイピアよりも早く1588年に対数の概念を発見したが、1620年まで公表しなかったため、対数の発見者としてはネイピアが称えられることが多い。
三角関数 において例えば (sin x )2 の意味で sin2 x と書くのと同様に、対数関数に対しても、2 以上の整数 n に対して logn x という表記が使われることがある。
対数により、積の計算を、より簡単な和の計算に置き換えることができる。いくつかの例外を除き、有限の手順では対数の値を厳密に求めることはできないため、対数の計算には近似値 を用いる。予め定めた近似の精度に応じて有効数字 が決定される。対数の近似計算は計算量が多く高コストであるため、対数を含んだ計算には基本的に数表が用いられる。この対数値を列挙した数表を対数表 という。対数表には限られた数しか値が載っていないため、対数表から対数値を参照する場合にはしばしば補間公式が用いられる。
2つの正の実数 x , y a ≠ 1
x
=
a
p
y
=
a
q
{\displaystyle {\begin{aligned}x&=a^{p}\\y&=a^{q}\end{aligned}}}
という置き換えがいつでも可能であり、指数法則
a
p
a
q
=
a
p
+
q
{\displaystyle 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 × 105 ・・・(1) 対数の性質より
log 10 (3.45 × 4.56) = log 10 3.45 + log 10 4.56常用対数表より
log 10 3.45 = 0.5378 , log 10 4.56 = 0.6590これより
log 10 3.45 + log 10 4.56 = 0.5378 + 0.6590 = 1.1968 = 0.1968 + 1常用対数表より対数 0.1968 に近い真数を探すと
0.1968 ≒ log 10 1.57 また、1 = log 10 10 であるから
log 10 (3.45 × 4.56) = log 10 3.45 + log 10 4.56 ≒ log 10 1.57 + log 10 10 = log 10 15.7これより、3.45 × 4.56 ≒ 15.7 ・・・(2)
345 × 4560 ≒ 15.7 × 105 = 1,570,000 これは 345 × 4560 = 1,573,200 に対して上から3桁までの値が一致している。
以下の節において、a , b x , y p は実数、ln x は自然対数 を表す。
定義より
a
log
a
x
=
x
{\displaystyle a^{\log _{a}x}=x}
が成り立つ。
積の対数は（底が等しい）対数の和に等しい。
log
a
x
y
=
log
a
x
+
log
a
y
{\displaystyle \log _{a}xy=\log _{a}x+\log _{a}y}
商の対数は（底が等しい）対数の差に等しい。
log
a
x
y
=
log
a
x
−
log
a
y
{\displaystyle \log _{a}{\frac {x}{y}}=\log _{a}x-\log _{a}y}
p 乗の対数は、対数の p 倍に等しい。
log
a
x
p
=
p
log
a
x
{\displaystyle \log _{a}x^{p}=p\log _{a}x}
また、底の p 乗の対数は、対数の 1/p 倍に等しい。(p は0でない実数)
log
a
p
x
=
1
p
log
a
x
{\displaystyle \log _{a^{p}}{x}={\frac {1}{p}}\log _{a}x}
loga x を用いた式から logb x を用いた式へと変形するには、
log
b
x
=
log
b
(
a
log
a
x
)
=
log
a
x
⋅
log
b
a
{\displaystyle \log _{b}x=\log _{b}\left(a^{\log _{a}x}\right)=\log _{a}x\cdot \log _{b}a}
となることから、
log
a
x
=
log
b
x
log
b
a
{\displaystyle \log _{a}x={\log _{b}x \over \log _{b}a}}
とすればよい。これを底の変換 という。
これにより、特定の底・任意の真数での対数が分かる場合に、それらの値から任意の底での対数を得ることができる。たとえば、b = 10log10 a と log10 x を引くこともできるし、底 b をネイピア数 e として後述のマクローリン展開で loge a と loge x を計算してもよい。
特に、x ≠ 1b = x
log
a
x
=
1
log
x
a
{\displaystyle \log _{a}x={1 \over \log _{x}a}}
を得る。
また、b = 1/a
log
1
/
a
x
=
log
a
x
log
a
(
1
/
a
)
=
−
log
a
x
.
{\displaystyle \log _{1/a}x={\frac {\log _{a}x}{\log _{a}(1/a)}}=-\log _{a}x.}
逆数の対数
c
o
l
o
g
a
x
=
log
a
1
x
=
−
log
a
x
=
log
1
/
a
x
{\displaystyle \mathrm {colog} _{a}x=\log _{a}{\frac {1}{x}}=-\log _{a}x=\log _{1/a}x}
を a を底とする余対数 （よたいすう、英 : cologarithm ）と呼ぶ。
底の値によらず、真数が 1 のとき対数は 0 である。
log
a
1
=
0
{\displaystyle \log _{a}1=0}
a > 1
x
<
y
⇔
log
a
x
<
log
a
y
{\displaystyle x<y\Leftrightarrow \log _{a}x<\log _{a}y}
であり、
lim
x
→
0
+
log
a
x
=
−
∞
{\displaystyle \lim _{x\to 0+}\log _{a}x=-\infty }
lim
x
→
∞
log
a
x
=
∞
{\displaystyle \lim _{x\to \infty }\log _{a}x=\infty }
が成り立つ。
0 < a < 1 の場合、対数は狭義単調減少
x
<
y
⇔
log
a
x
>
log
a
y
{\displaystyle x<y\Leftrightarrow \log _{a}x>\log _{a}y}
であり、
lim
x
→
0
+
log
a
x
=
∞
{\displaystyle \lim _{x\to 0+}\log _{a}x=\infty }
lim
x
→
∞
log
a
x
=
−
∞
{\displaystyle \lim _{x\to \infty }\log _{a}x=-\infty }
が成り立つ。
対数の発散は「とても緩やか」であり p > 0
lim
x
→
∞
|
log
a
x
|
x
p
=
0
{\displaystyle \lim _{x\to \infty }{\frac {|\log _{a}x|}{x^{p}}}=0}
が成り立つ。
微分 に関する公式
d
d
x
ln
x
=
1
x
{\displaystyle {\frac {d}{dx}}\ln x={\frac {1}{x}}}
d
d
x
log
a
x
=
d
d
x
ln
x
ln
a
=
1
x
ln
a
=
log
a
e
x
{\displaystyle {\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
)
=
∑
n
=
1
∞
(
−
1
)
n
−
1
n
x
n
(
|
x
|
<
1
)
{\displaystyle \ln(1+x)=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}}{n}}x^{n}\quad (|x|<1)}
ln
(
1
−
x
)
=
−
∑
n
=
1
∞
1
n
x
n
(
|
x
|
<
1
)
{\displaystyle \ln(1-x)=-\sum _{n=1}^{\infty }{\frac {1}{n}}x^{n}\quad (|x|<1)}
積分に関する公式（以下の不定積分において C は積分定数とする）
∫
d
x
x
=
ln
|
x
|
+
C
{\displaystyle \int {\frac {dx}{x}}=\ln |x|+C}
∫
ln
x
d
x
=
x
ln
x
−
x
+
C
{\displaystyle \int \ln x\,dx=x\ln x-x+C}
∫
log
a
x
d
x
=
x
ln
x
−
x
ln
a
+
C
=
x
log
a
x
−
x
log
a
e
+
C
=
x
log
a
x
e
+
C
{\displaystyle \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}
不等式
x
1
+
x
<
ln
(
1
+
x
)
<
x
(
x
>
0
)
{\displaystyle {\frac {x}{1+x}}<\ln(1+x)<x\quad (x>0)}
^ この条件は真数条件 と呼ばれる。
^ ネイピア数 e のヤコブ・ベルヌーイ による発見が1683年であり、指数関数の発見もその頃である。詳細は指数関数#歴史と概観 や O'Connor & Robertson 2001 を参照。^ 数値計算をする上では
ln
1
+
x
1
−
x
=
2
∑
n
=
0
∞
x
2
n
+
1
2
n
+
1
(
|
x
|
<
1
)
{\displaystyle \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 ISBN 0-262-03293-7 ^ 黒木哲徳『なっとくする数学記号』講談社〈ブルーバックス〉、2021年、45頁。ISBN 9784065225509 。
本橋, 洋一『解析的整数論 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), http://www-history.mcs.st-andrews.ac.uk/HistTopics/e.html 2015年12月4日 閲覧。 熊倉, 啓之「中学との接続を重視した高等学校の幾何教育に関する研究（第3次）: 三角比の指導に焦点を当てて」『静岡大学教育学部研究報告（教科教育学篇）』第38号、2007年3月、pp. 35–50、doi :10.14945/00000994 。 伊達, 文治「三角法と対数の教材に関する史的考察 」『上越数学教育研究 』第30号、上越教育大学数学教室、2015年、pp. 13–22。
ウィキメディア・コモンズには、
対数 に関連するカテゴリがあります。
