You need to enable JavaScript to run this app.
最新活动
大模型
产品
解决方案
定价
生态与合作
支持与服务
开发者
了解我们

验证利用二阶导数证明伯努利不等式的非常规方法是否有效

验证伯努利不等式非常规证明思路的有效性

最近一周泡组合数学与分析课的时候,我卡在了伯努利不等式的证明上——就是那个对所有自然数(n)和(x > -1),都成立的((1+x)^n \geq 1+nx)。后来我想到了一个不走寻常路的证明法子,现在来拆解下这个思路靠不靠谱:

  • 先做二项式展开转化问题:
    把((1+x)^n)按二项式定理展开,得到:
    [
    (1+x)^n = \sum_{i=0}{n}\binom{n}{i}x{i} = 1 + nx + \sum_{i=2}{n}\binom{n}{i}x{i}
    ]
    要证原不等式,其实等价于证明后面的求和项(s_n(x) = \sum_{i=2}{n}\binom{n}{i}x{i})在(x \in (-1, +\infty))时恒大于等于0。这一步转化是没问题的,毕竟二项式展开对自然数(n)是完全成立的。

  • 用二阶导数分析(s_n(x))的非负性:
    首先明确,当(n=1)时原不等式显然成立(两边都是(1+x)),所以咱们只需要考虑(n \geq 2)的情况,此时(s_n(x))是次数不低于2的多项式。
    先求(s_n(x))的一阶导数:
    [
    s_n'(x) = \sum_{i=2}{n}i\binom{n}{i}x{i-1}
    ]
    再求二阶导数:
    [
    s_n''(x) = \sum_{i=2}{n}i(i-1)\binom{n}{i}x{i-2}
    ]
    这里注意几个关键点:

    1. 二项式系数(\binom{n}{i})都是正整数,(i(i-1))当(i \geq 2)时也都是非负整数,所以每一项的系数都是正的。
    2. 分区间讨论:
      • 当(x \geq 0)时,(x^{i-2})是非负的,所以(s_n''(x) \geq 0),说明(s_n(x))在([0, +\infty))上是下凸函数。再看边界值:(s_n(0)=0),(s_n'(0)=0),下凸函数在导数为0的点处取最小值,所以(x \geq 0)时(s_n(x) \geq 0),这部分完全成立。
      • 当(-1 < x < 0)时,虽然(x^{i-2})会因为指数奇偶性变号,但咱们可以换个角度结合原函数来看:(s_n(x) = (1+x)^n - 1 - nx),直接对这个整体求一阶导数(f'(x) = n(1+x)^{n-1} - n),当(-1 < x < 0)时,(0 < 1+x < 1),所以((1+x)^{n-1} < 1),因此(f'(x) < 0),说明(f(x))在((-1,0))上单调递减,而(f(0)=0),所以在这个区间里(f(x) > 0),也就是(s_n(x) > 0)。

总结下来,这个非常规的证明思路是有效的——通过二项式展开转化为证明求和项非负,再结合二阶导数分析凸性、单调性来验证非负性,逻辑链条是完整的。

内容的提问来源于stack exchange,提问作者Leonidas Lanier

火山引擎 最新活动