Segundo a teoria das equações algébricas, para uma equação do segundo grau ax² + bx + c = 0, com a ≠ 0 e coeficientes reais, a condição necessária e suficiente para que as raízes sejam reais e distintas é que: