由一道伊朗竞赛题的减元引发的探究

第20届伊朗数学竞赛中有如下一道经典的不等式题。问题1已知a、b、c为正实数,a^2＋b^2＋c^2＋abc=4,求证：a＋b＋c≤3。文1至文4分别从不同角度对该题给出了证明与拓展,笔者读后默默地在想：该题作为一道条件不等式题,却与常规问题有所不同,题目所给的条件等式的结构比待证的不等式还要复杂,如果将该题由三元退化到二元,那么还有类似的问题吗？经过探究,得到以下问题。