Maths WorkshopMaths problems with full solutions
Exercise 1852Linear algebra › Quadratic formsL1Added 3 Nov 2026

Checking positivity of a quadratic form

#positive definite#positivity#quadratic form

Statement

Show that
Q(x,y,z)=x2+y2+z2+xy+yz+zxQ(x,y,z)=x^2+y^2+z^2+xy+yz+zx
is positive definite.

Hint

Write Q=12[(x+y)2+(y+z)2+(z+x)2]Q=\frac12[(x+y)^2+(y+z)^2+(z+x)^2] and check when it vanishes.

Show solutionHide solution

Solution

Identity.
Q=12[(x+y)2+(y+z)2+(z+x)2].Q=\frac12\left[(x+y)^2+(y+z)^2+(z+x)^2\right].
Verify: RHS =12(2x2+2y2+2z2+2xy+2yz+2zx)=x2+y2+z2+xy+yz+zx=Q=\frac12(2x^2+2y^2+2z^2+2xy+2yz+2zx)=x^2+y^2+z^2+xy+yz+zx=Q.

Vanishing. Q=0  ⟺  x+y=0Q=0\iff x+y=0, y+z=0y+z=0, z+x=0z+x=0. Adding: 2(x+y+z)=02(x+y+z)=0, so x+y+z=0x+y+z=0, then combining with x+y=0x+y=0 gives z=0z=0, similarly x=y=0x=y=0.

Conclusion. Q≥0Q\ge0 with equality iff (x,y,z)=(0,0,0)(x,y,z)=(0,0,0), so QQ is positive definite.