(ab+a+b+1)(ab+bc+ca+c^2)= (a+1)(b+1)(a+c)(b+c)>= [2*genhao(a)][2*genhao(b)][2*genhao(ac)][2*genhao(bc)]= 16abc，等号只有当a=b=c=1时成立。证毕。
