第5章の最後に、$\log_2 (x - 1) = 3$ や $\log_2 x < 3$ を、対数関数の単調性と真数条件で解くと予告しました。この章ではそれを実行します。基本は第3章の指数方程式と同じで、「底をそろえて、中身(真数)どうしを比べる」だけです。ただし対数には「真数は正」という条件があり、これを忘れると、計算は合っているのに**余分な解**が混じります。第3章の厳密定義で見た「同値変形」が、対数ではどこで崩れるのか。そこを軸に、方程式・不等式・置きかえ・両辺の対数をとる方法まで進みます。
対数方程式——指数に戻すか、真数どうしを比べる
第5章の最後に予告した方程式から始めます。
log 2 ( x − 1 ) \displaystyle \log_2 (x - 1) log 2 ( x − 1 ) = 3 \displaystyle {}= 3 = 3
対数の定義(第4章 公式1)に戻れば、「2 2 2 を 3 3 3 乗すると x x x − 1 {}- 1 − 1 になる」ということです。x x x − 1 {}- 1 − 1 = 2 3 {}= 2^3 = 2 3 = 8 {}= 8 = 8 から x x x = 9 {}= 9 = 9 。 これで終わりです。
右辺の 3 3 3 を log 2 8 \log_2 8 log 2 8 と書き直して、log 2 ( x − 1 ) \log_2 (x - 1) log 2 ( x − 1 ) = log 2 8 {}= \log_2 8 = log 2 8 と見ることもできます。y y y = log 2 x {}= \log_2 x = log 2 x のグラフは右上がりの一本道(第5章 公式3)なので、同じ高さになる真数は 1 つしかありません。だから真数どうしが等しく、x x x − 1 {}- 1 − 1 = 8 {}= 8 = 8 です。第3章で「底をそろえて指数を比べた」のと同じ形で、今度は底をそろえて真数を比べる わけです。
気をつけたいのは、真数がいつでも正でなければならないことです(第4章の真数条件)。x x x − 1 {}- 1 − 1 = 8 {}= 8 = 8 のように右辺が正の数と決まっている形なら、真数条件は自動的に満たされます。一方、両辺に x x x の式がある log 3 ( x 2 − 3 ) \log_3 (x^2 - 3) log 3 ( x 2 − 3 ) = log 3 2 x {}= \log_3 2x = log 3 2 x では、x 2 x^2 x 2 − 3 {}- 3 − 3 = 2 x {}= 2x = 2 x を解くと x x x = 3 , {}= 3, = 3 , − 1 {}\ -1 − 1 が出てきますが、x x x = − 1 {}= -1 = − 1 では真数 2 x 2x 2 x が − 2 -2 − 2 になり、log 3 ( − 2 ) \log_3 (-2) log 3 ( − 2 ) は意味を持ちません。
2 つ目の条件が「f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 」 の 1 つだけでよいのは、f ( x ) f(x) f ( x ) = g ( x ) {}= g(x) = g ( x ) なので g ( x ) g(x) g ( x ) も同じ値、つまり自動的に正になるからです。
野球チームの背番号を思い浮かべてください。同じチームの中なら、背番号 18 の選手はただ 1 人です。「背番号が同じなら同じ選手」と言えます。底をそろえるのは同じチームに入れること、log \log log の値が背番号、真数が選手です。ただし、背番号をもらえるのはチームに登録された選手だけです。x 2 x^2 x 2 − 3 {}- 3 − 3 = 2 x {}= 2x = 2 x の解 x x x = − 1 {}= -1 = − 1 は、計算の上では背番号の欄が埋まっても、そもそも登録されていない(真数が正でない)選手でした。
対数方程式は、対数の定義で指数の形に戻すか、底をそろえて真数どうしを等しいとおけば解け、両辺に x x x の式があるときは、出てきた解の真数が正かどうかを確かめて選べばよいということです。
例題1:基本形の対数方程式
(1) log 3 ( 2 x + 1 ) \log_3 (2x + 1) log 3 ( 2 x + 1 ) = 2 {}= 2 = 2
(2) log 1 2 ( x − 3 ) \log_{\frac{1}{2}} (x - 3) log 2 1 ( x − 3 ) = − 2 {}= -2 = − 2
(3) log 3 ( x 2 − 3 ) \log_3 (x^2 - 3) log 3 ( x 2 − 3 ) = log 3 2 x {}= \log_3 2x = log 3 2 x
上の各方程式の解を求めなさい。
【解答】
(1) 対数の定義から 2 x 2x 2 x + 1 {}+ 1 + 1 = 3 2 {}= 3^2 = 3 2 = 9 {}= 9 = 9 なので x = 4 ‾ \underline{x = 4} x = 4
(2) x x x − 3 {}- 3 − 3 = ( 1 2 ) − 2 {}= \left(\dfrac{1}{2}\right)^{-2} = ( 2 1 ) − 2 = 4 {}= 4 = 4 なので x = 7 ‾ \underline{x = 7} x = 7
(3) 真数どうしを等しいとおくと x 2 x^2 x 2 − 3 {}- 3 − 3 = 2 x {}= 2x = 2 x ,x 2 x^2 x 2 − 2 x {}- 2x − 2 x − 3 {}- 3 − 3 = 0 {}= 0 = 0 ,( x − 3 ) ( x + 1 ) (x - 3)(x + 1) ( x − 3 ) ( x + 1 ) = 0 {}= 0 = 0 より x x x = 3 , {}= 3, = 3 , − 1 {}\ -1 − 1 。
x x x = 3 {}= 3 = 3 のとき、真数は x 2 x^2 x 2 − 3 {}- 3 − 3 = 6 {}= 6 = 6 ,2 x 2x 2 x = 6 {}= 6 = 6 でどちらも正。x x x = − 1 {}= -1 = − 1 のとき、真数 2 x 2x 2 x = − 2 {}= -2 = − 2 は負なので不適です。
x = 3 ‾ \underline{x = 3} x = 3 (1),(2) は右辺が数なので、真数は 9 9 9 や 4 4 4 と決まり、確かめる必要はありません。
真数条件を先に書く——まとめると余分な解が混じる
次の方程式はどうでしょう。
log 2 x \displaystyle \log_2 x log 2 x + log 2 ( x − 2 ) \displaystyle {}+ \log_2 (x - 2) + log 2 ( x − 2 ) = 3 \displaystyle {}= 3 = 3
積の対数(第4章 公式3)で左辺を 1 つにまとめると log 2 x ( x − 2 ) \log_2 x(x - 2) log 2 x ( x − 2 ) = 3 {}= 3 = 3 。 対数の定義から x ( x − 2 ) x(x - 2) x ( x − 2 ) = 8 {}= 8 = 8 ,x 2 x^2 x 2 − 2 x {}- 2x − 2 x − 8 {}- 8 − 8 = 0 {}= 0 = 0 ,( x − 4 ) ( x + 2 ) (x - 4)(x + 2) ( x − 4 ) ( x + 2 ) = 0 {}= 0 = 0 で、x x x = 4 , {}= 4, = 4 , − 2 {}\ -2 − 2 が出てきます。
ところが x x x = − 2 {}= -2 = − 2 をもとの式に入れると、log 2 ( − 2 ) \log_2 (-2) log 2 ( − 2 ) と log 2 ( − 4 ) \log_2 (-4) log 2 ( − 4 ) が現れて、式そのものが意味を持ちません。計算はどこも間違っていないのに、余分な解が混じったのです。
原因は「まとめる」変形にあります。もとの式が意味を持つのは x x x > 0 {}> 0 > 0 かつ x x x − 2 {}- 2 − 2 > 0 {}> 0 > 0 、 つまり x x x > 2 {}> 2 > 2 のときだけです。ところが、まとめた log 2 x ( x − 2 ) \log_2 x(x - 2) log 2 x ( x − 2 ) は、積 x ( x − 2 ) x(x - 2) x ( x − 2 ) さえ正なら意味を持ちます。x x x = − 2 {}= -2 = − 2 では x x x も x x x − 2 {}- 2 − 2 も負ですが、負と負を掛けた ( − 2 ) × ( − 4 ) (-2) \times (-4) ( − 2 ) × ( − 4 ) = 8 {}= 8 = 8 は正です。まとめたことで、式が意味を持つ範囲が x x x < 0 {}< 0 < 0 の側にまで広がってしまったのです。
x
y
O
−4
−2
2
4
6
−2
3
4
(4, 3)
(−2, 3) 余分な解
y = log₂x
+ log₂(x − 2)
y = log₂x(x − 2)
y = 3
x = 2
まとめた式(灰色)は x < 0 にも枝があり、そこで y = 3 と交わる
第3章の厳密定義で、解を失うことも余分な解が混じることもない書きかえを「同値変形」と呼びました。底をそろえる指数の変形は、どれも同値変形でした。対数では、積・商・r r r 倍の公式が「真数が正のときに限って」成り立つので、左から右へまとめる変形は同値変形になりません。そこで、まとめる前に真数条件を書き出しておき、最後にその条件で解を選ぶ のが確実な手順になります。
2 log 2 ( x − 3 ) 2\log_2 (x - 3) 2 log 2 ( x − 3 ) も要注意です。log 2 ( x − 3 ) 2 \log_2 (x - 3)^2 log 2 ( x − 3 ) 2 にまとめると、x x x − 3 {}- 3 − 3 が負でも ( x − 3 ) 2 (x - 3)^2 ( x − 3 ) 2 は正なので、ここでも範囲が広がります。
町の出入り口に関所が 2 つあって、1 つ目で「x x x の通行証」、2 つ目で「x x x − 2 {}- 2 − 2 の通行証」が本物か(正か)を確かめている、と考えてみてください。手間を省いて 2 つを 1 つにまとめ、「2 枚を重ねて見た結果(積)が正ならよし」としたらどうなるでしょう。2 枚ともニセモノ(負)でも、重ねた結果は正になってしまい、素通りです。まとめる前に 1 枚ずつ確かめておくのが、真数条件を先に書くということです。
積・商・r r r 倍の対数を 1 つにまとめる変形では、式が意味を持つ範囲が広がって余分な解が混じることがあるので、まとめる前にもとの式の真数条件を書き出し、最後にその条件で解を選べばよいということです。
例題2:真数条件で解を選ぶ
(1) log 3 ( x − 2 ) \log_3 (x - 2) log 3 ( x − 2 ) + log 3 ( x + 4 ) {}+ \log_3 (x + 4) + log 3 ( x + 4 ) = 3 {}= 3 = 3
(2) 2 log 2 ( x − 3 ) 2\log_2 (x - 3) 2 log 2 ( x − 3 ) = log 2 ( x − 1 ) {}= \log_2 (x - 1) = log 2 ( x − 1 )
上の各方程式の解を求めなさい。
【解答】
(1) 真数条件は x x x − 2 {}- 2 − 2 > 0 {}> 0 > 0 かつ x x x + 4 {}+ 4 + 4 > 0 {}> 0 > 0 より x x x > 2 {}> 2 > 2 。 左辺をまとめると log 3 ( x − 2 ) ( x + 4 ) \log_3 (x - 2)(x + 4) log 3 ( x − 2 ) ( x + 4 ) = 3 {}= 3 = 3 なので
( x − 2 ) ( x + 4 ) \displaystyle (x - 2)(x + 4) ( x − 2 ) ( x + 4 ) = 27 , \displaystyle {}= 27, = 27 , x 2 \displaystyle x^2 x 2 + 2 x \displaystyle {}+ 2x + 2 x − 35 \displaystyle {}- 35 − 35 = 0 , \displaystyle {}= 0, = 0 , ( x + 7 ) ( x − 5 ) \displaystyle (x + 7)(x - 5) ( x + 7 ) ( x − 5 ) = 0 \displaystyle {}= 0 = 0 x x x = − 7 , {}= -7, = − 7 , 5 \ 5 5 のうち、x x x > 2 {}> 2 > 2 を満たすのは x = 5 ‾ \underline{x = 5} x = 5
(2) 真数条件は x x x − 3 {}- 3 − 3 > 0 {}> 0 > 0 かつ x x x − 1 {}- 1 − 1 > 0 {}> 0 > 0 より x x x > 3 {}> 3 > 3 。 左辺を log 2 ( x − 3 ) 2 \log_2 (x - 3)^2 log 2 ( x − 3 ) 2 とまとめると
( x − 3 ) 2 \displaystyle (x - 3)^2 ( x − 3 ) 2 = x \displaystyle {}= x = x − 1 , \displaystyle {}- 1, − 1 , x 2 \displaystyle x^2 x 2 − 7 x \displaystyle {}- 7x − 7 x + 10 \displaystyle {}+ 10 + 10 = 0 , \displaystyle {}= 0, = 0 , ( x − 2 ) ( x − 5 ) \displaystyle (x - 2)(x - 5) ( x − 2 ) ( x − 5 ) = 0 \displaystyle {}= 0 = 0 x x x = 2 , {}= 2, = 2 , 5 \ 5 5 のうち、x x x > 3 {}> 3 > 3 を満たすのは x = 5 ‾ \underline{x = 5} x = 5
(2) の x x x = 2 {}= 2 = 2 は、( x − 3 ) 2 (x - 3)^2 ( x − 3 ) 2 = ( − 1 ) 2 {}= (-1)^2 = ( − 1 ) 2 = 1 {}= 1 = 1 = x {}= x = x − 1 {}- 1 − 1 で、まとめた式は満たしています。x x x − 3 {}- 3 − 3 = − 1 {}= -1 = − 1 が負なのに、2 乗して正になったために入りこんだ解です。
底をそろえる・置きかえる
底がそろっていないときは、底の変換公式(第4章 公式4)で小さいほうの底にそろえます。log 4 M \log_4 M log 4 M = log 2 M log 2 4 {}= \dfrac{\log_2 M}{\log_2 4} = log 2 4 log 2 M = 1 2 log 2 M {}= \dfrac{1}{2}\log_2 M = 2 1 log 2 M のように、底が累乗の関係なら係数が出てくるだけです。
log 3 x \log_3 x log 3 x が 2 乗の形で何度も出てくる式は、t t t = log 3 x {}= \log_3 x = log 3 x とおいて t t t の 2 次方程式にします。第3章の置きかえ t t t = 2 x {}= 2^x = 2 x では t t t > 0 {}> 0 > 0 の解だけを残しましたが、第5章で見たとおり log 3 x \log_3 x log 3 x の値域は実数全体なので、t t t は負でもかまいません。t t t の解はどれも、x x x = 3 t {}= 3^t = 3 t という正の数に戻ります。
log 3 x \log_3 x log 3 x という長い名前を何度も書くのは面倒で、式の形も見えにくくなります。クラスに同じ呼び方の長い名前の子がいたら、あだ名を付けて呼ぶでしょう。t t t はそのあだ名です。あだ名で呼んでいるあいだに話(計算)を進め、最後に本名(x x x ) に戻して答えます。
底がそろわない対数は底の変換公式でそろえ、同じ対数が 2 次式の形で出てくるなら t t t = log a x {}= \log_a x = log a x とおいて 2 次方程式にし、t t t の解をすべて x x x = a t {}= a^t = a t で戻せばよいということです。
例題3:底をそろえる・置きかえる
(1) log 2 ( x − 2 ) \log_2 (x - 2) log 2 ( x − 2 ) = log 4 ( x + 10 ) {}= \log_4 (x + 10) = log 4 ( x + 10 )
(2) ( log 3 x ) 2 (\log_3 x)^2 ( log 3 x ) 2 − log 3 x 2 {}- \log_3 x^2 − log 3 x 2 − 3 {}- 3 − 3 = 0 {}= 0 = 0
上の各方程式の解を求めなさい。
【解答】
(1) 真数条件は x x x − 2 {}- 2 − 2 > 0 {}> 0 > 0 かつ x x x + 10 {}+ 10 + 10 > 0 {}> 0 > 0 より x x x > 2 {}> 2 > 2 。 右辺の底を 2 2 2 にそろえると log 4 ( x + 10 ) \log_4 (x + 10) log 4 ( x + 10 ) = 1 2 log 2 ( x + 10 ) {}= \dfrac{1}{2}\log_2 (x + 10) = 2 1 log 2 ( x + 10 ) 。 両辺を 2 2 2 倍して
2 log 2 ( x − 2 ) \displaystyle 2\log_2 (x - 2) 2 log 2 ( x − 2 ) = log 2 ( x + 10 ) , \displaystyle {}= \log_2 (x + 10), = log 2 ( x + 10 ) , ( x − 2 ) 2 \displaystyle (x - 2)^2 ( x − 2 ) 2 = x \displaystyle {}= x = x + 10 , \displaystyle {}+ 10, + 10 , x 2 \displaystyle x^2 x 2 − 5 x \displaystyle {}- 5x − 5 x − 6 \displaystyle {}- 6 − 6 = 0 \displaystyle {}= 0 = 0 ( x − 6 ) ( x + 1 ) (x - 6)(x + 1) ( x − 6 ) ( x + 1 ) = 0 {}= 0 = 0 より x x x = 6 , {}= 6, = 6 , − 1 {}\ -1 − 1 。x x x > 2 {}> 2 > 2 を満たすのは x = 6 ‾ \underline{x = 6} x = 6
(2) 真数条件から x x x > 0 {}> 0 > 0 なので、log 3 x 2 \log_3 x^2 log 3 x 2 = 2 log 3 x {}= 2\log_3 x = 2 log 3 x です。t t t = log 3 x {}= \log_3 x = log 3 x とおくと
t 2 \displaystyle t^2 t 2 − 2 t \displaystyle {}- 2t − 2 t − 3 \displaystyle {}- 3 − 3 = 0 , \displaystyle {}= 0, = 0 , ( t − 3 ) ( t + 1 ) \displaystyle (t - 3)(t + 1) ( t − 3 ) ( t + 1 ) = 0 , \displaystyle {}= 0, = 0 , t \displaystyle t t = 3 , \displaystyle {}= 3, = 3 , − 1 \displaystyle {}\ -1 − 1 log 3 x \log_3 x log 3 x = 3 {}= 3 = 3 から x x x = 27 {}= 27 = 27 、log 3 x \log_3 x log 3 x = − 1 {}= -1 = − 1 から x x x = 1 3 {}= \dfrac{1}{3} = 3 1 。
x = 27 , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}x = 27,} x = 27 , 1 3 ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{1}{3}} 3 1 t t t = − 1 {}= -1 = − 1 のように負の t t t も捨てずに使います。
対数不等式——真数条件と単調性の共通部分
今度は不等式 log 2 x \log_2 x log 2 x < 3 {}< 3 < 3 です。右辺を log 2 8 \log_2 8 log 2 8 と書けば、底 2 2 2 > 1 {}> 1 > 1 のグラフは右上がりなので、真数どうしも同じ向きで x x x < 8 {}< 8 < 8 。
ここで x x x < 8 {}< 8 < 8 と答えると間違いです。x x x = − 1 {}= -1 = − 1 も x x x < 8 {}< 8 < 8 を満たしますが、log 2 ( − 1 ) \log_2 (-1) log 2 ( − 1 ) はありません。グラフで見ると、y y y = log 2 x {}= \log_2 x = log 2 x が直線 y y y = 3 {}= 3 = 3 より下にあるのは、0 0 0 < x {}< x < x < 8 {}< 8 < 8 の部分です。左端の 0 0 0 は真数条件から、右端の 8 8 8 は単調性から決まります。
x
y
O
1
2
4
8
−2
−1
1
2
3
(8, 3)
y = log₂x
y = 3
0 < x < 8
左端 0 は真数条件、右端 8 は単調性から決まる
方程式では「解を出してから真数条件で選ぶ」ことができましたが、不等式の答えは範囲なので、真数条件の範囲と、真数を比べて出した範囲の共通部分 をとります。底が 1 より小さいときは、第3章・第5章と同じく不等号の向きが逆になります。
a a a > 1 {}> 1 > 1 の式で条件が「0 0 0 < f ( x ) {}< f(x) < f ( x ) 」 の 1 つだけで済むのは、f ( x ) f(x) f ( x ) < g ( x ) {}< g(x) < g ( x ) なら g ( x ) g(x) g ( x ) は f ( x ) f(x) f ( x ) より大きく、自動的に正になるからです。ただ、慣れないうちは、すべての真数について条件を書き出してから共通部分をとるほうが安全です。
アルバイトの募集に「18 歳以上」と書いてあり、別の欄に「30 歳未満」とあったら、応募できるのは両方を満たす 18 歳以上 30 歳未満の人です。どちらか片方だけを見て「30 歳未満ならだれでも」と読むと、10 歳の子まで入ってしまいます。log 2 x \log_2 x log 2 x < 3 {}< 3 < 3 で x x x < 8 {}< 8 < 8 とだけ答えるのは、この読み違いと同じです。
対数不等式は、真数条件の範囲と、底をそろえて真数を比べた範囲(底が 1 より小さければ不等号の向きを逆に)の共通部分を答えればよいということです。
例題4:対数不等式
(1) log 3 ( x − 1 ) \log_3 (x - 1) log 3 ( x − 1 ) ≦ 2 {}\leqq 2 ≦ 2
(2) log 1 2 ( x + 1 ) \log_{\frac{1}{2}} (x + 1) log 2 1 ( x + 1 ) > − 3 {}> -3 > − 3
(3) log 2 ( x − 1 ) \log_2 (x - 1) log 2 ( x − 1 ) + log 2 ( x − 3 ) {}+ \log_2 (x - 3) + log 2 ( x − 3 ) < 3 {}< 3 < 3
上の各不等式を満たす x x x の値の範囲を求めなさい。
【解答】
(1) 真数条件は x x x > 1 {}> 1 > 1 。2 2 2 = log 3 9 {}= \log_3 9 = log 3 9 で、底 3 3 3 > 1 {}> 1 > 1 なので x x x − 1 {}- 1 − 1 ≦ 9 {}\leqq 9 ≦ 9 ,x x x ≦ 10 {}\leqq 10 ≦ 10 。 共通部分は
1 < x ≦ 10 ‾ \underline{1 < x \leqq 10} 1 < x ≦ 10 (2) 真数条件は x x x > − 1 {}> -1 > − 1 。− 3 -3 − 3 = log 1 2 8 {}= \log_{\frac{1}{2}} 8 = log 2 1 8 で、底 1 2 \dfrac{1}{2} 2 1 < 1 {}< 1 < 1 なので向きが逆になり、x x x + 1 {}+ 1 + 1 < 8 {}< 8 < 8 ,x x x < 7 {}< 7 < 7 。 共通部分は
− 1 < x < 7 ‾ \underline{-1 < x < 7} − 1 < x < 7 (3) 真数条件は x x x − 1 {}- 1 − 1 > 0 {}> 0 > 0 かつ x x x − 3 {}- 3 − 3 > 0 {}> 0 > 0 より x x x > 3 {}> 3 > 3 。 左辺をまとめて log 2 ( x − 1 ) ( x − 3 ) \log_2 (x - 1)(x - 3) log 2 ( x − 1 ) ( x − 3 ) < log 2 8 {}< \log_2 8 < log 2 8 。 底 2 2 2 > 1 {}> 1 > 1 なので
( x − 1 ) ( x − 3 ) \displaystyle (x - 1)(x - 3) ( x − 1 ) ( x − 3 ) < 8 , \displaystyle {}< 8, < 8 , x 2 \displaystyle x^2 x 2 − 4 x \displaystyle {}- 4x − 4 x − 5 \displaystyle {}- 5 − 5 < 0 , \displaystyle {}< 0, < 0 , ( x + 1 ) ( x − 5 ) \displaystyle (x + 1)(x - 5) ( x + 1 ) ( x − 5 ) < 0 , \displaystyle {}< 0, < 0 , − 1 \displaystyle {}\qquad -1 − 1 < x \displaystyle {}< x < x < 5 \displaystyle {}< 5 < 5 x x x > 3 {}> 3 > 3 との共通部分をとって 3 < x < 5 ‾ \underline{3 < x < 5} 3 < x < 5
(3) で − 1 -1 − 1 < x {}< x < x < 5 {}< 5 < 5 のまま答えると、x x x = 0 {}= 0 = 0 のような、もとの式が意味を持たない値まで入ってしまいます。
置きかえの不等式と、両辺の対数をとる方程式
t t t = log a x {}= \log_a x = log a x の置きかえは、不等式でも使えます。t t t の 2 次不等式を解いて t t t の範囲を出し、それを x x x の範囲に戻すという 2 段です。t t t から x x x に戻すところで、ふたたび底と 1 の大小を確かめます。
x log 2 x x^{\log_2 x} x l o g 2 x = 8 x 2 {}= 8x^2 = 8 x 2 のように、指数の位置に対数が乗っている式もあります。このままでは手が出ませんが、両辺の底 2 2 2 の対数をとると(第4章 公式5)、log 2 x log 2 x \log_2 x^{\log_2 x} log 2 x l o g 2 x = log 2 x ⋅ log 2 x {}= \log_2 x \cdot \log_2 x = log 2 x ⋅ log 2 x = ( log 2 x ) 2 {}= (\log_2 x)^2 = ( log 2 x ) 2 となり、log 2 x \log_2 x log 2 x の 2 次式に変わります。両辺が正であることを確かめてから対数をとるのは、第4章と同じです。
知らない町で友だちの家を探すとき、いきなり番地から探すより、まず「何区か」で範囲を絞り、そのあと区の中で番地をたどるほうが早いでしょう。置きかえの不等式も同じで、まず t t t の範囲(区)を決め、それから x x x の範囲(番地)に落とします。区の段階で絞り間違えると、そのあといくら丁寧に探しても見つかりません。
log a x \log_a x log a x の 2 次不等式は t t t の範囲を先に出してから x x x に戻し、指数に対数が乗った式は両辺の対数をとって log a x \log_a x log a x の 2 次式に直せばよいということです。
例題5:置きかえの不等式・両辺の対数
(1) 不等式 ( log 2 x ) 2 (\log_2 x)^2 ( log 2 x ) 2 − log 2 x 3 {}- \log_2 x^3 − log 2 x 3 + 2 {}+ 2 + 2 < 0 {}< 0 < 0 を満たす x x x の値の範囲を求めなさい。
(2) 方程式 x log 2 x x^{\log_2 x} x l o g 2 x = 8 x 2 {}= 8x^2 = 8 x 2 の解を求めなさい。
【解答】
(1) 真数条件から x x x > 0 {}> 0 > 0 なので、log 2 x 3 \log_2 x^3 log 2 x 3 = 3 log 2 x {}= 3\log_2 x = 3 log 2 x です。t t t = log 2 x {}= \log_2 x = log 2 x とおくと
t 2 \displaystyle t^2 t 2 − 3 t \displaystyle {}- 3t − 3 t + 2 \displaystyle {}+ 2 + 2 < 0 , \displaystyle {}< 0, < 0 , ( t − 1 ) ( t − 2 ) \displaystyle (t - 1)(t - 2) ( t − 1 ) ( t − 2 ) < 0 , \displaystyle {}< 0, < 0 , 1 \displaystyle 1 1 < t \displaystyle {}< t < t < 2 \displaystyle {}< 2 < 2 log 2 2 \log_2 2 log 2 2 < log 2 x {}< \log_2 x < log 2 x < log 2 4 {}< \log_2 4 < log 2 4 で、底 2 2 2 > 1 {}> 1 > 1 なので 2 < x < 4 ‾ \underline{2 < x < 4} 2 < x < 4 (x x x > 0 {}> 0 > 0 を満たしています)
(2) x log 2 x x^{\log_2 x} x l o g 2 x の底 x x x は正でなければならないので x x x > 0 {}> 0 > 0 。 このとき両辺はどちらも正なので、底 2 2 2 の対数をとれます。
( log 2 x ) 2 \displaystyle (\log_2 x)^2 ( log 2 x ) 2 = log 2 8 \displaystyle {}= \log_2 8 = log 2 8 + log 2 x 2 \displaystyle {}+ \log_2 x^2 + log 2 x 2 = 3 \displaystyle {}= 3 = 3 + 2 log 2 x \displaystyle {}+ 2\log_2 x + 2 log 2 x t t t = log 2 x {}= \log_2 x = log 2 x とおくと t 2 t^2 t 2 − 2 t {}- 2t − 2 t − 3 {}- 3 − 3 = 0 {}= 0 = 0 ,( t − 3 ) ( t + 1 ) (t - 3)(t + 1) ( t − 3 ) ( t + 1 ) = 0 {}= 0 = 0 より t t t = 3 , {}= 3, = 3 , − 1 {}\ -1 − 1 。
x = 8 , ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}x = 8,} x = 8 , 1 2 ‾ \displaystyle \underline{\rule[-0.686em]{0em}{2.0074em}\ \frac{1}{2}} 2 1 確かめると、x x x = 8 {}= 8 = 8 では左辺 8 3 8^3 8 3 = 512 {}= 512 = 512 , 右辺 8 ⋅ 64 8 \cdot 64 8 ⋅ 64 = 512 {}= 512 = 512 。x x x = 1 2 {}= \dfrac{1}{2} = 2 1 では左辺 ( 1 2 ) − 1 \left(\dfrac{1}{2}\right)^{-1} ( 2 1 ) − 1 = 2 {}= 2 = 2 , 右辺 8 ⋅ 1 4 8 \cdot \dfrac{1}{4} 8 ⋅ 4 1 = 2 {}= 2 = 2 です。
x x x と y y y の連立方程式も、log 2 x \log_2 x log 2 x + log 2 y {}+ \log_2 y + log 2 y = 3 {}= 3 = 3 なら x y xy x y = 8 {}= 8 = 8 (x x x > 0 {}> 0 > 0 , y y y > 0 {}> 0 > 0 ) のように、真数条件を書いたうえで真数の式に直せば、ふつうの連立方程式になります。
この章のまとめ——真数条件は「最初に書いて、最後に使う」
第3章の指数方程式では、底をそろえる変形がいつも同値変形だったので、条件を気にせず解けました。対数で条件が必要になるのは、真数が正の数しか受け付けないからです。次の第7章では、底が 10 10 10 の対数(常用対数)を使って、2 50 2^{50} 2 50 が何桁の数かといった、大きな数の大きさを見積もります。
1 = 2 の「証明」——どこで同値でなくなったか
次の「証明」を読んでみてください。
a a a = b {}= b = b とします。両辺に a a a を掛けて a 2 a^2 a 2 = a b {}= ab = ab 。 両辺から b 2 b^2 b 2 を引いて a 2 a^2 a 2 − b 2 {}- b^2 − b 2 = a b {}= ab = ab − b 2 {}- b^2 − b 2 。 因数分解すると
( a + b ) ( a − b ) \displaystyle (a + b)(a - b) ( a + b ) ( a − b ) = b ( a − b ) \displaystyle {}= b(a - b) = b ( a − b ) 両辺を a a a − b {}- b − b で割って a a a + b {}+ b + b = b {}= b = b 。a a a = b {}= b = b なので 2 b 2b 2 b = b {}= b = b 。 両辺を b b b で割って 2 2 2 = 1 {}= 1 = 1 。
どの行も、見たところ正しい計算です。それなのに 2 2 2 = 1 {}= 1 = 1 が出てしまいました。種明かしは「両辺を a a a − b {}- b − b で割った」ところです。はじめに a a a = b {}= b = b としたので、a a a − b {}- b − b = 0 {}= 0 = 0 。0 0 0 で割るのは許されない操作で、ここで同値変形が崩れています。( a + b ) ⋅ 0 (a + b) \cdot 0 ( a + b ) ⋅ 0 = b ⋅ 0 {}= b \cdot 0 = b ⋅ 0 は、a a a + b {}+ b + b と b b b が等しくなくても成り立つので、そこから a a a + b {}+ b + b = b {}= b = b を取り出すことはできないのです。
この章の余分な解も、構造は同じです。「log 2 x \log_2 x log 2 x + log 2 ( x − 2 ) {}+ \log_2 (x - 2) + log 2 ( x − 2 ) を log 2 x ( x − 2 ) \log_2 x(x - 2) log 2 x ( x − 2 ) にまとめる」「( x − 3 ) 2 (x - 3)^2 ( x − 3 ) 2 にまとめる」といった、一見なんでもない 1 行で、成り立つ範囲がこっそり変わります。計算の各行が正しいかどうかだけでなく、「逆向きにもたどれるか」を気にかけると、こうした落とし穴に気づけるようになります。
豆知識
方程式を変形する途中で入りこんだ、もとの方程式を満たさない解のことを、日本語では無縁根 (むえんこん)、英語では extraneous root(よそから来た根)と呼びます。無理方程式 x + 2 \sqrt{x + 2} x + 2 = x {}= x = x を 2 乗して解くと x x x = 2 , {}= 2, = 2 , − 1 {}\ -1 − 1 が出ますが、x x x = − 1 {}= -1 = − 1 では左辺が 1 1 1 , 右辺が − 1 -1 − 1 で成り立ちません。2 乗したことで、x + 2 \sqrt{x + 2} x + 2 = − x {}= -x = − x の解まで拾ってしまったのです。
カメラの絞りは
2 \sqrt{2} 2 の階段——F 値と「段」
カメラのレンズには、光の通り道の大きさを変える絞り があり、その目盛りを F 値といいます。レンズの目盛りを見ると、1.4 1.4 1.4 ,2 2 2 ,2.8 2.8 2.8 ,4 4 4 ,5.6 5.6 5.6 ,8 8 8 ,11 11 11 ,16 16 16 ,…… という中途半端な数が並んでいます。
実はこれは、2 \sqrt{2} 2 ≒ 1.414 {}\fallingdotseq 1.414 ≒ 1.414 の累乗です。( 2 ) 1 (\sqrt{2})^1 ( 2 ) 1 ≒ 1.4 {}\fallingdotseq 1.4 ≒ 1.4 ,( 2 ) 2 (\sqrt{2})^2 ( 2 ) 2 = 2 {}= 2 = 2 ,( 2 ) 3 (\sqrt{2})^3 ( 2 ) 3 ≒ 2.8 {}\fallingdotseq 2.8 ≒ 2.8 ,( 2 ) 4 (\sqrt{2})^4 ( 2 ) 4 = 4 {}= 4 = 4 ,…… と進み、( 2 ) 7 (\sqrt{2})^7 ( 2 ) 7 ≒ 11.3 {}\fallingdotseq 11.3 ≒ 11.3 を丸めて 11 11 11 と書いています。
なぜ 2 \sqrt{2} 2 なのでしょう。F 値は「レンズの焦点距離 ÷ 光の通り道の直径」なので、F 値が 2 \sqrt{2} 2 倍になると直径は 1 2 \dfrac{1}{\sqrt{2}} 2 1 倍、面積はその 2 乗で 1 2 \dfrac{1}{2} 2 1 倍になります。つまり、目盛りを 1 つ進めるたびに、入る光の量がちょうど半分になるのです。この 1 目盛りを写真の世界では「1 段」と呼びます。
すると、F 値 F F F まで絞ったとき、F 値 1 1 1 から数えて何段絞ったかは、( 2 ) n (\sqrt{2})^n ( 2 ) n = F {}= F = F を満たす n n n 、 つまり
n \displaystyle n n = log 2 F \displaystyle {}= \log_{\sqrt{2}} F = log 2 F = 2 log 2 F \displaystyle {}= 2\log_2 F = 2 log 2 F です。F2.8 から F11 までなら 2 log 2 11.3 2.83 2\log_2 \dfrac{11.3}{2.83} 2 log 2 2.83 11.3 = 2 log 2 4 {}= 2\log_2 4 = 2 log 2 4 = 4 {}= 4 = 4 段で、光は 2 4 2^4 2 4 = 16 {}= 16 = 16 分の 1 になります。「光を 100 分の 1 以下にするには何段絞ればよいか」と聞かれたら、2 n 2^n 2 n ≧ 100 {}\geqq 100 ≧ 100 を満たす最小の整数 n n n を求める、この章の不等式そのものです(2 6 2^6 2 6 = 64 {}= 64 = 64 , 2 7 2^7 2 7 = 128 {}= 128 = 128 なので 7 段)。
豆知識
シャッター速度(1 125 \dfrac{1}{125} 125 1 秒,1 250 \dfrac{1}{250} 250 1 秒,……)や ISO 感度(100 100 100 , 200 200 200 ,400 400 400 ,……) の目盛りも、1 つごとに光の量が 2 倍・半分になるように並んでいます。写真の露出は、3 つの「2 倍の階段」を組み合わせて、足し算と引き算(段数)で調整しているわけです。
並べかえの手間は
n log 2 n n\log_2 n n log 2 n ——対数が効いてくる大きさ
トランプのカードや名簿を小さい順に並べかえる作業を、コンピューターの世界ではソート といいます。いちばん素朴なやり方は、「まだ並べていないものの中から最小のものを探して先頭に置く」をくり返す方法です。n n n 個のものを並べると、比べる回数はおよそ n 2 2 \dfrac{n^2}{2} 2 n 2 回になります。
これに対して、「半分に分けて、それぞれを並べてから合わせる」をくり返す方法(マージソート)では、比べる回数はおよそ n log 2 n n\log_2 n n log 2 n 回で済みます。半分に分ける作業が log 2 n \log_2 n log 2 n 段で終わり、各段で n n n 回ほど比べるからです。第4章 小話で見た「20 の扉」や辞書引きと同じく、「半分にする」回数が対数になっています。
差がどれくらいか、数字で比べてみます。n n n = 2 20 {}= 2^{20} = 2 20 (約 100 100 100 万)なら
n 2 2 \displaystyle \frac{n^2}{2} 2 n 2 = 2 39 \displaystyle {}= 2^{39} = 2 39 ≒ 5500 億 , \displaystyle {}\fallingdotseq 5500 \text{ 億}, ≒ 5500 億 , n log 2 n \displaystyle n\log_2 n n log 2 n = 2 20 × 20 \displaystyle {}= 2^{20} \times 20 = 2 20 × 20 ≒ 2100 万 \displaystyle {}\fallingdotseq 2100 \text{ 万} ≒ 2100 万 で、2 万倍以上の差です。1 秒に 1 億回比べられるとしても、前者は 1 時間半ほどかかり、後者なら 0.2 秒ほどで終わります。
では、n n n が小さいときもマージソートが速いのでしょうか。n 2 2 \dfrac{n^2}{2} 2 n 2 > n log 2 n {}> n\log_2 n > n log 2 n は、両辺を n n n で割ると n 2 \dfrac{n}{2} 2 n > log 2 n {}> \log_2 n > log 2 n 、 つまり n n n > 2 log 2 n {}> 2\log_2 n > 2 log 2 n という対数不等式です。n n n = 2 {}= 2 = 2 と n n n = 4 {}= 4 = 4 では両辺が等しく、n n n = 3 {}= 3 = 3 では 3 3 3 < 2 log 2 3 {}< 2\log_2 3 < 2 log 2 3 ≒ 3.17 {}\fallingdotseq 3.17 ≒ 3.17 と逆向きで、n n n ≧ 5 {}\geqq 5 ≧ 5 ではつねに成り立ちます。実際のプログラムでは、比べる回数以外の手間もかかるので、少ない個数のときは素朴な方法に切りかえる工夫がよく使われています。
豆知識
「手間がおよそ n log n n\log n n log n に比例する」ことを、コンピューター科学では O ( n log n ) O(n\log n) O ( n log n ) (オーダー n log n n\log n n log n ) と書きます。この O O O の記号は、もともと数論で使われていたもので、19 世紀末にバッハマンが使い始め、20 世紀初めにランダウが広めたとされています(※記号の由来には諸説あります)。O O O の中では log \log log の底を書かないのがふつうです。底の変換公式から、log 2 n \log_2 n log 2 n と log 10 n \log_{10} n log 10 n は定数倍しか違わないからです。
※ここは発展ページ です。本文では「まとめる前に真数条件を書き、最後にその条件で解を選ぶ」を手順として使いました。第3章 厳密定義の定義1(同値な変形)を土台に、この手順で答えが過不足なく 求まる理由と、余分な解が「どこから」来るのかを正確に述べます。最後に、第5章 厳密定義の補足で触れた「逆関数どうしの交点」を方程式の側から見直します。
第3章では、解を失うことも余分な解が混じることもない変形を「同値変形」と呼びました。同値でない変形を正確に扱うために、解の集合という見方を用意します。
定義1:解の集合と一方向の変形
x x x についての条件 P ( x ) P(x) P ( x ) を満たす実数 x x x 全体の集合を、P ( x ) P(x) P ( x ) の解の集合 という。どの x x x についても「P ( x ) P(x) P ( x ) ならば Q ( x ) Q(x) Q ( x ) 」 が成り立つとき P ( x ) P(x) P ( x ) ⇒ Q ( x ) {}\Rightarrow Q(x) ⇒ Q ( x ) と書き、このとき P ( x ) P(x) P ( x ) の解の集合は Q ( x ) Q(x) Q ( x ) の解の集合に含まれる。P ( x ) P(x) P ( x ) を Q ( x ) Q(x) Q ( x ) に書きかえる変形が ⇒ \Rightarrow ⇒ の向きにしか成り立たないとき、Q ( x ) Q(x) Q ( x ) の解の中には P ( x ) P(x) P ( x ) の解でないもの(余分な解 )がありうる。
P ( x ) P(x) P ( x ) ⇒ Q ( x ) {}\Rightarrow Q(x) ⇒ Q ( x ) だけが言えるなら、Q ( x ) Q(x) Q ( x ) を解いたあと、それぞれの解が P ( x ) P(x) P ( x ) を満たすかを確かめれば、過不足なく P ( x ) P(x) P ( x ) の解が得られます。本文の「最後に真数条件で選ぶ」は、この確かめを真数条件という形で行っているのです。
定理1:真数どうしを比べる方程式
a a a > 0 {}> 0 > 0 ,a a a ≠ 1 {}\neq 1 = 1 とする。
log a f ( x ) \displaystyle \log_a f(x) log a f ( x ) = log a g ( x ) \displaystyle {}= \log_a g(x) = log a g ( x ) ⟺ f ( x ) \displaystyle {}\iff f(x) ⟺ f ( x ) = g ( x ) かつ f ( x ) \displaystyle {}= g(x) \text{ かつ } f(x) = g ( x ) かつ f ( x ) > 0 \displaystyle {}> 0 > 0 証明 (⇒ \Rightarrow ⇒ ) 左辺が意味を持つので f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 ,g ( x ) g(x) g ( x ) > 0 {}> 0 > 0 である。p p p = f ( x ) {}= f(x) = f ( x ) ,q q q = g ( x ) {}= g(x) = g ( x ) とおくと log a p \log_a p log a p = log a q {}= \log_a q = log a q 。 第5章 定理3 より log a \log_a log a は単調に増加するか単調に減少するので、p p p ≠ q {}\neq q = q なら log a p \log_a p log a p ≠ log a q {}\neq \log_a q = log a q となる。よって p p p = q {}= q = q 。
(⇐ \Leftarrow ⇐ ) f ( x ) f(x) f ( x ) = g ( x ) {}= g(x) = g ( x ) > 0 {}> 0 > 0 なら、両辺の真数は同じ正の数なので、log a f ( x ) \log_a f(x) log a f ( x ) と log a g ( x ) \log_a g(x) log a g ( x ) はどちらも意味を持ち、等しい。(証明終)
右辺の「f ( x ) f(x) f ( x ) = g ( x ) {}= g(x) = g ( x ) 」 だけでは、左辺の条件は取り出せません。f ( x ) f(x) f ( x ) = g ( x ) {}= g(x) = g ( x ) ⇐ log a f ( x ) {}\Leftarrow \log_a f(x) ⇐ log a f ( x ) = log a g ( x ) {}= \log_a g(x) = log a g ( x ) は成り立っても、逆は f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 を添えないと成り立たないからです。本文 公式1 の 2 つ目は、この定理そのものです。
定理2:余分な解の出どころ
a a a > 0 {}> 0 > 0 ,a a a ≠ 1 {}\neq 1 = 1 ,c c c を実数とする。
log a f ( x ) \log_a f(x) log a f ( x ) + log a g ( x ) {}+ \log_a g(x) + log a g ( x ) = c {}= c = c ⟺ f ( x ) {}\iff f(x) ⟺ f ( x ) > 0 かつ g ( x ) {}> 0 \text{ かつ } g(x) > 0 かつ g ( x ) > 0 かつ f ( x ) g ( x ) {}> 0 \text{ かつ } f(x)g(x) > 0 かつ f ( x ) g ( x ) = a c {}= a^c = a c
方程式 f ( x ) g ( x ) f(x)g(x) f ( x ) g ( x ) = a c {}= a^c = a c の解のうち、1 の解でないものは、f ( x ) f(x) f ( x ) < 0 {}< 0 < 0 かつ g ( x ) g(x) g ( x ) < 0 {}< 0 < 0 を満たすものに限る。
証明 1:(⇒ \Rightarrow ⇒ ) 左辺が意味を持つので f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 ,g ( x ) g(x) g ( x ) > 0 {}> 0 > 0 。 このとき第4章 定理1(積の対数)により log a f ( x ) \log_a f(x) log a f ( x ) + log a g ( x ) {}+ \log_a g(x) + log a g ( x ) = log a f ( x ) g ( x ) {}= \log_a f(x)g(x) = log a f ( x ) g ( x ) なので log a f ( x ) g ( x ) \log_a f(x)g(x) log a f ( x ) g ( x ) = c {}= c = c 、 対数の定義から f ( x ) g ( x ) f(x)g(x) f ( x ) g ( x ) = a c {}= a^c = a c 。(⇐ \Leftarrow ⇐ ) f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 ,g ( x ) g(x) g ( x ) > 0 {}> 0 > 0 なら積の対数の公式が使え、log a f ( x ) \log_a f(x) log a f ( x ) + log a g ( x ) {}+ \log_a g(x) + log a g ( x ) = log a f ( x ) g ( x ) {}= \log_a f(x)g(x) = log a f ( x ) g ( x ) = log a a c {}= \log_a a^c = log a a c = c {}= c = c 。
2:x x x が f ( x ) g ( x ) f(x)g(x) f ( x ) g ( x ) = a c {}= a^c = a c を満たすとする。a c a^c a c > 0 {}> 0 > 0 なので f ( x ) g ( x ) f(x)g(x) f ( x ) g ( x ) > 0 {}> 0 > 0 であり、f ( x ) f(x) f ( x ) と g ( x ) g(x) g ( x ) はどちらも 0 0 0 でなく、同じ符号である。両方正なら 1 より x x x は 1 の解。そうでなければ両方負である。(証明終)
本文の log 2 x \log_2 x log 2 x + log 2 ( x − 2 ) {}+ \log_2 (x - 2) + log 2 ( x − 2 ) = 3 {}= 3 = 3 では、x ( x − 2 ) x(x - 2) x ( x − 2 ) = 8 {}= 8 = 8 の解 x x x = 4 , {}= 4, = 4 , − 2 {}\ -2 − 2 のうち、x x x = − 2 {}= -2 = − 2 が「x x x < 0 {}< 0 < 0 かつ x x x − 2 {}- 2 − 2 < 0 {}< 0 < 0 」 の側にありました。定理2の 2 は、余分な解が混じるとしたらこの形しかない、と言っています。本文の関所の例えの「2 枚ともニセモノ」が、ちょうど f ( x ) f(x) f ( x ) < 0 {}< 0 < 0 かつ g ( x ) g(x) g ( x ) < 0 {}< 0 < 0 にあたります。
2 log a f ( x ) 2\log_a f(x) 2 log a f ( x ) = log a g ( x ) {}= \log_a g(x) = log a g ( x ) を f ( x ) 2 f(x)^2 f ( x ) 2 = g ( x ) {}= g(x) = g ( x ) に直す変形も同じで、余分な解は f ( x ) f(x) f ( x ) < 0 {}< 0 < 0 の側から入りこみます。反対に、本章 j09 のように log a f ( x ) 2 \log_a f(x)^2 log a f ( x ) 2 を 2 log a f ( x ) 2\log_a f(x) 2 log a f ( x ) に書きかえる向きでは、f ( x ) f(x) f ( x ) < 0 {}< 0 < 0 の側の解が失われます。log a f ( x ) 2 \log_a f(x)^2 log a f ( x ) 2 = 2 log a ∣ f ( x ) ∣ {}= 2\log_a |f(x)| = 2 log a ∣ f ( x ) ∣ と絶対値をつければ、どちらの向きにも同値です。
定理3:対数不等式の同値変形
a a a > 1 {}> 1 > 1 のとき
log a f ( x ) \displaystyle \log_a f(x) log a f ( x ) < log a g ( x ) \displaystyle {}< \log_a g(x) < log a g ( x ) ⟺ 0 \displaystyle {}\iff 0 ⟺ 0 < f ( x ) \displaystyle {}< f(x) < f ( x ) < g ( x ) \displaystyle {}< g(x) < g ( x ) 0 0 0 < a {}< a < a < 1 {}< 1 < 1 のとき
log a f ( x ) \displaystyle \log_a f(x) log a f ( x ) < log a g ( x ) \displaystyle {}< \log_a g(x) < log a g ( x ) ⟺ f ( x ) \displaystyle {}\iff f(x) ⟺ f ( x ) > g ( x ) \displaystyle {}> g(x) > g ( x ) > 0 \displaystyle {}> 0 > 0 証明 a a a > 1 {}> 1 > 1 とする。(⇒ \Rightarrow ⇒ ) 左辺が意味を持つので f ( x ) f(x) f ( x ) > 0 {}> 0 > 0 ,g ( x ) g(x) g ( x ) > 0 {}> 0 > 0 。 第5章 公式3(定理3による単調性の ⟺ \iff ⟺ ) から f ( x ) f(x) f ( x ) < g ( x ) {}< g(x) < g ( x ) 。(⇐ \Leftarrow ⇐ ) 0 0 0 < f ( x ) {}< f(x) < f ( x ) < g ( x ) {}< g(x) < g ( x ) なら g ( x ) g(x) g ( x ) > 0 {}> 0 > 0 でもあるので、両辺が意味を持ち、単調性から log a f ( x ) \log_a f(x) log a f ( x ) < log a g ( x ) {}< \log_a g(x) < log a g ( x ) 。
0 0 0 < a {}< a < a < 1 {}< 1 < 1 のときは、単調に減少することを使って、不等号の向きを入れかえて同じように示せる。(証明終)
右辺には g ( x ) g(x) g ( x ) > 0 {}> 0 > 0 が書かれていませんが、0 0 0 < f ( x ) {}< f(x) < f ( x ) < g ( x ) {}< g(x) < g ( x ) から自動的に出てきます。本文で「すべての真数の条件を書いて共通部分をとる」としたのは、この 1 つを省略できることを毎回確かめるより安全だからで、答えは同じになります。
補足:( 1 16 ) x \left(\frac{1}{16}\right)^x ( 16 1 ) x = log 1 16 x {}= \log_{\frac{1}{16}} x = log 16 1 x の解は y y y = x {}= x = x 上だけではない
第5章 厳密定義の補足で、y y y = ( 1 16 ) x {}= \left(\dfrac{1}{16}\right)^x = ( 16 1 ) x と y y y = log 1 16 x {}= \log_{\frac{1}{16}} x = log 16 1 x のグラフが、直線 y y y = x {}= x = x の上にない 2 点 ( 1 2 , 1 4 ) \left(\dfrac{1}{2},\ \dfrac{1}{4}\right) ( 2 1 , 4 1 ) ,( 1 4 , 1 2 ) \left(\dfrac{1}{4},\ \dfrac{1}{2}\right) ( 4 1 , 2 1 ) を通ることを見ました。方程式の言葉で言えば、
( 1 16 ) x \displaystyle \left(\frac{1}{16}\right)^x ( 16 1 ) x = log 1 16 x \displaystyle {}= \log_{\frac{1}{16}} x = log 16 1 x
は x x x = 1 2 {}= \dfrac{1}{2} = 2 1 と x x x = 1 4 {}= \dfrac{1}{4} = 4 1 を解にもちます。確かめると、x x x = 1 2 {}= \dfrac{1}{2} = 2 1 では両辺とも 1 4 \dfrac{1}{4} 4 1 、x x x = 1 4 {}= \dfrac{1}{4} = 4 1 では両辺とも 1 2 \dfrac{1}{2} 2 1 です。
さらにもう 1 つ、直線 y y y = x {}= x = x の上の解があります。h ( x ) h(x) h ( x ) = ( 1 16 ) x {}= \left(\dfrac{1}{16}\right)^x = ( 16 1 ) x − x {}- x − x とおくと、h ( 1 4 ) h\left(\dfrac{1}{4}\right) h ( 4 1 ) = 1 2 {}= \dfrac{1}{2} = 2 1 − 1 4 {}- \dfrac{1}{4} − 4 1 > 0 {}> 0 > 0 ,h ( 1 2 ) h\left(\dfrac{1}{2}\right) h ( 2 1 ) = 1 4 {}= \dfrac{1}{4} = 4 1 − 1 2 {}- \dfrac{1}{2} − 2 1 < 0 {}< 0 < 0 で、h ( x ) h(x) h ( x ) は単調に減少する連続な関数なので、1 4 \dfrac{1}{4} 4 1 < x 0 {}< x_0 < x 0 < 1 2 {}< \dfrac{1}{2} < 2 1 の範囲に h ( x 0 ) h(x_0) h ( x 0 ) = 0 {}= 0 = 0 、 すなわち ( 1 16 ) x 0 \left(\dfrac{1}{16}\right)^{x_0} ( 16 1 ) x 0 = x 0 {}= x_0 = x 0 となる x 0 x_0 x 0 がただ 1 つあります(中間値の定理と第3章 定理3)。対数の定義から log 1 16 x 0 \log_{\frac{1}{16}} x_0 log 16 1 x 0 = x 0 {}= x_0 = x 0 でもあるので、x 0 x_0 x 0 も解です(x 0 x_0 x 0 ≒ 0.364 {}\fallingdotseq 0.364 ≒ 0.364 )。
したがって、この方程式の解は少なくとも 3 つあります(実はちょうど 3 つですが、それを示すには微分を使います)。「a x a^x a x = log a x {}= \log_a x = log a x は a x a^x a x = x {}= x = x に直して解けばよい」という発想は、底が 1 1 1 より大きいときには正しいのですが、底が 1 1 1 より小さいと解を取りこぼします。これも「一方向にしか成り立たない変形」の一例です。a x a^x a x = x {}= x = x の解はたしかに a x a^x a x = log a x {}= \log_a x = log a x の解ですが、逆は成り立たないのです。