由对数函数单调递增可知 2lg4 >lg3+lg5 >0
对前个不等号两边平方可得
4lg4 * lg4 >(lg3 )^2+ (lg5)^2+2lg3lg5
运用基本不等式(lg3 )^2+ (lg5)^2>2lg3lg5
所以4(lg4 )^2>4lg3lg5
即原不等式成立
lg4 * lg4 =lg16
lg3 * lg5=lg15
因为16>15,所以lg16>lg15
所以命题成立
lg4 * lg4 / (lg3 * lg5) 等价 4 * 4 /3 *5= 16/15>1
EXCEL计算
lg4 * lg4 / (lg3 * lg5)=1.086906619>1
完毕