均值不等式的證明-展示頁
2024-11-05 22:00本頁面
【正文】 +1。所以得證n=2^k中k是什么范圍k是正整數(shù)第一步先去歸納2，4，8，16，32...這種2的k次方的數(shù)一般的數(shù)學(xué)歸納法是知道n成立時(shí)，去證明比n大的時(shí)候也成立。請賜教!sqrt{}≥(a1+a2+..an)/n≥n次根號(hào)(a1a2a3..an)≥n/(1/a1+1/a2+..+1/an)證明：(((a1)^2+(a2)^2+..(an)^2)/n)≥(a1+a2+..an)/n兩邊平方,即證((a1)^2+(a2)^2+..(an)^2)≥(a1+a2+..an)^2/n(1)如果你知道柯西不等式的一個(gè)變式，直接代入就可以了：柯西不等式變式：a1^2/b1+a2^2/b2+...an^2/bn≥(a1+a2+...an)^2/(b1+b2...+bn)當(dāng)且僅當(dāng)a1/b1=a2/b2=...=an/bn是等號(hào)成立只要令b1=b2=...=bn=1，代入即可(2)柯西不等式(a1^2+a2^2+...an^2)*(b1+b2...+bn)≥(a1b1+a2b2+...anbn)^22.(a1+a2+..an)/n≥n次根號(hào)(a1a2a3..an)(1)琴生不等式:若f(x)在定義域內(nèi)是凸函數(shù)，則nf((x1+x2+...xn)/n)≥f(x1)+f(x2)+...f(xn)令f(x)=lgx顯然，lgx在定義域內(nèi)是凸函數(shù)nf((x1+x2+...xn)/n)=nlg≥f(x1)+f(x2)+...f(xn)=lga1+lga2+lga3...lgan=lga1*a2..an也即lg≥1/n(lga1a2a3...an)=lg(a1a2a...an)^(1/n)=lgn次根號(hào)(a1a2..an)f(x)在定義域內(nèi)單調(diào)遞增，所以(a1+a2+..an)/n≥n次根號(hào)(a1a2..an)(2)原不等式即證：a1^n+a2^n+...an^n≥na1a2a3...an先證明a^n+b^n≥a^(n1)b+b^(n1)a做差(ab)(a^(n1)b^(n1))≥02*(a1^n+a2^n+...an^n)≥a1^(n1)a2+a2^(n1)a1+a2^(n1)a3+a3^(n1)a2...an^(n1)a1+a1^a(n1)an=a2(a1^(n1)+a3^(n1))+a3(a2^(n1)+a4^(n1))...≥a2a1^(n2)a3+a2a3^(n2)a1+...≥...≥2na1a2...an即a1^n+a2^n+...an^n≥na1a2a3...an(3)數(shù)學(xué)歸納法:但要用到(1+x)^n1+nx這個(gè)不等式，不予介紹(a1a2a3..an)≥n/(1/a1+1/a2+..+1/an)原不等式即證：n次根號(hào)(a1a2a3..an)*(1/a1+1/a2+..+1/an)≥n左邊=n次根號(hào)+n次根號(hào)++n次根號(hào)+...n次根號(hào)由2得和≥n*n次根號(hào)(它們的積)所以左邊≥n*n次根號(hào)(1)=n所以(a1a2a3..an)≥n/(1/a1+1/a2+..+1/an)證畢特例：sqrt(a^2+b^2/2)≥(a+b)/2≥sqrt(ab)≥2/1/a+1/b證明：(a^2+b^2/2)≥(a+b)/2兩邊平方a^2+b^2≥(a+b)^2/4即證(a/2b/2)^2≥0顯然成立2.(a+b)/2≥sqrt(ab)移項(xiàng)即證(sqrt(a)sqrt(b))≥0顯然成立此不等式中a+
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1