嵌入不等式:设A+B+C=(2k+1)π，x+y+z∈R，k∈Z，则x^2+y^2+z^2≥2yzcosA+2zxcosB+2xycosc，等号成立条件当且仅当x:y:z=sinA:sinB:sinC。设P为△ABC内部或边上一点，记PA=x，PB=y，PC=z，请利用嵌入不等式证明:x^2+y^2+z^2≥1/3(a^2+b^2+c^2)