一道清华大学自主招生题思考与研究.docVIP

一道清华大学自主招生题的思考与研究 　　摘 要：本文探究的是一道2006年清华大学自主招生试题，笔者从两个方面研究此题：在求最大值时，利用一个凸函数的命题，对这一类型的题目做了简要证明，并做出推广；在求最小值时，利用Holder不等式做出证明并给出推广. 　　关键词：最值；凸函数；Holder不等式 　　具体题目如下：已知a，b为非负数， M=a4+b4，a+b=1，求M的最值.本文利用了均值不等式和构造法这两种方法证明了该题. 　　[?] 最大值 　　命题1 假设f（x）是定义在实数域[a，b]上的凸函数，实数x1，x2∈[a，b]，且满足x1+x2=C，其中2a≤C≤2b. 当且仅当（x1，x2）中至少有1个元素等于a或b，g2（x1，x2）=f（x1）+f（x2）达到最大值时. 　　证明：已知C∈[2a，2b]. 现证g2（x1，x2）≤f（a）+f（C-a），C≤a+b， 　　f（b）+f（C-b），C≥a+b. 若C≤a+b，则C-a≤b，因为x1，x2∈[a，C-a]，则存在参数0≤t≤1，使得x1=ta+（1-t）（C-a），x2=（1-t）a+t（C-a），由Jensen不等式，可得f（x1）≤tf（a）+（1-t）f（C-a）以及f（x2）≤（1-t）f（a）+tf（C-a），两式相加，可得f（x1）+f（x2）≤f（a）+f（C-a）. 当C≥a+b时，用类似的方法可以证明，证毕. 　　例1 已知a，b为非负数， M=a4+b4，a+b=1，求M的最大值. 　　证明：构造函数f（x）=x4，f ″（x）=12x2≥0，由题意，a，b∈[0，1]，且a+b=1，根据命题1，当f（a）+f（b）取到最大值时，a中b至少取到一个0或1，则M的最大值为1. 　　推论1 已知a，b为非负数，M=（a+l）k+（b+l）k，a+b=m，M的最大值为（m+l）k，其中（k∈Z+，m∈R+，l≥0）. 　　证明：构造函数f（x）=（x+l）k，f ″（x）=k（k-1）（x+l）k-2≥0，由题意，a，b∈[0，m]，且a+b=m，根据命题1，当f（a）+f（b）取到最大值时，a中b至少取到一个0或m，则M的最大值为lk+（m+l）k. 　　推论2 已知a，b为非负数，a1，a2为非负常数， M=a1ak+a2bk，a+b=m，M的最大值为max{a1，a2}?mk，其中（m∈R+，k∈Z+）. 　　证明：不妨设a1=max{a1，a2}，则M=a1ak+a2bk≤a1ak+a1bk，则根据推论1，可知M≤a1mk，当且仅当a=m，b=0时等号成立，证毕. 　　命题2 假设f（x）是定义在实数域[a，b]上的凸函数，实数x1，x2，…xn∈[a，b]，且满足xi=C，其中na≤C≤nb. 当且仅当x1，x2，…xn中至少有n-1个元素等于a或b，gn（x1，x2，…xn）=f（xi）达到最大值. 　　证明：由命题1可知，当n=2时成立，现用数学归纳法证明. 当n=k时，结论成立；则当n=k+1时，gk+1（x1，x2，…xk+1）=f（xi）=f（x1）+gk（x2，…xk+1）. 首先固定x1，当gk（x2，…xk+1）取到最大值时，其中至少有k-1个为a或b，不妨设x2，…xk均为a或b，那么gk（x2，x3，…xk+1）≤f（xk+1）+lf（a）+（k-1-l）f（b），其中0≤l≤k-1，则gk+1（x1，x2，…xn）=f（x1）+gk（x2，…xk+1）≤f（x1）+f（xk+1）+lf（a）+（k-l-1）f（b），其中xk+1=C-x1-la-（k-l-1）b. 再将x1视为自变量，应用命题1的结论，x1或xk+1中的有一个为a或b，则n=k+1时成立，所以对一切正整数n都成立，证毕. 　　例2 已知a，b，c∈[0，2]，且满足a+b+c=5，M=a4+b4+c4，求M的最大值. 　　证明：构造凸函数f（x）=x4. 不妨设a≤b≤c，根据命题2，可得当M取到最大值时，当且仅当a=b=0或b=c=2时成立，显然a=b=0不符合条件，所以max（M）=24+24+14=33. 　　推论3 设a1，a2，…，an∈[0，2a]（a0），M=a+a+…+a，且a1+a2+…an=na，则max（M）=2na2， n为偶数， 　　2（n+1）a2， n为奇数 . 　　证明：构造凸函数f（x）=x2，根据命题2，可得，当且仅当有k0个数等于2a，n-1-k0个数等于0时，M可以达到最大值，由于a1，a2，…，an∈[0，2a]，所以na-2k0a≤2a，且2k0a≤na?≤k0≤，M=4k0a2+（na-2k0a）2. 若n为偶数，分析可得k0=时，max（M）=2na2