冪平均值不等式特點是一般形式
基本介紹
- 中文名:冪平均值不等式
- 特點:一般形式
- 解釋:加權
- 備註:證明簡述
一般形式,加權形式,證明簡述,
一般形式
設ai>0(1≤i≤n),且α>β,
則有:(∑ai^α/n)^1/α≥(∑ai^β/n)^1/β成立
若且唯若a1=a2=a3=……=an 時取等號。
加權形式
設ai>0,pi>0(1≤i≤n),且α>β,
則有:(∑pi*ai^α/∑pi)^1/α≥(∑pi*ai^β/∑pi)^1/β
若且唯若a1=a2=a3=……=an 時取等號。
證明簡述
第一,琴生不等式(即上下凸性,或是說二次求導得)
第二,取輔助函式

這個證明很多本競賽書上都有,比如奧賽經典高二的那本還有陳計老師的《代數不等式》,但是沒有證明過程.
據我所知幾年以前的競賽書上都只介紹結論,但不給出證明.原因是什麼呢?因為證明要用到二階導數來判斷冪函式的凸性,還要用到琴生不等式.而老教材中導數還沒有進入教學內容.不證明冪平均不等式是不得已的事.