Trong C, cho phương trình az2+bz+c=0(a≠0)(*), a,b,c∈R. Gọi , ta xét các mệnh đề sau:Nếu ∆ là số thực âm thì phương trình (*) vô nghiệm.Nếu ∆≠0 thì phương trình (*) có 2 nghiệm phân biệt.Nếu ∆=0 thì phương trình (*) có nghiệm kép.Trong các mệnh đề trên