求二次方程组中a、b、c的最大值
嘿,我来帮你理清这个问题的思路~这类循环式的方程组,咱们先从最直观的对称情况入手试试,也就是假设(a = b = c),这通常是找到解的突破口。
把(a = b = c)代入第一个方程,得到:
$$\frac{4a^2}{1 + 4a^2} = a$$
接下来咱们解这个方程:
- 因为分母(1 + 4a^2)肯定大于0(平方项非负,加1后必然大于0),所以两边直接乘分母不会有问题,得到:
$$4a^2 = a(1 + 4a^2)$$ - 展开右边并移项整理:
$$4a^2 = a + 4a^3 \ 4a^3 - 4a^2 + a = 0$$ - 提取公因式(a),再对二次项因式分解(是个完全平方):
$$a(4a^2 - 4a + 1) = 0 \ a(2a - 1)^2 = 0$$ - 解得(a = 0)或者(a = \frac{1}{2})(重根)。
对应的解就是((0, 0, 0))和((\frac{1}{2}, \frac{1}{2}, \frac{1}{2}))。
那接下来要确认:有没有可能(a、b、c)不全相等时,存在更大的值呢?咱们来分析一下:
先看方程里的函数(f(x) = \frac{4x^2}{1 + 4x^2}),对它求导能发现,当(x \geq 0)时,(f'(x) = \frac{8x}{(1 + 4x2)2} \geq 0),也就是说这个函数在非负区间是单调递增的。
另外,咱们可以比较(x)和(f(x))的大小:
$$x - f(x) = x - \frac{4x^2}{1 + 4x^2} = \frac{x(1 + 4x^2 - 4x)}{1 + 4x^2} = \frac{x(2x - 1)^2}{1 + 4x^2}$$
当(x > 0)且(x \neq \frac{1}{2})时,这个差值是正的,也就是(x > f(x))。
现在假设存在某个变量是最大值,比如(a)是最大值且(a > \frac{1}{2}):
- 因为(f(x))单调递增,所以(b = f(a)),但根据上面的结论,(a > f(a) = b);
- 同理,(c = f(b)),因为(b < a)且函数单调递增,所以(c = f(b) < f(a) = b);
- 最后(a = f(c)),又会得到(a = f(c) < f(b) = c)。
这就推出了(a < c < b < a)的矛盾,所以这种情况不可能存在。
另外,从方程里能看出来,(b = \frac{4a^2}{1 + 4a^2})的结果肯定是非负的,同理(c)和(a)也都是非负的,所以不用考虑负数的情况。
综上,所有可能的解里,最大的值就是(\frac{1}{2}),当且仅当(a = b = c = \frac{1}{2})时取到。
备注:内容来源于stack exchange,提问作者ryan.zcd

