基本不等式链.docxVIP

精心整理 精心整理 均值不等式链 a、b 2 ? ? a ? b ? a ? b 基本不等式链：若 都是正数，则 1 ? 1 2 a b ，当且仅当 时等号成立。 aba2 ? b22aba2 ? ab a2 ? b2 2 ab a2 ? b2 2 注：算术平均数--- 2 ；几何平均数--- ；调和平均数--- 1 ? 1 a b ? a ? b ；平方平均数--- 。 证明 1：（代数法） （1） a ? 0，b ? 0 ? ( a ? b )2 ? 0 ? a ? b ? 2 ab ? a ? b ；2 ； ? ab ； a ? b ? ab ? 0 ? 2 ? 1 ? 2ab ? ab ? 2 ? ab （2） 2 a ? b ab a ? b ab 1 ? 1 a b （3） a2 ? b2 ? 2ab ? 2(a2 ? b2 ) ? 2ab ? a2 ? b2 ? a2 ? b2 ? (a ? b)2 ? a2 ? b2 ? a ? b ；2 4 2 2 ； 2 ? ab ? a ? b ? a2 ? b2 a ? b “?” 综上， 1 ? 1 2 a b 2 ，当且仅当 时 成立。 证明 2：（几何法） 如图， AC ? a，BC ? b，AB ? a ? b ，以 AB 为直径作圆O ，则 G D D 图 1： OD ? a ? b 2 ，DC ? ab ， DC ? OD ? ab ? E a ? b 2 ； A a O DCCb2 B2abA a O C2abb B A a O C b B 图 2： DC ? ab，DE ? OD ? a ? b ， DE ? DC ? a ? b ? ab ； OC ? a ? b ，GC ? a2 ? b2 OG ? GC ? a ? b ? a2 ? b2 图 3： 2 2 ， 2 2 ； ab2 ? ? ab a ? b ? a ? b “?” a2 ? b22综上， a2 ? b2 2 a b 证明 3：（几何法） ，当且仅当 时 成立。 作梯形 ABCD ，使 AD // BC，?B ? 90?，AD ? BC ? CD ，令 AD ? a，BC ? b，(b ? a) ， E、F 分别是 AB、CD 的中点，过 E 作 EG ? CD 于G ，过G 作GH ? AB 于 H ，在 EB 上截取 EN ? b ? a 2 ，则 E、F 分别 是 AB、CD 的中点， ? EF b ? a ?2 ， ? ED 平分?ADC ? EG ? EA ? 1 AB ? ab ， 2 DG ? DA，GC ? BC ? DG a GH ? AD ? CG ? BC ? DG GH ? 2ab EN ?  b ? a  ? NF ? GC ? b ? a2 ? b2 a ? b ，即 a ? b ， 2 2 GH ? EG ? EF ? FN ， a2 ? b22ab2ab ? ? a2 ? b2 2 ab 当“a ? 当“ a ? b ”时， a ? b 2ab ? a ? b ab ? ? 2 a2 ? b2 2 。 证明 4：（几何法） 作 梯 形 ABCD ， 使 AD // BC，?B ? 90?，AD ? BC ? AB ， 令 AD ? a，BC ? b，(b ? a) ， 在 AB 上截取 AE ? AD ? a，AF ? BC ? b ，则 BE ? b，BF ? a 过 E 作 EG ? AB 交CD 于G ，过 F 作 FO ? CD 于O ，过O 作OH ? AB 于 在 EH、GO 上分别取点 M、N ，使梯形 EGNM 与梯形 MNOH 相似， H ， 则 AD ? BF，AF ? BC ， ? DF ? CF ? a2 ? b2 ? CO ? DO ? OF ? CD ? 1 2 a2 ? b2 2 ， OC ? OD ? OH ? AD ? BC a ? b 2 ? 2 ， AD ? BE ? BC ? AE AE ? a，BE ? b ? EG ? a ? b ? a ? b ， 2ab 梯形 EGNM 与梯形 MNOH 相似? MN ? OH ? MN ? EG MN EG ? OH ? ab 显然， EG ? MN ? OH ? OF ，∴ a ? b 2ab ? a ? b ab ? ? 2 a2 ? b2 2 当“ a ? b ”时， a ? b 2ab ? a ? b ab ? ? 2 a2 ? b2 2 。 显然， ，∴ a ? b 2