次の数の大小を比較せよ.$ \}{対数の大小比較}}}} \\\\[.5zh] 対数関数$y=\log_ax$は$\textcolor{forestgreen}{a>1のとき単調増加関数},\ \textcolor{red}{01}のとき p}\ \log_aq & (\bm{\textcolor{red}{真数xが大きいほど\log_axが小さい}}) \end{cases}$ \\\\ 要は,\ $\bm{\textcolor{red}{底が1よりも小さいときxと\log_axの大小関係が逆転する}}$ということである. \\\\ 実際に対数の大小を比較するとき,\ 「\textbf{\textcolor{red}{底をそろえて真数の大小で比較する}}」のが基本となる. \\[.2zh] ただし,\ \textbf{\textcolor{magenta}{底が異なる場合,\ まず$\bm{-\,1}$,\ 0,\ 1を基準に大まかに分類する}}と楽になることが多い. \\[1zh] 例えば,\ $\log_45$と$\log_32$は底を統一せずとも比較できる. 底aが4の対数は,\=”” 真数mと\=”” \bunsuu14,\=”” 1,\=”” 4の大小を比較する.=”” \\[.6zh]=”” 底aが3の対数は,\=”” \bunsuu13,\=”” 3の大小を比較する.=”” この3数が,\=”” 対数が-1,\=”” 0,\=”” 1となる境目だからである.=””{16}}$=”” これを利用すると,\=”” 例えば\=”” \log_{\frac14}5と\log_{\frac13}2のは底を統一せずとも比較できる.=” まず,\ \bm{-\,1,\ 0,\ 1を基準に大まかに分類する.} \\[.2zh] 底3では,\ \log_3\bunsuu13=-\,1,\ \log_31=0,\ \log_33=1が基準となる. \\[.8zh] 底2では,\ \log_2\bunsuu12=-\,1,\ \log_21=0,\ \log_22=1が基準となる. \\[.6zh] \bunsuu12\log_{\frac12}6+1は,\ \log_aMN=\log_aM+\log_aN,\ \log_aM^k=k\log_aMで合体して比較する. \\[1.3zh] ここまでで,\ \bm{\log_{\frac12}3<-\,1<\log_{\frac12}\bunsuu{\ruizyoukon6}{2}<0<\log_32<1<\bunsuu32,\ \log_23}が確定する. \\[.8zh] よって,\ 後はいずれも1より大きい\,\bunsuu32\,と\log_23を比較すればよい. \\[1.2zh] \bm{\bunsuu32\,を底2の対数に変換}し,\ 真数で比較する. \\[.6zh] このとき,\ 単に\log_2をつけて\log_2\bunsuu32\,としてしまう誤りが多い. \\[.6zh] \bm{\log_2をつけることと\log_2の形に変形することは別}なので注意してほしい. \\[.2zh] 単に\log_2をつけてしまうと値が変わってしまう.\ 値自体は変えずに式の形だけを変えるのである. \\[.2zh] 苦手とする学生が多いが,\ 例えば\log_28=3なので逆に3=\log_28と変形できるというだけである. \\[.2zh] 少し一般化すると,\ \log_22^k=kより,\ \bm{k=\log_22^k}\,と変形できるわけである. これを簡潔に示しておけば,\ 後は2つずつ比較するだけである. \\[.2zh] 底の変換公式\ \log_ab=\bunsuu{\log_cb}{\log_ca}\ で底を揃えて比較する. \\[.8zh] 底を2で統一した後にk\log_aM=\log_aM^k\,を用いると,\ 以前学習した累乗の比較に帰着する. \\[.2zh] \bm{指数が整数になるように両方を6乗して比較する.} \\[1zh] \log_64と\log_98は,\ 底6,\ 9ではなく\bm{真数4,\ 8が2の累乗}であることに着目して比較するのがよい. \\[.2zh] \bm{分子が1になるように無理矢理変形すると,\ 分母の大小比較に帰着する.} \\[.2zh] 本問の場合,\ すでに分母の大小関係は判明している. \\[.2zh] 一般に,\ \bm{0\bunsuu1b}\ である(逆数をとると不等号が逆転する). \\[.8zh] これは\bm{a,\ b両方が同符号の場合に成り立つ}ことに注意してほしい. \\[.2zh] a>0,\ b>0またはa<0,\ b<0のときab>0より,\ a>bの両辺をabで割って\,\bunsuu1b>\bunsuu1a\,となる. \\[.6zh] a<0bの両辺をabで割ると\,\bunsuu1b<\bunsuu1a\,となる(負で割ると不等号逆転). \\[.6zh] \log_46>1,\ \log_89>1であることは最初に確認済みである. \\[1zh] 実は,\ 底を2に統一するのではなく,\ \log_ab=\bunsuu{1}{\log_ba}\ を用いると簡潔に済む. \\[.8zh] 直ちに\log_64=\bunsuu{1}{\log_46}\,と\log_98=\bunsuu{1}{\log_89}\,の比較となるからである. まず,\ 0<\log_32<1<\log_23,\ \log_32^2\,であることが直ちにわかる. \\[.2zh] また,\ 一般に00だからである. \\[.2zh] よって,\ (\log_32)^2<\log_32もすぐにわかる. \\[.2zh] \log_32-(\log_32)^2=\log_32(1-\log_32)>0\ を記述しておけば丁寧な答案になる. \\[1zh] 残すは\log_23と\log_34の比較になるが,\ これが厄介である. \\[.2zh] 底を2に統一すると\log が分母にいってしまうため,\ 単純には比較できない. \\[.2zh] そこで,\ 最終手段として\bm{差を考える}と,\ (\log_23)^2\,と2,\ つまり\bm{\log_23と\ruizyoukon2\,の大小比較}に帰着する. \\[.2zh] さらに,\ \ruizyoukon2=\log_22^{\ruizyoukon2}\,より,\ 3と2^{\ruizyoukon2}\,の大小比較となる. \\[.2zh] しかし,\ 無理数乗は単純には整数乗にできないのでこれも厄介である. \\[.2zh] そこで,\ 容易に整数乗にできるように\bm{値が近い有理数乗を考える.} \\[.2zh] \ruizyoukon2\kinzi1.41より\,\ruizyoukon2<\bunsuu32\,であるから,\ 2^{\ruizyoukon2}<2^{\frac32}\,である. \\[.2zh] 2^{\frac32}\,と3ならば両方を2乗して比較でき,\ 2^{\ruizyoukon2}<2^{\frac32}<3であることがわかる. \\[1zh] ○<\ruizyoukon2<\bunsuu32\,のように下限を考慮していないのは,\ 調べずとも3>2^{\ruizyoukon2}\,とわかっていたからである. \\[.6zh] \log_23は2を何乗すると3になるか,\ \log_34は3を何乗すると4になるかである. \\[.2zh] 2^2=4,\ 3^2=9を考慮すると,\ 2^x=3と3^y=4\ ではx>yだと推測することは難しくない. \\[.2zh] 対数の大小比較では,\ 最初に\bm{具体的な数値のアタリをつけておく}と余計な計算をせずに済む. \\[.2zh] 最悪,\ 答えだけでも正解できていれば部分点がもらえる可能性が残る. 対数の中に対数があるが,\ ビビる必要はない. \\[.2zh] 無理数なので仕方なく\log という記号を用いて表しているが,\ 所詮は対数も単なる実数である. \\[.2zh] 例えば,\ \log_23\kinzi1.6であるから,\ \log_2(\log_23)\kinzi\log_21.6ということである. \\[1zh] さて,\ \log_2(\log_23)の-1,\ 0,\ 1基準の分類は,\ 真数の\log_23と\,\bunsuu12,\ 1,\ 2との関係で決まる. \\[.6zh] 1<\log_23<2より,\ 0=\log_21<\log_2(\log_23)<\log_22=1となる. \\[.2zh] 1<\log_23<2ならば当然1<\log_23<3なので,\ 0=\log_31<\log_3(\log_23)<\log_33=1もいえる. \\[1zh] 同様に,\ \log_32<1より,\ \log_2(\log_32)<\log_21=0,\ \ \log_3(\log_32)<\log_31=0である. \\[1zh] 結局,\ \bm{真数が同じで底が異なる対数の比較}に帰着する. \\[.2zh] 例えば,\ \log_25>\log_35であることは計算せずともわかる. \\[.2zh] 2を何乗すると5になるかの方が3を何乗すると5になるかよりも大きいのは明らかである. \\[.2zh] ただし,\ \log_2\bunsuu15<\log_3\bunsuu15\,のように真数が1よりも小さい場合は逆になったりする. \\[.6zh] 安易に答えるのは危険なので,\ 差をとって丁寧に考えることにする. \\[.2zh] 公式\,\log_ab=\bunsuu{1}{\log_ba}\ を利用し,\ 底をそろえて考えるのがよい. \\[.8zh] \bm{\log_23と\log_32は正でありかつ1ではない}ので,\ 底の部分にもってくることが許される. \\[.2zh] \log_{\log_23}2と\log_{\log_23}3の比較になるが,\ 底\log_23>1より,\ \log_{\log_23}2<\log_{\log_23}3となる. \\[.5zh] また,\ \log_2(\log_23)=\bunsuu{1}{\log_{\log_23}2}>0より,\ \log_{\log_23}2>0である.\ 同様に\log_{\log_23}3>0である. \\[.6zh] 0<\log_{\log_23}2<\log_{\log_23}3より,\ \bunsuu{1}{\log_{\log_23}2}>\bunsuu{1}{\log_{\log_23}3}\,である(同符号なので逆数で不等号逆転). \\\\ 底0<\log_32<1より,\ \log_{\log_32}2>\log_{\log_32}3である. \\[.4zh] また,\ \log_2(\log_32)=\bunsuu{1}{\log_{\log_32}2}<0より,\ \log_{\log_32}2<0である.\ 同様に\log_{\log_32}3<0である. \\[.8zh] 0>\log_{\log_32}2>\log_{\log_32}3より,\ \bunsuu{1}{\log_{\log_23}2}<\bunsuu{1}{\log_{\log_23}3}\,である(同符号なので逆数で不等号逆転).
