设a,b,c∈R+,且bc+ca+ab=1.试证
√(a^3+a)+√(b^3+b)+√(c^3+c)≥2√(a+b+c)

设a,b,c∈R+,且bc+ca+ab=1.试证
√(a^3+a)+√(b^3+b)+√(c^3+c)≥2√(a+b+c) (1)

证明 所证不等式等价于
∑√[a(a+b)(a+c)]≥2√[∑a*∑bc]
两边平方得:
∑a(a+b)(a+c)+2∑(b+c)√[bc(a+b)(a+c)]≥4[∑a*∑bc (2)

注意到如下三个局部不等式:
(b+c)√[bc(a+b)(c+a)]≥(2a+b+c)bc; (3-1)
(c+a)√[ca(b+c)(a+b)]≥(2b+c+a)ca; (3-2)
(b+c)√[ab(c+a)(b+c)]≥(2c+a+b)ab; (3-3)

(3-1)两边平方化简得:
a(a+b+c)*(b-c)^2≥0

故欲证(2)式,只需证
∑a(a+b)(a+c)+2∑(2a+b+c)bc≥4[∑a*∑bc (4)

(4)<===>
∑a^3+3abc≥∑a^2*(b+c) (5)

(5)<====>
abc≥(b+c-a)(c+a-b)(a+b-c) (6)

(6)式是己知不等式.