MathLabs

Problem 5

Let a,b,c,da,b,c,d be real numbers such that a2+b2+c2+d2=1a^2+b^2+c^2+d^2=1. Determine the minimum value of (a−b)(b−c)(c−d)(d−a)(a-b)(b-c)(c-d)(d-a) and determine all values of (a,b,c,d)(a,b,c,d) such that the minimum value is achieved.
Step 3 of 4: Algebraic identity for the lower bound -1/8
(x−y)(x−z)+18=18(4y+4z+1)2+(y+12)(z+12)≥0(x-y)(x-z)+\frac{1}{8}=\frac{1}{8}(4y+4z+1)^2+\left(y+\frac{1}{2}\right)\left(z+\frac{1}{2}\right)\ge0
Detailed analysis

Eliminating x=−12−y−zx=-\tfrac{1}{2}-y-z gives (x−y)(x−z)+18=(2y+z+12)(y+2z+12)+18=18(4y+4z+1)2+(y+12)(z+12)(x-y)(x-z)+\tfrac{1}{8}=(2y+z+\tfrac{1}{2})(y+2z+\tfrac{1}{2})+\tfrac{1}{8}=\tfrac{1}{8}(4y+4z+1)^2+(y+\tfrac{1}{2})(z+\tfrac{1}{2}). Since y+12≥0y+\tfrac{1}{2}\ge0 and z+12≥0z+\tfrac{1}{2}\ge0, the right-hand side is non-negative, so (x−y)(x−z)≥−18(x-y)(x-z)\ge-\tfrac{1}{8}. Equality holds if and only if 4y+4z+1=04y+4z+1=0 and (y+12)(z+12)=0(y+\tfrac{1}{2})(z+\tfrac{1}{2})=0, i.e. x=−14x=-\tfrac{1}{4} and {y,z}={−12,14}\{y,z\}=\{-\tfrac{1}{2},\tfrac{1}{4}\}.