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 2 of 4: Rewrite in terms of pairwise bilinear sums
x=ac+bd, y=ab+cd, z=ad+bc ⟹ P=(x−y)(x−z),x+y+z=−12,x,y,z≥−12x=ac+bd,\ y=ab+cd,\ z=ad+bc\ \Longrightarrow\ P=(x-y)(x-z),\quad x+y+z=-\tfrac{1}{2},\quad x,y,z\ge-\tfrac{1}{2}
Detailed analysis

Define x=ac+bdx=ac+bd, y=ab+cdy=ab+cd, z=ad+bcz=ad+bc. Direct expansion gives (a−b)(b−c)(c−d)(d−a)=(x−y)(x−z)(a-b)(b-c)(c-d)(d-a)=(x-y)(x-z). Moreover 0=(a+b+c+d)2=1+2(x+y+z)0=(a+b+c+d)^2=1+2(x+y+z) gives x+y+z=−12x+y+z=-\tfrac{1}{2}, and 1+2x=(a+c)2+(b+d)2≥01+2x=(a+c)^2+(b+d)^2\ge0 gives x≥−12x\ge-\tfrac{1}{2} (with equality when a+c=b+d=0a+c=b+d=0); cyclic analogues give y≥−12y\ge-\tfrac{1}{2} and z≥−12z\ge-\tfrac{1}{2}.