First, prove the case where a,b,c,d are all non-zero.
From the given theorem: 2(ab+ac+ad+bc+bd+cd)⩽3(a2+b2+c2+d2).
+⩾ The left side of (1) =ab+ac+ada4+bc+bd+abb4cd+ac+bcc4+ad+bd+cdd42(ab+ac+ad+bc+bd+cd)(a2+b2+c2+d2)2 (Cauchy inequality
⩾3(a2+b2+c2+d2)(a2+b2+c2+d2)2=3a2+b2+c2+d2=321[(a2+b2)+(b2+c2)+(c2+d2)+(d2+a2)]⩾31
If one or two of a,b,c,d are zero, then by removing the zero variables and following the same method, the inequality can still be proven.
Editor's note: The proof uses a variant of the Cauchy inequality:
in the form: i=1∑nbiai2⩾∑i=1nbi(∑i=1nai)2