a+b>=2[ab],

　　ab+a+b+1>=ab+2[ab]+1>=([ab]+1)^2>=4[ab]……………………………一式

　　ab+ac+bc+c*c=(a+c)*(b+c)>=4[ab]c……………………………………二式

　　因为abc不全等,所以：由一式,二式.得：

　　(ab+a+b+1)(ab+ac+bc+c*c)>16abc

　　其中[]表示根号