a) Khi triển bất đẳng thức đã cho ta được
(1)⇔a2d2+b2c2−2abcd≥0⇔(ad−bc)2≥0
Dấu "=" xảy ra khi ad−bc=0 hay ab=cd hay ba=dc.
b) Ta cũng khai triển bất đẳng thức đã cho suy ra
(2)⇔(a21b22+a22b21−2a1b1a2b2)+(a21b23+a23b21−2a1b1a3b3)
+(a22b23+a23b22−2a2b2a3b3)≥0
⇔(a1b2−a2b1)2+(a1b3−a3b1)2+(a2b3−a3b2)2≥0
Dấu "=" chỉ xảy ra khi tất cả các hạng tử ở vế trái bằng 0
Từ đó suy ra: a1b1=a2b2=a3b3 hay b1a1=b2a2=b3a3