<正>文[1]末提出了四个不等式猜想,其中的猜想1是:若a,b,c是正实数,且满足abc=1,则(a~2)/(2+a)+b~2/(2+b)+c~2/(2+c)≥1①.笔者经探究发现,此猜想是成立的.现证明如下: