该表达式具有对称性，可令 a1≥a2≥a3a_1\ge a_2\ge a_3a1≥a2≥a3。前两项合并为 (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。