在數學中,有許多對數恆等式。
代數恆等式[編輯]
簡化計算[編輯]
對數可以用來簡化計算。例如,兩個數可以只通過查表和相加而得到乘積。
|
對應到 |
|
|
|
|
|
|
|
|
歐拉恆等式:
|
消去指數[編輯]
同底的對數和指數會彼此消去。這是因為對數和指數是互逆運算(就像乘法和除法那樣)。
![{\displaystyle b^{\log _{b}(x)}=x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/279efc9f676f2d56705091a6a06484d0ed2e05db) |
因為 |
|
![{\displaystyle \log _{b}(b^{x})=x\!\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c621245b883b70f51ff84cd7dcbf71f42717743) |
因為 |
|
換底公式[編輯]
![{\displaystyle \log _{\theta }x={\frac {\log _{\phi }x}{\log _{\phi }\theta }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/380ef9f43dc5bfd10c3e7259cfd7515543b39502)
在計算器上計算對數時需要用到這個公式。例如,大多數計算器有ln和log10的按鈕,但卻沒有
的。要計算
,只有計算
[註 1]。
這個公式有許多推論:
![{\displaystyle \log _{a}b={\frac {1}{\log _{b}a}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15dbdb202a6378003932e79acd2bb1445ab79b78)
![{\displaystyle \log _{a^{n}}b={{\log _{a}b} \over n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/292957e57ad67be57d36bbc5fb7386a92077a775)
![{\displaystyle a^{\log _{b}c}=c^{\log _{b}a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/16f5410f566d0437fa4e94f46fe96659a4676013)
![{\displaystyle \log _{a_{1}}b_{1}\,\cdots \,\log _{a_{n}}b_{n}=\log _{a_{\pi (1)}}b_{1}\,\cdots \,\log _{a_{\pi (n)}}b_{n},\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b7fb74682909ae14b3dd606a5533a3709cfde47b)
是下標
的任意的排列。例如
![{\displaystyle \log _{a}w\cdot \log _{b}x\cdot \log _{c}y\cdot \log _{d}z=\log _{d}w\cdot \log _{a}x\cdot \log _{b}y\cdot \log _{c}z.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2664995bae541a524f05c39e7463e78c26f18c92)
和/差公式[編輯]
下面的和/差規則對概率論中的對數化概率的計算非常有用:
[註 2]
普通恆等式[編輯]
![{\displaystyle \log _{b}(1)=0\!\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d722057c172d6205d8fa4f9639ba59195dcd4fa) |
因為 |
|
![{\displaystyle \log _{b}(b)=1\!\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/60ea1710fc1dd65eb503ff34f4e60ed931867574) |
因為 |
|
注意
無定義,因為沒有一個數
使
成立。
微積分恆等式[編輯]
![{\displaystyle \lim _{x\to 0^{+}}\log _{a}x=-\infty \quad {\mbox{if }}a>1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6178e257b73c07ffa1eb055619baeee9c608f98f)
![{\displaystyle \lim _{x\to 0^{+}}\log _{a}x=\infty \quad {\mbox{if }}a<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e25e3db784008200f071c9b1accfe4d70c838a4e)
![{\displaystyle \lim _{x\to \infty }\log _{a}x=\infty \quad {\mbox{if }}a>1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee3149844beade9b842523133a4e16eb3333fdd7)
![{\displaystyle \lim _{x\to \infty }\log _{a}x=-\infty \quad {\mbox{if }}a<1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d00d057aa3b747a9db38732dac7233f3e3d27a12)
![{\displaystyle \lim _{x\to 0^{+}}x^{b}\log _{a}x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba195e3df473541352d62701ffdc4df98b6bd816)
![{\displaystyle \lim _{x\to \infty }{1 \over x^{b}}\log _{a}x=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41894b8cf122d7336bcda5352973c934faef04e0)
最後一個極限經常被總結為「
的對數增長得比
的任何次方或方根都慢」。[註 3]
![{\displaystyle {d \over dx}\ln x={1 \over x}={\ln e \over x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3be1af00e76999bcf4053bcc774aade5aaee092e)
積分定義[編輯]
![{\displaystyle \ln x=\int _{1}^{x}{\frac {1}{t}}dt}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51e72c70a86d7ec8c9b4353058bda339ff8598c7)
![{\displaystyle \int \log _{a}x\,dx=x(\log _{a}x-\log _{a}e)+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3e9d4b89241e2696ab222e6e33cb73c928a62af)
為了記憶積分,可以方便的定義:
![{\displaystyle x^{\left[n\right]}=x^{n}(\log(x)-H_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/be26aeae0c7b88d50e760d2ce40df2af4c44b0bb)
![{\displaystyle x^{\left[0\right]}=\log x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/078fe3653cf35a30aea1b7f03ea554ae7670b967)
![{\displaystyle x^{\left[1\right]}=x\log(x)-x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c12b6bda581e741822ed456b8e7c42955525db0)
![{\displaystyle x^{\left[2\right]}=x^{2}\log(x)-{\begin{matrix}{\frac {3}{2}}\end{matrix}}\,x^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41c21bdba06d346a4ba6099ffecd4612135f157a)
![{\displaystyle x^{\left[3\right]}=x^{3}\log(x)-{\begin{matrix}{\frac {11}{6}}\end{matrix}}\,x^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1dd85612d205f8fab7b2af8590f297eec9c209a)
於是,
![{\displaystyle {\frac {d}{dx}}\,x^{\left[n\right]}=n\,x^{\left[n-1\right]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1466307fb829dca298b9bfcce3e58bd33c52d8a)
![{\displaystyle \int x^{\left[n\right]}\,dx={\frac {x^{\left[n+1\right]}}{n+1}}+C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92036b7056a0179b00f4d6739640046d2e8553ba)
求大數的近似數[編輯]
對數恆等式可以用來求大數的近似數。
假設我們要得到第44個梅森質數
的近似值。先取對數(
被忽略),
以10為底的對數等於 32,582,657 與
的乘積,計算得到
。再取指數消去對數,得到最後結果為
.
類似地,階乘的結果可以用每項的對數之和來近似。