ab≤(a^2+b^2)/2 bc≤(b^2+c^2)/2
ca≤(c^2+a^2)/2
三个相加得ab+bc+ca=1≤a^2+b^2+c^2
∴a^2+b^2+c^2≥1
不等式两边同时加上2×(ab+bc+ca)
所以(a+b+c)^2≥1+2=3
所以a+b+c≥√3