式は対称なので a1≥a2≥a3a_1\ge a_2\ge a_3a1≥a2≥a3 と並べ替える。最初の2項をまとめると (a1−a2)2(a_1-a_2)^2(a1−a2)2、最後の項は (a1−a3)(a2−a3)(a_1-a_3)(a_2-a_3)(a1−a3)(a2−a3) である。両方非負なので E3=(a1−a2)2+(a1−a3)(a2−a3)≥0E_3=(a_1-a_2)^2+(a_1-a_3)(a_2-a_3)\ge0E3=(a1−a2)2+(a1−a3)(a2−a3)≥0。