【高数】微分中值定理有关的一道证明题

题意

• 设 $f(x)$ 在 $[0,1]$ 上连续，$(0,1)$ 内可导，且 $f(0)=0,f(1)=1$
  证明：给定任意 $n$ 个正数 $a_1,a_2,\cdots ,a_n$ ，
  在 $(0,1)$ 内一定存在互不相同的 $n$ 个数， $0<{\xi }_1<{\xi }_2<\cdots <{\xi }_n<1$ ，满足：
  $$\sum a_i=\sum \frac{a_i}{f^{\prime }({\xi }_i)}$$

证明

• 微分中值定理的题。
  由于这里面 $n$ 个数字都不相同，我们就需要把 $(0,1)$ 划分成 $n$ 个区间 $(c_i,c_{i+1})$
  $i\in [1,n]$，$c_1=0,c_{n+1}=1,c_i<c_{i+1}$
• 对于第 $i$ 个区间，根据拉格朗日中值定理，得到：
  $$\frac{f(c_{i+1})-f(c_i)}{c_{i+1}-c_i}=f^{\prime }({\xi }_i)，其中{\xi }_i\in (c_i,c_{i+1})$$
  根据反推法，那么我们要求的值：
  $$\frac{a_i}{f^{\prime }({\xi }_i)}=\frac{(c_{i+1}-c_i)a_i}{f(c_{i+1})-f(c_i)}$$
• 若我们能够构造出来 $f(c_{i+1})-f(c_i)=X\cdot a_i$，那么可以抵消掉 $a_i$
  $$\frac{a_i}{f^{\prime }({\xi }_i)}=\frac{c_{i+1}-c_i}{X}$$
  那么就可以错位相减了
  $$\sum \frac{a_i}{f^{\prime }({\xi }_i)}=\frac{c_{n+1}-c_1}{X}=\frac{1}{X}=\sum a_i$$
  那么，我们可以令 $X=\frac{1}{\sum a_i}$
  我们还要让 $f(c_{i+1})-f(c_i)=X\cdot a_i$，那么我们 $f(c_i)$ 就可以构造出来了：
  $$f(c_i)=\frac{{\sum }_{k=1}^{i-1}{a}_k}{{\sum }_{k=1}^n{a}_k}$$
• 注意到，$0=f(0)=f(c_1)<f(c_2)<\cdots <f(c_{n+1})=f(1)=1$
  且 $f(x)$ 连续，根据介值定理，自然取得到这里的所有 $f(c_i)$
• 构造完成后，我们便可以轻松证明：
  $$\frac{f(c_{i+1})-f(c_i)}{c_{i+1}-c_i}=\frac{a_i}{({\sum }_{k=1}^n{a}_k)(c_{i+1}-c_i)}=f^{\prime }({\xi }_i)，{\xi }_i\in (c_i,c_{i+1})$$
  于是
  $$\frac{a_i}{f^{\prime }({\xi }_i)}=(\sum _{k=1}^n{a}_k)(c_{i+1}-c_i)$$
  于是
  $$\sum \frac{a_i}{f^{\prime }({\xi }_i)}=(\sum _{k=1}^n{a}_k)(c_{n+1}-c_1)=\sum _{k=1}^n{a}_k\square$$