本帖最后由 业余的业余 于 2019-2-15 07:19 编辑
还真不知道这个套路题
学习了几位的解,kuing 的优雅, realnumber 的亲民。沿 realnumber 的思路,有如下思考:
令 $g(x)=ax+\cfrac 9x\>\> (a\ne 0)。 $ 假设以某种方法,我们求出了
$g(x)$ 在区间 $[1,9]$ 上的最大值和最小值分别为 $M, m$, 那么显然,$|f(x)|=|g(x)+b|$ 在 $b=-\cfrac {M+m}2$ 时取得最小最大值 $\cfrac {M-m}2$
令 $g'(x)=a-\cfrac 9{x^2}=0$ 得极值点 $x=\cfrac 3{\sqrt{a}}$ (仅当 $a>0$ 时有这个极值点),显然,仅当 $\cfrac {1}9<a<9$ 时,这个极值点落在给定区间的内部,此时对应的函数的最小值为 $6\sqrt{a}$。以下分两种情形考虑
1. 当$\cfrac {1}9<a<9$ 时,$|f(x)|$ 在给定区间内最小最大值为 $Max\left(\cfrac {|6\sqrt{a}-9a-1|}2, \cfrac{|6\sqrt{a}-a-9|}2\right)$, 简单运算可知其值为 $2$
2. $a$ 为其它值时,$|f(x)|$ 在给定区间内最小最大值为 $\cfrac {|9a+1-a-9|}2 = 4|a-1|$, 显然 $>2$.
回到kuing 的解,正如 敬畏数学所说,$1,3,9$ 这三个值是不二选择,我试过其它组合,得到的最小值都小于$ 2$。可是为什么呢?$ 1,9 $是边界,容易想到;$ 3 $呢?$\sqrt{1\times 9}$? 背后的理由为何?
沿kuing 的思路,对 $x_0, x_1, x_2\in[1,9]$, $i,j,k>0$, 使
$i f(x_0)+j f(x_1) - k f(x_2)=(ix_0+jx_1- kx_2)a+(i+j-k)b+9\left( \cfrac i{x_0}+\cfrac j{x_1}-\cfrac k{x_2}\right)$
中 $a,b$ 的系数都为零,且使 $M(x_0,x_1,x_2)=\cfrac {9\left( \middle|\cfrac i{x_0}+\cfrac j{x_1}-\cfrac k{x_2}\middle|\right)}{i+j+k}$ 取最大值。
试验表明 仅当 $x_i$ 取 $1,3,9$ 时 $M$ 取得最大值 $2$.
为什么? 这是一个难度不小于原题的不等式问题,或约束条件下的最值问题。归纳为
求证: $\forall x_0,x_1, x_2\in [1,9], \forall i,j,k>0, $ 如果 $ i+j-k=0, ix_0+jx_1-kx_2=0$, 那么 $\cfrac {9\left( \middle|\cfrac i{x_0}+\cfrac j{x_1}-\cfrac k{x_2}\middle|\right)}{i+j+k}\leqslant 2$
这个问题可以把以上两种思路综合起来来证明,但是否有更优雅、简洁的办法? |