Ta có : a1 + (a2 + a3 + a4) + … + (a11 + a12 + a13) + a14 + (a15 + a16 + a17) + (a18 + a19 + a20) < 0 ; a1 > 0 ; a2 + a3 + a4 > 0 ; … ; a11 + a12 + a13 > 0 ; a15 + a16 + a17 > 0 ; a18 + a19 + a20 > 0 => a20 < 0.
Cũng như vậy : (a1 + a2 + a3) + … + (a10 + a11 + a12) + (a13 + a14) + (a15 + a16 + a17) + (a18 + a19 + a20) < 0 => a13 + a14 < 0.
Mặt khác, a12 + a13 + a14 > 0 => a12 > 0.
Từ các điều kiện a1 > 0 ; a12 > 0 ; a14 < 0 => a1.a14 + a14a12 < a1.a12 [dpcm]