比较大小 $\log_35$，$\log_58$

isee

源自知乎提问

---

PS：熟悉高考题目的，就知道这其实是高考题的改编（取了倒数）

证明： $\log_35>\log_58\iff \log_53<\log_85$ .

汇个总，在知乎答过的方式.


Solution 1 少算多思

或分离出整数，比较小数部分 \begin{gather*}
1+\log_3\frac53>1+\log_5\frac53>1+\log_5\frac85.\qquad\square
\end{gather*}再如（以及其他答主的精彩方式）

对数怎么比较大小，例如log₂3和log₃4?



或糖水不等式 \begin{gather*}
\log_53=\frac{\ln 3}{\ln 5}<\frac{\ln 3+\ln\frac53}{\ln 5+\ln\frac53}=\frac{\ln5}{\ln\frac{25}3}<\frac{\ln 5}{\ln8}=\log_85.
\end{gather*}



Solution 2 多算少思
找中间数过度，思想就是二分法，逐渐调整，最后有 \[\log_35>\frac{7}{5}>\log_58.\]

具体可参考， 本月初的一个答文：比较log 2根号三和log 54的大小?



Solution 3 朴素作商或作差
具体请看曾经的答文——均值不等式上场：log₅3与log₈5，怎么比较大小？




Solution 4 记住常见常数近似值
$\lg 2\approx 0.3010$ , $\lg3\approx0.4771$： \begin{gather*}
\log_35=\frac{\lg5}{\lg 3}=\frac{1-\lg2}{\lg 3}\approx \frac{1-0.301}{0.477}\approx1.4\cdots,\\[1ex]
\log_58=\frac{3\lg2}{1-\lg 2}=\frac{0.903}{0.699}\approx1.2\cdots,\\[1ex]
\therefore\ \log_35>\log_58.
\end{gather*}




Solution 5 应用公式
命题：若 $d>c\geqslant b>a>1$ 且 $bc\geqslant ad$ 时，则 \[\log_ab>\log_cd, \; \log_ac>\log_bd.\]

kuing

还有作弊法呀

解：做乘法计算知 `5^3>3^4` 且 `5^4>8^3`，所以 `\log_35>4/3>\log_58`。

isee

kuing 发表于 2024-3-27 16:35
还有作弊法呀

解：做乘法计算知 `5^3>3^4` 且 `5^4>8^3`，所以 `\log_35>4/3>\log_58`。 ...

知乎有那两题呢，本来也不是人（手工）比的，太接近了~

睡神

$\log_35>\log_58\iff \log_53\cdot \log_58<1$

由基本不等式得$\log_53\cdot \log_58<\Big(\dfrac{\log_53+\log_58}{2}\Big)^2=\Big(\dfrac{\log_524}{2}\Big)^2<1$

噢，写完才看到，和Solution 3 基本上差不多。。。

isee

睡神 发表于 2024-3-27 21:35
$\log_35>\log_58\iff \log_53\cdot \log_58<1$

