令 x=ac+bdx=ac+bdx=ac+bd, y=ab+cdy=ab+cdy=ab+cd, z=ad+bcz=ad+bcz=ad+bc。直接展开得 (a−b)(b−c)(c−d)(d−a)=(x−y)(x−z)(a-b)(b-c)(c-d)(d-a)=(x-y)(x-z)(a−b)(b−c)(c−d)(d−a)=(x−y)(x−z)。又由 0=(a+b+c+d)2=1+2(x+y+z)0=(a+b+c+d)^2=1+2(x+y+z)0=(a+b+c+d)2=1+2(x+y+z) 得 x+y+z=−12x+y+z=-\tfrac{1}{2}x+y+z=−21，由 1+2x=(a+c)2+(b+d)2≥01+2x=(a+c)^2+(b+d)^2\ge01+2x=(a+c)2+(b+d)2≥0 得 x≥−12x\ge-\tfrac{1}{2}x≥−21（当 a+c=b+d=0a+c=b+d=0a+c=b+d=0 时取等）；同理 y≥−12y\ge-\tfrac{1}{2}y≥−21 且 z≥−12z\ge-\tfrac{1}{2}z≥−21。