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)
[tex]\bigtriangleup '1= b^2-ac [/tex] < 0
[tex]\bigtriangleup '2= c^2 -ab [/tex] < 0
[tex]\bigtriangleup '3= a^2 -bc[/tex] < 0
Cộng 2 vế của 3 BPT ta được:
[tex]a^2+b^2+c^2-ab-ac-bc > 0[/tex]
Nhân 2 vế của BPT với 2 ta được
[tex]2a^2+2b^2+2c^2-2ab-2ac-2bc > 0[/tex]
<=>
[tex](a-b)^2+(b-c)^2+(c-a)^2 < 0[/tex] (vô lí)
=> Ít nhất một PT phải có nghiệm