题拍拍征解问题[25]（已解决）

已知 $xy+yz+zx=-1$，求证：$x^2+y^2+z^2+x+y+z\geqslant 1-\sqrt 3$．

---

2021年7月1日，by xixiggg：

记 $s=x+y+z$，则

$$x^2+y^2+z^2=(x+y+z)^2-2(xy+yz+zx)=s^2+2,$$ 于是， $$x^2+y^2+z^2+x+y+z=s^2+s+2=\left(s+\dfrac 1 2\right)^2+\dfrac 7 4\geqslant \dfrac 7 4\geqslant 1-\sqrt{3},$$ 命题得证．