\(a, b, c\)を\(1\)でない正の実数とする．このとき，次が成り立つ．
\(\log_ab=\displaystyle\frac{1}{\log_ba}\)
\(\log_{a^m}b^n=\displaystyle\frac{n}{m}\log_ab\)
\(\log_ab\cdot\log_bc\cdot\log_ca=1\)
\(\log_{a^n}b^n=\log_ab\)
