你的第二个式子是不是打错了
应该是x^2+(y+z)^2/2
比较的其实是2(y^2+z^2)与(y+z)^2
两式子做差 就是（y-z）^2 平方项显然大于等于0
即证