嵌入不等式:設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)