若a，b，c∈R+，且ab+bc+ca=1， 则a^2+b^2+c^2+3abc(a+b+c)≥2.

波斯猫猫

一个代数不等式的三角证明(本论坛数学期刊 )
原创  郭要红  2025 年 10 月 13 日 06:24  安徽
(luyuanhong发表于 2025-10-26 01:04 )
题：一个代数不等式的三角证明(本论坛数学期刊 )
原创  郭要红  2025 年 10 月 13 日 06:24  安徽
(luyuanhong发表于 2025-10-26 01:04 )
题：若a，b，c∈R+，且ab+bc+ca=1，
则a^2+b^2+c^2+3abc(a+b+c)≥2.

思路：1=ab+bc+ca=(a，b，c).(b，c，a)

=(a^2+b^2+c^2)cosθ≤a^2+b^2+c^2.

∴a^2+b^2+c^2≥1.   

又a^2+b^2+c^2=(a+b+c)^2-2≥1，

∴a+b+c≥√3.         

又a+b+c≥3(abc)^(1/3)≥√3，

即3abc≥1/√3.         

∴a^2+b^2+c^2+3abc(a+b+c)

≥1+(1/√3)×√3≥2.   (向量法)

注：3(abc)^(1/3)不能突破最小值√3，
又3abc≤1/√3，故取“=”.         

波斯猫猫

题：若a，b，c∈R+，且ab+bc+ca=1，
则a^2+b^2+c^2+3abc(a+b+c)≥2.

思路：a，b，c∈R+，且ab+bc+ca=1，

根据对称性，不妨设a≥b≥c，

∴3c^2≤1，即3c^2+9c^4≤2.

∴a^2+b^2+c^2+3abc(a+b+c)

≥3c^2+9c^4≥2.

波斯猫猫

关于1楼：
∴a+b+c≥√3.         
又a+b+c≥3(abc)^(1/3)≥√3，

假如：a+b+c≥√3≥3(abc)^(1/3)=m＜√3，
则a+b+c≥m，这与a+b+c≥√3矛盾.
故a+b+c≥3(abc)^(1/3)≥√3.