由基本不等式得$\log_53\cdot \log_58<\Big(\dfrac{\log_5 ...

也挺好，且形式上更简洁，也容易切入：化底相同~

ic_Mivoya

以前刚好加强过这题，在这里放一下吧：

已知 Fibonacci 数列

$$F_n=\begin{cases}1&(n=1,2)\\F_{n-1}+F_{n-2}&(n\ge3)\end{cases}$$

$a,b,c$ 为其中连续三项，满足 $1<a<b<c$ ，求证：$\log_ba<\log_cb$ 。

kuing

ic_Mivoya 发表于 2024-3-28 23:43
以前刚好加强过这题，在这里放一下吧：

已知 Fibonacci 数列

我以前也曾猜想
\[\log_{F_{n-1}}F_n>\frac{n-1}{n-2}>\log_{F_n}F_{n+1},\quad\forall n>3\]
但是没证出来……😣

hbghlyj

kuing 发表于 2024-3-28 16:28
我以前也曾猜想
\[\log_{F_{n-1}}F_n>\frac{n-1}{n-2}>\log_{F_n}F_{n+1},\quad\forall n>3\]
但是没证出 ...

kuing.cjhb.site/forum.php?mod=redirect&goto=findpost&ptid=7674&pid=38362

是的。如果n是偶数，则很容易得到。
math.stackexchange.com/questions/4139629/a-fibonacci-conjecture-log-f-n1f-n-log-f-n2f-n1
JMP's answer:
For even $n$ you can use:
$$F_nF_{n+2}<F_{n+1}^2$$
$$\implies \log(F_nF_{n+2})<\log(F_{n+1}^2)$$
$$\implies \log(F_n)+\log(F_{n+2})<2\log(F_{n+1})$$
$$\implies \frac{\log(F_n)+\log(F_{n+2})}{2}<\log(F_{n+1})$$
By the AM-GM:
$$\sqrt{\log(F_n)\log(F_{n+2})}<\frac{\log(F_n)+\log(F_{n+2})}{2}< \log(F_{n+1})$$
as required.

---

Amanuel Getachew's answer:（他的case 2和上面相同）

$ \log_{F_{n+1} } F_n < \log_{F_{n+2} }F_{n+1}.$
This is equivalent to:
$$\dfrac{\log F_{n}}{\log F_{n+1}} < \dfrac{\log    F_{n+1}}{\log F_{n+2}}$$
Multiply both sides by $\log F_{n+1}\log F_{n+2}$ and you'll get  $\log(F_n )\log (F_{n+2}) < (\log (F_{n+1}))^2$ ($\log$ here is the natural logarithm).

One can use the Cassini identity ($F_{n+1}^2 = F_nF_{n+2} \pm 1$) to prove your conjecture, but first let's establish an inequality equivalent to the above one,
$$\log(F_n)\log(F_{n+2})< (\log(F_{n+1}))^2 = (\frac{1}2\log(F_{n+1}^2))^2 = \frac{1}{4}(\log(F_{n+1})^2)^2$$

Therefore it suffices to prove that $\log(F_{n+1}^2)^2 > 4\log F_n \log F_{n+2}$

Case 1: when $F_{n+1}^2 = F_nF_{n+2} - 1$
$$(\log(F_{n+2}/F_{n}))^2 > (\log 2)^2 > \dfrac{2 \log F_n}{F_n} + \dfrac{2\log 3F_n}{F_n} - \dfrac{1}{F_n^2}$$
$$\geq \dfrac{2 \log F_n + 2\log (2F_n + F_{n-1})}{F_n}- \dfrac{1}{F_n^2} = \dfrac{2 \log F_n + 2\log (F_{n+2})}{F_n}- \dfrac{1}{F_n^2}$$
$$\implies (\log F_{n+2} - \log F_n)^2 > \dfrac{2 \log F_nF_{n+2}}{F_n} - \dfrac{1}{F_n^2}$$
for a sufficiently large $n$($n \geq 8$ for the Fibonacci sequence starting with $1$ and $2$). Now add $4\log F_n \log F_{n+2}$ to both sides:
$$(\log F_{n+2} + \log F_n)^2 > \dfrac{2 \log F_nF_{n+2}}{F_n} - \dfrac{1}{F_n^2} + 4\log F_n \log F_{n+2} $$
$$\implies (\log F_{n+2} + \log F_n)^2 - \dfrac{2 \log F_nF_{n+2}}{F_n} + \dfrac{1}{F_n^2} > 4\log F_n \log F_{n+2}$$
$$\implies (\log F_{n} + \log F_{n+2} - \dfrac{1}{F_n})^2 > 4\log F_n \log F_{n+2}$$
$$\implies (\log F_{n} + \log (F_{n+2} - \dfrac{1}{F_n}))^2 = (\log(F_n\cdot (F_{n+2} - \dfrac{1}{F_n})))^2 = \log(F_{n+1}^2)^2 > 4\log F_n \log F_{n+2} $$
Case 2: when $F_{n+1}^2 = F_nF_{n+2} + 1$
$$(\log F_{n+2} - \log F_n)^2 > 0 $$
$$\implies (\log F_{n+2} +\log F_n)^2 > 4\log F_n \log F_{n+2}$$
$$\implies (\log F_{n+1}^2)^2 = (\log F_{n+2}F_n + 1)^2 > (\log F_{n+2}F_n)^2 > 4\log F_n \log F_{n+2}$$
Verifying the inequality for $n < 8$ manually completes the proof using Cassini's identity.

isee

ic_Mivoya 发表于 2024-3-28 23:43
以前刚好加强过这题，在这里放一下吧：

已知 Fibonacci 数列

这个也确实见到过，不过，我觉得不算是比较大小，算是 Fibonacci 数列 的一个性质了

lemondian

$\dfrac{n-2}{n-1}<\log_{F_{n+1}}F_n<\dfrac{n-1}{n},\quad\forall n\geqslant 3$
这个与7#等价吗？

睡神

我水一下，试试码一下中间那个的代码$\log_{F_{n+1}}F_n$…这样对不？😂

ic_Mivoya

kuing 发表于 2024-3-29 00:28
我以前也曾猜想
\[\log_{F_{n-1}}F_n>\frac{n-1}{n-2}>\log_{F_n}F_{n+1},\quad\forall n>3\]
但是没证出 ...

这里给出大致的证明思路。

记 $x=\dfrac{\sqrt5+1}2$ ，熟知 Fibonacci 数列有通项公式：
$$F_n=\dfrac{x^n-(-1)^nx^{-n}}{\sqrt5}$$
取对数：
$$\begin{aligned}
\ln F_n&=\ln(x^n-(-1)^nx^{-n})-\ln\sqrt5\\
&=n\ln x-\ln\sqrt5+\ln(1-(-1)^nx^{-2n})\\
&\approx n\ln x-\ln\sqrt5
\end{aligned}$$
由于 $|\ln(1-(-1)^nx^{-2n})|=O(x^{-2n})$ 是高阶小量，不妨忽略其影响。断言：

$\dfrac{\ln F_n}{n-1}\approx \ln x+\dfrac{\ln x-\ln\sqrt5}{n-1}$  ，单调增；
$\dfrac{\ln F_n}{n-2}\approx \ln x+\dfrac{2\ln x-\ln\sqrt5}{n-2}$ ，单调减。

因此 $\dfrac{\ln F_{n+1}}{\ln F_n}>\dfrac{n-1}{n-2}>\dfrac{\ln F_n}{\ln F_{n-1}}$ ，这就是要证的。

再通过一些计算，容易证明：
即使考虑 $\ln(1-(-1)^nx^{-2n})$ 这一项，也确实不影响 $\left\{\dfrac{\ln F_n}{n-1}\right\},\left\{\dfrac{\ln F_n}{n-2}\right\}$ 的增减性。
这是 trivial 的，不再加以说明。

lemondian

$\dfrac{n-2}{n-1}<\log_{F_{n+1}}F_n<\dfrac{n-1}{n},\quad\forall n\geqslant 3$

这个好象有一个初等的证法（好象在哪看过，暂时还没找到），大意是这样的：
设$\varphi =\dfrac{1+\sqrt{5}}{2}$，则$-\varphi^{-1} =\dfrac{1-\sqrt{5}}{2},F_n=\dfrac{\varphi ^n-(-\varphi )^{-n}}{\sqrt{5}}$。
记$E_n=\dfrac{\varphi ^n-\varphi ^{-n}}{\sqrt{5}},G_n=\dfrac{\varphi ^n+\varphi ^{-n}}{\sqrt{5}}$，则$0<E_n\leqslant F_n\leqslant G_n$。
然后就可以分左、右两边来上述不等证了，大家看看能不能证.

hbghlyj

hbghlyj 发表于 2024-3-28 20:48
$$\implies (\log F_{n} + \log F_{n+2} - \dfrac{1}{F_n})^2 > 4\log F_n \log F_{n+2}$$
$$\implies (\log F_{n} + \log (F_{n+2} - \dfrac{1}{F_n}))^2 = (\log(F_n\cdot (F_{n+2} - \dfrac{1}{F_n})))^2 = \log(F_{n+1}^2)^2 > 4\log F_n \log F_{n+2} $$

Case 1.最後一行把左式換掉了，為什麼可以換，一眼看不出来。但確實是正確的，我給補充了一下：math.stackexchange.com/questions/4891097/

lemondian

lemondian 发表于 2024-4-1 11:25
$\dfrac{n-2}{n-1}<\log_{F_{n+1}}F_n<\dfrac{n-1}{n},\quad\forall n\geqslant 3$

这个好象有一个初等的 ...

找到这个证明了。
大家看看这个证明是否正确？有没有更好的证法？@kuing