a,b均>0,以a、b為真數(shù)的對數(shù)有意義.
lg(a^ab^b) -lg{(ab)^[(a+b)/2]}
=lg(a^a)+lg(b^b) -[(a+b)/2]lg(ab)
=alga+blgb-[(a+b)/2](lga+lgb)
=[a -(a+b)/2]lga +[b -[(a+b)/2]lgb
=[(a-b)/2]lga +[(b-a)/2]lgb
=[(a-b)/2]lga -[(a-b)/2]lgb
=[(a-b)/2](lga-lgb)
=[(a-b)/2]lg(a/b)
(1)
a>b>0時,(a-b)/2>0 a/b>1 lg(a/b)>0
[(a-b)/2]lg(a/b)>0
lg(a^ab^b) >lg{(ab)^[(a+b)/2]}
a^ab^b>(ab)^[(a+b)/2]
(2)
00時,(a-b)/2(ab)^[(a+b)/2]
(3)
a=b>0時,
a>b>0時,(a-b)/2=0 a/b=1 lg(a/b)=0
[(a-b)/2]lg(a/b)=0
lg(a^ab^b) =lg{(ab)^[(a+b)/2]}
a^ab^b=(ab)^[(a+b)/2]
綜上,得a^ab^b≥(ab)^[(a+b)/2],當(dāng)且僅當(dāng)a=b時取等號.