证明不等式ab+bc+ca≤a^2+b^2+c^2