Let x and y be non-zero vectors in a real vector space with scalar product denoted by x⋅y. Prove that (x⋅y)2⩽(x⋅x)(y⋅y), and prove also that (x⋅y)2=(x⋅x)(y⋅y) if and only if x=λy for some scalar λ.
(i) By considering suitable vectors in R3, or otherwise, prove that the inequality x2+y2+z2⩾yz+zx+xy holds for any real numbers x,y and z.
(ii) By considering suitable vectors in R4, or otherwise, show that only one choice of real numbers x,y,z satisfies 3(x2+y2+z2+4)−2(yz+zx+xy)−4(x+y+z)=0, and find these numbers.