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; a14<0
Ta có:
(a1+a2+a3)+...+(a10+a11+a12)+(a13+a14)+(a15+a16+a17)+(a18+a19+a20)<0
=>(a13+a14)<0
có a12+a13+a14>0=>a12>0
Từ các cmt suy ra a1>0; a12>0; a14<0
=>a1. a14+a12.a12<a1.a12(đpcm)