不用计算器，证明$\log_{1/4}8/7>\log_{1/5}5/4.$

isee

即手工比大小：

$$\log_{\frac 14}\frac 87>\log_{\frac 15}\frac 54.$$

kuing

见《撸题集》第 207 页题目 2.3.9.

isee

回复 2# kuing


    两边加2，化为整数，学习了。
    不过，后段利用导数性质了；

    看看有否纯初等证明。

wanhuihua

isee

回复 4# wanhuihua


        许久才反应快来，用ln 表示的 log ！


        文字化一下 by wanhuihua:

        $$3125\sqrt 5>3.2^7\Rightarrow \log_{2048}{3125\sqrt 5}>\log_{2187}{3.2^7}\Rightarrow \log_45>\log_3{3.2}\Rightarrow \log_43>\log_5{3.2}\\ \ \\
3+\log_43>3+\log_5{3.2}\Rightarrow \log_4{196}>\log_4{192}>\log_5{200}\Rightarrow \log_4{14}>\log_5{20},\cdots$$

色k

回复 5# isee

俺也是第一次看到这样写对数的

wanhuihua

回复 4# wanhuihua

ln 表示log 哈哈写错了

isee

回复 4# wanhuihua


    这个证明很初等，厉害，佩服！实质就是尽量把底，真数尽量化小,（>1），然后扩大拉开差距。

   很精彩。不过，加2变整数，是不是也是受k的影响？这与化小有点矛盾。

zhcosin

不用计算器，可以用计算机呀

isee

回复 5# isee


给出单墫老师给出一种证法（写法不完全相同）：


\begin{align*}
\log_{\frac 14}\frac 87>\log_{\frac 15}\frac 54&\iff \log_4\frac 87<\log_5\frac 54 \\
&\iff \log_4\frac 87<\frac{\log_4\frac 54}{\log_45}=\log_54\log_4\frac 54
\end{align*}
注意$$5^4<4^5\Rightarrow \frac 45<\log_54.$$则需证$$\log_4\frac 87<\frac 45\log_4\frac 54\iff \left(\frac 87\right)^5<\left(\frac 54\right)^4\iff 32^4\cdot8<35^4\cdot7.$$

做乘法计算，知上式成立。证毕。

力工

回复 10# isee
《解题漫谈》么？《学数学》上有导数解法。

isee

回复 11# 力工


    对，解题漫谈。

    如果有分析证明，不妨发来学习学习。