a，b为非零实数，①∵（a-b）2≥0，展开可得a2+b22≥ab；②∵（a-b）2≥0，展开可得a2+b2≥2ab，∴2（a2+b2）≥（a+b）2，∴(a+b)24≤a2+b22；③取a=b=-1，则a+b2≥aba+b不成立；④取ab＜0，则ba+ab≥2不成立．综上...