一道第42届IMO试题的再加强

第42届IMO第二题是一道不等式证明题： 对所有正实数a，b，c，证明： a/√a^2＋8bc＋b/√b^2＋8ac＋c/√c^2＋8ab≥1. 文[1]将其加强为：若a，b，c为正实数，则 a/√a^2＋2（b＋c）^2＋b/√b^2＋2（a＋c）^2＋c/√c^2＋2（a＋b）^2≥1. 本文将在文[1]的基础上，进一步得到：