证明 $f(2)\geqslant f(n)\geqslant f(3)$

hbghlyj

$n\geqslant2,$
$$f(n)=n^{1/2}\prod_{k=2}^n\left(1 +\frac{(-1)^k}{\sqrt{k}}\right)$$
如何证明 $f(2)\geqslant f(n)\geqslant f(3)$ 呢？

$f(2)=1+\sqrt2$
$f(3)=-1+\sqrt{3}+\sqrt{2-\sqrt{3}}$

hbghlyj

1. from math import sqrt, prod
2. import matplotlib.pyplot as plt
4. def f(n):
5.   return n**(1/2) * prod(1 + (-1)**i * 1/sqrt(i) for i in range(2, n+1))
7. x = list(range(2, 100))
8. y = [f(n) for n in x]
10. plt.plot(x, y)
11. plt.xlabel('n')
12. plt.ylabel('f(n)')
13. plt.title('Line Plot of f(n)')
14. plt.show()

复制代码

ZCos666

分奇偶数列看就行了，即证
\[ \sqrt{\dfrac{n+2}{n}}\left(1+\dfrac{(-1)^{n+1}}{\sqrt{n+1}}\right)\left(1+\dfrac{(-1)^{n+2}}{\sqrt{n+2}}\right)\gtrless1 \]
即证$(\sqrt{n+1}\pm1)(\sqrt{n+2}\mp1)\gtrless\sqrt{n(n+1)}$
两种情况其实可以化归成$\dfrac{\sqrt{n+2}-1}{\sqrt{n+1}-1}>\sqrt{\dfrac{n+1}{n}}$
整理一下式子，发现可以“同构”
\[ n+1-\sqrt{(n+1)^2-1}<\sqrt{n+1}-\sqrt{n} \]
保证单调性，即证
\[ \sqrt{n+1}+\sqrt{n}<n+1+\sqrt{(n+1)^2-1} \]
那么往证$n<(n+1)^2-1$，显然有$n^2+n>0$成立
得证

hbghlyj

ZCos666 发表于 2025-3-1 13:23
分奇偶数列看就行了，

这是否证明了$\{f(2n+1)\}$递增，$\{f(2n)\}$递减

所以 $f(2)>f(4)>f(6)>\ldots$

但如何证明 $f(2)>f(2n+1)$

hbghlyj

如何证明 $f(2n)>f(2n+1)$?

我懂了，$$\left(\sqrt{\frac{2n}{2n+1}} + \frac{1}{\sqrt{2n+1}}\right)^2>\frac{2n}{2n+1}+ \frac{1}{2n+1} = 1$$
$$\implies\sqrt{\frac{2n}{2n+1}} > 1 - \frac{1}{\sqrt{2n+1}}$$

hbghlyj

@ZCos666 我也想知道，极限 $\lim f(n)$ 有闭形式吗？