📝 题目
例 2 . 设 $f\left( x\right) \in C\left( {a,b}\right) ,{x}_{1},{x}_{2},\cdots ,{x}_{n} \in \left( {a,b}\right)$ . 求证: $\exists \xi \in$ (a, b),使得
$$ f\left( \xi \right) = \frac{1}{n}\mathop{\sum }\limits_{{k = 1}}^{n}f\left( {x}_{k}\right) . \tag{5.1} $$
💡 答案与解析
证 设
$$ f\left( {x}_{{k}_{m}}\right) = \min \left\{ {f\left( {x}_{1}\right) ,f\left( {x}_{2}\right) ,\cdots ,f\left( {x}_{n}\right) }\right\} , $$
$$ f\left( {x}_{{k}_{M}}\right) = \max \left\{ {f\left( {x}_{1}\right) ,f\left( {x}_{2}\right) ,\cdots ,f\left( {x}_{n}\right) }\right\} . $$
如果 ${x}_{{k}_{m}} = {x}_{{k}_{M}}$ ,则有
$$ f\left( {x}_{{k}_{m}}\right) = f\left( {x}_{{k}_{M}}\right) \Rightarrow f\left( {x}_{1}\right) = f\left( {x}_{2}\right) = \cdots = f\left( {x}_{n}\right) . $$
这时任取 ${x}_{k}\left( {k = 1,2,\cdots }\right)$ 为 $\xi$ ,都符合要求.
当 ${x}_{{k}_{m}} \neq {x}_{{k}_{M}}$ 时,令
$$ \alpha = \min \left\{ {{x}_{{k}_{m}},{x}_{{k}_{M}}}\right\} ,\;\beta = \max \left\{ {{x}_{{k}_{m}},{x}_{{k}_{M}}}\right\} , $$
则有
$$ f\left( {x}_{{k}_{m}}\right) \leq f\left( {x}_{k}\right) \leq f\left( {x}_{{k}_{M}}\right) \;\left( {k = 1,2,\cdots }\right) . $$
由此推出 $f\left( {x}_{{k}_{m}}\right) \leq \frac{1}{n}\mathop{\sum }\limits_{{k = 1}}^{n}f\left( {x}_{k}\right) \leq f\left( {x}_{{k}_{M}}\right)$ ,在区间 $\left\lbrack {\alpha ,\beta }\right\rbrack$ 上应用介值定理,则 $\exists \xi \in \left\lbrack {\alpha ,\beta }\right\rbrack \subset \left( {a,b}\right)$ ,使得 (5.1) 成立.