対数方程式の解法において,基本となる次の命題である. 証明は,対数関数の単調性から明らかであろう.
a > 0, a\ne1, M > 0, N > 0とする.
このとき,次が成り立つ.
a > 1\mbox{なら,}
\log_aM < \log_aN
\Longleftrightarrow
M < N
0 < a < 1\mbox{なら,}
\log_aM < \log_aN
\Longleftrightarrow
M > N
\log_2(x^2+x-2) > 2
\log_2(x^2+x-2) < 2
\log_2(x-1)+\log_2(x+2) > 2
\log_2(x-1)+\log_2(x+2) < 2