次のように対数を定義する。
$a\neq0,1\,.b>0$とする。$a$を底とする$b$の対数を
$$ a^p=b\Longleftrightarrow p=\log_{a}{b}$$と定義する。
このとき、$b$を真数という。
また、$a\neq0,1$のことを底の条件、$b>0$を真数条件と呼ぶ。
この定義より$a^{\log_{a}{b}}=b$が直ちに分かる。
$a,b,c$がそれぞれ底の条件、真数条件を満たしているとき
$$ \log_{a}{b}\cdot \log_{b}{c}=\log_{a}{c}$$が成り立つ。
$$ \begin{align*} \log_{3}{25}\cdot\log_{5}{3}&=2\log_{3}{5}\cdot\log_{5}{3}\\ &=2\log_{3}{3}\\ &=2 \end{align*}$$
普段教科書で見る底の変換公式は$\displaystyle\log_{a}{b}=\frac{\log_{c}{b}}{\log_{c}{a}}$という形だが、変換剤としての役割を強調するためにこの形で書いた。
この形を見ると、あたかも$\displaystyle \frac{b}{a}\cdot\frac{c}{b}=\frac{c}{a}$と底と真数で"約分"しているように見える。当然、$\log_{2}{4}=\log_{1}{2}$としてはいけないが、底と真数が同じ値であるときであれば約分と同じ操作が可能であるといっているのがこの公式だ。
$a$を$b$に変える操作を一般に変換と言うことにする。
例えば$a$から$a$を引いて$b$を足せば、$a$が$b$になる。
$$ -a+b\rightarrow a+(-a+b)=b$$
また$a$を$a$で割って$b$を掛ければ、$a$が$b$になる。
$$ \frac{b}{a}\rightarrow a\cdot\frac{b}{a}=b$$
そして、先ほどの注意で見たように指数と対数を用いても変換ができる。
$$ \log_{a}{b}\rightarrow a^{\log_{a}{b}}=b$$
それぞれの$a$に施した演算を、変換剤と呼ぶことにする。
先ほどは$a\rightarrow b$という2文字の変換を考えたが、今度は$a\rightarrow b\rightarrow c$という3文字の変換を考える。そして、この変換の合成と$a\rightarrow c$という変換を比較することによって先ほどの底の変換公式を証明したいと思う。
$ (a^{\log_{a}{b}})^{\log_{b}{c}}$について
$$ \begin{align*}(a^{\log_{a}{b}})^{\log_{b}{c}}&=b^{\log_{b}{c}}\\
&=c
\end{align*}$$だが、指数法則より
$$ (a^{\log_{a}{b}})^{\log_{b}{c}}=a^{\log_{a}{b}\cdot\log_{b}{c}}$$が成り立つ。
ここで$a$を$c$に変換する変換剤は$\log_{a}{c}$であったから変換剤を比較することによって
$$ \log_{a}{b}\cdot\log_{b}{c}=\log_{a}{c}$$が示された。
今、当然のように変換剤を比較して等号で結んでしまったが、一般にこの操作はできるものではない。厳密には対数関数の単射性(単調性)を用いる。
変換剤を等式で結べるなら
$$\displaystyle \log_{a}{b}\cdot\log_{b}{c}=\frac{c}{a}$$が成り立つのではないか?という声が上がるかもしれないが、単純に変換剤としての役割が違うのでこう議論することはできない。
底の変換公式がなぜ分数の約分のよう振る舞うか、という問いには、変換剤として同じ役割をしているから、という答えを返すことができるだろう。
強いて言うなら、$\displaystyle \log_{a}{a}=\frac{\log_{b}{a}}{\log_{b}{a}}$という等式がこの特徴をよく表しているともいえる。
$A,C$は真数条件、$b$は底の条件を満たしているとする。このとき
$$ A^{\log_{b}{C}}=C^{\log_{b}{A}}$$が成り立つ。
大見出しで用いた"底"という言葉の使い方が、対数の定義に用いた底という言葉の使い方と違うので混乱してしまうかもしれないが、ここでの底は、$a^b$と書いたときの$a$を指す言葉だとしておく。(この"底"を「指数関数の底」と書くこともある。)
これの証明は具体例を見たほうがすんなりと入ってくるので、先に例を挙げたいと思う。
$$ \begin{align*} 9^{\log_{3}{5}}&=5^{\log_{3}{9}}\\ &=5^2\\ &=25\\ \\ 9^{\log_{3}{5}}&=\left(3^2\right)^{\log_{3}{5}}\\ &=5^2\hspace{50pt}(3^2\rightarrow 5^2)\\ &=25 \end{align*}$$
上の例は素直に定理2を用いたものだが、下の例は$9$を$3^2$とした後、$\log_{3}{5}$を「底の$3$を$5$に変換する変換剤」として解釈した解法である。この解法をもとに証明を考えると、これは容易いものだということが分かる。
$$ \begin{align*} A^{\log_{b}{C}}&=\left(b^{\log_{b}{A}}\right)^{\log_{b}{C}}\\ &=\left(b^{\log_{b}{C}}\right)^{\log_{b}{A}}\\ &=C^{\log_{b}{A}} \end{align*}$$
今回は、対数を変換剤という視点から考察し、有名公式の変換的思考からの証明を試みた。今回は数から数への変換というものに焦点を当てたが、ベクトルからベクトルへの変換(これにはまさに一次"変換"という名前がついているが)に焦点を当てても面白いかもしれない。