a、b属于R,“a不等于b”是“a平方加b平方大于2ab”成立的