a,b,c是不全相等的正数，求证：（ab+a+b+1)(ab+ac+bc+c2)大于16abc