均值不等式的證明5篇(參考版)
2024-11-05 18:47本頁面
【正文】 當(dāng)n=2時易證；假設(shè)當(dāng)n=k時命題成立，即那么當(dāng)n=k+1時，不妨設(shè)ak+1是則設(shè)a1,a2,L,ak+1中最大者，kak+1179。引理：設(shè)A≥0，B≥0，則(A+B)179。ab+bc+aca+b+c179。2ab179。2ab(當(dāng)且僅當(dāng)a=b時取“=”號)，a,b02ab(4)對實(shí)數(shù)a,b，有a(ab)179。QnL、anaa206。Gn163。請賜教!sqrt{}≥(a1+a2+..an)/n≥n次根號(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)如果你知道柯西不等式的一個變式，直接代入就可以了：柯西不等式變式：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是等號成立只要令b1=b2=...=bn=1，代入即可(2)柯西不等式(a1^2+a2^2+...an^2)*(b1+b2...+bn)≥(a1b1+a2b2+...anbn)^22.(a1+a2+..an)/n≥n次根號(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次根號(a1a2..an)f(x)在定義域內(nèi)單調(diào)遞增，所以(a1+a2+..an)/n≥n次根號(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這個不等式，不予介紹(a1a2a3..an)≥n/(1/a1+1/a2+..+1/an)原不等式即證：n次根號(a1a2a3..an)*(1/a1+1/a2+..+1/an)≥n左邊=n次根號+n次根號++n次根號+...n次根號由2得和≥n*n次根號(它們的積)所以左邊≥n*n次根號(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
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1