Giả sử các phương trình vô nghiệm ta có ( gọi cái PT lần lượt là 1,2,3)
△′1=b2−ac < 0
△′2=c2−ab < 0
△′3=a2−bc < 0
Cộng 2 vế của 3 BPT ta được:
a2+b2+c2−ab−ac−bc>0
Nhân 2 vế của BPT với 2 ta được
2a2+2b2+2c2−2ab−2ac−2bc>0
<=>
(a−b)2+(b−c)2+(c−a)2<0 (vô lí)
=> Ít nhất một PT phải có nghiệm